On Associative Ring Multiplication on Abelian Mixed Groups

An abelian group is called a mixed one if it is neither torsion nor torsion-free. It is to be proved that every mixed group can be provided with a nonzero associative ring structure. Our methods of proofs are straightforward and elementary.     

On the cotorsion hull in torsion theory

The concept of cotorsion was first introduced in the category of Abelian groups (Fuchs [l] ). Matlis [5], studied the cotorsion modules over integral domains. Henderson and Orzech [4], Fuchs [2], and Mines [6], replaced the classical notion of torsion by a torsion theory (T,F) on R-mod, where R is not necessarily commutative ring. In this paper we find conditions on the torsion theory in order to get a T-cotorsion hull for every module. This generalizes the result of Fuchs [2].     

Irreducible maps of commutative rings

We give necessary conditions for a map to be irreducible (in the category of finitely generated, torsion free modules) over a non-local, commutative ring and sufficient conditions when the ring is Bass. In particular, we show that an irreducible map of ZG, where G is a square free abelian group, must be a monomorphism with a simple cokernel. We also show that local endomorphism rings are necessary and sufficient for the existence of almost split sequences over a commutative Bass ring and we explicitly describe the modules and the maps in those sequences. The results in this paper enable us to describe the Auslander-Reiten quiver of a non-local Bass ring in [8].     

An answer to Hirasaka and Muzychuk: Every p-Schur ring over Cp3 is Schurian

In Hirasaka and Muzychuk [An elementary abelian group of rank 4 is a CI-group, J. Combin. Theory Ser. A 94 (2) (2001) 339–362] the authors, in their analysis on Schur rings, pointed out that it is not known whether there exists a non-Schurian p-Schur ring over an elementary abelian p-group of rank 3. In this paper we prove that every p-Schur ring over an elementary abelian p-group of rank 3 is in fact Schurian.     

Radically Perfect Prime Ideals in Polynomial Rings Over Prüfer and Pullback Rings

In this article, we study the notion of radical perfectness in Prüfer and classical pullbacks issued from valuation domains. We answer positively a question by Erdogdu of whether a domain R such that every prime ideal of the polynomial ring R[X] is radically perfect is one-dimensional. Particularly, we prove that Prüfer and pseudo-valuation domains R over which every prime ideal of the polynomial ring R[X] is radically perfect are one-dimensional domains. Moreover, the class group of such a Prüfer domain is torsion.     

On the endomorphism ring of a module with relative chain conditions

A well-known result of Small states that if M is a noetherian left R-module having endomorphism ring S then any nil subring of S is nilpotent. Fisher [4] dualized this result and showed that if M is left artinian then any nil ideal of S is nilpotent. He gave a bound on the indices of nilpotency of nil subrings of the endomorphism rings of noetherian modules and raised the dual question of whether there are such bounds in the case of artinian modules. He gave an affirmative answer if the module is also assumed to be finitely-generated. Similar affirmative answers for modules with finite homogeneous length were given in [10] and [15]. On the other hand, the nilpotence of certain ideals of the endomorphism rings of modules noetherian relative to a torsion theory has been extensively studied. See [2,6,8,12,15,17]. Jirasko [11] dualized, in some sense, some of the results of [6] to torsion modules satisfying the descending chain conditions with respect to some radical.

In this paper we give a bound of indices of nilpotency on nil subrings of the endomorphism ring of a left R-module which is T-torsionfree with respect to some torsion theory T on R-mod. As a special case, we obtain an affirmative answer to Fisher's question. We also note that our results can be stated in an arbitrary Grothendieck category.     

Abelsche Galoiserweiterungen von R[X]

Our main result states that for a commutative ring R and a finite abelian group G the following conditions are equivalent: (a) Gal(R,G)=Gal (R[X],G), i.e. every commutative Galois extension of R[X]with Galois group G is extended from R. (b) The order of G is a non-zero-divisor in R/Nil(R). The proof uses lifting properties of Galois extensions over Hensel pairs and a Milnor-type patching theorem.     

On p-Schur Rings Over Abelian Groups of Order p 3

In the theory of Schur rings, it is known that every Schur ring over a cyclic p-group is Schurian. Recently, Spiga and Wang showed that every p-Schur ring over an elementary abelian p-group of rank 3 is Schurian. In this paper, we prove that every p-Schur ring over an abelian group of order p ³ is Schurian.     

A note on the antipode of free hopf algebras

Shestakov showed that in an arbitrary alternative ring of characteristic ≠ 2, the fourth power of every associator Is in the commutative center. He raised the question whether this might bp so for the square of every associator. The answer to this question is no, Which is demonsuapared by an exumple of an altor-native algobre of dimension 107.     

The Anderson-Badawi conjecture for commutative algebras over infinite fields

In [1], Anderson and Badawi conjecture that every n-absorbing ideal of a commutative ring is strongly n-absorbing. In this article we prove their conjecture in certain cases (in particular this is the case for commutative algebras over an infinite field). We also show that an affirmative answer to another conjecture in [1] implies the Anderson-Badawi Conjecture.     

Rings whose ideals are isomorphic to trace ideals

