nLab
mixed characteristic

A commutative ring RR of characteristic 00 is called a ring of mixed characteristic if RR has an Ideal II such that the quotient R/IR/I is of prime characteristic.