Related papers: Abelian groups with a $p^2$-bounded subgroup, revi…

Let $R$ be any associative ring with $1$, $n\ge 3$, and let $A,B$ be two-sided ideals of $R$. In the present paper we show that the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$ is generated as a group by the elements of the two following…

We give a categorical description of all abelian varieties with commutative endomorphism ring over a finite field with $q=p^a$ elements in a fixed isogeny class in terms of pairs consisting of a fractional $\mathbb Z[\pi,q/\pi]$-ideal and a…

Finite non-abelian non-metacyclic $2$-generated $p$-groups (${p>2}$) of nilpotency class $2$ with cyclic commutator subgroup which are the additive groups of local nearrings are described. It is shown that the subgroup of all non-invertible…

Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is…

We study a commutation pattern in which two affine families commute completely across the two families while each family retains internal noncommutativity. For one-dimensional affine groups over finite commutative rings, we prove a…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ an arbitrary $R$-module and $X$ a finite $R$-module. We prove that the category of $\fa$-cominimax modules is a Melkersson subcategory of $R$-modules whenever $\dim R\leq…

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}$…

It is proved that given any prime ideal $\mathfrak{p}$ of height at least 2 in a countable commutative noetherian ring $A$, there are uncountably many more dualizable objects in the $\mathfrak{p}$-local $\mathfrak{p}$-torsion stratum of the…

We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings. As an application, we show that if the underlying…

For an arbitrary ring $A$, we study the abelianization of the elementary group $\textrm{E}_2(A)$. In particular, we show that for a commutative ring $A$ there exists an exact sequence \[ K_2(2,A)/C(2,A) \to A/M \to…

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

Let p be a fixed prime. An Abelian p-group is an Abelian group (not necessarily finitely generated) in which every element has for its order some power of p. The countable Abelian p-groups are classified by Ulm's theorem, and Khisamiev…

Let $B$ be a reduced local (Noetherian) ring with maximal ideal $M$. Suppose that $B$ contains the rationals, $B/M$ is uncountable and $|B| = |B/M|$. Let the minimal prime ideals of $B$ be partitioned into $m \geq 1$ subcollections $C_1,…

We explore an elementary construction that produces finitely presented groups with diverse homological finiteness properties -- the {\em binary subgroups}, $B(\Sigma,\mu)<G_1\times\dots\times G_m$. These full subdirect products require…

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

Let $R$ be a commutative ring with identity and let $I$ be a two-generated ideal of $R$. We denote by $\operatorname{SL}_2(R)$ the group of $2 \times 2$ matrices over $R$ with determinant $1$. We study the action of $\operatorname{SL}_2(R)$…

$(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…

For a commutative ring $R$ and a weakly proregular ideal $I$, we prove a simple universal property of the category of $L_0$-complete $R$-modules: it is the smallest replete exact abelian subcategory of the category of $R$-modules which…