定理 9.2 ガロワ対応（多項式の群の部分群と根の式のなす体との対応） ：重根を持たない多項式 の群 ：根の式のなす体 とする．以下の対応 根の式のなす体 に含まれる根の式の値をすべて不変にする の元全体（ の部分群） の部分群 で不変な根の式全体（根の…