Related papers: On free subgroups in division rings

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…

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a…

Let $K$ be a field, let $\sigma$ be an automorphism of $K$, and let $\delta$ be a derivation of $K$. We show that if $D$ is one of $K(x;\sigma)$ or $K(x;\delta)$, then $D$ either contains a free algebra over its center on two generators, or…

In 1992, following earlier conjectures of Lichtman and Makar-Limanov, Klein conjectured that a noncommutative domain must contain a free, multiplicative, noncyclic subsemigroup. He verified the conjecture when the center is uncountable. In…

Let $k$ be a field of characteristic different from $2$ and let $G$ be a nonabelian residually torsion-free nilpotent group. It is known that $G$ is an orderable group. Let $k(G)$ denote the subdivision ring of the Malcev-Neumann series…

Let $E$ be a graph and $K$ a field. In this paper we prove that the multiplicative group of a unital noncommutative Leavitt path algebra $L_K(E)$ contains non-cyclic free subgroups provided $K$ is of characteristic $0$. Further, we provide…

We show that the canonical involution on a nonabelian poly-orderable group G extends to the Hughes-free division ring of fractions D of the group algebra k[G] of G over a field k and that, with respect to this involution, D contains a pair…

In this paper we prove that every non-central subnormal subgroup of the multiplicative group of a weakly locally finite division ring contains free non-cyclic subgroups.

Let V(KG) be the normalized group of units of the group ring KG of a non-Dedekind group G with nontrivial torsion part t(G) over the integral domain K. We give a simple method for constructing free objects in V(KG).In particular, we show…

In this paper, we prove that the multiplicative group of a unital non-commutative Leavitt path algebra $L_K(E)$ and Cohn path algebra $C_K(E)$ contain a non-cyclic free subgroup, provided $K$ is a non-absolute field. We also provide a…

Let K be a skew field and (G,<) an ordered group. We show that the skew field generated by the group ring K[G] inside the Malcev-Neumann series ring K((G;<)) contains noncommutative free group algebras.

Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a…

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then…

For any Lie algebra L over a field, its universal enveloping algebra U(L) can be embedded in a division ring D(L) constructed by Lichtman. If U(L) is an Ore domain, D(L) coincides with its ring of fractions. It is well known that the…

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.…

Some general criteria to produce explicit free algebras inside the division ring of fractions of skew polynomial rings are presented. These criteria are applied to some special cases of division rings with natural involutions, yielding, for…

Let \sigma be an automorphism of a commutative k-algebra R. The skew polynomial ring R[t;\sigma] is generated by R and an indeterminate t subject to the relations ta=\sigma(a)t for all a in R. For certain R and appropriate \sigma there are…

We prove that every finitely generated Kleinian group that contains a finite, non-cyclic subgroup either is finite or virtually free or contains a surface subgroup. Hence, every arithmetic Kleinian group contains a surface subgroup.

Let X be a smooth projective surface defined over an uncountable algebraically closed field k and let k(X) be its field of rational functions. Let s be an automorphism of X. This paper proves there is a non-negative integer n and elements a…

Makar-Limanov's conjecture states that if a division ring D is finitely generated and infinite dimensional over its center k then D contains a free k-subalgebra of rank 2. In this work, we will investigate the existence of such structures…