A group is a set $G$ together with an operation $*$ on $G$ such that each of the following axioms is satisfied:

  1. Associative. For all $a,b,c\in G,$ \[ a*(b*c)=(a*b)*c. \]
  2. Identity. There is an $e\in G$ such that for each $a\in G$ \[ a*e=e*a=a. \]
  3. Inverse. For each $a\in G$ there is an element $b\in G$ such that \[ a*b=b*a=e. \]

(Closure) By definition, to be a group, $G$ must be closed with respect to the operation $*$. Therefore, if $G$ is a group with operation $*$ and $H\subset G$ but there are $a,b\in H$ such that $a*b\not\in H$, then $H$ cannot be a group since it is not closed with respect to $*.$ In such a case, we still have $a*b\in G$ since $G$ is a group.

Sometimes we refer to a group only by it's set name when the operation is implied. For example, the group of integers refers to the integers with addition.

The identity condition implies a group $G$ is nonempty, since it must contain $e,$ by definition.

The even integers with addition is a group.

The positive integers with addition is not a group.

The set $\{0\}$ with addition is a group.

The positive rational numbers with multiplication is a group.

See tables 5.1 and 5.2 in the text.

If $S$ is a nonempty set, then the set of all invertible mappings in $M(S)$ with composition is a group. This is a restatement of theorem Theorem 4.1(b).

The set $M(S)$ is not a group, since there is an $\alpha\in M(S)$ that has no inverse.

The set of all rotations of the plane about a fixed point in the plane with composition is a group. This is a restatement of .

From , the set of all mappings $\alpha_{a,b}:\R\rightarrow\R$ where $a,b\in\R,$ $a\ne0$ and $\alpha_{a,b}(x)=ax+b$ for each $x\in\R,$ with composition is a group.

Examples of groups of matrices Problems 5.16 and 5.17 and Appendix D. Such groups are very important.

If $G$ with $*$ is a group then

  1. Unique Identity. The identity element of $G$ is unique. That is, if $e*a=a*e=a$ for each $a\in G$ and $f*a=a*f=a$ for each $a\in G$ then $e=f.$ Thus, we may speak of the identify of the group.
  2. Unique Inverse. Each element in a group has a unique inverse. That is, if $a,x,y\in G$ and $e$ is the identity of $G,$ and $a*x=x*a=e$ and $a*y=y*a=e$ then $x=y.$ Thus, we may speak of the inverse of a group element and write $a^{-1}$

The inverse of $a$ is written $a^{-1}.$ Thus, $a*a^{-1}=a^{-1}*a=e.$ This notation aligns with exponent notation for groups discussed in Section 14 and is justified by the uniqueness of inverses. Other notation may be used if available. For example, in the group of integers we have $a^{-1}=-a.$

If two groups $G$ and $H$ are considered, the notation $e_G$ and $e_H$ may be used for their respective identities.

The order of a group $G$ denoted by $\abs{G}$ is the number of elements in $G.$