symmetric monoidal (∞,1)-category of spectra
It is well known that you cannot divide by zero, lest you be doomed to triviality. Conversely, in a field, you can divide by anything except zero. But this rule can be misleading, since it's possible that (even) an ordinary number can be zero when you don't expect it! The characteristic of a field states when (if ever) this happens.
It is straightforward to generalise from fields to other rings, and even rigs. See also characteristic zero.
Let be a rig (possibly a ring, possibly a commutative ring, possibly even a field). Then there exists a unique homomorphism to from the initial rig, which is the rig of natural numbers. The kernel of is an ideal of , which (by a well-known property of ) is a principal ideal with a unique generator. This generator is the characteristic of , denoted .
If is a ring, then we may use instead, where is the ring of integers. However, in this case, the kernel will usually have two generators, in which case we pick the positive one to get the same result as above.
The concept of the characteristic has been generalized to E-∞ rings (Szymik 12, Szymik 13, Baker 14).
If is a natural number, then we suppress mention of to think of as an element of . If is a ring, then we do the same for a negative integer . We then have that in if and only if is a multiple of .
The characteristic of a field must be either zero or a prime number. Basically, this is because the kernel of , for a field, must be a prime ideal. Similarly, the characteristic of an integral domain must be either zero or a prime number.
Every rig with positive characteristic is in fact a ring, since we have . In other words, any rig other than a ring must have characteristic zero (although many rings also have that characteristic).
If there is any homomorphism at all between two fields, then they have the same characterstic. In other words, any extension of a field keeps the same characteristic.
If is a positive natural number, then the characteristic of is . This ring is always a commutative ring, and it is a field if and only if is prime, in which case it is the prime field . More generally, every finite field has positive prime characteristic.
For , , , and the prime field (the field of rational numbers) are no longer all the same, but they still all have characteristic . Every ordered field has characteristic . The real numbers and complex numbers each form fields of characteristic .
Discussion for E-∞ rings:
Markus Szymik, Commutative S-algebras of prime characteristics and applications to unoriented bordism (arXiv:1211.3239)
Markus Szymik, String bordism and chromatic characteristics (arXiv:1312.4658)
Andrew Baker, Characteristics for ring spectra (arXiv:1405.3695)
Last revised on August 19, 2024 at 15:20:16. See the history of this page for a list of all contributions to it.