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

DOI:
https://doi.org/10.1090/S0002-9947-1975-0387345-9

MathSciNet review:
0387345

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Suppose 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

*R-coring*.

Suppose *R* is an overing of *B*. Let . There are maps

*R*-coring structure. The dual is naturally isomorphic to the ring 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 . Then is , 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 , both major ingredients of the Jacobson-Bourbaki theorem.

is a ``grouplike'' element in the *R*-coring (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 is a surjective coring map. Conversely if is a (surjective) coring map then is a grouplike in *D* and is a subring of *R* which is a division ring. This gives a bijective correspondence between the quotient corings of and the subrings of *R* which are division rings.

We show how the Jacobson-Bourbaki correspondence is dual to the above correspondence.

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

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