Matematikte cebirsel bir yapı[ üzerinde bir iki ya da daha fazla ikili işlem bulunan bir kümedird] bunun açıklanması gerekir.

Bir ikili işlem içeren temel cebirsel yapılar şunlardır:

  • Magma (matematik)

İkili işlemi olan bir küme.

  • Semigrup

Birleştirici bir işleme sahip bir küme

  • Monoid

Özdeşlik elemanı olan bir yarı grup

  • Grup

Her elemanın karşılık gelen bir ters elemana sahip olduğu bir monoid

  • Değişmeli grup

Değişmeli işleme sahip bir grup

İki ikili işlem içeren temel cebirsel yapılar şunlardır:

  • Yüzük

Genellikle toplama ve çarpma olarak adlandırılan iki işlemli bir küme. Toplama işlemine sahip küme değişmeli bir grup oluşturur ve çarpma işlemi ile bir yarı grup oluşturur (birçok kişi çarpma işlemine sahip kümenin aslında bir monoid olması için bir halka tanımlar). Bir halkada toplama ve çarpma işlemleri dağılım özelliğini sağlar

  • Değişmeli halka

Çarpımı değişmeli olan bir halka

  • Saha

Çarpım kümesinin bir grup olduğu değişmeli bir halka.

Örnekler şunlardır