Definition:Generator of a Division Subring

Definition

Let $\left({D, +, \circ}\right)$ be a division ring.

Let $S \subseteq D$.

The division subring generated by $S$ is the smallest division subring of $D$ containing $S$.

Sources

• Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 23$