標数2の有限環の元の個数

twitter.com

$1+1=0$ となる単位的可換環 $A$ は $\mathbb{F}_2$ 加群とみなせるので、$A$ が有限環であればその濃度は $|\mathbb{F}_2| ^ {\dim A} = 2 ^ n$ と書ける。