In

_{1} and ''H''_{2} if
* each ''H''_{1} and ''H''_{2} are normal subgroups of ''G'',
* the subgroups ''H''_{1} and ''H''_{2} have trivial intersection (i.e., having only the _{1}, ''H''_{2}>; in other words, ''G'' is generated by the subgroups ''H''_{1} and ''H''_{2}.
More generally, ''G'' is called the direct sum of a finite set of _{''i''} is a _{''i''} has trivial intersection with the subgroup ,
* ''G'' = <>; in other words, ''G'' is generated by the subgroups .
If ''G'' is the direct sum of subgroups ''H'' and ''K'' then we write , and if ''G'' is the direct sum of a set of subgroups then we often write ''G'' = Σ''H''_{''i''}. Loosely speaking, a direct sum is

_{''i''} in ''H''_{''i''}, ''h''_{''j''} in ''H''_{''j''}, we have that
* for each ''g'' in ''G'', there exists a unique set of elements ''h''_{''i''} in ''H''_{''i''} such that
:''g'' = ''h''_{1} ∗ ''h''_{2} ∗ ... ∗ ''h''_{''i''} ∗ ... ∗ ''h''_{''n''}
* There is a cancellation of the sum in a quotient; so that is isomorphic to Σ''H''_{''i''}.
Note the similarity with the _{1},''h''_{2}, ..., ''h''_{''i''}, ..., ''h''_{''n''}).
Since for all , it follows that multiplication of elements in a direct sum is isomorphic to multiplication of the corresponding elements in the direct product; thus for finite sets of subgroups, Σ''H''_{''i''} is isomorphic to the direct product ×.

_{''i''} = Σ''B''_{''j''}, where each ''A''_{''i''} and each ''B''_{''j''} is non-trivial and indecomposable, the two sums have equal terms up to reordering and isomorphism.
The Remak-Krull-Schmidt theorem fails for infinite groups; so in the case of infinite ''G'' = ''H'' + ''K'' = ''L'' + ''M'', even when all subgroups are non-trivial and indecomposable, we cannot conclude that ''H'' is isomorphic to either ''L'' or ''M''.

_{''i''} be the ''i''th element of ''g'' in the product. The external direct sum of a set of groups (written as Σ_{''E''}) is the subset of Π, where, for each element ''g'' of Σ_{''E''}, ''g''_{''i''} is the identity $e\_$ for all but a finite number of ''g''_{''i''} (equivalently, only a finite number of ''g''_{''i''} are not the identity). The group operation in the external direct sum is pointwise multiplication, as in the usual direct product.
This subset does indeed form a group, and for a finite set of groups the external direct sum is equal to the direct product.
If ''G'' = Σ''H''_{''i''}, then ''G'' is isomorphic to Σ_{''E''}. Thus, in a sense, the direct sum is an "internal" external direct sum. For each element ''g'' in ''G'', there is a unique finite set ''S'' and a unique set such that ''g'' = Π .

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, a group
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

''G'' is called the direct sumHomology. Saunders MacLane. Springer, Berlin; Academic Press, New York, 1963.László Fuchs. Infinite Abelian Groups of two normal subgroups with trivial intersection if it is generated by the subgroups. In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathema ...

, this method of construction of groups can be generalized to direct sums of vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

s, modules
Broadly speaking, modularity is the degree to which a system's components may be separated and recombined, often with the benefit of flexibility and variety in use. The concept of modularity is used primarily to reduce complexity by breaking a syst ...

, and other structures; see the article direct sum of modules
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics) ...

for more information. A group which can be expressed as a direct sum of non-trivial subgroups is called ''decomposable'', and if a group cannot be expressed as such a direct sum then it is called ''indecomposable''.
Definition

Agroup
A group is a number
A number is a mathematical object used to counting, count, measurement, measure, and nominal number, label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with ...

''G'' is called the direct sum of two subgroup
In group theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ...

s ''H''identity element
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

$e$ of ''G'' in common),
* ''G'' = <''H''subgroup
In group theory
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ...

s if
* each ''H''normal subgroup
In abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), ...

of ''G'',
* each ''H''isomorphic
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

to a weak direct product of subgroups.
Properties

If , then it can be proven that: * for all ''h'' in ''H'', ''k'' in ''K'', we have that * for all ''g'' in ''G'', there exists unique ''h'' in ''H'', ''k'' in ''K'' such that * There is a cancellation of the sum in a quotient; so that is isomorphic to ''H'' The above assertions can be generalized to the case of , where is a finite set of subgroups: * if , then for all ''h''direct product In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and the ...

, where each ''g'' can be expressed uniquely as
:''g'' = (''h''Direct summand

Given a group $G$, we say that a subgroup $H$ is a direct summand of $G$ if there exists another subgroup $K$ of $G$ such that $G\; =\; H+K$. In abelian groups, if $H$ is a divisible subgroup of $G$, then $H$ is a direct summand of $G$.Examples

* If we take $G=\; \backslash prod\_\; H\_i$ it is clear that $G$ is the direct product of the subgroups $H\_\; \backslash times\; \backslash prod\_H\_i$. * If $H$ is a divisible subgroup of an abelian group $G$ then there exists another subgroup $K$ of $G$ such that $G=K+H$. * If $G$ also has avector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

structure then $G$ can be written as a direct sum of $\backslash mathbb\; R$ and another subspace $K$ that will be isomorphic to the quotient $G/K$.
Equivalence of decompositions into direct sums

In the decomposition of a finite group into a direct sum of indecomposable subgroups the embedding of the subgroups is not unique. For example, in theKlein group
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

$V\_4\; \backslash cong\; C\_2\; \backslash times\; C\_2$ we have that
: $V\_4\; =\; \backslash langle(0,1)\backslash rangle\; +\; \backslash langle(1,0)\backslash rangle,$ and
: $V\_4\; =\; \backslash langle(1,1)\backslash rangle\; +\; \backslash langle(1,0)\backslash rangle.$
However, the Remak-Krull-Schmidt theorem states that given a ''finite'' group ''G'' = Σ''A''Generalization to sums over infinite sets

To describe the above properties in the case where ''G'' is the direct sum of an infinite (perhaps uncountable) set of subgroups, more care is needed. If ''g'' is an element of thecartesian product
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

Π of a set of groups, let ''g''See also

*Direct sum
The direct sum is an operation from abstract algebra
In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures. Algebraic structures include group (mathema ...

*Coproduct
In category theory
Category theory formalizes mathematical structure
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), ...

*Free product
In mathematics, specifically group theory, the free product is an operation that takes two group (mathematics), groups ''G'' and ''H'' and constructs a new The result contains both ''G'' and ''H'' as subgroups, is Generating set of a group, gener ...

*Direct sum of topological groupsIn mathematics, a topological group ''G'' is called the topological direct sum of two subgroups ''H''1 and ''H''2 if
the map
:\begin
H_1\times H_2 &\longrightarrow G \\
(h_1,h_2) &\longmapsto h_1 h_2
\end
is a topological isomorphism.
More ...

References

{{DEFAULTSORT:Direct Sum Of Groups Group theory