Divisible Group

In group theory, a divisible group is an abelian group G such that for any positive integer n and any g in G, there exists y in G such that ny = g. One can show that G is divisible if and only if G is an injective object in the category of Z-modules (abelian groups).

Examples

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
G = Tor(G) \oplus G/Tor(G).
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
G = \oplus_{i \in I} Q = Q^{(I)}.
The structure of the torsion subgroup is harder to determine, but one can show that for all prime numbers p there exists I_p such that
(Tor(G))_p = \oplus_{i \in I_p} Zp^\infty = Zp^\infty^{(I_p)},
where (Tor(G))_p is the p-primary component of Tor(G). Thus, if P is the set of prime numbers,
G = (\oplus_{p \in P} Zp^\infty^{(I_p)}) \oplus Q^{(I)}.

 

<< PreviousWord BrowserNext >>
mnster rebellion
herrenhaus
mandragoras
matilda (children's literature)
muck, scotland
ovidiu
esab
large file support
roger mortimer, 2nd earl of march
uss tilefish (ss 307)
the last blade
lfs
ahmad shehab
viscount colville of culross
british idealism
dx pedition
kaprekar number
bourne end
antonio fazio
viscount churchill
viscount chilston
viscount cowdray
bourton
viscount chelmsford
viscount craigavon
r. g. collingwood
viscount caldecote
boycott (disambiguation)
viscount camrose
list of footballers (rugby union) by country
bradenham
fran bosnjakovic
scripps college
riseball
viscount selby
viscount scarsdale
viscount st davids
viscount samuel
boreray, saint kilda
viscount simon
nicopolis
viscount soulbury
antony
viscount stuart of findhorn