Definition:Division Subring
From ProofWiki
Definition
Let $\left({R, +, \circ}\right)$ be a ring.
A division subring of $\left({R, +, \circ}\right)$ is a subset $S$ of $R$ such that $\left({S, +_S, \circ_S}\right)$ is a division ring.
Sources
- Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 23$
