Definition 9.15.8 (09HR)—The Stacks project

Processing math: 100%

Definition 9.15.8. Let $E/F$ be an extension of fields. Then $\text{Aut}(E/F)$ or $\text{Aut}_ F(E)$ denotes the automorphism group of $E$ as an object of the category of $F$ -extensions. Elements of $\text{Aut}(E/F)$ are called automorphisms of $E$ over $F$ or automorphisms of $E/F$ .

Comments (0)

There are also:

3 comment(s) on Section 9.15: Normal extensions

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment