Ring theory
Content created by Egbert Rijke, Fredrik Bakke, Louis Wasserman, malarbol, Jonathan Prieto-Cubides, Maša Žaucer, Fernando Chu, Garrett Figueroa and Gregor Perčič.
Created on 2022-03-12.
Last modified on 2025-10-25.
Examples of rings
| Ring | File |
|---|---|
| Complex numbers | complex-numbers.ring-of-complex-numbers |
| Eisenstein integers | complex-numbers.eisenstein-integers |
| Endomorphism ring of an abelian group | group-theory.endomorphism-rings-abelian-groups |
| Gaussian integers | complex-numbers.gaussian-integers |
| Integers | elementary-number-theory.ring-of-integers |
| Integers modulo $𝑛$ | elementary-number-theory.standard-cyclic-rings |
| Rational numbers | elementary-number-theory.ring-of-rational-numbers |
| Trivial ring | ring-theory.trivial-rings |
Modules in the ring theory namespace
module ring-theory where open import ring-theory.additive-orders-of-elements-rings public open import ring-theory.algebras-rings public open import ring-theory.arithmetic-sequences-semirings public open import ring-theory.arithmetic-series-semirings public open import ring-theory.binomial-theorem-rings public open import ring-theory.binomial-theorem-semirings public open import ring-theory.category-of-cyclic-rings public open import ring-theory.category-of-rings public open import ring-theory.central-elements-rings public open import ring-theory.central-elements-semirings public open import ring-theory.characteristics-rings public open import ring-theory.commuting-elements-rings public open import ring-theory.congruence-relations-rings public open import ring-theory.congruence-relations-semirings public open import ring-theory.cyclic-rings public open import ring-theory.dependent-products-ring-extensions-rational-numbers public open import ring-theory.dependent-products-rings public open import ring-theory.dependent-products-semirings public open import ring-theory.division-rings public open import ring-theory.free-rings-with-one-generator public open import ring-theory.full-ideals-rings public open import ring-theory.function-rings public open import ring-theory.function-semirings public open import ring-theory.generating-elements-rings public open import ring-theory.geometric-sequences-semirings public open import ring-theory.groups-of-units-rings public open import ring-theory.homomorphisms-cyclic-rings public open import ring-theory.homomorphisms-ring-extensions-rational-numbers public open import ring-theory.homomorphisms-rings public open import ring-theory.homomorphisms-semirings public open import ring-theory.ideals-generated-by-subsets-rings public open import ring-theory.ideals-rings public open import ring-theory.ideals-semirings public open import ring-theory.idempotent-elements-rings public open import ring-theory.initial-rings public open import ring-theory.integer-multiples-of-elements-rings public open import ring-theory.intersections-ideals-rings public open import ring-theory.intersections-ideals-semirings public open import ring-theory.invariant-basis-property-rings public open import ring-theory.invertible-elements-rings public open import ring-theory.isomorphisms-rings public open import ring-theory.joins-ideals-rings public open import ring-theory.joins-left-ideals-rings public open import ring-theory.joins-right-ideals-rings public open import ring-theory.kernels-of-ring-homomorphisms public open import ring-theory.left-ideals-generated-by-subsets-rings public open import ring-theory.left-ideals-rings public open import ring-theory.local-rings public open import ring-theory.localizations-rings public open import ring-theory.maximal-ideals-rings public open import ring-theory.multiples-of-elements-rings public open import ring-theory.multiplicative-orders-of-units-rings public open import ring-theory.nil-ideals-rings public open import ring-theory.nilpotent-elements-rings public open import ring-theory.nilpotent-elements-semirings public open import ring-theory.opposite-ring-extensions-rational-numbers public open import ring-theory.opposite-rings public open import ring-theory.partial-sums-sequences-semirings public open import ring-theory.poset-of-cyclic-rings public open import ring-theory.poset-of-ideals-rings public open import ring-theory.poset-of-left-ideals-rings public open import ring-theory.poset-of-right-ideals-rings public open import ring-theory.powers-of-elements-rings public open import ring-theory.powers-of-elements-semirings public open import ring-theory.precategory-of-rings public open import ring-theory.precategory-of-semirings public open import ring-theory.products-ideals-rings public open import ring-theory.products-left-ideals-rings public open import ring-theory.products-right-ideals-rings public open import ring-theory.products-rings public open import ring-theory.products-subsets-rings public open import ring-theory.quotient-rings public open import ring-theory.radical-ideals-rings public open import ring-theory.right-ideals-generated-by-subsets-rings public open import ring-theory.right-ideals-rings public open import ring-theory.ring-extensions-rational-numbers public open import ring-theory.rings public open import ring-theory.semirings public open import ring-theory.subrings public open import ring-theory.subsets-rings public open import ring-theory.subsets-semirings public open import ring-theory.sums-of-finite-families-of-elements-rings public open import ring-theory.sums-of-finite-families-of-elements-semirings public open import ring-theory.sums-of-finite-sequences-of-elements-rings public open import ring-theory.sums-of-finite-sequences-of-elements-semirings public open import ring-theory.transporting-ring-structure-along-isomorphisms-abelian-groups public open import ring-theory.trivial-rings public
Recent changes
- 2025-10-25. Louis Wasserman. Subrings (#1630).
- 2025-10-20. Fredrik Bakke. Add table of rings (#1613).
- 2025-08-30. malarbol and Louis Wasserman. Arithmetic and geometric sequences in semirings (#1475).
- 2025-08-11. malarbol and Garrett Figueroa. Ring extensions of
ℚand rational modules (#1452). - 2025-06-03. Louis Wasserman. Sums and products over arbitrary finite types (#1367).