examples of groups
Groups (http://planetmath.org/Group) are ubiquitous throughout mathematics. Many “naturallyoccurring” groups are either groups of numbers (typically Abelian)or groups of symmetries
(typically non-Abelian
).
Groups of numbers
- •
The most important group is the group of integers withaddition
as operation
and zero as identity element
.
- •
The integers modulo , often denoted by , form agroup under addition. Like itself, this is a cyclic group
; anycyclic group is isomorphic
to one of these.
- •
The rational (or real, or complex) numbers form a group underaddition.
- •
The positive rationals form a group under multiplication with identity element 1, and sodo the non-zero rationals. The same is true for the reals and real algebraic numbers
.
- •
The non-zero complex numbers
form a group under multiplication.So do the non-zero quaternions
. The latter is our first example of anon-Abelian group
.
- •
More generally, any (skew) field gives rise to two groups: the additivegroup
of all field elements with 0 as identity element, and the multiplicative group of allnon-zero field elements with 1 as identity element.
- •
The complex numbers of absolute value
1 form a group undermultiplication, best thought of as the unit circle
. The quaternions ofabsolute value 1 form a group under multiplication, best thought of asthe three-dimensional unit sphere
. The two-dimensional sphere howeveris not a group in any natural way.
- •
The positive integers less than which arecoprime
to form a group if the operation is defined asmultiplication modulo . This is an Abelian group whose order is given by theEuler phi-function .
- •
The units of the number ring form the multiplicative group consisting of all integer powers of and their negatives (see units of quadratic fields).
- •
Generalizing the last two examples, if is a ring with multiplicative identity
1, then the units of (http://planetmath.org/GroupOfUnits) (the elements invertible
with respect to multiplication) form a group with respect to ring multiplication and with identity element 1. See examples of rings.
Most groups of numbers carry natural topologies turning them intotopological groups.
Symmetry groups
- •
The symmetric group
of degree , denoted by , consists ofall permutations
of items and has elements. Every finitegroup
is isomorphic to a subgroup
of some (Cayley’s theorem).
- •
An important subgroup of the symmetric group of degree is thealternating group
, denoted . This consists of all evenpermutations on items. A permutation is said to be even if it canbe written as the product
of an even number
of transpositions
. The alternatinggroup is normal in , of index , and it is an interesting fact that is simple for . See the proof on the simplicity of the alternatinggroups. See also examples of finite simple groups.
- •
If any geometrical object is given, one can consider itssymmetry group consisting of all rotations
and reflections
which leavethe object unchanged. For example, the symmetry group of a cone isisomorphic to ; the symmetry group of a square has eight elements and is isomorphic to the dihedral group
.
- •
The set of all automorphisms
of a given group (or field,or graph, or topological space, or object in any category
) forms a group with operationgiven by the composition
of homomorphisms
. This is the automorphism group
of the given object and captures its “internal symmetries”.
- •
In Galois theory
, the symmetry groups of field extensions (orequivalently: the symmetry groups of solutions to polynomialequations) are the central object of study; they are called Galois groups
. One version of the inverse Galois problem asks whether every finite group can arise as the symmetry group of some algebraic extension
of the rational numbers. The answer is unknown.
- •
Several matrix groups
describe various aspects of the symmetry of -space:
- –
The general linear group
of all real invertible matrices (with matrix multiplication
as operation) containsrotations, reflections, dilations
, shear transformations, and theircombinations
.
- –
The orthogonal group
of all real orthogonal
matrices contains the rotations and reflections of -space.
- –
The special orthogonal group
of all real orthogonalmatrices with determinant
1 contains the rotations of -space.
All these matrix groups are Lie groups: groups which are differentiable manifoldssuch that the group operations
are smooth maps.
- –
Other groups
- •
The trivial group consists only of its identity element.
- •
The Klein 4-group is a non-cyclic abelian group with four elements. For other small groups, see groups of small order.
- •
If is a topological space and is a point of , we candefine the fundamental group
of at . It consists of(homotopy classes of) continuous
paths starting and ending at and describes the structure
of the “holes” in accessible
from . The fundamental group is generalized by the higher homotopy groups.
- •
Other groups studied in algebraic topology are the homology groups
of a topological space. In a different way, they also provide information about the “holes” of the space.
- •
The free groups
are important in algebraic topology. In a sense,they are the most general groups, having only those relations
amongtheir elements that are absolutely required by the group axioms. The free group on the set has as members all the finite strings that can be formed from elements of and their inverses
; the operation comes from string concatenation.
- •
If and are two Abelian groups (or modules over the same ring), then the set of all homomorphisms from to is an Abelian group. Note that the commutativity of is crucial here: without it, one couldn’t prove that the sum of two homomorphisms is again a homomorphism.
- •
Given any set , the powerset of becomes an abelian group if we use the symmetric difference
as operation. In this group, any element is its own inverse, which makes it into a vector space
over .
- •
If is a ring with multiplicative identity, then the set of all invertible matrices over forms a group under matrix multiplication with the identity matrix
as identity element; this group is denoted by . It is the group of units of the ring of all matrices over . For a given , the groups with commutative ring can be viewed as the points on the general linear group scheme .
- •
If is a number field
, then multiplication of (equivalence classes
of) non-zero ideals in the ring of algebraic integers gives rise to the ideal class group
of .
- •
The set of the equivalence classes of commensurability of the positive real numbers is an Abelian group with respect to the defined operation.
- •
The set of arithmetic functions that take a value other than 0 at 1 form an Abelian group under Dirichlet convolution. They include as a subgroup the set of multiplicative functions.
- •
Consider the curve , where is any field. Every straight line intersects this set in three points (counting a point twice if the line is tangent
, and allowing for a point at infinity). If we require that those three points add up to zero for any straight line, then we have defined an abelian group structure on . Groups like these are called abelian varieties
.
- •
Let be an elliptic curve
defined over any field . Then the set of -rational points in the curve , denoted by , can be given the structure of abelian group. If is a number field, then is a finitely generated
abelian group. The curve in the example above is an elliptic curve defined over , thus is a finitely generated abelian group.
- •
In the classification of all finite simple groups, several“sporadic” groups occur which don’t follow any discernable pattern.The largest of these is the monster group with about elements.
Title | examples of groups |
Canonical name | ExamplesOfGroups |
Date of creation | 2013-03-22 12:49:19 |
Last modified on | 2013-03-22 12:49:19 |
Owner | AxelBoldt (56) |
Last modified by | AxelBoldt (56) |
Numerical id | 34 |
Author | AxelBoldt (56) |
Entry type | Example |
Classification | msc 20-00 |
Classification | msc 20A05 |
Related topic | ExamplesOfFiniteSimpleGroups |
Related topic | SpinGroup |
Related topic | ExamplesOfAlgebraicKTheoryGroups |
Related topic | QuantumGroups |
Related topic | GroupsOfSmallOrder |
Related topic | TriangleGroups |