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:
“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)
“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)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)