nonabelian group
A group is said to be nonabelian, or noncommutative, if has elements which do not commute, that is, if there exist and in the group such that . Equivalently, a group is nonabelian if there exist and in the group such that the commutator is not equal to the identity of the group. There exist many natural nonabelian groups, with order as small as . While any group for which the square map is a homomorphism is abelian, there exist nonabelian groups of order as small as for which the cube map is a homomorphism.
In the first section we give a way to visualize the group of rotations of a sphere and prove that it is nonabelian. This should be readable by an undergraduate student in algebra. In the second section, we discuss groups admitting a cube map and show that there are small nonabelian examples. The second section is somewhat more technical than the first and will require more facility with group theory, especially working with finitely presented groups and the commutator calculus.
1 Concrete examples of nonabelian groups
Although most number systems we use are abelian by design, there exist quite natural nonabelian groups. Perhaps the simplest example to visualize is given by the group of rotations of a sphere.11The treatment we give here is informal. For a more formal treatment of the group of rotations, consult the entries “Rotation matrix (http://planetmath.org/RotationMatrix)” and “Dimension of the special orthogonal group (http://planetmath.org/DimensionOfTheSpecialOrthogonalGroup)”. We can compose two rotations by performing them in sequence, and we can invert a rotation by rotating in the opposite direction, so rotations do form a group. To follow what rotation does to the sphere, imagine that inside is suspended a copy of Marshall Hall’s classic text The Theory of Groups. We will keep track of three pieces of information, namely, the directions that the front cover, the spine, and the bottom of the book face. When the sphere is in the identity position, the front cover faces the reader, the spine faces the left, and the bottom of the book is oriented downward.
In preparation for verifying that the group is not abelian, we define two rotations, and . First, let (for “flip”) be the rotation which takes the point at the very top of the sphere and moves it forward through an angle of . For example, if we start with the sphere in the identity position and then perform , the front cover will face away from the reader, the spine will remain to the left, and the bottom of the book will be oriented upward. Second, let (for “rotate”) be the rotation which takes the point at the very top of the sphere and moves it left through an angle of . If we start with the sphere in the identity position and then perform , the front cover will continue to face the reader, the spine will face downward, and the bottom of the book will be oriented to the right.
We now verify that the group of rotations is not abelian. If we start with the sphere in the identity position and perform , that is, first , then , then the front cover will face away from the reader, the spine will face downward, and the bottom will be oriented to the left. On the other hand, if we start with the sphere in the identity position and perform , then while the front cover will face away from the reader, the spine will face upward, and the bottom will be oriented to the right. So it matters in which order we perform and , that is, , proving that the group is not abelian.
Since every rotation in three-dimensional Euclidean space can be decomposed as a finite sequence of reflections and rotations in the Euclidean plane, one might hope that we can find finite nonabelian groups arising from objects in the plane, and in fact we can. For each regular polygon, there is an associated group, the dihedral group , which is the group of symmetries of the polygon. (Here denotes the number of the sides of the polygon, and gives the number of elements of the group of symmetries.) It is generated by two elements, (for “flip”) and (for “rotate”). These elements can be defined by analogy with the and above; for full details, consult the entry “Dihedral group (http://planetmath.org/DihedralGroup)”, where flips are labelled instead by (for “mirror”). If (so we are dealing with an actual polygon here), it is possible to show that . Moreover, every group with order , , or , where is a prime, is abelian. Thus the smallest possible order for a nonabelian group is . But has elements and is nonabelian, so it is the smallest possible nonabelian group.
2 Small nonabelian groups admitting a cube map
When we say that a group admits , we mean that the function defined on the group by the formula is a homomorphism, that is, that is, that for any and in the group,
If a group admits , then for any and we have that . Multiplying on the left by and on the right by yields the identity . Thus all such groups are abelian. Moreover, the generalized commutativity and associativity laws for abelian groups imply that an abelian group admits all maps . It is therefore reasonable to wonder whether the converse holds. In fact it is possible for a nonabelian group to admit . The smallest order for such a group is . It is beyond the scope of this entry to prove that is the smallest possible order, but we will give an explicit example.
Let be the group with presentation
This can be realized concretely as the group of upper-triangular matrices over with s on the diagonal, but for simplicity we shall work directly with the presentation.
The first three relators tell us that each generator of the group has order . The next two tell us that is central — since it commutes with the other two generators and commutes with itself, it must therefore commute with everything. The final relator is perhaps the most interesting. We can interpret it as the rewrite rule
that is,
“when moves past it turns into .” |
Thus given an element of we can always write it in the normal form , where , and all such elements are distinct. This proves that the cardinality of is . Moreover, we also observe that
so is not abelian.
It remains to check that admits the cube map. We will prove the simpler statement that has exponent . Given in , we first normalize it, so . Since is in the center of ,
To normalize the word , we push each past all of the s. Since pushing past a single turns it into , pushing it past turns it into , that is,
By induction it follows that
Applying this result to , we get that
Since is trivial for any , it follows that admits the cube map.
The other nonabelian group of order has exponent and also admits the cube map. This will be described in an attached entry.
Title | nonabelian group |
---|---|
Canonical name | NonabelianGroup |
Date of creation | 2013-03-22 14:02:04 |
Last modified on | 2013-03-22 14:02:04 |
Owner | drini (3) |
Last modified by | drini (3) |
Numerical id | 10 |
Author | drini (3) |
Entry type | Definition |
Classification | msc 20A05 |
Synonym | non-abelian group |
Synonym | noncommutative group |
Synonym | non-commutative group |
Related topic | AbelianGroup2 |