最小分解体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 ) になっている.