Ring of mixed characteristic

In commutative algebra, a ring of mixed characteristic is a commutative ring

having characteristic zero and having an ideal

has positive characteristic.

This commutative algebra-related article is a stub.

You can help Wikipedia by expanding it.