# Definition:Group

## Definition

A **group** is a semigroup with an identity (that is, a monoid) in which every element has an inverse.

### Group Axioms

The properties that define a **group** are sufficiently important that they are often separated from their use in defining semigroups, monoids, and so on, and given recognition in their own right.

A group is an algebraic structure $\struct {G, \circ}$ which satisfies the following four conditions:

\((G \, 0)\) | $:$ | Closure | \(\displaystyle \forall a, b \in G:\) | \(\displaystyle a \circ b \in G \) | ||||

\((G \, 1)\) | $:$ | Associativity | \(\displaystyle \forall a, b, c \in G:\) | \(\displaystyle a \circ \paren {b \circ c} = \paren {a \circ b} \circ c \) | ||||

\((G \, 2)\) | $:$ | Identity | \(\displaystyle \exists e \in G: \forall a \in G:\) | \(\displaystyle e \circ a = a = a \circ e \) | ||||

\((G \, 3)\) | $:$ | Inverse | \(\displaystyle \forall a \in G: \exists b \in G:\) | \(\displaystyle a \circ b = e = b \circ a \) |

These four stipulations are called the **group axioms**.

The notation $\struct {G, \circ}$ is used to represent a **group** whose underlying set is $G$ and whose operation is $\circ$.

### Group Product

The operation $\circ$ is referred to in this context as the **group product** or just **product**.

### Multiplicative Notation

When discussing a general group with a general group product, it is customary to dispense with a symbol for this operation and merely concatenate the elements to indicate the product.

- $x y$ is used to indicate the result of the operation on $x$ and $y$. There is no symbol used to define the operation itself.

- $e$ or $1$ is used for the identity element.

- $x^{-1}$ is used for the inverse element.

- $x^n$ is used to indicate the $n$th power of $x$.

Compare with additive notation.

## Also denoted as

Some sources use the notation $\gen {G, \circ}$ for $\struct {G, \circ}$.

## Examples

### Example: $\dfrac {x + y} {1 + x y}$

The set of real numbers $\set {x \in \R: -1 < x < 1}$, under the operation:

- $x \circ y = \dfrac {x + y} {1 + x y}$

is a group.

### Example: $x + y + 2$ over $\R$

Let $\circ: \R \times \R$ be the operation defined on the real numbers $\R$ as:

- $\forall x, y \in \R: x \circ y := x + y + 2$

Then $\struct {\R, \circ}$ is a group whose identity is $-2$.

### Example: $x + y + x y$ over $\R \setminus \set {-1}$

Let $\circ: \R \times \R$ be the operation defined on the real numbers $\R$ as:

- $\forall x, y \in \R: x \circ y := x + y + x y$

Let:

- $\R' := \R \setminus \set {-1}$

that is, the set of real numbers without $-1$.

Then $\struct {\R', \circ}$ is a group whose identity is $0$.

### Example: $x^{-1} = 1 - x$

Let $S = \set {x \in \R: 0 < x < 1}$.

Then an operation $\circ$ can be found such that $\struct {S, \circ}$ is a group such that the inverse of $x \in S$ is $1 - x$.

### Example: Group of Linear Functions

Let $G$ be the set of all real functions $\theta_{a, b}: \R \to \R$ defined as:

- $\forall x \in \R: \map {\theta_{a, b} } x = a x + b$

where $a, b \in \R$ such that $a \ne 0$.

The algebraic structure $\struct {G, \circ}$, where $\circ$ denotes composition of mappings, is a group.

$\struct {G, \circ}$ is specifically non-abelian.

### Example: Operation Induced by Self-Inverse and Cancellable Elements

Let $S$ be a set with an operation which assigns to each $\tuple {a, b} \in S \times S$ an element $a \ast b \in S$ such that:

- $(1): \quad \exists e \in S: a \ast b = e \iff a = b$
- $(2): \quad \forall a, b, c \in S: \paren {a \ast c} \ast \paren {b \ast c} = a \ast b$

Then $\struct {S, \circ}$ is a group, where $\circ$ is defined as $a \circ b = a \ast \paren {e \ast b}$.

## Also see

- Results about
**groups**can be found here.

## Historical Note

The term **group** was first used by Évariste Galois in $1832$, in the context of the solutions of polynomials in radicals. Augustin Louis Cauchy was also involved in this development.

The concept of the group as a purely abstract structure was introduced by Arthur Cayley in his $1854$ paper *On the theory of groups*.

The first one to formulate the set of axioms to define the structure of a group was Leopold Kronecker in $1870$.

## Sources

- 1955: John L. Kelley:
*General Topology*... (previous) ... (next): Chapter $0$: Algebraic Concepts - 1964: Iain T. Adamson:
*Introduction to Field Theory*... (previous) ... (next): $\S 1.1$ - 1964: Walter Ledermann:
*Introduction to the Theory of Finite Groups*(5th ed.) ... (previous) ... (next): $\S 2$: The Axioms of Group Theory: Definition $1$ - 1965: J.A. Green:
*Sets and Groups*... (previous) ... (next): $\S 4.4$. Gruppoids, semigroups and groups: Definition $3$ - 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): $\S 7$ - 1966: Richard A. Dean:
*Elements of Abstract Algebra*... (previous) ... (next): $\S 1.2$ - 1967: George McCarty:
*Topology: An Introduction with Application to Topological Groups*... (previous) ... (next): $\text{II}$: The Group Property - 1970: B. Hartley and T.O. Hawkes:
*Rings, Modules and Linear Algebra*... (previous) ... (next): $\S 1.1$: The definition of a ring: Definitions $1.1 \ \text{(b)}$ - 1971: Allan Clark:
*Elements of Abstract Algebra*... (previous) ... (next): Chapter $2$: The Definition of Group Structure: $\S 26$ - 1974: Thomas W. Hungerford:
*Algebra*... (previous) ... (next): $\text{I}$: Groups: $\S 1$ Semigroups, Monoids and Groups: Definition $1.1 \text{(iii)}$ - 1978: John S. Rose:
*A Course on Group Theory*... (previous) ... (next): $2$: Examples of Groups and Homomorphisms: $2.2$ Definitions $\text{(ii)}$ - 1978: Thomas A. Whitelaw:
*An Introduction to Abstract Algebra*... (previous) ... (next): $\S 33$. The definition of a group - 1982: P.M. Cohn:
*Algebra Volume 1*(2nd ed.) ... (previous) ... (next): $\S 3.2$: Groups; the axioms - 1992: William A. Adkins and Steven H. Weintraub:
*Algebra: An Approach via Module Theory*... (next): $\S 1.1$: Definition $1.1$ - 2008: Paul Halmos and Steven Givant:
*Introduction to Boolean Algebras*... (previous) ... (next): $\S 1$: Exercise $5$ - 2010: Steve Awodey:
*Category Theory*(2nd ed.) ... (previous) ... (next): $\S 1.5$: Definition $1.4$