نظرية الحلقات

بصفة رسمية، الحلقة هي زمرة أبيلية ${\displaystyle (R,+)}$، أضيفت إليها عملية ثنائية ثانية * حيث يتحقق ما يلي بالنسبة لأي ثلاثة عناصر a وb وc في R :

${\displaystyle a*(b*c)=(a*b)*c}$

${\displaystyle a*(b+c)=(a*b)+(a*c)}$

${\displaystyle (a+b)*c=(a*c)+(b*c)}$