Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

The predual theorem to the Jacobson-Bourbaki theorem


Author: Moss Sweedler
Journal: Trans. Amer. Math. Soc. 213 (1975), 391-406
MSC: Primary 16A49; Secondary 16A24, 16A74
MathSciNet review: 0387345
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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

$\displaystyle 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{displaymath}\begin{array}{*{20}{c}} {{C_B} = R{ \otimes _B}R\xrightarrow{... ...{r_1} \otimes {r_2} \to {r_1}{r_2})}}R.} \hfill \\ \end{array} \end{displaymath}

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\vert 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 [Enhancements On Off] (What's this?)

  • [1] Henri Cartan, Théorie de Galois pour les corps non commutatifs, Ann. Sci. École Norm. Sup. (3) 64 (1947), 59–77 (French). MR 0023237
  • [2] J. Dieudonné, Linearly compact spaces and double vector spaces over sfields, Amer. J. Math. 73 (1951), 13–19. MR 0038962
  • [3] G. Hochschild, Double vector spaces over division rings, Amer. J. Math. 71 (1949), 443–460. MR 0029889
  • [4] N. Jacobson, An extension of Galois theory to non-normal and non-separable fields, Amer. J. Math. 66 (1944), 1–29. MR 0010554
  • [5] N. Jacobson, A note on division rings, Amer. J. Math. 69 (1947), 27–36. MR 0020981
  • [6] -, Lectures in abstract algebra. Vol. 3: Theory of fields and Galois theory, Van Nostrand, Princeton, N. J., 1964. MR 30 #3087.
  • [7] Moss E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969. MR 0252485

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 16A49, 16A24, 16A74

Retrieve articles in all journals with MSC: 16A49, 16A24, 16A74


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1975-0387345-9
Keywords: Coring, coalgebra, division ring
Article copyright: © Copyright 1975 American Mathematical Society