Изменения

Перейти к: навигация, поиск

Основные определения, связанные со строками

528 байт убрано, 12:13, 22 апреля 2012
Базовые определения
{{Определение
|definition =
'''Нейтральным элементом''' (пустой строкой) <tex>\varepsilon \in \sum^{0}</tex> называется элемент, для которого верно <tex>\alpha\varepsilon=\varepsilon\alpha=\alpha</tex>.
}}
Нейтральный элемент превращает <tex>\sum^*</tex> в свободный моноид, порожденный <tex>\sum</tex>.
 
Зададим группу с элементами <tex>a, 0, +</tex>.
 
Зададим порождение.
 
<tex>
a+a+a+a\\
a+a+a\\
a+a\\
a\\
0\\
-a\\
-a-a\\
</tex>.
 
Порождающее соотношение ограничивает количество элементов.
 
{{Определение
|definition =
Алгебраическая структура называется '''свободной''', если для нее нельзя задать порождающие соотношения с конечного множества.
}}
== Отношения между строками ==
419
правок

Навигация