Two-sided ideal


two-sided ideal is a ideal.