Ring of mixed characteristic

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