Definition
An abelian group G is divisible if and only if, for every positive integer n and every g in G, there exists y in G such that ny = g. An equivalent condition is: for any positive integer n, nG = G, since the existence of y for every n and g implies that nG ⊇ G, and in the other direction nG ⊆ G is true for every group. A third equivalent condition is that an abelian group G is divisible if and only if G is an injective object in the category of abelian groups; for this reason, a divisible group is sometimes called an injective group.
An abelian group is p-divisible for a prime p if for every positive integer n and every g in G, there exists y in G such that pny = g. Equivalently, an abelian group is p-divisible if and only if pG = G.
Read more about this topic: Divisible Group
Famous quotes containing the word definition:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)