The predual theorem to the Jacobson-Bourbaki theorem
HTML articles powered by AMS MathViewer
- by Moss Sweedler PDF
- Trans. Amer. Math. Soc. 213 (1975), 391-406 Request permission
Abstract:
Suppose $R\xrightarrow {\varphi }S$ is a map of rings. S need not be an R algebra since R may not be commutative. Even if R is commutative it may not have central image in S. Nevertheless the ring structure on S can be expressed in terms of two maps \[ S{ \otimes _R}S\xrightarrow {{({s_1} \otimes {s_2} \to {s_1}{s_2})}}S,\quad R\xrightarrow {\varphi }S,\] which satisfy certain commutative diagrams. Reversing all the arrows leads to the notion of an R-coring. Suppose R is an overing of B. Let ${C_B} = R{ \otimes _B}R$. There are maps \[ \begin {array}{*{20}{c}} {{C_B} = R{ \otimes _B}R\xrightarrow {{({r_1} \otimes {r_2} \to {r_1} \otimes 1 \otimes {r_2})}}R{ \otimes _B}R{ \otimes _B}R = ({C_B}){ \otimes _R}({C_B}),} \hfill \\ {{C_B} = R{ \otimes _B}R\xrightarrow {{({r_1} \otimes {r_2} \to {r_1}{r_2})}}R.} \hfill \\ \end {array} \] These maps give ${C_B}$ an R-coring structure. The dual $^\ast {C_B}$ is naturally isomorphic to the ring ${\text {End}_{{B^ - }}}R$ of B-linear endomorphisms of R considered as a left B-module. In case B happens to be the subring of R generated by 1, we write ${C_{\text {Z}}}$. Then $^\ast {C_{\text {Z}}}$ is ${\text {End}_{\text {Z}}}R$, the endomorphism ring of R considered as an additive group. This gives a clue how certain R-corings correspond to subrings of R and subrings of ${\text {End}_{\text {Z}}}R$, both major ingredients of the Jacobson-Bourbaki theorem. $1 \otimes 1$ is a “grouplike” element in the R-coring ${C_{\text {Z}}}$ (and should be thought of as a generic automorphism of R). Suppose R is a division ring and B a subring which is a division ring. The natural map ${C_{\text {Z}}} \to {C_B}$ is a surjective coring map. Conversely if ${C_{\text {Z}}}\xrightarrow {\pi }D$ is a (surjective) coring map then $\pi (1 \otimes 1)$ is a grouplike in D and $\{ r \in R|r\pi (1 \otimes 1) = \pi (1 \otimes 1)r\}$ is a subring of R which is a division ring. This gives a bijective correspondence between the quotient corings of $C{ \otimes _{\text {Z}}}C$ and the subrings of R which are division rings. We show how the Jacobson-Bourbaki correspondence is dual to the above correspondence.References
- Henri Cartan, Théorie de Galois pour les corps non commutatifs, Ann. Sci. École Norm. Sup. (3) 64 (1947), 59–77 (French). MR 0023237, DOI 10.24033/asens.942
- J. Dieudonné, Linearly compact spaces and double vector spaces over sfields, Amer. J. Math. 73 (1951), 13–19. MR 38962, DOI 10.2307/2372154
- G. Hochschild, Double vector spaces over division rings, Amer. J. Math. 71 (1949), 443–460. MR 29889, DOI 10.2307/2372257
- N. Jacobson, An extension of Galois theory to non-normal and non-separable fields, Amer. J. Math. 66 (1944), 1–29. MR 10554, DOI 10.2307/2371892
- N. Jacobson, A note on division rings, Amer. J. Math. 69 (1947), 27–36. MR 20981, DOI 10.2307/2371651 —, Lectures in abstract algebra. Vol. 3: Theory of fields and Galois theory, Van Nostrand, Princeton, N. J., 1964. MR 30 #3087.
- Moss E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969. MR 0252485
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 213 (1975), 391-406
- MSC: Primary 16A49; Secondary 16A24, 16A74
- DOI: https://doi.org/10.1090/S0002-9947-1975-0387345-9
- MathSciNet review: 0387345