Namespaces
Variants
Actions

Difference between revisions of "Skolem-Noether theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex,mr,zbl,msc)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
In its classical form, the Skolem–Noether theorem can be stated as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303501.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303502.png" /> be finite-dimensional algebras over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303503.png" />, and assume that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303504.png" /> is simple and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303505.png" /> is central simple (cf. also [[Simple algebra|Simple algebra]]; [[Central algebra|Central algebra]]; [[Field|Field]]). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303506.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303507.png" />-algebra homomorphisms, then there exists an invertible <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303508.png" /> such that
+
{{MSC|16}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s1303509.png" /></td> </tr></table>
+
In its classical form, the Skolem–Noether theorem can be stated as follows. Let $A$ and $B$ be finite-dimensional algebras over a field $k$, and assume that $A$ is simple and $B$ is central simple (cf. also
 +
[[Simple algebra|Simple algebra]];
 +
[[Central algebra|Central algebra]];
 +
[[Field|Field]]). If $f,g:A\to B$ are $k$-algebra homomorphisms, then there exists an invertible $u\in B$ such that
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035010.png" />. A proof can be found, for example, in [[#References|[a5]]], p. 21, or [[#References|[a4]]], Chap, 4. In particular, every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035011.png" />-algebra automorphism of a central simple algebra is inner (cf. also [[Inner automorphism|Inner automorphism]]). This can be generalized to an Azumaya algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035012.png" /> over a commutative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035013.png" /> (cf. also [[Separable algebra|Separable algebra]]): There is an exact sequence, usually called the Rosenberg–Zelinsky exact sequence:
+
$$f(a) = u^{-1}g(a) u$$
 +
for all $a\in A$. A proof can be found, for example, in
 +
{{Cite|Ke}}, p. 21, or
 +
{{Cite|He}}, Chap, 4. In particular, every $k$-algebra automorphism of a central simple algebra is inner (cf. also
 +
[[Inner automorphism|Inner automorphism]]). This can be generalized to an Azumaya algebra $A$ over a commutative ring $R$ (cf. also
 +
[[Separable algebra|Separable algebra]]): There is an exact sequence, usually called the Rosenberg–Zelinsky exact sequence:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035014.png" /></td> </tr></table>
+
$$\def\Inn{\textrm{Inn}}\def\Aut{\textrm{Aut}}\def\Pic{\textrm{Pic}}
 +
0\to\Inn(A)\to \Aut(A)\to \Pic(R),$$
 +
where $\Pic(R)$ is the
 +
[[Picard group|Picard group]] of $R$, $\Aut(A)$ is the group of $k$-algebra automorphisms of $A$ and $\Inn(A)$ is the subgroup consisting of inner automorphisms. The proof is an immediate application of the categorical characterization of Azumaya algebras: An $R$-algebra $A$ is Azumaya if and only if the categories of $R$-modules and $A$-bimodules are equivalent via the functors sending an $R$-module $N$ to $A\otimes N$, and sending an $A$-bimodule $M$ to
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035015.png" /> is the [[Picard group|Picard group]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035017.png" /> is the group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035018.png" />-algebra automorphisms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035020.png" /> is the subgroup consisting of inner automorphisms. The proof is an immediate application of the categorical characterization of Azumaya algebras: An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035021.png" />-algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035022.png" /> is Azumaya if and only if the categories of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035023.png" />-modules and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035024.png" />-bimodules are equivalent via the functors sending an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035025.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035026.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035027.png" />, and sending an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035028.png" />-bimodule <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035029.png" /> to
+
$$M^A = \{m\in M\;|\; am = ma \textrm{ for all } a\in A \}$$
 +
(see, e.g.,
 +
{{Cite|KnOj}}, IV.1, for details).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035030.png" /></td> </tr></table>
+
The Skolem–Noether theorem plays a crucial role in the theory of the
 
+
[[Brauer group|Brauer group]]; for example, it is used in the proof of the Hilbert 90 theorem (cf. also
(see, e.g., [[#References|[a6]]], IV.1, for details).
+
[[Hilbert theorem|Hilbert theorem]]) and the
 
+
[[Cross product|cross product]] theorem. There exist versions of the Skolem–Noether theorem (and the Rosenberg–Zelinsky exact sequence) for other generalized types of Azumaya algebras; in particular, for Azumaya algebras over schemes
The Skolem–Noether theorem plays a crucial role in the theory of the [[Brauer group|Brauer group]]; for example, it is used in the proof of the Hilbert 90 theorem (cf. also [[Hilbert theorem|Hilbert theorem]]) and the [[Cross product|cross product]] theorem. There exist versions of the Skolem–Noether theorem (and the Rosenberg–Zelinsky exact sequence) for other generalized types of Azumaya algebras; in particular, for Azumaya algebras over schemes [[#References|[a3]]], Azumaya algebras relative to a torsion theory [[#References|[a7]]], III.3.26, and Long's <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035032.png" />-dimodule Azumaya algebras [[#References|[a1]]], [[#References|[a2]]].
+
{{Cite|Gr}}, Azumaya algebras relative to a torsion theory
 +
{{Cite|VaOyVe}}, III.3.26, and Long's $H$-dimodule Azumaya algebras
 +
{{Cite|Be}},
 +
{{Cite|Ca}}.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> M. Beattie,  "Automorphisms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130350/s13035033.png" />-Azumaya algebras"  ''Canad. J. Math.'' , '''37'''  (1985)  pp. 1047–1058</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> S. Caenepeel,  "Brauer groups, Hopf algebras and Galois theory" , ''K-Monographs Math.'' , '''4''' , Kluwer Acad. Publ.  (1998)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A. Grothendieck,  "Le groupe de Brauer I" , ''Dix Exposés sur la cohomologie des schémas'' , North-Holland  (1968)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> I.N. Herstein,  "Noncommutative rings" , ''Carus Math. Monographs'' , '''15''' , Math. Assoc. Amer.  (1968)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> I. Kersten,  "Brauergruppen von Körpern" , ''Aspekte der Math.'' , '''D6''' , Vieweg  (1990)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M.A. Knus,  M. Ojanguren,  "Théorie de la descente et algèbres d'Azumaya" , ''Lecture Notes in Mathematics'' , '''389''' , Springer  (1974)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> F. Van Oystaeyen,  A. Verschoren,  "Relative invariants of rings I" , ''Monographs and Textbooks in Pure and Appl. Math.'' , '''79''' , M. Dekker  (1983)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Be}}||valign="top"| M. Beattie,  "Automorphisms of $G$-Azumaya algebras"  ''Canad. J. Math.'', '''37'''  (1985)  pp. 1047–1058 {{MR|0828833}}  {{ZBL|0571.16003}}
 +
|-
 +
|valign="top"|{{Ref|Ca}}||valign="top"| S. Caenepeel,  "Brauer groups, Hopf algebras and Galois theory", ''K-Monographs Math.'', '''4''', Kluwer Acad. Publ.  (1998) {{MR|1610222}}  {{ZBL|0898.16001}}
 +
|-
 +
|valign="top"|{{Ref|Gr}}||valign="top"| A. Grothendieck,  "Le groupe de Brauer I", ''Dix Exposés sur la cohomologie des schémas'', North-Holland  (1968) {{MR|0244269}} {{MR|0244270}} {{MR|0244271}}  {{ZBL|0193.21503}}
 +
|-
 +
|valign="top"|{{Ref|He}}||valign="top"| I.N. Herstein,  "Noncommutative rings", ''Carus Math. Monographs'', '''15''', Math. Assoc. Amer.  (1968) {{MR|1535024}} {{MR|0227205}}  {{ZBL|0177.05801}}
 +
|-
 +
|valign="top"|{{Ref|Ke}}||valign="top"| I. Kersten,  "Brauergruppen von Körpern", ''Aspekte der Math.'', '''D6''', Vieweg  (1990) {{MR|1137014}}  {{ZBL|0709.13001}}
 +
|-
 +
|valign="top"|{{Ref|KnOj}}||valign="top"| M.A. Knus,  M. Ojanguren,  "Théorie de la descente et algèbres d'Azumaya", ''Lecture Notes in Mathematics'', '''389''', Springer  (1974) {{MR|0417149}}  {{ZBL|0284.13002}}
 +
|-
 +
|valign="top"|{{Ref|VaOyVe}}||valign="top"| F. Van Oystaeyen,  A. Verschoren,  "Relative invariants of rings I", ''Monographs and Textbooks in Pure and Appl. Math.'', '''79''', M. Dekker  (1983) {{MR|0722296}} {{ZBL|0555.16001}}
 +
|-
 +
|}

Latest revision as of 16:03, 26 April 2012

2020 Mathematics Subject Classification: Primary: 16-XX [MSN][ZBL]

In its classical form, the Skolem–Noether theorem can be stated as follows. Let $A$ and $B$ be finite-dimensional algebras over a field $k$, and assume that $A$ is simple and $B$ is central simple (cf. also Simple algebra; Central algebra; Field). If $f,g:A\to B$ are $k$-algebra homomorphisms, then there exists an invertible $u\in B$ such that

$$f(a) = u^{-1}g(a) u$$ for all $a\in A$. A proof can be found, for example, in [Ke], p. 21, or [He], Chap, 4. In particular, every $k$-algebra automorphism of a central simple algebra is inner (cf. also Inner automorphism). This can be generalized to an Azumaya algebra $A$ over a commutative ring $R$ (cf. also Separable algebra): There is an exact sequence, usually called the Rosenberg–Zelinsky exact sequence:

$$\def\Inn{\textrm{Inn}}\def\Aut{\textrm{Aut}}\def\Pic{\textrm{Pic}} 0\to\Inn(A)\to \Aut(A)\to \Pic(R),$$ where $\Pic(R)$ is the Picard group of $R$, $\Aut(A)$ is the group of $k$-algebra automorphisms of $A$ and $\Inn(A)$ is the subgroup consisting of inner automorphisms. The proof is an immediate application of the categorical characterization of Azumaya algebras: An $R$-algebra $A$ is Azumaya if and only if the categories of $R$-modules and $A$-bimodules are equivalent via the functors sending an $R$-module $N$ to $A\otimes N$, and sending an $A$-bimodule $M$ to

$$M^A = \{m\in M\;|\; am = ma \textrm{ for all } a\in A \}$$ (see, e.g., [KnOj], IV.1, for details).

The Skolem–Noether theorem plays a crucial role in the theory of the Brauer group; for example, it is used in the proof of the Hilbert 90 theorem (cf. also Hilbert theorem) and the cross product theorem. There exist versions of the Skolem–Noether theorem (and the Rosenberg–Zelinsky exact sequence) for other generalized types of Azumaya algebras; in particular, for Azumaya algebras over schemes [Gr], Azumaya algebras relative to a torsion theory [VaOyVe], III.3.26, and Long's $H$-dimodule Azumaya algebras [Be], [Ca].

References

[Be] M. Beattie, "Automorphisms of $G$-Azumaya algebras" Canad. J. Math., 37 (1985) pp. 1047–1058 MR0828833 Zbl 0571.16003
[Ca] S. Caenepeel, "Brauer groups, Hopf algebras and Galois theory", K-Monographs Math., 4, Kluwer Acad. Publ. (1998) MR1610222 Zbl 0898.16001
[Gr] A. Grothendieck, "Le groupe de Brauer I", Dix Exposés sur la cohomologie des schémas, North-Holland (1968) MR0244269 MR0244270 MR0244271 Zbl 0193.21503
[He] I.N. Herstein, "Noncommutative rings", Carus Math. Monographs, 15, Math. Assoc. Amer. (1968) MR1535024 MR0227205 Zbl 0177.05801
[Ke] I. Kersten, "Brauergruppen von Körpern", Aspekte der Math., D6, Vieweg (1990) MR1137014 Zbl 0709.13001
[KnOj] M.A. Knus, M. Ojanguren, "Théorie de la descente et algèbres d'Azumaya", Lecture Notes in Mathematics, 389, Springer (1974) MR0417149 Zbl 0284.13002
[VaOyVe] F. Van Oystaeyen, A. Verschoren, "Relative invariants of rings I", Monographs and Textbooks in Pure and Appl. Math., 79, M. Dekker (1983) MR0722296 Zbl 0555.16001
How to Cite This Entry:
Skolem-Noether theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Skolem-Noether_theorem&oldid=15101
This article was adapted from an original article by S. Caenepeel (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article