Mustaqil ish mavzu : Algebraik sistemalar tushunchasi va ularga doir misollar yechish

1-ta’rif. Bo‘sh bo‘lmagan A to‘plamda * algebraik operatsiya assotsiativ bo‘lsa, ‹A, *› algebra yarim gruppa deyiladi.

2-ta’rif. Bo‘sh bo‘lmagan A to‘plamda quyidagi xossalar o‘rinli bo‘lsa, ‹A, *› algebra gruppa deyiladi:

a) A to‘plamning ixtiyoriy ɑ,b,c elementlari uchun ɑ*(b*c)=(ɑ *b) munosabat o‘rinli bo‘lsa, ya’ni binar * algebraik operatsiya assotsiativ bo‘lsa;

b) A to‘plamning ixtiyoriy a elementi uchun shunday eA element mavjud bo‘lib, u a*e=e*a=a shartni qanoatlantirsa, ya’ni A to‘plamda neytral element mavjud bo‘lsa;

c) A to‘plamning ixtiyoriy a elementi uchun shunday  element mavjud bo‘lib, u quyidagi a* shartni qanoatlantirsa, ya’ni A to‘plamning har bir elementiga simmetrik element mavjud bo‘lsa.

Ta’rifdan ko‘rinadiki, ‹A,*,e, › algebra gruppa bo‘lishi uchun * algebraik operatsiya bo‘lib, u assotsiativ bo‘lishi hamda A to‘plamda e neytral,  simmetrik elementlar mavjud bo‘lishi kerak ekan.