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]**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**, https://doi.org/10.2307/2372154**[3]**G. Hochschild,*Double vector spaces over division rings*, Amer. J. Math.**71**(1949), 443–460. MR**0029889**, https://doi.org/10.2307/2372257**[4]**N. Jacobson,*An extension of Galois theory to non-normal and non-separable fields*, Amer. J. Math.**66**(1944), 1–29. MR**0010554**, https://doi.org/10.2307/2371892**[5]**N. Jacobson,*A note on division rings*, Amer. J. Math.**69**(1947), 27–36. MR**0020981**, https://doi.org/10.2307/2371651**[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**

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