Abstract:The structure and the existence of maximal subrings in division rings are investigated. We see that if $R$ is a maximal subring of a division ring $D$ with center $F$ and $N(R)\neq U(R)\cup \{0\}$, where $N(R)$ is the normalizer of $R$ in $D$, then either $R$ is a division ring with $[D:R]_l=[D:R]_r$ is finite or $R$ is an Ore $G$-domain with certain properties. In particular, if $F\subsetneq C_D(R)$, the centralizer of $R$ in $D$, then $R=C_D(\beta)$ is a division ring, for each $\beta\in C_R(R)\setminus F$, $[D:R]_l$ is finite if and only if $\beta$ is algebraic over $F$, $[D:R]_l=[D:R]_r=[F[\beta]:F]$ and $C_R(R)=F[\beta]$. On the other hand if $R$ does not contains $F$, then $R\cap F=C_R(R)$ is a maximal subring of $F$. Consequently, if a division ring $D$ has a noncentral element which is algebraic over the center of $D$, then $D$ has a maximal subring. In particular, we prove that if $D$ is a non-commutative division ring with center $F$, then either $D$ has a maximal subring or $dim_F(D)\geq |F|$. We study when a maximal subring of a division ring is a left duo ring or certain valuation rings. Finally, we prove that if $D$ is an existentially complete division ring over a field $K$, then $D$ has a maximal subring of the form $C_D(x)$ where $D$ is finite over it. Moreover, if $R$ is a maximal subring of $D$ with $K\subsetneq C_R(R)$, then $R=C_D(x)$ for some $x\in D\setminus K$, which is algebraic over $K$.

Galois subfields of tame division algebras

Subfields of algebraically maximal Kaplansky fields

On the residue fields of Henselian valued stable fields, II

Derived Equivalence, Recollements under $ H $-Galois Extensions

Genus of division algebras over fields with infinite transcendence degree

Transcendental splitting fields of division algebras

The genus of division algebras over discrete valued fields

On, around, and beyond Frobenius' theorem on division algebras

Residue field domination in some henselian valued fields

ON<i>K</i><sub>2</sub>OF DIVISION ALGEBRAS

Distinguishing division algebras by finite splitting fields

On tamely ramified infinite Galois extensions

Maximal subrings of division rings

Menichetti's nonassociative $G$-crossed product algebras

On K-2 Of Division Algebras

Division algebras, Galois fields, quadratic residues

Separable algebras and coflasque resolutions

Derived tame and derived wild algebras

Corestrictions of algebras and splitting fields

On Hopf Galois Extension of Separable Algebras

Tame-wild dichotomy for derived categories