Crossed products over prime rings

In this paper we obtain necessary and sufficient conditions for the crossed productR *G to be prime or semiprime under the assumption thatR is prime. The main techniques used are the Δ-methods which reduce these questions to the finite normal subgroups ofG and a study of theX-inner automorphisms ofR which enables us to handle these finite groups. In particular we show thatR *G is semiprime ifR has characteristic 0. Furthermore, ifR has characteristicp>0, thenR *G is semiprime if and only ifR *P is semiprime for all elementary abelianp-subgroupsP of Δ⁺(G) ∩G _inn.     

Prime modules of a gamma ring

We define a prime ΓM-module for a Γ-ringM. It is shown that a subsetP ofM is a prime ideal ofM if and only ifP is the annihilator of some prime ΓM-moduleG. s-prime ideals ofM were defined by the first author. We defines-modules ofM, analogous to a concept defined by De Wet for rings. It is shown that a subsetQ ofM is ans-prime ideal ofM if and only ifQ is the annihilator of somes-moduleG ofM. Relationships between prime ΓM-modules and primeR-modules are established, whereR is the right operator ring ofM. Similar results are obtained fors-modules.     

Differential rings and ore extensions: Brown-McCoy rings

We consider here a ringK, a derivationD ofK and the differential polynomial ringR=K[X;D]. The ringK is said to be a Brown-McCoy ring if the prime radical coincides with the Brown-McCoy radical in every homomorphic image ofK. AD-Brown-McCoy ring is defined in a similar way. We prove the following conditions are equivalent: (i)K is aD-Brown-McCoy ring; (ii)R is a Brown-McCoy ring and for every maximal idealM ofR,K/(MνK) is aD-simple ring with 1. In addition, we give some applications and examples on the study of the transfer of the property of being a Brown-McCoy ring betweenK andR. Further, we study the relation between the prime and theD-prime ideals of a differential intermediate extension of a liberal extension. This paper was supported by a fellowship awarded by Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), Brazil.     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

Algebraic group actions on noncommutative spectra

Let G be an affine algebraic group and let R be an associative algebra with a rational action of G by algebra automorphisms. We study the induced G-action on the set Spec R of all prime ideals of R, viewed as a topological space with the Jacobson–Zariski topology, and on the subspace Rat R ⊆ Spec R consisting of all rational ideals of R. Here, a prime ideal P of R is said to be rational if the extended centroid is equal to the base field. Our results generalize the work of Mœglin and Rentschler and of Vonessen to arbitrary associative algebras while also simplifying some of the earlier proofs. The map P ↦ ⋂ _{g ∈ G} g.P gives a surjection from Spec R onto the set G-Spec R of all G-prime ideals of R. The fibers of this map yield the so-called G-stratification of Spec R which has played a central role in the recent investigation of algebraic quantum groups, in particular, in the work of Goodearl and Letzter. We describe the G-strata of Spec R in terms of certain commutative spectra. Furthermore, we show that if a rational ideal P is locally closed in Spec R then the orbit G.P is locally closed in Rat R. This generalizes a standard result on G-varieties. Finally, we discuss the situation where G-Spec R is a finite set. Research supported in part by NSA Grant H98230-07-1-0008.     

Radicals of crossed products of enveloping algebras

LetL be a Lie algebra over a fieldK which acts asK-derivations on aK-algebraR. Then this action determines a crossed productR *U(L) whereU(L) is the enveloping algebra ofL. The goal of this paper is to describe the Jacobson radical ofR * U(L) forL≠0. We are most successful whenR is a p.i. algebra or Noetherian. In more general situations we at least obtain upper and lower bounds forJ(R * U(L)) which are ideals extended fromR. Furthermore, we offer an interesting example in all characteristics of a commutativeK-algebraC which admits a derivationδ such thatC isδ-prime but not semiprime. Partially supported by N.S.F. Grant No. DMS 85-00959 and by a Guggenheim Memorial Foundation Fellowship. Partially supported by N.S.F. Grant No. MCS 82-19678.     

