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:
“Realism, whether it be socialist or not, falls short of reality. It shrinks it, attenuates it, falsifies it; it does not take into account our basic truths and our fundamental obsessions: love, death, astonishment. It presents man in a reduced and estranged perspective. Truth is in our dreams, in the imagination.”
—Eugène Ionesco (b. 1912)
“... until both employers’ and workers’ groups assume responsibility for chastising their own recalcitrant children, they can vainly bay the moon about “ignorant” and “unfair” public criticism. Moreover, their failure to impose voluntarily upon their own groups codes of decency and honor will result in more and more necessity for government control.”
—Mary Barnett Gilson (1877–?)