Полугруппа — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Полугруппа)
м
Строка 1: Строка 1:
{{В разработке}}
+
{{Определение
 +
|definition=
 +
[[Полугруппа|Полугруппой]] <tex>\langle G,\cdot\rangle</tex> называется множество <tex>G</tex> с заданной на нем [[ассоциативная операция|ассоциативной операцией]] <tex>\cdot:G\times G \rightarrow G</tex>.
 +
}}
  
== Полугруппа ==
+
Примером полугруппы является множество действительных чисел <tex>\mathbb{R}</tex> c операцией умножения или сложения (но не деления {{---}} она не ассоциативна, и не определено деление на 0).
 
 
'''Полугруппой''' <tex>\langle G,\cdot\rangle</tex> называется множество <tex>G</tex> с заданной на нем ассоциативной операцией <tex>\cdot:G\times G \rightarrow G</tex> (ассоциативность означает, что для любых <tex>a,b,c</tex> из <tex>G</tex> выполняется <tex>(a\cdot b)\cdot c = a\cdot(b\cdot c)</tex>. Примером полугруппы является множество действительных чисел <tex>\mathbb{R}</tex> c операцией умножения или сложения (но не деления -- она не ассоциативна, и не определено деление на 0).
 
  
 
[[Категория: Теория групп]]
 
[[Категория: Теория групп]]

Версия 09:47, 30 июня 2010

Определение:
Полугруппой [math]\langle G,\cdot\rangle[/math] называется множество [math]G[/math] с заданной на нем ассоциативной операцией [math]\cdot:G\times G \rightarrow G[/math].


Примером полугруппы является множество действительных чисел [math]\mathbb{R}[/math] c операцией умножения или сложения (но не деления — она не ассоциативна, и не определено деление на 0).