2 132人目の素数さん[sage] 2021/02/15(月) 11:44:08.70 ID:iT3CrOuB
以下、俺のノート。

集合kに二項演算

+: k × k → k
*: k × k → k

が定義されていて、以下の条件を満たすとき、kは体であるという。