List of abstract algebra topics
Look up Appendix:Glossary of abstract algebra in Wiktionary, the free dictionary.
real or complex numbers, often now called elementary algebra
. The distinction is rarely made in more recent writings.
Basic language
Algebraic structures are defined primarily as sets with operations.
- Algebraic structure
- submoduleetc.
- Binary operation
- Closure of an operation
- Associative property
- Distributive property
- Commutative property
- Unary operator
- Finitary operation
Structure preserving maps called homomorphisms are vital in the study of algebraic objects.
- Homomorphisms
- Kernels and cokernels
- Image and coimage
- Epimorphisms and monomorphisms
- Isomorphisms
- Isomorphism theorems
- Isomorphisms
There are several basic ways to combine algebraic objects of the same type to produce a third object of the same type. These constructions are used throughout algebra.
- Direct sum
- Direct product
- Quotient objects: quotient group, quotient ring, quotient module etc.
- Tensor product
Advanced concepts:
- Category theory
- Category of groups
- Category of rings
- Category of modules (over a fixed ring)
- Category of vector spaces
- Homological algebra
- Filtration (algebra)
- Exact sequence
- Functor
- Zorn's lemma
Semigroups and monoids
- Semigroup
- Subsemigroup
- Free semigroup
- Green's relations
- Inverse semigroup (or inversion semigroup, cf. [1])
- Krohn–Rhodes theory
- Semigroup algebra
- Transformation semigroup
- Monoid
- Aperiodic monoid
- Free monoid
- Monoid (category theory)
- Monoid factorisation
- Syntactic monoid
Group theory
- Structure
- Constructions
- Free group
- Quotient group
- Extension problem
- Direct sum, direct product
- Semidirect product
- Types
- Simple group
- Finite group
- Abelian group
- Cyclic group
- Solvable group
- Nilpotent group
- Divisible group
- Hamiltonian group
- Examples
- Applications
- Group action
- Conjugacy class
- Inner automorphism
- Conjugate closure
- Stabilizer subgroup
- Orbit (group theory)
- Orbit-stabilizer theorem
- Cayley's theorem
- Burnside's lemma
- Burnside's problem
- Loop group
- Fundamental group
Ring theory
- General
- Ring (mathematics)
- Commutative algebra, Commutative ring
- Ring theory, Noncommutative ring
- Algebra over a field
- Relatives to rings: Rig (algebra)
- Structure
- Subring, Subalgebra
- Ring ideal
- Principal ideal
- Ideal quotient
- Maximal ideal, minimal ideal
- semiprime ideal
- Radical of an ideal
- Jacobson radical
- Socle of a ring
- Idempotent, Nilpotent, Zero divisor
- Characteristic (algebra)
- Algebra homomorphism
- Ring epimorphism
- Ring monomorphism
- Ring isomorphism
- Graded algebra
- Morita equivalence
- Constructions
- Direct sum of rings, Product of rings
- Quotient ring
- Matrix ring
- Endomorphism ring
- Polynomial ring
- Formal power series
- Monoid ring, Group ring
- Localization of a ring
- Tensor algebra
- Free algebra
- Completion (ring theory)
- Types
- Field (mathematics), Division ring, division algebra
- Semisimple ring, Semisimple algebra
- Primitive ring, Semiprimitive ring
- Prime ring, Semiprime ring, Reduced ring
- Integral domain, Domain (ring theory)
- Integral closure
- Euclidean domain, Principal ideal domain, Unique factorization domain, Dedekind domain, Prüfer domain
- Von Neumann regular ring
- Quasi-Frobenius ring
- Semihereditary ring
- Local ring, Semi-local ring
- Discrete valuation ring
- Regular local ring
- Cohen–Macaulay ring
- Gorenstein ring
- Artinian ring, Noetherian ring
- semiperfect ring
- Rickart ring
- Lie ring, Lie algebra
- Ideal (Lie algebra)
- Jordan algebra
- Differential algebra
- Banach algebra
- Examples
- Octonions
- Gaussian integer
- Theorems and applications
- Algebraic geometry
- Hilbert's basis theorem
- Hopkins–Levitzki theorem
- Krull's principal ideal theorem
- Levitzky's theorem
- Galois theory
- Artin-Wedderburn theorem
- Jacobson density theorem
- Wedderburn's little theorem
- Lasker–Noether theorem
Field theory
- Basic concepts
- Field (mathematics)
- Subfield (mathematics)
- Multiplicative group
- Primitive element (field theory)
- Multiplicative group
- Field extension
- Field norm
- Field trace
- Conjugate element (field theory)
- Tensor product of fields
- Types
- Algebraic number field
- Global field
- Local field
- Finite field
- Symmetric function
- Formally real field
- Real closed field
- Applications
Module theory
- General
- Structure
- Submodule
- Module homomorphism
- Essential submodule
- Superfluous submodule
- Singular submodule
- Socle of a module
- Radical of a module
- Constructions
- Free module
- Quotient module
- Direct product of modules
- Direct limit, Inverse limit
- Localization of a module
- Completion (ring theory)
- Types
- Simple module, Semisimple module
- Indecomposable module
- Artinian module, Noetherian module
- Homological types:
- Coherent module
- Finitely-generated module
- Finitely-presented module
- Finitely related module
- Algebraically compact module
- Reflexive module
- Concepts and theorems
- Composition series
- Structure theorem for finitely generated modules over a principal ideal domain
- Homological dimension
- Projective dimension
- Injective dimension
- Flat dimension
- Global dimension
- Weak global dimension
- Cohomological dimension
- Krull dimension
- depth (algebra)
- Fitting lemma
- Schur's lemma
- Nakayama's lemma
- Krull–Schmidt theorem
- Steinitz exchange lemma
- Jordan–Hölder theorem
- Artin–Rees lemma
- Schanuel's lemma
- Morita equivalence
- Progenerator
Representation theory
Representation theory
- Algebra representation
- Group representation
- Lie algebra representation
- Maschke's theorem
- Schur's lemma
- Equivariant map
- Frobenius reciprocity
- Affine representation
- Projective representation
- Modular representation theory
- Quiver (mathematics)
- Representation theory of Hopf algebras
Non-associative systems
- General
- Associative property, Associator
- Heap (mathematics)
- Magma (algebra)
- Loop (algebra), Quasigroup
- Nonassociative ring, Non-associative algebra
- Universal enveloping algebra
- list of Lie group topics and list of representation theory topics)
- Jordan algebra
- Alternative algebra
- Power associativity
- Flexible algebra
- Examples
- Cayley–Dickson construction
- Octonions
- Sedenions
- Hyperbolic quaternions
- Virasoro algebra
Generalities
- Algebraic structure
- Universal algebra
- Kernel of a function
- Kernel (algebra)
- Isomorphism class
- Isomorphism theorem
- Fundamental theorem on homomorphisms
- Universal property
- Filtration (mathematics)
- Category theory
- Torsion (algebra)
Computer algebra
- Symbolic mathematics
See also
- List of commutative algebra topics
- List of homological algebra topics
- List of linear algebra topics
- List of algebraic structures
- Glossary of field theory
- Glossary of group theory
- Glossary of ring theory
- Glossary of tensor theory