In [1], finite associative rings wih identity and such that the set of all zero-divisors form and ideal M, called the Jacobson Radical, of cube zero and square non-zero, were constructed for all the characteristics. These rings are completely primary and we call them rings with property(T). In this paper, we associate with each ring with property(T) and characteristic p, invariants (integers) and determine (in certain cases) the number of isomorphism classes of these rings with given invariants.
It was shown by Bergman that the Jacobson radical of a Z-graded ring is homogeneous. This paper shows that the analogous result holds for nil rings, namely, that the nil radical of a Z-graded ring is homogeneous. It is obvious that a subring of a nil ring is nil, but generally a subring of a Jacobson radical ring need not be a Jacobson radical ring. In this paper it is shown that every subring which is generated by homogeneous elements in a graded Jacobson radical ring is always a Jacobson radical ring. It is also observed that a ring whose all subrings are Jacobson radical rings is nil. Some …
Given a t.u.p.-semigroup (two unique product semigroup) $X$, we show if $R$ is an $X$-graded ring then both its nilradical and Jacobson radical are homogeneous. This partially answers questions of Smoktunowicz and Jespers.
We answer a question by Shestakov on the Jacobson radical in differential polynomial rings. We show that if R is a locally nilpotent ring with a derivation D then R[X;D] need not be Jacobson radical. We also show that J(R[X;D])\cap R is a nil ideal of R in the case where D is a locally nilpotent derivation and R is an algebra over an uncountable field.
It is well-known that the Jacobson radical of a unital ring is its largest superfluous right ideal. It is recorded here that the result carries over to non-unital rings provided the notion of "superfluous" is taken relative to all regular ideals.
For an arbitrary countable field, we construct an associative algebra that is graded, generated by finitely many degree-1 elements, is Jacobson radical, is not nil, is prime, is not PI, and has Gelfand-Kirillov dimension two. This refutes a conjecture attributed to Goodearl.
Let $R$ be a ring satisfying a polynomial identity and let $D$ be a derivation of $R$. We consider the Jacobson radical of the skew polynomial ring $R[x;D]$ with coefficients in $R$ and with respect to $D$, and show that $J(R[x;D])\cap R$ is a nil $D$-ideal. This extends a result of Ferrero, Kishimoto, and Motose, who proved this in the case when $R$ is commutative.
This work presents results on the finiteness, and on the symmetry properties, of various homological dimensions associated to the Jacobson radical and its higher syzygies, of a semiperfect ring.
We give a method to study the finiteness of the coradical filtration of a coalgebra; as a consequence, we show that a left semiartinian profinite algebra has nilpotent Jacobson radical and is right semiartinian too. Equivalently, we show that a for a semilocal profinite algebra, T-nilpotence implies nilpotence for the Jacobson radical. This answers two open questions from \cite{INT}.
We construct the $H$-von Neumann regular radical for $H$-module algebras and show that it is an $H$-radical property. We obtain that the Jacobson radical of twisted graded algebra is a graded ideal. For twisted $H$-module algebra $R$, we also show that $r_{j}(R#_σH)= r_{Hj}(R)#_σH$ and the Jacobson radical of $R$ is stable, when $k$ is an algebraically closed field or there exists an algebraic closure $F$ of $k$ such that $r_j(R \otimes F) = r_j(R) \otimes F$, where $H$ is a finite-dimensional, semisimple, cosemisimple, commutative or cocommutative Hopf algebra over $k$. In particular, we answ…
The aim of this paper is to develop an `external' Kurosh-Amitsur radical theory of semirings and, using this approach, to obtain some fundamental results regarding two Jacobson type of radicals --- the Jacobson-Bourne, J-, radical and a very natural its variation, J_{s}-radical --- of hemirings, as well as the Brown-McCoy, R_{BM}-, radical of hemirings. Among the new central results of the paper, we single out the following ones: Theorems unifying two, internal and external, approches to the Kurosh-Amitzur radical theory of hemirings; A characterization of J-semisimple hemirings; A description…
We introduce graded gamma rings from a more general point of view via methods developed by Krasner and Halberstadt for graded rings. We propose three equivalent aspects of studying graded gamma rings, nonhomogeneous, semihomogeneous and homogeneous. The graded Jacobson radical of a graded gamma ring is introduced and its elementwise description is given. Also, a relation between the graded Jacobson radical and the Jacobson radical of a graded gamma ring is examined.
We give a characterization of those abelian groups which are direct sums of cyclic groups and the Jacobson radical of their endomorphism rings are closed. A complete characterization of $p$-groups $A$ for which $(EndA,\mathcal T_L)$ is locally compact, where $\mathcal T_L$ is the Liebert topology on $EndA$, is given. We prove that if $A$ is a countable elementary $p$-group then $EndA$ has a non-admissible ring topology. To every functorial topology on $A$ a right bounded ring topology on $EndA$ is attached. By using this topology we construct on $EndA$ a non-metrizable and non-admissibe ring t…
In this paper we characterize the maximal modular ideals of an evolution algebra $A\,\ $in order to describe its Jacobson radical, \ $Rad(A).$ We characterize semisimple evolution algebras (i.e. those such that $% Rad(A)=\{0\}$)as well as radical ones. We introduce two elemental notions of spectrum of an element $a$ in an evolution algebra $A$, namely the spectrum $% σ^{A}(a)$ and the m-spectrum $σ_{m}^{A}(a)$ (they coincide for associative algebras, but in general $σ^{A}(a)\subseteq σ_{m}^{A}(a),$ and we show examples where the inclusion is strict). We prove that they are non-empty and descri…
We prove that if A is a finite dimensional associative H-comodule algebra over a field F for some involutory Hopf algebra H not necessarily finite dimensional, where either char F = 0 or char F > dim A, then the Jacobson radical J(A) is an H-subcomodule of A. In particular, if A is a finite dimensional associative algebra over such a field F, graded by any group, then the Jacobson radical J(A) is a graded ideal of A. Analogous results hold for nilpotent and solvable radicals of finite dimensional Lie algebras over a field of characteristic 0. We use the results obtained to prove the analog of …
A well-known theorem by S.A. Amitsur shows that the Jacobson radical of the polynomial ring R[x] equals I[x] for some nil ideal I of R. In this paper, however, we show that this is not the case for differential polynomial rings, by proving that there is a ring R which is not nil and a derivation D on R such that the differential polynomial ring R[x; D] is Jacobson radical. We also show that, on the other hand, the Amitsur theorem holds for a differential polynomial ring R[x; D], provided that D is a locally nilpotent derivation and R is an algebra over a field of characteristic p>0.
Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal extension of an arbitrary ring R. In particular, we describe the Jacobson and upper nil radicals of such a ring, in terms of the Jacobson and upper nil radicals of R, and we determine when such a ring is prime and when it is semiprime. We also classify all the prime and maximal ideals of an ideal extension S of R, under certain assumptions on the ideal I. These …
Given a representation-finite algebra B and a subalgebra A of B such that the Jacobson radicals of A and B coincide, we prove that the representation dimension of A is at most three. By a result of Igusa and Todorov, this implies that the finitistic dimension of A is finite.
Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i.e., B(R, G) is empty set, the properties of the rings R and R^G are closely connected. The aim of the paper is to show that this is also true when B(R, G) is not empty set under natural conditions on bad primes. In particular, it is shown that the Jacobson radical (resp., the prime radical) of the ring R^G is equal to the intersection of the Jacobson radical (resp.…
An associative ring with 1 is said to be semilocal provided it is semisimple artinian modulo its Jacobson radical, that is, modulo its Jacobson radical it is isomorphic to a finite product of matrices over division rings. Modules with a semilocal endomorphism ring inherit some properties of semisimple modules. For example, they can be decomposed into a finite direct sum of indecomposable submodules, such decomposition is not unique but there are only a finite number of different ones, they cancel from direct sums and they satisfy the n-th root uniqueness property. A ring homomorphism is said t…
In order to study graded Frobenius algebras from a ring theoretical perspective, we introduce graded quasi-Frobenius rings, graded Frobenius rings and a shift-version of the latter ones, and we investigate the structure and representations of such objects. We need to revisit graded simple graded left Artinian rings, graded semisimple rings, and to provide graded versions of certain results concerning the Jacobson radical, the singular radical, and their connection to finiteness conditions and injectivity. We prove a structure result for (shift-)graded Frobenius rings.
Let $R$ be a ring satisfying a polynomial identity and let $δ$ be a derivation of $R$. We show that if $N$ is the nil radical of $R$ then $δ(N)\subseteq N$ and the Jacobson radical of $R[x;δ]$ is equal to $N[x;δ]$. As a consequence, we have that if $R$ is locally nilpotent then $R[x;δ]$ is locally nilpotent. This affirmatively answers a question of Smoktunowicz and Ziembowski.
An element $a$ in a ring $R$ is strongly J-clean if it is the sum of an idempotent and an element in the Jacobson radical that commutes. We characterize the strongly J-clean $2\times 2$ matrices over 2-projective-free non-commutative rings.
Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{σ(i_1)} x_{σ(i_2)} \cdots x_{σ(i_l)}$, where $σ$ runs through $H$, is considered. It is shown that $G$ has a free subgroup of finite index. For a field $K$, properties of the algebra $K[G]$ are derived. In particular, the Jacobson radical $\mathcal{J}(K[G])$ is always nilpotent, and in many cases the algebra $K[G]$ is semiprimitive. Results on the growth and the Gelfand-Ki…
It is proved that if a left brace $A$ has the operation $\ast$ associative, then $A$ is a two-sided brace. Consequently, $A$ is a Jacobson radical ring. This answers a question of Cedó, Gateva-Ivanova and Smoktunowicz.
We prove the existence of the Hopf PI-exponent for finite dimensional associative algebras $A$ with a generalized Hopf action of an associative algebra $H$ with $1$ over an algebraically closed field of characteristic $0$ assuming only the invariance of the Jacobson radical $J(A)$ under the $H$-action and the existence of the decomposition of $A/J(A)$ into the sum of $H$-simple algebras. As a consequence, we show that the analog of Amitsur's conjecture holds for $G$-codimensions of finite dimensional associative algebras over a field of characteristic $0$ with an action of an arbitrary group $…
We answer several open questions and establish new results concerning differential and skew polynomial ring extensions, with emphasis on radicals. In particular, we prove the following results. If $R$ is prime radical and $δ$ is a derivation of $R$, then the differential polynomial ring $R[X;δ]$ is locally nilpotent. This answers an open question posed in by Nielsen and Ziembowski. The nil radical of a differential polynomial ring $R[X;δ]$ takes the form $I[X;δ]$ for some ideal $I$ of $R$, provided that the base field is infinite. This answers an open question posed by Hong, Kim, Lee and Niels…
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 field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion free if the dimension is infinite. We also give an example of an abelian, regular subgroup of the affine group over an infinite vector space, which intersects trivially the group of translations.
A ring is said to satisfy the $2$-nil-sum property if every non central-unit is the sum of two nilpotents. We prove that a ring satisfies the $2$-nil-sum property iff it is either a simple ring with the $2$-nil-sum property or a commutative local ring with nil Jacobson radical, and we provide an example of a simple ring with the $2$-nil-sum property that is not commutative. Moreover, a simple right Goldie ring has the $2$-nil-sum property iff it is a field.
We prove that if $u:K \rightarrow M$ is a left minimal extension, then there exists an isomorphism between two subrings, $\textrm{End}_R^M(K)$ and $\textrm{End}_R^K(M)$ of $\textrm{End}_R(K)$ and $\textrm{End}_R(M)$ respectively, modulo their Jacobson radicals. This isomorphism is used to deduce properties of the endomorphism ring of $K$ from those of the endomorphism ring of $M$ in certain situations such us when $K$ is invariant under endomorphisms of $M,$ or when $K$ is invariant under automorphisms of $M$.
We prove that an integral Jacobson radical ring is always nil, which extends a well known result from algebras over fields to rings. As a consequence we show that if every element x of a ring R is a zero of some polynomial p_x with integer coefficients, such that p_x(1)=1, then R is a nil ring. With these results we are able to give new characterizations of the upper nilradical of a ring and a new class of rings that satisfy the Köthe conjecture, namely the integral rings.
In this paper we introduce a generalization of a Brauer graph algebra which we call a Brauer configuration algebra. As with Brauer graphs and Brauer graph algebras, to each Brauer configuration, there is an associated Brauer configuration algebra. We show that Brauer configuration algebras are finite dimensional symmetric algebras. After studying and analysing structural properties of Brauer configurations and Brauer configuration algebras, we show that a Brauer configuration algebra is multiserial; that is, its Jacobson radical is a sum of uniserial modules whose pairwise intersection is eith…
In this paper, we introduce a class of rings which is a generalization of reflexive rings and $J$-reversible rings. Let $R$ be a ring with identity and $J(R)$ denote the Jacobson radical of $R$. A ring $R$ is called {\it $J$-reflexive} if for any $a$, $b \in R$, $aRb = 0$ implies $bRa \subseteq J(R)$. We give some characterizations of a $J$-reflexive ring. We prove that some results of reflexive rings can be extended to $J$-reflexive rings for this general setting. We conclude some relations between $J$-reflexive rings and some related rings. We investigate some extensions of a ring which sati…
Let $Λ$ be a basic finite dimensional algebra over an algebraically closed field, with the property that the square of the Jacobson radical $J$ vanishes. We determine the irreducible components of the module variety $\text{Mod}_{\bf d}(Λ)$ for any dimension vector $\bf d$. Our description leads to a count of the components in terms of the underlying Gabriel quiver. A closed formula for the number of components when $Λ$ is local extends existing counts for the two-loop quiver to quivers with arbitrary finite sets of loops. For any algebra $Λ$ with $J^2 = 0$, our criteria for identifying the com…
In order to find a suitable expression of an arbitrary square matrix over an arbitrary finite commutative ring, we prove that every such a matrix is always representable as a sum of a potent matrix and a nilpotent matrix of order at most two when the Jacobson radical of the ring has zero-square. This somewhat extends results of ours in Lin. & Multilin. Algebra (2021) established for matrices considered on arbitrary fields. Our main theorem also improves on recent results due to Abyzov et al. in Mat. Zametki (2017), Šter in Lin. Algebra & Appl. (2018) and Shitov in Indag. Math. (2019).
We show that if $A$ is a finite dimensional associative $H$-module algebra for an arbitrary Hopf algebra $H$, then the proof of the analog of Amitsur's conjecture for $H$-codimensions of $A$ can be reduced to the case when $A$ is $H$-simple. (Here we do not require that the Jacobson radical of $A$ is an $H$-submodule.) As an application, we prove that if $A$ is a finite dimensional associative $H$-module algebra where $H$ is a Hopf algebra $H$ over a field of characteristic $0$ such that $H$ is constructed by an iterated Ore extension of a finite dimensional semisimple Hopf algebra by skew-pri…
Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As by-products, we are able to determine the largest isomorphic common direct summand between two modules and the minimum number of generators of a module. By not requiring $R$ to contain a field, avoiding computation of the Jacobson radical and not distinguishing between large and small characteristic, both algorithms constitute improvements to known results.
A cover of an associative (not necessarily commutative nor unital) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $σ(R)$ of $R$ is the cardinality of a minimal cover, and a ring $R$ is called $σ$-elementary if $σ(R) < σ(R/I)$ for every nonzero two-sided ideal $I$ of $R$. In this paper, we provide the first examples of $σ$-elementary rings $R$ that have nontrivial Jacobson radical $J$ with $R/J$ noncommutative, and we determine the covering numbers of these rings.
We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting on trees. In particular, for every field k we construct a k-algebra K which (1) is finitely generated and infinite-dimensional, but has only finite-dimensional quotients; (2) has a subalgebra of finite codimension, isomorphic to $M_2(K)$; (3) is prime; (4) has quadratic growth, and therefore Gelfand-Kirillov dimension 2; (5) is recursively presented; (6) sat…
A cover of a unital, associative (not necessarily commutative) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $σ(R)$ of $R$ is the cardinality of a minimal cover, and a ring $R$ is called $σ$-elementary if $σ(R) < σ(R/I)$ for every nonzero two-sided ideal $I$ of $R$. In this paper, we show that if $R$ has a finite covering number, then the calculation of $σ(R)$ can be reduced to the case where $R$ is a finite ring of characteristic $p$ and the Jacobson radical $J$ of $R$ has nilpotency 2. Our main result…
Let $H$ be a finite dimensional pointed rank one Hopf algebra of nilpotent type. We first determine all finite dimensional indecomposable $H$-modules up to isomorphism, and then establish the Clebsch-Gordan formulas for the decompositions of the tensor products of indecomposable $H$-modules by virtue of almost split sequences. The Green ring $r(H)$ of $H$ will be presented in terms of generators and relations. It turns out that the Green ring $r(H)$ is commutative and is generated by one variable over the Grothendieck ring $G_0(H)$ of $H$ modulo one relation. Moreover, $r(H)$ is Frobenius and …
