Estensione semplice

In matematica, ed in particolare in teoria dei campi, un'estensione di campi L / K {\displaystyle L/K} si dice estensione semplice se esiste un elemento u L {\displaystyle u\in L} tale che L = K ( u ) {\displaystyle L=K(u)} .

Esempi

  • L'estensione Q ( 2 ) {\displaystyle \mathbb {Q} ({\sqrt {2}})} è un'estensione semplice di Q {\displaystyle \mathbb {Q} } (in R {\displaystyle \mathbb {R} } ).
  • L'estensione Q ( 2 , π ) {\displaystyle \mathbb {Q} ({\sqrt {2}},\pi )} non è un'estensione semplice di Q {\displaystyle \mathbb {Q} } .
  • L'estensione Q ( 2 , 3 ) {\displaystyle \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})} è un'estensione semplice di Q {\displaystyle \mathbb {Q} } : risulta infatti che Q ( 2 , 3 ) = Q ( 2 + 3 ) {\displaystyle \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})=\mathbb {Q} ({\sqrt {2}}+{\sqrt {3}})} .
  • Il campo complesso C {\displaystyle \mathbb {C} } è estensione semplice del campo dei reali R {\displaystyle \mathbb {R} } : si ha infatti che C = R ( i ) {\displaystyle \mathbb {C} =\mathbb {R} (i)} .
  • L'estensione R ( i , i 3 ) {\displaystyle \mathbb {R} (i,i{\sqrt {3}})} è ancora un'estensione semplice di R {\displaystyle \mathbb {R} } , essendo: R ( i , i 3 ) = R ( i ) = C {\displaystyle \mathbb {R} (i,i{\sqrt {3}})=\mathbb {R} (i)=\mathbb {C} } .

Bibliografia

  • Siegfried Bosch, Algebra, Springer-Verlag Italia, Milano (2003), ISBN 88-470-0221-4.

Voci correlate

  • Campo (matematica)
  • Estensione di campi
  • Estensione algebrica
  • Estensione finitamente generata
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica