Grup nedir?

        G boş kümeden farklı bir küme olsun,G de tanımlanan herhangi bir "*" işlemi için aşağıdaki şartlar sağlanıyorsa (G,*) cebirsel yapısına  grup denir.

• Her a,b,c € G için a*(b*c)=(a*b)*c           (birleşme özelliği)
• Her a €G için a*e=e*a=a olacak şekilde e € G vardır    (birim eleman)
• Her a € G için a*a'=a'*a=e olacak şekilde a' € G vardır     (ters eleman)

NOT: Bir (G,*) grubu için;

• Her a,b € G için a*b=b*a oluyorsa bu gruba değişmeli (abel) grubu denir.