Ring of mixed characteristic

In commutative algebra, a ring of mixed characteristic is a commutative ring $R$ having characteristic zero and having an ideal $I$ such that $R/I$ has positive characteristic.[1]

Examples

The integers $\mathbb {Z}$ have characteristic zero, but for any prime number $p$ , $\mathbb {F} _{p}=\mathbb {Z} /p\mathbb {Z}$ is a finite field with $p$ elements and hence has characteristic $p$ .
The ring of integers of any number field is of mixed characteristic
Fix a prime p and localize the integers at the prime ideal (p). The resulting ring Z_(p) has characteristic zero. It has a unique maximal ideal pZ_(p), and the quotient Z_(p)/pZ_(p) is a finite field with p elements. In contrast to the previous example, the only possible characteristics for rings of the form Z_(p) / I are zero (when I is the zero ideal) and powers of p (when I is any other non-unit ideal); it is not possible to have a quotient of any other characteristic.
If $P$ is a non-zero prime ideal of the ring ${\mathcal {O}}_{K}$ of integers of a number field $K$ then the localization of ${\mathcal {O}}_{K}$ at $P$ is likewise of mixed characteristic.
The p-adic integers Z_p for any prime p are a ring of characteristic zero. However, they have an ideal generated by the image of the prime number p under the canonical map Z → Z_p. The quotient Z_p/pZ_p is again the finite field of p elements. Z_p is an example of a complete discrete valuation ring of mixed characteristic.
The integers, the ring of integers of any number field, and any localization or completion of one of these rings is a characteristic zero Dedekind domain.

gollark: Just determine some reasonable amount of things to get for yourself and donate/save excesses, I guess.

gollark: You should not let yourself be bound by the wrong and bad spending habits of the median family.

gollark: You might want to actually have savings, as a worrying amount of people apparently don't.

gollark: You might live in somewhere with higher cost of living, as many software types do.

gollark: This is also probably wrong. There are perfectly good reasons to spend more than the median family on some category, especially if the categories are particularly granular.

References

Bergman, George M.; Hausknecht, Adam O. (1996), Co-groups and co-rings in categories of associative rings, Mathematical Surveys and Monographs, 45, American Mathematical Society, Providence, RI, p. 336, doi:10.1090/surv/045, ISBN 0-8218-0495-2, MR 1387111.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Bergman, George M.; Hausknecht, Adam O. (1996), Co-groups and co-rings in categories of associative rings, Mathematical Surveys and Monographs, 45, American Mathematical Society, Providence, RI, p. 336, doi:10.1090/surv/045, ISBN 0-8218-0495-2, MR 1387111.