Category:Definitions/Rings (Abstract Algebra)

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to rings in the context of abstract algebra.
Related results can be found in Category:Rings (Abstract Algebra).


A ring $\struct {R, *, \circ}$ is a semiring in which $\struct {R, *}$ forms an abelian group.


That is, in addition to $\struct {R, *}$ being closed, associative and commutative under $*$, it also has an identity, and each element has an inverse.