elementary abelian group
An elementary abelian group is an abelian group in which every non-trivial element has the same finite order. It is easy to see that the non-trivial elements must in fact be of prime order, so every elementary abelian group is a -group (http://planetmath.org/PGroup4) for some prime .
Elementary abelian -groups are sometimes called Boolean groups.
A group in which every non-trivial element has order is necessarily Boolean, because abelianness is automatic: .
There is no analogous result for odd primes, because for every odd prime there is a non-abelian group of order and exponent .
Let be a prime number.
Any elementary abelian -group can be considered as a vector space over the field of order , and is therefore isomorphic to the direct sum
of copies of the cyclic group
of order , for some cardinal number
. Conversely, any such direct sum is obviously an elementary abelian -group.
So, in particular, for every infinite
cardinal there is, up to isomorphism
, exactly one elementary abelian -group of order .
Title | elementary abelian group |
---|---|
Canonical name | ElementaryAbelianGroup |
Date of creation | 2013-03-22 14:53:11 |
Last modified on | 2013-03-22 14:53:11 |
Owner | yark (2760) |
Last modified by | yark (2760) |
Numerical id | 12 |
Author | yark (2760) |
Entry type | Definition |
Classification | msc 20F50 |
Classification | msc 20K10 |
Defines | elementary abelian |
Defines | Boolean group |