Related papers: Relative and unrelative elementary groups, revisit…

Let $R$ be a commutative ring and $I\subset R$ be a nilpotent ideal such that the quotient $R/I$ splits out of $R$ as a ring. Let $N$ be a natural number such that ${I^N=0}$. We establish a canonical isomorphism between the relative Milnor…

We initiate the study of subgroups $H$ of the general linear group $GL_{\binom{n}{m}}(R)$ over a commutative ring $R$ that contain the $m$-th exterior power of an elementary group $\bigwedge^mE_n(R)$. Each such group $H$ corresponds to a…

Let $R$ be a commutative ring with identity. We define a graph $\Gamma_{\aut}(R)$ on $ R$, with vertices elements of $R$, such that any two distinct vertices $x, y$ are adjacent if and only if there exists $\sigma \in \aut$ such that…

Let $A$ be an arbitrary symmetrizable Cartan matrix of rank $r$, and ${\bf n}={\bf n_+}$ be the standard maximal nilpotent subalgebra in the Kac-Moody algebra associated with $A$ (thus, ${\bf n}$ is generated by $E_1,\ldots,E_r$ subject to…

For associative commutative algebras $A$ with Rota-Baxter operator $R$ identities of the algebra $AR=(A,\circ)$, where $a\circ b= aR(b),$ are found.

For most (and possibly all) non-associative finite simple Moufang loops, three generators of order 3 can be chosen so that each two of them generate a group isomorphic to $(3, 3 | 3, p)$. The subgroup structure of $(3, 3 | 3, p)$ depends on…

Let $f: A\rightarrow B$ and $g: A\rightarrow C$ be two commutative ring homomorphisms and let $J$ and $J'$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}(J)=g^{-1}(J')$. The \emph{bi-amalgamation} of $A$ with $(B, C)$ along…

Let $F$ be a field of characteristic not $2$ . An associative $F$-algebra $R$ gives rise to the commutator Lie algebra $R^{(-)}=(R,[a,b]=ab-ba).$ If the algebra $R$ is equipped with an involution $*:R\rightarrow R$ then the space of the…

Let $R$ be a commutative ring with a non-zero identity and $\mathfrak{J}_R$ be its Jacobson graph. We show that if $R$ and $R'$ are finite commutative rings, then $\mathfrak{J}_R\cong\mathfrak{J}_{R'}$ if and only if $|J(R)|=|J(R')|$ and…

We prove two approximations of the open problem of whether the adjoint group of a non-nilpotent nil ring can be finitely generated: We show that the adjoint group of a non-nilpotent Jacobson radical cannot be boundedly generated, and on the…

What are all rings $R$ for which $R^*$ (the group of invertible elements of $R$ under multiplication) is an elementary abelian $p$-group? We answer this question for finite-dimensional commutative $k$-algebras, finite commutative rings,…

We give a new definition of the so-called overgenerated rings, which are the usual tool used to define the asymptotic structure of a (C,E,P)-algebra, written as a factor space M_{(A,E,P)}/N_{(I_{A},E,P)}. With this new definition and in the…

We show that every proper, dense ideal in a C*-algebra is contained in a prime ideal. It follows that a subset generates a C*-algebra as a not necessarily closed ideal if and only if it is not contained in any prime ideal. This allows us to…

Given a finite tensor category $\ca$, an exact indecomposable $\ca$-module category $\Mo$, and a tensor subcategory $\Do\subseteq \ca^*_\Mo$, we describe a way to produce \textit{exact} commutative algebras in the center $Z(\ca)$, measuring…

Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$…

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

We introduce fusion algebras with not necessarily positive structure constants and without identity element. We prove that they are semisimple when tensored with $\mathbb{C}$ and that their characters satisfy orthogonality relations. Then…

Let $A\subset B$ be an extension of commutative reduced rings and $M\subset N$ an extension of positive commutative cancellative torsion-free monoids. We prove that $A$ is subintegrally closed in $B$ and $M$ is subintegrally closed in $N$…

In this paper we first give a necessary and sufficient condition for a group $G$ generated by $n$ elements to be a square commutative group and prove $G$ is a square commutative group if and only if $\widehat{G}$ is an abelian group, then…

In this paper, we introduce a new class of rings calling them {\it 2-UNJ rings}, which generalize the well-known 2-UJ, 2-UU and UNJ rings. Specifically, a ring $R$ is called 2-UNJ if, for every unit $u$ of $R$, the inclusion $u^2 \in 1 +…