Structure Theorem of Divisible Groups
Let G be a divisible group. One can easily see that the torsion subgroup Tor(G) of G is divisible. Since a divisible group is an injective module, Tor(G) is a direct summand of G. So
As a quotient of a divisible group, G/Tor(G) is divisible. Moreover, it is torsion-free. Thus, it is a vector space over Q and so there exists a set I such that
The structure of the torsion subgroup is harder to determine, but one can show that for all prime numbers p there exists such that
where is the p-primary component of Tor(G).
Thus, if P is the set of prime numbers,
Read more about this topic: Divisible Group
Famous quotes containing the words structure, theorem, divisible and/or groups:
“Just as a new scientific discovery manifests something that was already latent in the order of nature, and at the same time is logically related to the total structure of the existing science, so the new poem manifests something that was already latent in the order of words.”
—Northrop Frye (b. 1912)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)
“Knowledge, like matter, [my father] would affirm, was divisible in infinitum;Mthat the grains and scruples were as much a part of it, as the gravitation of the whole world.—In a word, he would say, error was error,—no matter where it fell,—whether in a fraction,—or a pound,—’twas alike fatal to truth.”
—Laurence Sterne (1713–1768)
“Trees appeared in groups and singly, revolving coolly and blandly, displaying the latest fashions. The blue dampness of a ravine. A memory of love, disguised as a meadow. Wispy clouds—the greyhounds of heaven.”
—Vladimir Nabokov (1899–1977)