Abelian groups flat as modules over their endomorphism ring

Let R be a commutative ring with identity and let M be an R-module. We examine the situation where for each prime ideal ρof R the set of all ρ-prime submodules of M is finite. In case R is Noetherian and M is finitely generated, we prove that this condition is equivalent to there being a positive integer n such that for every prime ideal ρ of R, the number of ρ-prime submodules of Mis less than or equal to n. We further show that in this case, there is at most one ρ-prime submodule for all but finitely many prime ideals ρ of R.     

P.I.G-rings and the contractability of primes

LetR=F{x ₁, …, x_k} be a prime affine p.i. ring andS a multiplicative closed set in the center ofR, Z(R). The structure ofG-rings of the formR _s is completely determined. In particular it is proved thatZ(R _s)—the normalization ofZ(R _s) —is a prüfer ring, 1≦k.d(R _s)≦p.i.d(R _s) and the inequalities can be strict. We also obtain a related result concerning the contractability ofq, a prime ideal ofZ(R) fromR. More precisely, letQ be a prime ideal ofR maximal to satisfyQϒZ(R)=q. Then k.dZ(R)/q=k.dR/Q, h(q)=h(Q) andh(q)+k.dZ(R)/q=k.dz(R). The last condition is a necessary butnot sufficient condition for contractability ofq fromR.     

Completions of commutative rings and modules

In this work we continue studying the notion of completion ofR-modules, over a commutative ringR, relative to a torsion theoryϑ. We develop some techniques relative to localization at prime ideals and give structural results on the completion of finitely generatedR-modules, describing it as the product of classical completions on local noetherian rings. The authors acknowledge partial support from the D.G.I.C.Y T.     

Prime ideals in restricted differential operator rings

In this paper restricted differential operator rings are studied. A restricted differential operator ring is an extension of ak-algebraR by the restricted enveloping algebra of a restricted Lie algebra g which acts onR. This is an example of a smash productR #H whereH=u (g). We actually deal with a more general twisted construction denoted byR * g where the restricted Lie algebra g is not necessarily embedded isomorphically inR * g. Assume that g is finite dimensional abelian. The principal result obtained is Incomparability, which states that prime idealsP ₁ ⊆P ₂ ⊂R * g have different intersections withR. We also study minimal prime ideals ofR * g whenR is g-prime, showing that the minimal primes are precisely those having trivial intersection withR, that these primes are finite in number, and their intersection is a nilpotent ideal. Prime and primitive ranks are considered as an application of the foregoing results.     

PRIME IDEALS IN RINGS WITH INVOLUTION

Abstract

Let R be a ring with involution *. We show that if R is a *-prime ring which is not a prime ring, then R is “essentially” a direct product of two prime rings. Moreover, if P is a *-prime *-ideal of R, which is not a prime ideal of R, and X is minimal among prime ideals of R containing P, then P is a prime ideal of X, P = X ∩ X* and either: (1) P is essential in X and X is essential in R; or (2) for any relative complement C of P in X, then C* is a relative complement of X in R. Further characterizations of *-primeness are provided.     

Spectra of smash products

LetT=R #H be a smash product whereH is a finite dimensional Hopf algebra. We show that ideals ofT invariant under the dualH* ofH are extended fromH-invariant ideals ofR. This allows us to transport the study of ideals inT to invariant ideals. When the Hopf algebra is pointed the relationship between an ideal and its invariant ideal is shown to be manageable. Restricting to prime ideals, this yields results on the prime spectra ofR andT. We obtain Krull relations forR ⊆T for someH, including Incomparability wheneverH is commutative (or more generally whenH* is pointed after base extension). The results generalize and unify a number of results known in the context of group and restricted Lie actions.     

Primes of Gauss Extensions Over Crossed Product Algebras

Let K be a skew field with total subring V and G be a right ordered group with cone P, so that the crossed product algebra K*G has a skew field D of fractions. We consider total subrings R of D with R ∩ K = V, describe the overrings in D, as well as subrings of R. For particular extensions R of V we determine the prime ideals of R in terms of prime ideals of V and prime ideals of overcones of P in G.     

Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.     

