Üzerinde tersinebilir ve bileşme özelliğine sahip ikili bir işlemin tanımlı olduğu kümelerin kuramıdır. Daha detaylı açıklamak gerekirse, grup nesnesi bir küme G ve onun üzerinde tanımlı bir işleminden oluşur. Bu operasyonun aşağıdaki şartları sağlaması gereklidir: 1) G'nin herhangi üç elemanı a,b,c için
Daha fazlası için Wikipedia.org adresine gidin…