Math Reference

Groups, Rings, Fields, and Abstract Algebra Terms

Learn algebraic structures from operations and groups through rings, fields, finite fields, modules, and vector spaces with definitions and worked examples.

From operations to groups, rings, and fields

Each structure adds specific axioms; fields support division by every nonzero element.

When modular arithmetic forms a field

ℤ/nℤ is a field exactly when n is prime; composite moduli can contain zero divisors.

63 matching terms

Operations and axioms

Set

NotationS

Meaning

A collection of distinct objects treated as one mathematical object.

When to use it

Use a set to specify the carrier on which algebraic operations are defined.

Worked example

ℤ={..., -2, -1, 0, 1, 2, ...}.

Operations and axioms

Binary operation

Notation*:S×S→S

Meaning

A rule that combines two elements of a set and returns one element of the same set.

When to use it

Use it as the operation underlying magmas, semigroups, groups, rings, and fields.

Worked example

Addition is a binary operation on ℤ because a+b∈ℤ for all integers a and b.

Operations and axioms

Closure

Meaning

The property that applying an operation to allowed elements always produces another allowed element.

When to use it

Check closure before claiming that a subset inherits an algebraic structure.

Worked example

The positive integers are closed under addition but not under subtraction.

Operations and axioms

Associativity

Notation(a*b)*c=a*(b*c)

Meaning

The property that regrouping three operands does not change the result.

When to use it

Use it to omit parentheses in repeated products or sums and to define powers consistently.

Worked example

Matrix multiplication is associative even though it is not generally commutative.

Operations and axioms

Commutativity

Notationa*b=b*a

Meaning

The property that exchanging the order of two operands does not change the result.

When to use it

Use it to distinguish Abelian groups and commutative rings from noncommutative structures.

Worked example

Integer multiplication is commutative, while matrix multiplication usually is not.

Operations and axioms

Identity element

Notatione

Meaning

An element that leaves every element unchanged when used in the operation.

When to use it

Use it to define inverses, powers, monoids, groups, and rings with identity.

Worked example

0 is the additive identity and 1 is the multiplicative identity in ℤ.

Operations and axioms

Inverse element

Notationa⁻¹

Meaning

An element that combines with a given element to produce the identity.

When to use it

Use it to reverse group operations and determine which ring elements are units.

Worked example

The additive inverse of 5 is -5; the multiplicative inverse of 3 in ℚ is 1/3.

Operations and axioms

Magma

Notation(M,*)

Meaning

A set equipped with one closed binary operation, without requiring associativity or an identity.

When to use it

Use it as the least restrictive starting point in the hierarchy of one-operation structures.

Worked example

Every semigroup is a magma, but a magma need not be associative.

Operations and axioms

Semigroup

Notation(S,*)

Meaning

A magma whose operation is associative.

When to use it

Use it to model composable processes that do not necessarily have an identity or inverses.

Worked example

All nonempty strings form a semigroup under concatenation.

Operations and axioms

Monoid

Notation(M,*,e)

Meaning

A semigroup with an identity element.

When to use it

Use it for sequences, transformations, endomorphisms, and computations that compose from a neutral value.

Worked example

All strings including the empty string form a monoid under concatenation.

Groups

Group

Notation(G,*)

Meaning

A monoid in which every element has an inverse.

When to use it

Use groups to describe symmetries and reversible operations.

Worked example

The integers form a group under addition.

Groups

Abelian group

Notationa*b=b*a

Meaning

A group whose operation is commutative.

When to use it

Use it for additive structures such as integers, vectors, and the additive part of a ring.

Worked example

Every vector space is an Abelian group under vector addition.

Groups

Subgroup

NotationH≤G

Meaning

A subset of a group that is itself a group under the restricted operation.

When to use it

Use it to isolate symmetries, generated elements, stabilizers, and solution sets inside a group.

Worked example

2ℤ is a subgroup of (ℤ,+).

Groups

Cyclic group

NotationG=⟨g⟩

Meaning

A group generated by one element.

When to use it

Use it to represent every group element as a power or integer multiple of one generator.

Worked example

(ℤ/nℤ,+) is cyclic and generated by [1].

Groups

Group generator

Notation⟨g⟩

Meaning

An element or set of elements whose repeated operations and inverses produce the entire group.

When to use it

Use it to give compact presentations and test whether a group is cyclic.

Worked example

The element [1] generates the additive group ℤ/5ℤ.

Groups

Order of a group element

Notationord(g)

Meaning

The smallest positive exponent that sends an element to the identity.

When to use it

