Partial actions and partial skew group rings. (English) Zbl 1148.16022

This paper extends several classical results to partial skew group rings. A partial action of a group on an algebra is a collection of ideals \(D_g\) and isomorphisms \(\alpha_g\colon D_g\to D_{g^{-1}}\) satisfying some natural constraints. A partial skew group ring is the set of all finite formal sums \(\sum_ga_gu_g\) with \(a_g\) from the ideal \(D_g\), with addition as usual and multiplication induced by \((a_gu_g)(a_hu_h)=\alpha_g(\alpha_{g^{-1}}(a_g)a_h)u_{gh}\). These notions were introduced by M. Dokuchaev and R. Exel [Trans. Am. Math. Soc. 357, No. 5, 1931-1952 (2005; Zbl 1072.16025)].
After proving some general results on partial actions of a group on a ring possessing an enveloping action, the authors consider the question of associativity of the (quasi) partial skew group ring (which is not always associative, however, in case there is an enveloping action, then it is indeed associative), and prove that the factor ring of the quasi partial skew group ring by the radical is well-defined and associative. Furthermore, under the assumption that there is an enveloping action, generalizations of classical results such as Maschke’s theorem, results on von Neumann regularity, prime ideals and the prime radical, primitive ideals and the Jacobson radical are studied for partial skew group rings. For instance, if the order of the group is invertible in the ring, then the Jacobson radical of the partial skew group ring is the partial skew group ring of the group over the Jacobson radical.


16S35 Twisted and skew group rings, crossed products
16D25 Ideals in associative algebras
16N20 Jacobson radical, quasimultiplication
16W22 Actions of groups and semigroups; invariant theory (associative rings and algebras)


Zbl 1072.16025
Full Text: DOI


[1] Alfaro, R.; Ara, P.; del Rio, A., Regular skew group rings, J. Aust. Math. Soc. Ser. A, 58, 167-182 (1995) · Zbl 0832.16024
[3] Cortes, W.; Ferrero, M., Partial skew polynomial rings: Prime and maximal ideals, Comm. Algebra, 35, 1183-1199 (2007) · Zbl 1131.16015
[5] Divinsky, N. J., Rings and Radicals (1965), Univ. of Toronto Press · Zbl 0138.26303
[6] Dokuchaev, M.; Exel, R., Associativity of crossed products by partial actions, enveloping actions and partial representations, Trans. Amer. Math. Soc., 357, 5, 1931-1952 (2005) · Zbl 1072.16025
[7] Dokuchaev, M.; Ferrero, M.; Paques, A., Partial Galois theory of commutative ring, J. Pure Appl. Algebra, 208, 77-87 (2007) · Zbl 1142.13005
[8] Dokuchaev, M.; del Rio, A.; Simón, J. J., Globalizations of partial actions on nonunital rings, Proc. Amer. Math. Soc., 135, 343-352 (2007) · Zbl 1138.16010
[9] García, J. L.; Simón, J. J., Morita equivalence for idempotent rings, J. Pure Appl. Algebra, 76, 39-56 (1991) · Zbl 0747.16007
[11] Goodearl, K. R., von Neumann Regular Rings (1991), Krieger Pub. Co: Krieger Pub. Co Malabar, FL · Zbl 0749.16001
[12] Karpilovsky, G., The Algebraic Structure of Crossed Products, North-Holland Math. Stud., vol. 142 (1987), Elsevier: Elsevier Amsterdam · Zbl 0614.16001
[13] Lam, T. Y., A First Course on Noncommutative Rings, Grad. Texts in Math., vol. 131 (2001), Springer: Springer New York/Berlin/Heidelberg · Zbl 0980.16001
[14] Montgomery, S., Fixed Rings of Finite Automorphism Groups of Associative Rings, Lecture Notes in Math., vol. 818 (1980), Springer: Springer Berlin · Zbl 0449.16001
[15] McConnel, J. C.; Robson, J. C., Noncommutative Noetherian Rings, Pure Appl. Math. (1988), John Wiley & Sons: John Wiley & Sons Chichester
[16] Passman, D. S., Infinite Crossed Products (1989), Academic Press Inc.: Academic Press Inc. San Diego · Zbl 0519.16010
[17] Wisbauer, R., Foundations of Modules and Rings (1991), Gordon and Breach: Gordon and Breach London · Zbl 0776.16006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.