This site is being phased out.

# Group

From Mathematics Is A Science

Jump to navigationJump to searchA *group* is a pair $(G,*)$, where $G$ is a non-empty set and $*$ is a binary operation on $G$, such that the following conditions hold:

- For any $a,b$ in $G$, $a*b$, belongs to $G$. ($G$ is closed under $*$).
- For any $a,b,c\in G$, $(a*b)*c=a*(b*c)$. ($*$ is associative).
- There is an element $e\in G$ such that $g*e=e*g=g$, for any $g\in G$. ($e$ is the identity element).
- For any $g\in G$, there exists an element $h$ such that $g*h=h*g=e$. ($h=g^{-1}$ is the inverse of $g$).

Usually, the symbol $*$ is omitted and we write $ab$ for $a*b$. Sometimes, the symbol $+$ is used to represent the operation, when the group is abelian and, especially, in linear algebra.

**Properties.**

- there is only one identity element,
- for every element there is only one inverse.

See also Transformation groups.