Use it to determine cycle length and generated subgroup size.

Worked example

In the additive group ℤ/6ℤ, the element [2] has element order 3.

Groups

Order of a group

Notation|G|

Meaning

The number of elements in a finite group.

When to use it

Use it with Lagrange's theorem, counting arguments, and classification of finite groups.

Worked example

The symmetry group of an equilateral triangle has group order 6.

Groups

Coset

NotationgH or Hg

Meaning

A translate of a subgroup obtained by multiplying every subgroup element by a fixed group element.

When to use it

Use cosets to partition a group and construct quotient groups.

Worked example

The cosets of 3ℤ in ℤ are 3ℤ, 1+3ℤ, and 2+3ℤ.

Groups

Lagrange's theorem

Notation|G|=[G:H]|H|

Meaning

For a finite group, the order of every subgroup divides the order of the group.

When to use it

Use it to restrict possible subgroup and element orders.

Worked example

A finite group with group order 12 cannot contain a subgroup with group order 5.

Groups

Normal subgroup

NotationN◁G

Meaning

A subgroup whose left and right cosets coincide for every group element.

When to use it

Use it as the condition required for cosets to form a quotient group.

Worked example

The kernel of every group homomorphism is a normal subgroup.

Groups

Quotient group

NotationG/N

Meaning

A group of cosets formed from a group and a normal subgroup.

When to use it

Use it to collapse a normal subgroup to the identity and study group structure at a coarser scale.

Worked example

ℤ/nℤ is the quotient group ℤ/nℤ under addition.

Groups

Group homomorphism

Notationφ(ab)=φ(a)φ(b)

Meaning

A map between groups that preserves the group operation.

When to use it

Use it to compare groups while retaining their algebraic operation.

Worked example

The map φ:ℤ→ℤ/nℤ given by φ(k)=[k] preserves addition.

Groups

Group isomorphism

NotationG≅H

Meaning

A bijective group homomorphism showing that two groups have the same abstract structure.

When to use it

Use it to treat differently represented groups as structurally identical.

Worked example

Every infinite cyclic group is isomorphic to (ℤ,+).

Groups

Kernel of a group homomorphism

Notationker(φ)

Meaning

The subgroup of elements mapped to the identity of the target group.

When to use it

Use it to measure information lost by a homomorphism and test injectivity.

Worked example

A group homomorphism is injective if and only if its kernel is the identity subgroup.

Groups

Image of a group homomorphism

Notationim(φ)

Meaning

The subgroup of target elements actually reached by a homomorphism.

When to use it

Use it to determine the effective output structure and test surjectivity.

Worked example

A homomorphism is surjective exactly when its image equals the target group.

Groups

First isomorphism theorem for groups

NotationG/ker(φ)≅im(φ)

Meaning

A theorem identifying the quotient by a homomorphism's kernel with its image.

When to use it

Use it to connect kernels, images, and quotient structures.

Worked example

For φ:ℤ→ℤ/nℤ, ℤ/nℤ≅im(φ).

Groups

Direct product of groups

NotationG×H

Meaning

A group formed from ordered pairs with componentwise operations.

When to use it

Use it to combine independent group structures and decompose finite Abelian groups.

Worked example

ℤ/2ℤ×ℤ/3ℤ is isomorphic to ℤ/6ℤ.

Rings

Ring

Notation(R,+,×)

Meaning

A set whose addition forms an Abelian group and whose associative multiplication distributes over addition.

When to use it

Use rings to study integers, polynomials, matrices, and modular arithmetic with addition and multiplication.

Worked example

ℤ is a commutative ring with identity.

Rings

Commutative ring

Notationab=ba

Meaning

A ring whose multiplication is commutative.

When to use it

Use it in number theory and algebraic geometry where polynomial-like multiplication is commutative.

Worked example

ℤ and F[x] are commutative rings when F is a field.

Rings

Ring with identity

Notation1_R

Meaning

A ring containing a multiplicative identity element.

When to use it

Use it when defining units, modules with scalar identity, and homomorphisms that preserve 1.

Worked example

The even integers form a ring without their own multiplicative identity under the inherited operations.

Rings

Subring

NotationS⊆R

Meaning

A subset that is itself a ring under the operations inherited from a larger ring.

When to use it

Use it to identify smaller arithmetic systems inside a ring.

Worked example

The integers ℤ form a subring of the rational numbers ℚ.

Rings

Unit of a ring

NotationR×

Meaning

An element possessing a multiplicative inverse inside the ring.

When to use it

Use units to identify reversible multiplication and form the multiplicative group of a ring.