Graded rings and essential ideals

LetG be a group andA aG-graded ring. A (graded) idealI ofA is (graded) essential ifI⊃J≠0 wheneverJ is a nonzero (graded) ideal ofA. In this paper we study the relationship between graded essential ideals ofA, essential ideals of the identity componentA _e and essential ideals of the smash productA#G ^*. We apply our results to prime essential rings, irredundant subdirect sums and essentially nilpotent rings.     

Quotient rings induced via fuzzy ideals

This note we give a construction of a quotient ringR/μ induced via a fuzzy idealμ ina ringR. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that ifμ is a fuzzy ideal of a commutative ringR, thenμ is prime (resp. maximal, primary) if and only ifR/μ is an integral domain (resp.R/μ is a field, every zero divisor inR/μ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.     

Sugli ideali,le congruenze e i quozienti di ω-gruppi in una categoria astratta

Riassunto Dato un anelloA in una categoria ∂ con prodotti finiti, si definisce il concetto di ?ideale diA? e si studiano le relazioni tra ideali, congruenze e ?anelli quozienti? diA.

---

Summary Given a ringA in a category ∂ with finite products, we define the concept of ?ideal ofA? and we investigate some relations between the ideals, the congruences and the ?quotient rings? ofA.

---

---

Lavoro eseguito nell'ambito dei Gruppi di Ricerca Matematica del C.N.R. per l'anno 1969–1970 (115.2182.05174).     

Semiprime ideals in rings with finite group actions

LetR be a ring, G a finite group of automorphisms acting on R, and R^G the-fixed subring of R. We prove that if R is semiprime with no additive ¦ G¦-torsion, then R is left Goldie if and only if R^G is left Goldie. By coupling this with an examination of the prime ideal structures of R^G and R, we are able to prove that if ¦G ¦ is invertible in R and R^G is left Noetherian, then R satisfies the-ascending chain condition on semiprime ideals, every semiprime factor ring of R is left Goldie, and nil subrings of R are nilpotent. For the pair R^G and R, we also consider various other properties of prime and maximal ideals such as lying over, going up, going down, and incomparability.     

Centralizers satisfying polynomial identities

The following results are proved: IfR is a simple ring with unit, and for someaεR witha ⁿ in the center ofR, anyn, such that the centralizer ofa inR satisfies a polynomial identity of degreem, thenR satisfies the standard identity of degreenm. WhenR is not simple,R will satisfy a power of the same standard identity, provided thata andn are invertible inR. These theorems are then applied to show that ifG is a finite solvable group of automorphisms of a ringR, and the fixed points ofG inR satisfy a polynomial identity, thenR satisfies a polynomial identity, providedR has characteristic 0 or characteristicp wherep✗|G|. This research was supported in part by NSF Grant No. GP 29119X.     

X-inner automorphisms of crossed products and semi-invariants of Hopf algebras

LetR*G be a crossed product of the groupG over the prime ringR and assume thatR*G is also prime. In this paper we study unitsq in the Martindale ring of quotientsQ ₀(R*G) which normalize bothR and the group of trivial units ofR*G. We obtain quite detailed information on their structure. We then study the group ofX-inner automorphisms ofR*G induced by such elements. We show in fact that this group is fairly close to the group of automorphisms ofR*G induced by certain trivial units inQ ₀(R)*G. As an application we specialize to the case whereR=U(L) is the enveloping algebra of a Lie algebraL. Here we study the semi-invariants forL andG which are contained inQ ₀(R*G) and we obtain results which extend known properties ofU(L). Finally, every cocommutative Hopf algebraH over an algebraically closed field of characteristic 0 is of the formH=U(L)*G. Thus we also obtain information on the semi-invariants forH contained inQ ₀(H). Research supported in part by N.S.F. Grant Nos. MCS 83-01393 and MCS 82-19678.