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:
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)