Teori grup

Dalam aljabar abstrak, kita mendapatkan beberapa struktur yang mirip dengan suatu grup dengan melonggarkan beberapa aksioma yang diberikan di awal artikel ini.
· Jika kita eliminasi persyaratan yang menyebutkan bahwa setiap unsur memiliki invers, maka kita akan mendapatkan sebuah monoid
· Jika kita juga tidak melibatkan identitas, maka kita dapatkan suatu semigrup
· Oleh karena itu, jika kita melonggarkan persyaratan yang menyebutkan bahwa operasi bersifat asosiatif sementara masih mensyaratkan kemungkinan suatu divisi, maka kita dapatkan sebuah loop.
· Jika kita juga mengabaikan identitas, maka kita dapatkan suatu quasigrup
· Jika kita abaikan seluruh aksioma operasi biner, maka kita mendapatkan suatu magma