Group Theory

Magma

Semigroup

A_·

Monoid

A_·1

Σ_{A : U} Σ_{m : A → A → A} Π_{x, y, z : A} m(x, m(y, z)) = m(m(x, y), z).

Group

A_·1N_·

Commutative group

Also called abelian group. A_·C_·1N_·

Conjugacy Class

General Linear Group

Orthogonal Group

Symmetric Group

References