אידיאל (תורת החוגים)