The direct sum of abelian groups is a prototypical example of a direct sum. Given two abelian groups (A, ∗) and (B, ·), their direct sum A ⊕ B is the same as their direct product, i.e. its underlying set is the Cartesian product A × B with the group operation ○ given componentwise:
- (a1, b1) ○ (a2, b2) = (a1 ∗ a2, b1 · b2).
This definition generalizes to direct sums of finitely many abelian groups.
For an infinite family of abelian groups Ai for i ∈ I, the direct sum
is a proper subgroup of the direct product. It consists of the elements such that ai is the identity element of Ai for all but finitely many i.
In this case, the direct sum is indeed the coproduct in the category of abelian groups.
Read more about this topic: Direct Sum
Famous quotes containing the words direct, sum and/or groups:
“I make this direct statement to the American people that there is far less chance of the United States getting into war, if we do all we can now to support the nations defending themselves against attack by the Axis than if we acquiesce in their defeat, submit tamely to an Axis victory, and wait our turn to be the object of attack in another war later on.”
—Franklin D. Roosevelt (1882–1945)
“The ornament is a statuette, a black figure of a bird. I am prepared to pay on behalf of the figure’s rightful owner the sum of $5000 for its recovery. I am prepared to promise, to promise ... what is the phrase?—’No questions will be asked.’”
—John Huston (1906–1987)
“Under weak government, in a wide, thinly populated country, in the struggle against the raw natural environment and with the free play of economic forces, unified social groups become the transmitters of culture.”
—Johan Huizinga (1872–1945)