On three types of Galois extensions of rings (Q1964676)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On three types of Galois extensions of rings |
scientific article |
Statements
On three types of Galois extensions of rings (English)
0 references
12 July 2000
0 references
Let \(S\) be a ring with 1 and let \(G\) be a finite subgroup of automorphisms of \(S\) with \(|G|^{-1}\in S\). This paper defines two types of Galois extensions. First, \(S\) is a ``CP-\(G\)-Galois extension'' if \(S\) is \(G\)-Galois over \(S^G\) and is also a direct summand of a finite direct sum of copies of \(S^G\) as an \(S^G\)-bimodule (that is, \(S\) is centrally projective over \(S^G\)). Second, \(S\) is ``faithfully Galois over \(S^G\)'' if \(S\) is faithful as a left \(S*G\)-module and the skew group ring \(S*G\) is Azumaya over its center. The authors prove that CP-\(G\)-Galois extensions are equivalent to \(S*G\) being Hirata separable over \(S\). They also show that faithful Galois extensions are equivalent to the skew group ring \(S*G\) being \(G\)-Galois (with the induced inner action of \(G\)) and the fixed ring \((S*G)^{G'}\) being separable over the center of \(S*G\). The authors then give the corresponding inclusions: Galois Azumaya extensions are CP-\(G\)-Galois extensions, and CP-\(G\)-Galois extensions whose fixed ring is Azumaya are faithful Galois extensions; and give examples to show that the inclusions are not reversible. It would have been interesting to see applications and properties of these extensions. There are some typos in the paper, like calling Galois extensions where it means Galois Azumaya extensions in two instances.
0 references
Azumaya algebras
0 references
skew group rings
0 references
Galois extensions
0 references
finite groups of automorphisms
0 references
inner actions
0 references
fixed rings
0 references
separable extensions
0 references