Skew group rings which are Galois (Q1567222): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:14, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Skew group rings which are Galois |
scientific article |
Statements
Skew group rings which are Galois (English)
0 references
5 May 2002
0 references
Let \(S\) be an associative ring with center \(C\), \(G\) a finite automorphism group of order \(n\), which is invertible in \(S\), and let \(S^G\) be the subring of the elements fixed under each element in \(G\). Then \(S\) is called a \(G\)-Galois extension of \(S^G\) if there exist elements \(c_i,d_i\in S\) (\(i=1,2,\dots,k\)) such that \(\sum^n_{i=1}c_ig(d_i)=\delta_{1,g}\) for each \(g\in G\), where \(\delta_{1,g}\) is the Kronecker symbol. Let \(S*G\) be the skew group ring of \(G\) over \(S\) and let \(G'\) be the group of the inner automorphisms of \(S*G\) induced by the elements in \(G\). In this paper the authors prove that if \(S*G\) is a \(G'\)-Galois extension of \((S*G)^{S'}\), then \(S\) is a \(G\)-Galois extension of \(S^G\). Moreover, if in addition \((S*G)^{G'}\) is a projective separable \(C^G\)-algebra, then \(S^G\) is also a projective separable \(C^G\)-algebra. Some sufficient conditions on \((S*G)^{G'}\) are given for \(S\) to be a \(G\)-Galois extension of \(S^G\) which is an Azumaya \(C^H\)-algebra, and equivalent conditions on \(S^G\) are obtained for the commutator subring of \((S*G)^{G'}\) in \(S*G\) to be a \(G\)-Galois extension.
0 references
separable extensions
0 references
projective separable algebras
0 references
Azumaya algebras
0 references
Galois extensions
0 references
finite automorphism groups
0 references
skew group rings
0 references
inner automorphisms
0 references