有限体
定義
集合内の$ aと$ bに対し、$ a+bも$ a \cdot bも集合内に存在する(閉じている)
$ a+0=aとなるような、$ 0が存在する(加法単位元)
$ a \cdot 1=aとなるような、$ 1が存在する(乗法単位元)
集合内の$ aに対し、$ a+(-a)=0を満たす値とし定義できる$ -aがその集合内に存在する(加法逆元)
集合内の$ 0でない$ aに対し、$ a \cdot a^{-1}=1を満たす値として定義できる$ a^{-1}がその集合内に存在する(乗法逆元)
その他
集合の大きさ: 位数