Related papers: When right n-Engel elements of a group form a subg…

Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$…

Let $m,n$ be positive integers and $p$ a prime. We denote by $\nu(G)$ an extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. We prove that if $G$ is a residually finite group satisfying some non-trivial identity $f…

For a positive integer $k$, a group $G$ is said to be totally $k$-closed if for each set $\Omega$ upon which $G$ acts faithfully, $G$ is the largest subgroup of $\mathrm{Sym}(\Omega)$ that leaves invariant each of the $G$-orbits in the…

In this work, we introduce the subgroups $D_m(G)$ and $D_{m,n}(G)$, defined in terms of the orders of products of coprime elements in a finite group $G$. We show that both subgroups are characteristic, that $D_{m,n}(G)$ is always nilpotent,…

Let $G$ and $H$ be groups that act compatibly on each other. We denote by $\eta(G,H)$ a certain extension of the non-abelian tensor product $G \otimes H$ by $G \times H$. Suppose that $G$ is residually finite and the subgroup $[G,H] =…

We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular…

We classify finite groups $G$, such that the group algebra, $\mathbb{Q}G$ (over the field of rational numbers $\mathbb{Q}$), is the direct product of the group algebra $\mathbb{Q}[G/N]$ of a proper factor group $G/N$, and some division…

Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most…

A closed subgroup of a semisimple algebraic group is called irreducible if it lies in no proper parabolic subgroup. In this paper we classify all irreducible subgroups of exceptional algebraic groups $G$ which are connected, closed and…

We study Lie algebras generated by extremal elements (i.e., elements spanning inner ideals of L) over a field of characteristic distinct from 2. We prove that any Lie algebra generated by a finite number of extremal elements is finite…

We show that any connected algebraic group $G$ over a field admits a nilpotent normal subgroup $Z_\infty(G)$ such that the quotient $G/Z_\infty(G)$ has trivial center. We construct $Z_\infty(G)$ as the final term of the transfinitely…

Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $\Delta$, applying the university embedding theorem one can construct a faithful $G$-set $\Omega$. In this short note, it is proved that if the $2$-closure of $N$ in…

For a finite noncyclic group $G$, let $\Cyc(G)$ be a set of elements $a$ of $G$ such that $\langle a,b\rangle$ is cyclic for each $b$ of $G$. The noncyclic graph of $G$ is a graph with the vertex set $G\setminus \Cyc(G)$, having an edge…

If $G$ is a finite group and $x\in G$ then the set of all elements of $G$ having the same order as $x$ is called {\em an order subset of $G$ determined by $x$} (see [2]). We say that $G$ is a {\em group with perfect order subsets} or…

Let $G$ be a unique product group, i.e., for any two finite subsets $A$ and $B$ of $G$ there exists $x\in G$ which can be uniquely expressed as a product of an element of $A$ and an element of $B$. We prove that, if $C$ is a finite subset…

The minimal faithful permutation degree $\mu(G)$ of a finite group $G$ is the least integer $n$ such that $G$ is isomorphic to a subgroup of the symmetric group $S_n$. If $G$ has a normal subgroup $N$ such that $\mu(G/N) > \mu(G)$, then $G$…

Let $G=G(K)$ be a simple algebraic group defined over an algebraically closed field $K$ of characteristic $p>0$. A subgroup $X$ of $G$ is said to be $G$-completely reducible if, whenever it is contained in a parabolic subgroup of $G$, it is…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

We give a description of the Linnell division ring of a countable residually (poly-$\mathbb Z$ virtually nilpotent) (RPVN) group in terms of a generalised Novikov ring, and show that vanishing top-degree cohomology of a finite type group…

We suggest new realizations of quantum groups corresponding to complex simple Lie algebras, and of affine quantum groups. These new realizations are labeled by Coxeter elements of the corresponding Weyl group and have the following key…