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:
“Narrowed-down by her early editors and anthologists, reduced to quaintness or spinsterish oddity by many of her commentators, sentimentalized, fallen-in-love with like some gnomic Garbo, still unread in the breadth and depth of her full range of work, she was, and is, a wonder to me when I try to imagine myself into that mind.”
—Adrienne Rich (b. 1929)
“And seniors grow tomorrow
From the juniors today,
And even swimming groups can fade,
Games mistresses turn grey.”
—Philip Larkin (1922–1986)