The generator of the kernel of the unique homomorphism ℕ → α for a semiring α

Noncomuptable function that outputs the unique characteristic of a semiring.

The frobenius map that sends x to x^p