「ガロア理論/準備」の版間の差分

== 体とは ==

集合 <math>K</math> と写像 <math>+ : K \times K \rightarrow K, \ \cdot : K \times K \rightarrow K</math> について、<math>+(a, b) = a + b, \ \cdot(a, b) = ab</math> と書くことにする。このとき、<math>(K, +, \cdot)</math> が(可換)体であるとは、以下の条件を満たすことを言う。