A subring of 𝔅 containing the ring o of integral elements of the field k_0(𝜋), distinct from 𝔅, and not contained in any other subring of 𝔅 distinct from 𝔅, is called a maximal ring of the algebra 𝔅. In a division algebra, the only maximal ring is the ring of integral elements.