operation)などと呼ぶこともあります。y∈Sが存在することをさします。system)と呼び、Aをその台(Support)、Oをその算法族と呼びます。算法族を省略して、代数系を単にAで表すこともあります。×})は代数系となります。代数系が与えられたとき、その性質に応じて代数系を分類することが出来ます。Aは・について結合的(associative)であるといいます。Aは・について可換(commutative)であるといいます。結合法則および交換法則を満たす算法は+で表し、加法と呼ぶことが多いです。low)が成り立つといいます。分配法則が成り立つとき、算法+を加法、×を乗法と呼びます。xが成り立つようなものがあれば、eを・に関する単位元(unity)と呼びます。Aが単位元を持つとき、Aは単位的(unitary)であるといいます。単位元が存在するならば、それは一意的に定まります。1などの記号で表すことも多い。加法+に関する単位元は、0で表し、零元と呼ぶこともあります。eを満たすようなAの元yが存在するとき、xは正則(regular)であるといいます。xが正則元であるとき、上式を満たすような元yは一意的に定まり、このような元をxの逆元(inverse)と呼びます。加法+に関する逆元は-xと表すことが多いです。まで気兼ねなくご連絡ください。ついて運営者について。