Characteristic

Input: Characteristic(R)
$$\operatorname{char}(R)$$

The characteristic of the ring $R$

Input: Equal(Characteristic(QQ), 0)
$$\operatorname{char}(\mathbb{Q}) = 0$$

Ordinary numbers have characteristic zero.

Input: Equal(Characteristic(QuotientRing(ZZ, 3*ZZ)), 3)
$$\operatorname{char}\!\left(\mathbb{Z} / 3 \mathbb{Z}\right) = 3$$

A ring with nonzero characteristic.

Last updated: 2020-03-06 00:22:16