Abstract. In this paper we provide necessary and sufficient conditions for strongly group graded rings to be simple. For a strongly group graded ring R = L g∈G Rg the grading group G acts, in a natural way, as automorphisms of the commutant of the neutral component subring Re in R and of the center of Re. We show that if R is a strongly G-graded ring where Re is maximal commutative in R, then R is a simple ring if and only if Re is G-simple (i.e. there are no nontrivial G-invariant ideals). We also show that if Re is commutative (not necessarily maximal commutative) and the commutant of Re is G-simple, then R is a simple ring. These results apply to G-crossed products in particular. A skew group ring Re ⋊σ G, where Re is commutative, is shown to be a simple ring if and only if Re is G-simple and maximal commutative in Re ⋊σ G. As an interesting example we consider the skew group algebra C(X) ⋊h Z associated to a topological dynamical system (X, h). We obtain necessary and sufficient conditions for simplicity of C(X) ⋊h Z with respect to the dynamics of the dynamical system (X, h), but also with respect to algebraic properties of C(X) ⋊h Z. Furthermore, we show that for any strongly G-graded ring R each nonzero ideal of R has a nonzero intersection with the commutant of the center of the neutral component.
IntroductionThe aim of this paper is to highlight the important role that maximal commutativity of the neutral component subring plays in a strongly group graded ring when investigating simplicity of the ring itself. The motivation comes from the theory of C * -crossed product algebras associated to topological dynamical systems. To each topological dynamical system, (X, h), consisting of a compact Hausdorff space X and a homeomorphism h : X → X, 2000 Mathematics Subject Classification. 13A02, 16S35.