Ideal (matematika)

Ideal А algebre L u teoriji grupa je podalgebra koja je sa elementima algebre L zatvorena u odnosu na množenje u L. Drugim rečima, ideal je podalgebra čiji elementi pomnoženi sa elementima algebre, pripadaju toj algebri, što se označava sa $[A,L]\subset L$.

Da je А ideal algebre L se označava sa $A\triangleleft L$.