User:TimothyRias/Group Temp

Example
To clarify the group axioms we consider the group of symmetries of ane equilateral triangle. The elements of the group will be operations that keep the shape of the triangle unchanged. (In the images, the vertices are colored only to visualize the operations). We have:
 * Two rotations r1 and r2 (rotating the triangle right and left by 120°).
 * Reflections ( mr ,  mg , and  mb ) across the bisector of each vertex. (Labeled by the color of the vertex in the original configuration.)
 * Finally, the identity operation id leaving everything unchanged is also a symmetry.

In this example group, the axioms can be understood as follows:   The closure axiom demands that any two symmetries can be composed. This is indeed the case – for any two symmetries a and b, we can first perform a and then b and the result will still be a symmetry, written symbolically
 * b • a ("perform the symmetry b after performing the symmetry a")

For example, rotating by 120° left (r2) and then mirroring across the bisector of the red vertex ( mr ) equals mirroring across the bisector of the blue vertex ( mb ). Using the above symbols, we have:
 *  mg  • r2 =  mr  (highlighted in blue in the group table).

 The associativity constraint is the natural axiom to impose in order to make composing more than two symmetries well-behaved: given three elements a, b and c of G, there are two possible ways of computing "a after b after c". The requirement:
 * (a • b) • c = a • (b • c)

means that composing a after b, and calling this symmetry x, then x after c is the same as a after y, where y in turn is applying b after c. For example, we check ( mr  •  mb ) • r2 =  mr  • ( mb  • r2) using the group table at the right:
 * ( mr  •  mb ) • r2 = r2 • r2 = r1, which equals
 *  mr  • ( mb  • r2) =  mr  •  mg  = r1. 

 The identity element is the symmetry id leaving everything unchanged: for any symmetry a, performing id after a (or a after id) equals a, in symbolic form:
 * id • a = a, and
 * a • id = a.

 Inverse elements are fulfilling the purpose of undoing the operation of some element. In the symmetry group example, every symmetry can be undone: the identity id, the reflections  mr ,  mg , and  mb  are their own inverse, because repeating them brings the square back to its original orientation. The rotations r1 and r2 are each other's inverse, because rotating one way and then the other way leaves the square unchanged. In symbols for example:
 *  mb  •  mb  = id,
 * r2 • r1 = r1 • r2 = id.



Given their existence, both identity element and inverse elements are unique, see the notations section below.