ideal (ring)