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:
“There surely is a being who presides over the universe; and who, with infinite wisdom and power, has reduced the jarring elements into just order and proportion. Let speculative reasoners dispute, how far this beneficent being extends his care, and whether he prolongs our existence beyond the grave, in order to bestow on virtue its just reward, and render it fully triumphant.”
—David Hume (1711–1776)
“Some of the greatest and most lasting effects of genuine oratory have gone forth from secluded lecture desks into the hearts of quiet groups of students.”
—Woodrow Wilson (1856–1924)