Definition:Subfield/Ring

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {R, +, \circ}$ be a ring with unity.

Let $K$ be a subset of $R$ such that $\struct {K, +, \circ}$ is a field.


Then $\struct {K, +, \circ}$ is a subfield of $\struct {R, +, \circ}$.


Sources