week 6: The ideal generated by a set. Quotient rings. Ring homomorphism,