Some families of strongly clean rings

A ring R with identity is called strongly clean if every element of R is the sum of an idempotent and a unit that commute with each other. For a commutative local ring R and for an arbitrary integer n?2, the paper deals with the question whether the strongly clean property of M_n(R[[x]]), , and M_n(RC₂) follows from the strongly clean property of M_n(R). This is ‘Yes’ if n=2 by a known result.     

On the Semiprimitivity of Skew Polynomial Rings

Let R be a semiprime left Goldie ring with a monomorphism and an α-derivation, then is semiprimitive left Goldie ring.     

On a characterization of complete matrix rings

Peter R. Fuchs established in 1991 a new characterization of complete matrix rings by showing that a ringR with identity is isomorphic to a matrix ringM _n (S) for some ringS (and somen 2) if and only if there are elementsx andy inR such thatx ^n–1 0,x ⁿ=0=y ²,x+y is invertible, and Ann(x ^n–1)Ry={0} (theintersection condition), and he showed that the intersection condition is superfluous in casen=2. We show that the intersection condition cannot be omitted from Fuchs' characterization ifn3; in fact, we show that if the intersection condition is omitted, then not only may it happen that we do not obtain a completen ×n matrix ring for then under consideration, but it may even happen that we do not obtain a completem ×m matrix ring for anym2.     

Hopf structures on ambiskew polynomial rings

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl₂), U_q(sl₂) and the enveloping algebra of the three-dimensional Heisenberg Lie algebra. In a torsion-free case we describe the finite-dimensional simple modules, in particular their dimensions, and prove a Clebsch-Gordan decomposition theorem for the tensor product of two simple modules. We construct a Casimir type operator and prove that any finite-dimensional weight module is semisimple.     

Morphic rings and unit regular rings

A ring R is called left morphic if for every a∈R. A left and right morphic ring is called a morphic ring. If M_n(R) is morphic for all n≥1 then R is called a strongly morphic ring. A well-known result of Erlich says that a ring R is unit regular iff it is both (von Neumann) regular and left morphic. A new connection between morphic rings and unit regular rings is proved here: a ring R is unit regular iff R[x]/(xⁿ) is strongly morphic for all n≥1 iff R[x]/(x²) is morphic. Various new families of left morphic or strongly morphic rings are constructed as extensions of unit regular rings and of principal ideal domains. This places some known examples in a broader context and answers some existing questions.     

Discriminants of orthogonal involutions on central simple algebras with tame gauges

In this article we generalize the results of Chacron et al. (1995) [4] concerning the computation of the discriminants of involutions of the first kind on central division algebras over Henselian valued fields of residue characteristic different from 2. We prove analogous results for orthogonal involutions on tame central simple algebras with simple residue algebras over a wide class of Henselian valued fields of arbitrary residue characteristic (see Corollary 2.18).     

Jordan homomorphisms of upper triangular matrix rings

In this paper we investigate Jordan homomorphisms of upper triangular matrix rings and give a sufficient condition under which they are necessarily homomorphisms or anti-homomorphisms.     

Lie properties of symmetric elements in group rings II

Let F be a field of characteristic different from 2, and G a group with involution ∗. Write (FG)⁺ for the set of elements in the group ring FG that are symmetric with respect to the induced involution. Recently, Giambruno, Polcino Milies and Sehgal showed that if G has no 2-elements, and (FG)⁺ is Lie nilpotent (resp. Lie n-Engel), then FG is Lie nilpotent (resp. Lie m-Engel, for some m). Here, we classify the groups containing 2-elements such that (FG)⁺ is Lie nilpotent or Lie n-Engel.     

Projectively simple rings

An infinite-dimensional N-graded k-algebra A is called projectively simple if dim_kA/I<∞ for every nonzero two-sided ideal I⊂A. We show that if a projectively simple ring A is strongly noetherian, is generated in degree 1, and has a point module, then A is equal in large degree to a twisted homogeneous coordinate ring B=B(X,L,σ). Here X is a smooth projective variety, σ is an automorphism of X with no proper σ-invariant subvariety (we call such automorphisms wild), and L is a σ-ample line bundle. We conjecture that if X admits a wild automorphism then every irreducible component of X is an abelian variety. We prove several results in support of this conjecture; in particular, we show that the conjecture is true if . In the case where X is an abelian variety, we describe all wild automorphisms of X . Finally, we show that if A is projectively simple and admits a balanced dualizing complex, then is Cohen-Macaulay and Gorenstein.     

Weakly regular rings with ACC on annihilators and maximality of strongly prime ideals of weakly regular rings

