定義
K を必ずしも可換とは限らない体とする。
>>664の P を K の素体と言う。
>>664より、以下の二つの場合がある。

1) P は有理数体に同型である。
2) ある素数 p があり、P は Z/pZ に同型である。

1) のとき K の標数(characteristic)は 0 であると言う。
2) のとき K の標数は p であると言う。

K の標数を char(K) と書く。