Galois拡大

Q

⊂ Q( √-1 )

⊂ Q( √-1 , P( 2ω/5 ) = ( √( 10+6√5 )-√( 2+2√5 ) )/2 )

= K

K/Q : Galois拡大

なので

K/Q( √-1 ) : Galois拡大

になっている.