Ramamurthi proved that weak regularity is equivalent to regularity and biregularity for left Artinian rings. We observe this result under a generalized condition. For a ring R satisfying the ACC on right annihilators, we actually prove that if R is left weakly regular then R is biregular, and that R is left weakly regular if and only if R is a direct sum of a finite number of simple rings. Next we study maximality of strongly prime ideals, showing that a reduced ring R is weakly regular if and only if R is left weakly regular if and only if R is left weakly π-regular if and only if every strongly prime ideal of R is maximal.     

Iyama’s finiteness theorem via strongly quasi-hereditary algebras

Let Λ be an artin algebra and X a finitely generated Λ-module. Iyama has shown that there exists a module Y such that the endomorphism ring Γ of X⊕Y is quasi-hereditary, with a heredity chain of length n, and that the global dimension of Γ is bounded by this n. In general, one only knows that a quasi-hereditary algebra with a heredity chain of length n must have global dimension at most 2n−2. We want to show that Iyama’s better bound is related to the fact that the ring Γ he constructs is not only quasi-hereditary, but even left strongly quasi-hereditary. By definition, the left strongly quasi-hereditary algebras are the quasi-hereditary algebras with all standard left modules of projective dimension at most 1.     

On prime ideals and radicals of polynomial rings and graded rings

We extend some known results on radicals and prime ideals from polynomial rings and Laurent polynomial rings to Z$\mathbb{Z}$-graded rings, i.e, rings graded by the additive group of integers. The main of them concerns the Brown–McCoy radical G$G$ and the radical S$S$, which for a given ring A$A$ is defined as the intersection of prime ideals I$I$ of A$A$ such that A/I$A/I$ is a ring with a large center. The studies are related to some open problems on the radicals G$G$ and S$S$ of polynomial rings and situated in the context of Koethe’s problem.     

On the Behrens radical of matrix rings and polynomial rings

It is shown that the Behrens radical of a polynomial ring, in either commuting or non-commuting indeterminates, has the form of “polynomials over an ideal”. Moreover, in the case of non-commuting indeterminates, for a given coefficient ring, the ideal does not depend on the cardinality of the set of indeterminates. However, in contrast to the Brown-McCoy radical, it can happen that the polynomial ring R[X] in an infinite set X of commuting indeterminates over a ring R is Behrens radical while the polynomial ring R〈X〉 in an infinite set Y of non-commuting indeterminates over R is not Behrens radical. This is connected with the fact that the matrix rings over Behrens radical rings need not be Behrens radical. The class of Behrens radical rings, which is closed under taking matrix rings, is described.     

Central units in salternative loop rings

Let L be an RA loop, that is, a loop whose loop ring in any characteristic is an alternative, but not associative, ring. We show that every central unit in the integral loop ring ZL is the product ℓμ₀ of an element ℓ ∈ L and a loop ring element μ₀ whose support is in the torsion subloop of L and use this result to determine when all central units of ZL are trivial. Received: 8 October 2004     

On the codimension of modules over skew power series rings with applications to Iwasawa algebras

The first purpose of this paper is to set up a general notion of skew power series rings S over a coefficient ring R, which are then studied by filtered ring techniques. The second goal is the investigation of the class of S-modules which are finitely generated as R-modules. In the case that S and R are Auslander regular we show in particular that the codimension of M as S-module is one higher than the codimension of M as R-module. Furthermore its class in the Grothendieck group of S-modules of codimension at most one less vanishes, which is in the spirit of the Gersten conjecture for commutative regular local rings. Finally we apply these results to Iwasawa algebras of p-adic Lie groups.     

Prime rings with semigroup generalized identity

We show that a prime ring satisfies a nontrivial semigroup generalized identity if and only if its central closure is a primitive ring with nonzero socle and the associated skew field is a field.     

Morphic group rings

An element a in a ring R is called left morphic if there exists b∈R such that l_R(a)=Rb and l_R(b)=Ra, where l_R(a) denotes the left annihilator of a in R. The ring R is called left morphic if every element of R is left morphic. Left morphic rings have been studied by Nicholson and Sánchez Campos. In this paper, the question of when a group ring is left morphic is discussed in great detail and various morphic group rings are identified.     

Duo group rings

It is shown that the group algebra of a torsion group G over a field K is duo if and only if it is reversible.     

On functional identities and d-free subsets of rings. II

We show that a map in several variables on a prime ring satisfying an identity of polynomial type must be a quasi-polynomial (i.e., a polynomial in noncommutative variables whose coefficients are Martindale centroid valued functions)provided that the ring does not satisfy a standard identity of low degree. Obtained results have applications to the study of Lie maps of prime rings (Lie ideals of prime rings and skew elements of prime rings with involution)and to the study of Lie-admissible algebras and Lie homomorphisms of Lie algebras of Poisson algebras.