Talk:Ring of mixed characteristic