Let R be a commutative noetherian ring. Lindo and Pande have recently posed the question asking when every ideal of R is isomorphic to some trace ideal of R. This paper studies this question and gives several answers. In particular, a complete answer is given in the case where R is local: it is proved in this paper that every ideal of R is isomorphic to a trace ideal if and only if R is an artinian Gorenstein ring, or a 1‐dimensional hypersurface with multiplicity at most 2, or a unique factorization domain.     

相对于幺半群的McCoy环的扩张

对于幺半群~$M$, 本文引入了~$M$-McCoy~环.~证明了~$R$~是~$M$-McCoy~环当且仅当~$R$~上的~$n$~阶上三角矩阵环~$aUT_n(R)$~是~$M$-McCoy~环;得到了若~$R$~是~McCoy~环,~$R[x]$~是~$M$-McCoy~环,则~$R[M]$~是~McCoy~环;对于包含无限循环子半群的交换可消幺半群~$M$,证明了若~$R$~是~$M$-McCoy~环,则半群环~$R[M]$~是~McCoy~环及~$R$~上的多项式环~$R[x]$~是~$M$-McCoy~环.     

On the Word Length of Commutators in GLn (R)*

Van der Kallen proved that the elementary group E_n(C[x]) does not have bounded word length with respect to the set of all elementary transvections. Later, Dennis and Vaserstein showed that the same is true, even with respect to the set of all commutators. The natural question is: Does the set of all commutators in E_n(R) have bounded word length with all elementary transvections as generators? The article provides a positive answer over a finite-dimensional commutative ring R.     

Ideal-Symmetric and Semiprime Rings

Lambek extended the usual commutative ideal theory to ideals in noncommutative rings, calling an ideal A of a ring R symmetric if rst ∈ A implies rts ∈ A for r, s, t ∈ R. R is usually called symmetric if 0 is a symmetric ideal. This naturally gives rise to extending the study of symmetric ring property to the lattice of ideals. In the process, we introduce the concept of an ideal-symmetric ring. We first characterize the class of ideal-symmetric rings and show that this ideal-symmetric property is Morita invariant. We provide a method of constructing an ideal-symmetric ring (but not semiprime) from any given semiprime ring, noting that semiprime rings are ideal-symmetric. We investigate the structure of minimal ideal-symmetric rings completely, finding two kinds of basic forms of finite ideal-symmetric rings. It is also shown that the ideal-symmetric property can go up to right quotient rings in relation with regular elements. The polynomial ring R[x] over an ideal-symmetric ring R need not be ideal-symmetric, but it is shown that the factor ring R[x]/xⁿR[x] is ideal-symmetric over a semiprime ring R.     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Commutative ideal theory without finiteness conditions: Completely irreducible ideals

An ideal of a ring is completely irreducible if it is not the intersection of any set of proper overideals. We investigate the structure of completely irrreducible ideals in a commutative ring without finiteness conditions. It is known that every ideal of a ring is an intersection of completely irreducible ideals. We characterize in several ways those ideals that admit a representation as an irredundant intersection of completely irreducible ideals, and we study the question of uniqueness of such representations. We characterize those commutative rings in which every ideal is an irredundant intersection of completely irreducible ideals.

     

M-McCoy环和M-Armendariz环的多项式扩张

研究非交换环上的相对于幺半群的McCoy环和Armendariz环的多项式扩张.对于包含无限循环子幺半群的交换可消幺半群M,证明了若R是M-McCoy（或M-Armendariz）环,则R上的洛朗多项式环R[x,x-1]是M-McCoy（或M-Armendariz）环.     

<Emphasis Type="Italic">q</Emphasis>-deformation of Witt-Burnside rings

In this paper, we construct a q-deformation of the Witt-Burnside ring of a profinite group over a commutative ring, where q ranges over the set of integers. When q = 1, it coincides with the Witt-Burnside ring introduced by Dress and Siebeneicher (Adv. Math. 70, 87–132 (1988)). To achieve our goal we first show that there exists a q-deformation of the necklace ring of a profinite group over a commutative ring. As in the classical case, i.e., the case q = 1, q-deformed Witt-Burnside rings and necklace rings always come equipped with inductions and restrictions. We also study their properties. As a byproduct, we prove a conjecture due to Lenart (J. Algebra. 199, 703-732 (1998)). Finally, we classify up to strict natural isomorphism in case where G is an abelian profinite group. The author gratefully acknowledges support from the following grants: KOSEF Grant # R01-2003-000-10012-0; KRF Grant # 2006-331-C00011.     

Flat Modules over Group Rings of Finite Groups

Let k be a commutative ring of coefficients and G be a finite group. Does there exist a flat k G-module which is projective as a k-module but not as a k G-module? We relate this question to the question of existence of a k-module which is flat and periodic but not projective. For either question to have a positive answer, it is at least necessary to have |k| ≥ ?_ω. There can be no such example if k is Noetherian of finite Krull dimension, or if k is perfect.     

On the existence of covers by injective modules relative to a torsion theory

Let R be a ring with identity. In this note we study covers of left R-modules by r-injectives left R-modules, where r is a hereditary torsion theory defined in the category of all left R-modules and all R-morphisms. When R is an artinian commutative ring, a complete answer about the existence of such covers for every R-module is given. In case that T is a centrally splitting torsion theory, we can characterize those T for which every left R-module has a T-injective cover. Also we analyze R-modules such that the injective and the T-injective cover are the same. At the end of this note we relate the concepts of colocalization and cover