拡大体ってなんだろう、ということで勉強。しかしながら、イマイチ理解できない。 体上のm次の既約多項式(それ以上因数分解できない多項式)をとする、まではいい。 それで、上の多項式の集合をを法とすることによってとらえ直すと集合が導かれるのもいい。で…