skew group rings which are galois斜伽罗瓦群环.pdf

Internat. J. Math. Math. Sci. Vol. 23, No. 4 (2000) 279–283 S0161171200000624 ©Hindawi Publishing Corp. SKEW GROUP RINGS WHICH ARE GALOIS GEORGE SZETO and LIANYONG XUE (Received 20 March 1998) Abstract. Let S ∗G be a skew group ring of a finite group G over a ring S . It is shown that if S ∗G is an G-Galois extension of (S ∗G)G , where G is the inner automorphism group of S ∗G induced by the elements in G, then S is a G-Galois extension of S G . A necessary and sufficient condition is also given for the commutator subring of (S ∗ G)G in S ∗ G to be a Galois extension, where (S ∗G)G is the subring of the elements fixed under each element in G . Keywords and phrases. Skew group rings, Azumaya algebras, Galois extensions, H -separa- ble extensions. 2000 Mathematics Subject Classification. Primary 16S35; Secondary 16W20. 1. Introduction. Let S be a ring with 1, C the center of S , G a finite automorphism group of S of order n invertible in S , S G the subring of the elements fixed under each element in G, S ∗ G a skew group ring of group G over S , and G the inner automorphism group of S ∗ G induced by the elements in G, that is, g (x) = gxg −1 for each g in G and x in S ∗G, so the restriction of G to S is G. In [3, 2], a G-Galois extension S of S G which is an Azumaya CG -algebra is characterized in terms of the Azumaya CG -algebra S ∗ G and the H -separable extension S ∗ G of S , respectively, and the properties of the commutator subring of S in S ∗ G are given in [1]. It is G clear that S is a G-Galois extension of S implies that S ∗G is a G -Galois exte