
Ring of mixed characteristic

In commutative algebra, a ring of mixed characteristic is a commutative ring formula_1 having characteristic zero and having an ideal formula_2 such that formula_3 has positive characteristic.