有理数の構築 – 定義

客観的

セットと追加構造の両方として、有理数の場を構築したいと考えています。

工事

環に関する理論を十分に知っている限り、これは非常に簡単です。相対整数の環はそのままです。したがって、次のように定義できます。 Q = Frac ( Z )、つまり、相対整数の分数フィールドです。