ПредишенСледващото

В закона - Намаляване

Част от групата, е полугрупа се нарича subsemigroup на групата. От закона за анулиране държи във всяка група, а след това всеки subsemigroup група също отговаря на закона за анулиране. По този начин, наличието на намаляване на закона е предпоставка за embeddability полугрупа група. Поради това е от интерес да се намери повече или по-малко широки класове полугрупа, за които законодателството на изпълнение е достатъчно, за да се намали групата embeddability. Класически пример за това е теорема, че всеки Abelian полугрупа с правото на отказ е вградена в Abelian група. [31]

Полугрупа е редовно, ако и само ако по някаква идеална лявата му L и надясно идеален всеки R притежава RL Rf] Л. следните условия за полугрупа 5 са ​​еквивалентни: (1) S е редовен и unipotent, (2) S е редовен и отговаря на закона намаление. (3) 5 група. [32]

Част от групата, е полугрупа се нарича subsemigroup на групата. От закона за анулиране държи във всяка група, а след това всеки subsemigroup група също отговаря на закона за анулиране. По този начин, наличието на намаляване на закона е предпоставка за embeddability полугрупа група. Поради това е от интерес да се намери повече или по-малко широки класове полугрупа, за които законодателството на изпълнение е достатъчно, за да се намали групата embeddability. Класически пример за това е теорема, че всеки Abelian полугрупа с правото на отказ е вградена в Abelian група. [33]

На първо място, трябва да се уверите, че предложената алгоритъма ни наистина генерира смяна. Фактът, че за даден грама и подходящо избрана х може да бъде получена за всеки елемент на G, че от платежоспособността на уравнения XG - и за групата. Фактът, че в рамките на картографиране Х - XG различни елементи се движат в различни следва от намаляването на закона. [34]

Анти-изоморфни с N, както и анти-изоморфни на изоморфни на полугрупа решетка. Един класически пример на решетка определено доставя първата основна теоремата на проективна геометрия (вж. [1]), където се счита за векторно пространство над телата. Решетка определят също са всеки абелева група, съдържаща два независими елемент безкраен ред, всяка свободна група (свободна полугрупа) и група (полугрупа) nontrivial разгражда в свободна продукт, всеки nilpotent усукване, всеки комутативен полугрупа cancellative без idempotent всеки свободен полугрупа idempotent безплатно semilattice с повече от две свободни генератори. [35]

След това Abelian много близо до, но много по-сложно и са Nilpotent разтворими групи. Поради голямата роля на тези класове на групи в общата теория на групите, разбира се, поставя въпроса за определянето на nilpotency и разрешимост и полугрупа. Оказва се, че всеки nilpotent полугрупа с правото на отказ може да се вгражда в nilpotent група. В заключение, като се има доказателство за невъзможността да се въведе понятието за решими полугрупа задоволяване на определени физически изисквания. [36]

Част от групата, е полугрупа се нарича subsemigroup на групата. От закона за анулиране държи във всяка група, а след това всеки subsemigroup група също отговаря на закона за анулиране. По този начин, наличието на намаляване на закона е предпоставка за embeddability полугрупа група. Поради това е от интерес да се намери повече или по-малко широки класове полугрупа, за които законодателството на изпълнение е достатъчно, за да се намали групата embeddability. Класически пример за това е теорема, че всеки Abelian полугрупа с правото на отказ е вградена в Abelian група. [37]

Част от групата, е полугрупа се нарича subsemigroup на групата. От закона за анулиране държи във всяка група, а след това всеки subsemigroup група също отговаря на закона за анулиране. По този начин, наличието на намаляване на закона е предпоставка за embeddability полугрупа група. Поради това е от интерес да се намери повече или по-малко широки класове полугрупа, за които законодателството на изпълнение е достатъчно, за да се намали групата embeddability. Класически пример за това е теорема, че всеки Abelian полугрупа с правото на отказ е вградена в Abelian група. [38]

Страници: 1 2 3

Сподели този линк:

Свързани статии

Подкрепете проекта - споделете линка, благодаря!