Worked example

The units of ℤ are 1 and -1.

Rings

Zero divisor

Notationab=0

Meaning

A nonzero ring element that multiplies with another nonzero element to give zero.

When to use it

Use it to detect failure of cancellation and distinguish integral domains from general rings.

Worked example

In ℤ/6ℤ, [2][3]=[0]; therefore [2] and [3] are zero-divisor elements.

Rings

Nilpotent element

Notationa^k=0

Meaning

An element whose positive power equals zero.

When to use it

Use it to study nonreduced rings, matrix structure, and infinitesimal algebraic behavior.

Worked example

The matrix [[0,1],[0,0]] is nonzero but its square is zero.

Rings

Integral domain

Meaning

A nonzero commutative ring with identity and no zero divisors.

When to use it

Use it where cancellation works and fractions can be constructed consistently.

Worked example

ℤ is an integral domain but not a field.

Rings

Division ring

Meaning

A ring in which every nonzero element has a multiplicative inverse, without requiring multiplication to commute.

When to use it

Use it to distinguish noncommutative division structures from fields.

Worked example

The quaternions form a division ring but not a field.

Rings

Ideal

NotationI◁R

Meaning

An additive subgroup that absorbs multiplication by arbitrary ring elements from the required side or sides.

When to use it

Use ideals as kernels of ring homomorphisms and to construct quotient rings.

Worked example

nℤ is an ideal of ℤ.

Rings

Principal ideal

Notation(a)

Meaning

An ideal generated by one element.

When to use it

Use it to express divisibility and compare principal ideal domains with more general rings.

Worked example

In ℤ, the ideal generated by 6 is (6)=6ℤ.

Rings

Quotient ring

NotationR/I

Meaning

A ring of cosets formed by identifying every element of an ideal with zero.

When to use it

Use it to impose algebraic relations and model modular arithmetic.

Worked example

ℤ/nℤ is the quotient ring ℤ/(n).

Rings

Polynomial ring

NotationR[x]

Meaning

The ring of polynomials with coefficients in a ring R.

When to use it

Use it for equations, factorization, ideals, field extensions, and algebraic geometry.

Worked example

When F is a field, the polynomial ring F[x] is a Euclidean domain.

Rings

Matrix ring

NotationMₙ(R)

Meaning

The ring of square matrices over a ring, using matrix addition and multiplication.

When to use it

Use it for linear transformations and as a standard example of a noncommutative ring.

Worked example

M₂(ℝ) is a ring, but matrix multiplication is not commutative.

Rings

Ring homomorphism

Notationφ(a+b), φ(ab)

Meaning

A map preserving ring addition and multiplication, with identity preservation depending on convention.

When to use it

Use it to compare rings and obtain ideals as kernels.

Caution

State whether ring homomorphisms are required to preserve the multiplicative identity.

Worked example

Evaluation f(x)↦f(0) is a ring homomorphism from R[x] to R.

Rings

Ring isomorphism

NotationR≅S

Meaning

A bijective ring homomorphism showing that two rings have the same ring structure.

When to use it

Use it to replace a ring with an easier but structurally equivalent representation.

Worked example

The Chinese remainder theorem can give ℤ/15ℤ≅ℤ/3ℤ×ℤ/5ℤ.

Fields

Field

Notation(F,+,×)

Meaning

A commutative ring with 1 not equal to 0 in which every nonzero element has a multiplicative inverse.

When to use it

Use fields as scalar systems for exact division, vector spaces, polynomials, and linear algebra.

Worked example

ℚ, ℝ, and ℂ are fields, while ℤ is not.

Fields

Subfield

NotationK⊆F

Meaning

A subset of a field that is itself a field under the inherited operations.

When to use it

Use it to compare scalar systems and define field extensions.

Worked example

ℚ is a subfield of ℝ, and ℝ is a subfield of ℂ.

Fields

Characteristic of a field

Notationchar(F)

Meaning

The smallest positive number of copies of 1 that sum to zero, or 0 if none exists.

When to use it

Use it to distinguish characteristic-zero fields from finite-characteristic arithmetic.

Worked example

The rational field has char(ℚ)=0, while the finite prime field has char(𝔽ₚ)=p.

Fields

Prime field

Meaning

The smallest subfield contained in a field, isomorphic to ℚ or to 𝔽ₚ.

When to use it

Use it as the arithmetic foundation generated by the multiplicative identity.

Worked example

Every field of characteristic p contains a copy of 𝔽ₚ.

Fields

Finite field

Notation𝔽_q

