Related papers: Relative and unrelative elementary groups, revisit…

Let $C$ denote a closed convex cone $C$ in $\mathbb{R}^d$ with apex at 0. We denote by $\mathcal{E}'(C)$ the set of distributions having compact support which is contained in $C$. Then $\mathcal{E}'(C)$ is a ring with the usual addition and…

We find an explicit presentation of relative linear Steinberg groups $\mathrm{St}(n, R, I)$ for any ring $R$ and $n \geq 4$ by generators and relations as abstract groups. We also prove a similar result for relative simply laced Steinberg…

For $R_1,R_2,R_3,\dots$ a family of non isomorphic rings (or algebras) having each only 2 idempotents ($1$ and $0$), we classify up to isomorphism the rings (or algebras) obtained by taking products of powers of the different $R_i$. We show…

We revisit localisation and patching method in the setting of Chevalley groups. Introducing certain subgroups of relative elementary Chevalley groups, we develop relative versions of the conjugation calculus and the commutator calculus in…

Let $A$ be a unital associative ring and let $T^{(k)}$ be the two-sided ideal of $A$ generated by all commutators $[a_1, a_2, \dots , a_k]$ $(a_i \in A)$ where $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{k-1}, a_k] = \bigl[ [a_1,…

We construct a commutative version of the group ring and show that it allows one to translate questions about the normal generation of groups into questions about the generation of ideals in commutative rings. We demonstrate this with an…

According to the Tits conjecture proved by Crisp and Paris, [CP], the subgroups of the braid group generated by proper powers of the Artin elements are presented by the commutators of generators which are powers of commuting elements. Hence…

If $A$ is a unital associative ring and $\ell \geq 2$, then the general linear group $\mathrm{GL}(\ell, A)$ has root subgroups $U_\alpha$ and Weyl elements $n_\alpha$ for $\alpha$ from the root system of type $\mathsf A_{\ell - 1}$.…

Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup…

We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties,…

We begin by investigating the class of commutative unital rings in which no two distinct elements divide the same elements. We prove that this class forms a finitely axiomatizable, relatively ideal distributive quasivariety, and it equals…

Recently is has been proved that if $\sigma\in GL_n(R)$ where $R$ is an commutative ring and $n\geq 3$, then each of the elementary transvections $t_{kl}(\sigma_{ij})~(i\neq j,k\neq l)$ is a product of eight $E_n(R)$-conjugates of $\sigma$…

Let $K$ be a unital associative and commutative ring and let $K \langle X \rangle$ be the free unital associative $K$-algebra on a non-empty set $X$ of free generators. Define a left-normed commutator $[a_1, a_2, \dots , a_n]$ inductively…

Some varieties of groupoids and quasigroups generated by linear-bivariate polynomials $P(x,y)=a+bx+cy$ over the ring $\mathbb{Z}_n$ are studied. Necessary and sufficient conditions for such groupoids and quasigroups to obey identities which…

A ring is called a commutator ring if every element is a sum of additive commutators. In this paper we give examples of such rings. In particular, we show that given any ring R, a right R-module N, and a set X, End_R(\bigoplus_X N) and…

We present new characterizations of the rings in which every element is the sum of two idempotents and a nilpotent that commute, and the rings in which every element is the sum of two tripotents and a nilpotent that commute. We prove that…

Let $R$ be a commutative ring with identity and let $M$ be an $R$-module which is generated by $\mu$ elements but not fewer. We denote by $\operatorname{SL}_n(R)$ the group of the $n \times n$ matrices over $R$ with determinant $1$. We…

Let $G$ be a finite $p$-group whose derived subgroup $G'$ can be generated by $2$ elements. If $G'$ is abelian, Guralnick proved that every element of $G'$ is a commutator. In this paper, we prove that the condition that $G'$ should be…

Let $\Bbb Z_2:=\Bbb Z/2\Bbb Z$ be the additive group with two elements. In this article, we focus only on $\Bbb Z_2$-graded commutative ring i.e commutative ring $R$ such that $R=R_0\oplus R_1$ as Abelian group and $R_iR_j\subseteq R_{i+j}$…

Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full…