Related papers: A note On subgroups in a division ring that are le…

Let $D$ be a division ring and $K$ a subfield of $D$ which is not necessarily contained in the center $F$ of $D$. In this paper, we study the structure of $D$ under the condition of left algebraicity of certain subsets of $D$ over $K$.…

Let $D$ be a division ring with center $F$ and $N$ a subnormal subgroup of the multiplicative group $D^*$ of $D$. Assume that $N$ contains a non-abelian solvable subgroup. In this paper, we study the problem on the existence of non-abelian…

Let $D$ be a division ring with infinite center, $K$ a proper division subring of $D$ and $N$ an almost subnormal subgroup of the multiplicative group $D^*$ of $D$. The aim of this paper is to show that if $K$ is $N$-invariant and $N$ is…

Let $D$ be a division ring with center $F$, and $G$ a subnormal subgroup of $D^*$. We show that if $G$ is a locally solvable group such that $G^{(i)}$ is algebraic over $F$, then $G$ must be central. Also, if $M$ is non-abelian locally…

Let D be a division ring. We say that D is left algebraic over a (not necessarily central) subfield K of D if every x in D satisfies a polynomial equation x^n + a_{n-1}x^{n-1}+...+a_0=0 with a_0,...,a_{n-1} in K. We show that if D is a…

The question of existence of a maximal subgroup in the multiplicative group D* of a division algebra D finite dimensional over its center F is investigated. We prove that if D* has no maximal subgroup, then deg(D) is not a power of 2,…

In this note, we introduce a new concept of a {\it generalized algebraic rational identity} to investigate the structure of division rings. The main theorem asserts that if a non-central subnormal subgroup $N$ of the multiplicative group…

Let $D$ be a division ring with center $F$, and $G$ an almost subnormal subgroup of $D^*$. In this paper, we show that if $G$ contains a non-abelian locally solvable maximal subgroup, then $D$ must be a cyclic algebra of prime degree over…

Let $D$ be a division ring with the center $F$ and $D^*$ be the multiplicative group of $D$. In this paper we study locally nilpotent maximal subgroups of $D^*$. We give some conditions that influence the existence of locally nilpotent…

Let $D$ be a division ring with center $F$. We say that $D$ is a {\em division ring of type $2$} if for every two elements $x, y\in D,$ the division subring $F(x, y)$ is a finite dimensional vector space over $F$. In this paper we…

Let $D$ be a division ring with the center $F=Z(D)$. Suppose that $N$ is a normal subgroup of $D^*$ which is radical over $F$, that is, for any element $x\in N$, there exists a positive integer $n_x$, such that $x^{n_x}\in F$. In…

Let $D$ be a non-commutative division ring, $G$ a subnormal subgroup of ${\mathrm GL}_n(D)$. In this note we show that if $G$ contains a non-abelian solvable maximal subgroup, then $n=1$ and $D$ is a cyclic algebra of prime degree over $F$.

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…

Let $D$ be a division ring with center $F$, and $G$ a subnormal or quasinormal subgroup of $D^*$. We show that if $G$ is locally solvable, then $G$ is contained in $F$.

A subgroup of a group $G$ is called algebraic if it can be expressed as a finite union of solution sets to systems of equations. We prove that a non-elementary subgroup $H$ of an acylindrically hyperbolic group $G$ is algebraic if and only…

This paper considers K\"{o}the's question of whether every associative locally finite-dimensional (abbr., LFD) central division algebra $R$ over a field $K$ is a normally locally finite (abbr., NLF) algebra over $K$, that is, whether every…

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…

Let D be a division ring finite dimensional over its center F. The goal of this paper is to prove that for any positive integer n there exists a in D^(n); the n-th multiplicative derived subgroup, such that F(a) is a maximal subfield of D.…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

Let $K$ be a field of characteristic zero, let $\sigma$ be an automorphism of $K$ and let $\delta$ be a $\sigma$-derivation of $K$. We show that the division ring $D=K(x;\sigma,\delta)$ either has the property that every finitely generated…