Meaning

A field containing finitely many elements.

When to use it

Use it in coding theory, cryptography, checksums, and finite geometry.

Worked example

The field 𝔽₅={0,1,2,3,4} uses arithmetic modulo 5 for both addition and multiplication.

Fields

Prime-power order of a finite field

Notationq=pⁿ

Meaning

A finite field exists with q elements exactly when q is a power of a prime.

When to use it

Use it to determine valid finite-field sizes before constructing one.

Worked example

A field with 8 elements exists, but a field with 6 elements does not.

Fields

Galois field

NotationGF(pⁿ)

Meaning

Another name for the finite field with pⁿ elements, unique up to isomorphism.

When to use it

Use it for extension-field arithmetic in error-correcting codes and cryptographic systems.

Worked example

GF(2⁸) is widely used for byte-oriented finite-field arithmetic.

Fields

Field extension

NotationL/K

Meaning

A field L containing a field K as a subfield.

When to use it

Use it to adjoin roots, enlarge scalar systems, and construct finite fields.

Worked example

ℂ/ℝ is a field extension obtained by adjoining i.

Fields

Degree of a field extension

Notation[L:K]

Meaning

The vector-space dimension of L when regarded as a vector space over K.

When to use it

Use it to measure extension size and apply the tower law.

Worked example

The extension degree is [ℂ:ℝ]=2, with basis {1,i} over ℝ.

Fields

Algebraic element

Meaning

An extension-field element that is a root of a nonzero polynomial over the base field.

When to use it

Use it to construct finite-degree extensions and classify numbers over a field.

Worked example

√2 is algebraic over ℚ because it satisfies x²-2=0.

Fields

Transcendental element

Meaning

An extension-field element satisfying no nonzero polynomial over the base field.

When to use it

Use it to distinguish transcendental extensions from algebraic ones.

Worked example

π and e are transcendental over ℚ.

Fields

Minimal polynomial

Notationm_α(x)

Meaning

The unique monic irreducible polynomial of least degree over the base field having an algebraic element as a root.

When to use it

Use it to determine extension degree and arithmetic relations of an algebraic element.

Worked example

The minimal polynomial of √2 over ℚ is x²-2.

Fields

Splitting field

Meaning

The smallest field extension over which a polynomial factors completely into linear factors.

When to use it

Use it to contain all polynomial roots and study their symmetries.

Worked example

The splitting field of x²+1 over ℝ is ℂ.

Fields

Algebraic closure

Meaning

An algebraic extension that is algebraically closed, so every nonconstant polynomial has a root.

When to use it

Use it as a setting where polynomial equations split completely.

Worked example

ℂ is algebraically closed and is an algebraic closure of ℝ only after noting ℂ/ℝ is algebraic.

Connections and examples

Module

NotationM over R

Meaning

An Abelian group with scalar multiplication by elements of a ring.

When to use it

Use modules to generalize vector spaces when scalars come from a ring rather than a field.

Worked example

Every Abelian group is naturally a module over the integer ring ℤ.

Connections and examples

Vector space over a field

NotationV over F

Meaning

An Abelian group with scalar multiplication by a field satisfying the vector-space axioms.

When to use it

Use it to connect field structure with linear algebra, bases, dimension, and linear transformations.

Worked example

ℂ is a two-dimensional vector space over ℝ.

Connections and examples

Algebra over a field

NotationA over F

Meaning

A vector space over a field equipped with a compatible bilinear multiplication.

When to use it

Use it to combine linear algebra with ring multiplication.

Worked example

Mₙ(F) is an algebra over F.

Connections and examples

When ℤ/nℤ is a field

Meaning

The quotient ring ℤ/nℤ is a field exactly when n is prime.

When to use it

Use it to distinguish prime-modulus arithmetic from composite-modulus arithmetic with zero divisors.

Worked example

ℤ/5ℤ is a field, but ℤ/6ℤ is not because [2][3]=[0].

Connections and examples

Unit group of a ring

NotationR×

Meaning

The group formed by all multiplicatively invertible elements of a ring.

When to use it

Use it to connect ring multiplication with group theory and modular arithmetic.

Worked example

(ℤ/nℤ)× contains exactly the residue classes coprime to n.

Connections and examples

Scalar field

NotationF

Meaning

The field from which vector-space coefficients and matrix entries are taken.

When to use it

State it because rank, eigenvalues, factorization, and solvability can change with the scalar field.

Worked example

The matrix [[0,-1],[1,0]] has no real eigenvalues but has eigenvalues i and -i over ℂ.