Алгебра 
1) M - множество замкнута относительно этих операций
. Замкнутость означает
и 
2)o_i - бинарная операция.
Моноид это алгебра с одной операцией. 
Полугруппа.
1)
Моноид
2)
ассоциативность.
Группа.
1) Полугруппа.
2)
нейтральный элемент.
3)
обратный элемент.
Кольцо 
1)алгебра.
2)
группа(коммутотивность)
- пример операции.
3)
полугруппа.
- пример операции.
4)
дистрибютивность операций.
Поле 
1) Кольцо.
2)
группа.
3)
коммутотивная группа.

Извините, комментирование на данный момент закрыто.