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:
“Who says that fictions only and false hair
Become a verse? Is there in truth no beauty?
Is all good structure in a winding stair?
May no lines pass, except they do their duty
Not to a true, but painted chair?”
—George Herbert (1593–1633)
“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)
“We operate exclusively with things that do not exist, with lines, surfaces, bodies, atoms, divisible time spans, divisible spaces—how could explanations be possible at all when we initially turn everything into images, into our images!”
—Friedrich Nietzsche (1844–1900)
“screenwriter
Policemen so cherish their status as keepers of the peace and protectors of the public that they have occasionally been known to beat to death those citizens or groups who question that status.”
—David Mamet (b. 1947)