Self-Invariant Maximal Subfields and Their Connexion with Some Conjectures in Division Rings

arXiv1905.02246MaRDI QIDQ6318299FDOQ6318299

Publication date: 6 May 2019

Abstract: Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e. ND*(K)= K: This kind of subfields is important because they have strong connexion with the most famous Albert's Conjecture (every division ring of prime index is cyclic). In fact, we pose a question that asserts whether every division ring whose all maximal subfields are self-invariant has to be commutative. The positive answer to this question, in finite dimensional case, implies the Albert's Conjecture (see x2). Although we show the Mal'cev-Neumann division ring demonstrates negative answer in the case of infinite dimensional division rings, but it is still most likely the question receives positive answer if we restrict ourselves to the finite dimensional division rings. We also have had the opportunity to use the Mal'cev-Neumann structure to answer Conjecture 1 below in negative (see x3). Finally, among other things, we rely on this kind of subfields to present a criteria for a division ring to have finite dimensional subdivision ring (see x4).

Mathematics Subject Classification ID

Nonassociative division algebras (17A35) Infinite-dimensional and general division rings (16K40) General theory of nonassociative rings and algebras (17A01)

This page was built for publication: Self-Invariant Maximal Subfields and Their Connexion with Some Conjectures in Division Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6318299)