Return to Glossary.

**Formal Definition**

A **group** $\langle G,*\rangle$ is a set $G$,closed under a binary operation $*$,such that the following axioms are satisfied:

$\mathscr{Y}_1$:For all $a,b,c\in G$,we have $(a*b)*c=a*(b*c)$. (**associativity of** *)

$\mathscr{Y}_2$:There is an element $e$ in $G$ such that for all $x\in G$,$e*x=x*e=x$. ($e$ is an **identity element** for $*$.)

$\mathscr{Y}_3$:Corresponding to each $a\in G$,there is an element $a'$ in $G$ such that $a*a'=a'*a=e$. ($a'$ is an **inverse** of $a$.)

**Informal Definition**

A **group** is a set with a binary operation that satisfies these axioms: it must be closed under the binary operation, **associative**, contain the **identity element**, and each element in the set has a corresponding **inverse**.

**Example(s)**

$\langle U,\cdot\rangle$ and $\langle U_n,\cdot\rangle$ are groups. Multiplication of complex numbers is associative and both $U$ and $U_n$ contain 1,which is an identity for multiplication.For $e^{i\theta} \in U$,the computation

(1)shows that every element of $U_n$ has an inverse. Thus $\langle U,\cdot\rangle$ and $\langle U_n,\cdot\rangle$ are groups.Because $\langle \mathbb{R}_c,+_c\rangle$ is isomorphic to $\langle U,\cdot\rangle$,we see that $\langle \mathbb{R}_c,+_c\rangle$ is a group for all $c\in\mathbb{R}^+$.Similarly,the fact that $\langle \mathbb{Z}_n,+_n\rangle$ is isomorphic to $\langle U,\cdot\rangle$ shows that $\langle \mathbb{Z}_n,+_n\rangle$ is a group for all $n\in \mathbb{Z}^+$.

**Non-example(s)**

Replace this text with non-examples

**Additional Comments**

Add any other comments you have about the term here