direct sum in Germany
direct sum [direktsjuːm] direkte Summe [math.]
Sentence patterns related to "direct sum"
1. We introduce the notion of topological direct sum, and get a representative theorem of inductive limit by topological direct sum and quotient space.
2. Any direct sum of finitely many finitely generated abelian groups is again a finitely generated abelian group.
Jede direkte Summe von endlich vielen endlich erzeugten abelschen Gruppen ist wieder eine endlich erzeugte abelsche Gruppe.
3. This addition of morphism turns Ab into a preadditive category, and because the direct sum of finitely many abelian groups yields a biproduct, we indeed have an additive category.
4. The Witt group of k is the abelian group W(k) of equivalence classes of non-degenerate symmetric bilinear forms, with the group operation corresponding to the orthogonal direct sum of forms.