Normal and Separable Extensions, and Splitting Fields

Algebra ◽  
2021 ◽  
pp. 317-339
Keyword(s):  
Author(s):  
Olivia Caramello

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.


2010 ◽  
Vol 88 (3) ◽  
pp. 301-312
Author(s):  
C. ÁLVAREZ-GARCÍA ◽  
G. VILLA-SALVADOR

AbstractLetE/kbe a function field over an infinite field of constants. Assume thatE/k(x) is a separable extension of degree greater than one such that there exists a place of degree one ofk(x) ramified inE. LetK/kbe a function field. We prove that there exist infinitely many nonisomorphic separable extensionsL/Ksuch that [L:K]=[E:k(x)] andAutkL=AutKL≅Autk(x)E.


2003 ◽  
Vol 32 (2) ◽  
pp. 335-344
Author(s):  
Kozo SUGANO
Keyword(s):  

1978 ◽  
Vol 1 (4) ◽  
pp. 433-438
Author(s):  
George Szeto

The purposes of the present paper are (1) to give a necessary and sufficient condition for the uniqueness of the separable idempotent for a separable group ring extensionRG(Rmay be a non-commutative ring), and (2) to give a full description of the set of separable idempotents for a quaternion ring extensionRQover a ringR, whereQare the usual quaternionsi,j,kand multiplication and addition are defined as quaternion algebras over a field. We shall show thatRGhas a unique separable idempotent if and only ifGis abelian, that there are more than one separable idempotents for a separable quaternion ringRQ, and thatRQis separable if and only if2is invertible inR.


Sign in / Sign up

Export Citation Format

Share Document