Related papers: On free subgroups in division rings

It is proved that over every countable field K there is a nil algebra R such that the algebra obtained from R by extending the field K contains noncommutative free subalgebras of arbitrarily high rank. It is also shown that over every…

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

Let $A$ be a commutative ring with unity and $B = A[\theta]$ be an integral extension of $A$. Assume that $B$ is an integral domain with quotient field $\mathbb{K}$ and $\mathbb{E}$ is the minimal splitting field of $\theta$ over…

It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show…

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…

We show that the centralizer of a nonscalar element in the coproduct $k\langle X\rangle *k[Y]$ of a free associative algebra and a polynomial algebra over a given field is commutative. For $k\langle X \rangle$ this is part of Bergman's…

We study a structure of the group of unitriangular automorphisms of a free associative algebra and a polynomial algebra and prove that this group is a semi direct product of abelian groups. Using this decomposition we describe a structure…

We prove that the group algebra $KG$ of a group $G$ over a field $K$ is primitive, provided that $G$ has a free subgroup with the same cardinality as $G$, and that $G$ satisfies the following condition $(\ast)$: for each subset $M$ of $G$…

We consider differential rings of the form (K[x; y];D), where K is an algebraically closed field of characteristic zero and D : K[x; y] \to K[x; y] is a K-derivation. We study the Automorphism Group of such a ring and give criteria for…

It this note we investigate the structure of the group of \sigma-unitary units in some noncommutative modular group algebras KG, where \sigma is a non-classical ring involution of KG.

To solve two problems of Bergman stated in 1981, we construct a group $G$ such that $G$ contains a free noncyclic subgroup (hence, $G$ satisfies no group identity) and $G$, as a group, is generated by its subsemigroup that satisfies a…

Let $G$ be an algebraic group, $X$ a generically free $G$-variety, and $K=k(X)^G$. A field extension $L$ of $K$ is called a splitting field of $X$ if the image of the class of $X$ under the natural map $H^1(K, G) \mapsto H^1(L, G)$ is…

Let $U(KG)$ be the group of units of the group ring $KG$ of the group $G$ over a commutative ring $K$. The anti-automorphism $g\mapsto g\m1$ of $G$ can be extended linearly to an anti-automorphism $a\mapsto a^*$ of $KG$. Let $S_*(KG)=\{x\in…

Consider a totally disconnected group G, which is covirtually cyclic, i.e., contains a normal compact open subgroup L such that G/L is infinite cyclic. We establish a Wang sequence, which computes the algebraic K-groups of the Hecke algebra…

Let $X$ be a projective variety and $\sigma$ a wild automorphism on $X$, i.e., whenever $\sigma(Z) = Z$ for a non-empty Zariski-closed subset $Z$ of $X$, we have $Z = X$. Then $X$ is conjectured to be an abelian variety with $\sigma$ of…

In this paper are described the groups of automorphisms of semigroup End(W(X)), where W(X) is free commutative or free associative algebra.

Let $G$ be a group and $X(G)$ its Sidki Double. The idempotent conjecture says that there should be no non-trivial idempotent in the complex group ring of a torsion-free group. We investigate this conjecture for the Sidki double of a…

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a…

We consider algebras of rational power series over an alphabet $\Sigma$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.

We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.