Tagged: direct product of ideals