最小分解体

K

= Q( x^8-12x^6-26x^4+52x^2+1 = 0 の解 )

と置くと

K : x^8-12x^6-26x^4+52x^2+1 = 0 の最小分解体

K

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

になっている.