talk:>>461 Q(√(2))の自己同型で、Qを不変にするものは何か、それくらいは分かるだろうと思うが。