素数あるいは素数のベキ乗は有限体の元の個数である。

２，３，４，５，７，８，９，１１，１３，１６，１７，１９，２３，２５，・・・

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

代数学の教えるところによれば，ｎ元の体（加減乗除の演算が定義された集合）が存在するための必要十分条件は，ｎが素数（のベキ乗）になっていることで，位数２，３，４＝２^2，５の体は存在するが，位数６＝２×３の体は存在しない．そして，位数７，８＝２^3，９＝３^2の体は存在して，位数１０＝２×５のものは存在しない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