A Tannakian context for Galois theory
Strong similarities have been long observed between the Galois and Tannaka theories of the representation of groups. In this paper we construct an explicit (neutral) Tannakian context for the Galois theory of atomic topoi and prove equivalence for the fundamental theorem. Since the theorem is known...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00018708_v234_n_p528_Dubuc |
| Aporte de: |
| Sumario: | Strong similarities have been long observed between the Galois and Tannaka theories of the representation of groups. In this paper we construct an explicit (neutral) Tannakian context for the Galois theory of atomic topoi and prove equivalence for the fundamental theorem. Since the theorem is known for the Galois context, this yields a proof of the fundamental (recognition) theorem for a new Tannakian context. This example is different from the additive cases or their generalization for which the theorem is known to hold and for which the unit of the tensor product is always an object of finite presentation, which is not the case in our context. © 2012 Elsevier Ltd. |
|---|