Primary extension
In field theory, a branch of algebra, a primary extension L of K is a field extension such that the algebraic closure of K in L is purely inseparable over K.[1]
Properties
- An extension L/K is primary if and only if it is linearly disjoint from the separable closure of K over K.[1]
- A subextension of a primary extension is primary.[1]
- A primary extension of a primary extension is primary (transitivity).[1]
- Any extension of a separably closed field is primary.[1]
- An extension is regular if and only if it is separable and primary.[1]
- A primary extension of a perfect field is regular.
gollark: It's not actually labelled, but I just added 100 bots to my server in about an hour!
gollark: This is the best graph.
gollark: You should really make the test bot instance have a different prefix like I do.
gollark: I will preemptively say "train". But not ever again, until I forget.
gollark: I read it because I have very poor task prioritization skills.
References
- Fried & Jarden (2008) p.44
- Fried, Michael D.; Jarden, Moshe (2008). Field arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. 11 (3rd revised ed.). Springer-Verlag. pp. 38–44. ISBN 978-3-540-77269-9. Zbl 1145.12001.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.