Инструменты пользователя

Инструменты сайта


Боковая панель

Регистрация

Учебные курсы

Учебные проекты

Материалы к экзаменам

Полезная информация

Обратная связь

others:new8

Непустое множество G с заданной на нём бинарной операцией : G ° G → G называется группой (G, °), если выполнены следующие аксиомы:

ассоциативность: (∀ a, b, c ∈ G) : (a · b) · c = a · (b · c);

наличие нейтрального элемента: (∃ e ∈ G) [∀ a ∈ G] : e · a = a · e = a;

наличие обратного элемента: (∀ a ∈ G ) [∃ a-1 ∈ G] : a · a-1 = a-1 · a = e.

others/new8.txt · Последние изменения: 2014/11/27 09:06 (внешнее изменение)