Definition:Non-Trivial Ring

From ProofWiki
Jump to navigation Jump to search

Definition

A non-trivial ring is a ring which is not trivial.


That is, a ring $R$ such that:

$\exists x, y \in R: x \circ y \ne 0_R$

where $0_R$ denotes the zero of $R$.


Also known as

Some sources use a non-hyphenated version of the term: nontrivial ring.