Reduced Abelian Groups
An abelian group is said to be reduced if its only divisible subgroup is {0}. Every abelian group is the direct sum of a divisible subgroup and a reduced subgroup. In fact, there is a unique largest divisible subgroup of any group, and this divisible subgroup is a direct summand. This is a special feature of hereditary rings like the integers Z: the direct sum of injective modules is injective because the ring is Noetherian, and the quotients of injectives are injective because the ring is hereditary, so any submodule generated by injective modules is injective. The converse is a result of (Matlis 1958): if every module has a unique maximal injective submodule, then the ring is hereditary.
A complete classification of countable reduced periodic abelian groups is given by Ulm's theorem.
Read more about this topic: Divisible Group
Famous quotes containing the words reduced and/or groups:
“Love is a taste for prostitution. In fact, there is no noble pleasure that cannot be reduced to Prostitution.”
—Charles Baudelaire (1821–1867)
“In America every woman has her set of girl-friends; some are cousins, the rest are gained at school. These form a permanent committee who sit on each other’s affairs, who “come out” together, marry and divorce together, and who end as those groups of bustling, heartless well-informed club-women who govern society. Against them the Couple of Ehepaar is helpless and Man in their eyes but a biological interlude.”
—Cyril Connolly (1903–1974)