Шутценбергер тобы - Википедия - Schutzenberger group

Жылы абстрактілі алгебра, жылы жартылай топ теориясы, а Шутценбергер тобы белгілі бір топ байланысты Жасыл H- а сыныбы жартылай топ[1]. Шутценбергер топтары әртүрлі H- сыныптар әр түрлі. Алайда, топтар екі түрлі байланысты H- бірдей сыныптар Д.- жартылай топтың сыныбы изоморфты. Сонымен қатар, егер H- сыныптың өзі а топ, Шутценбергер тобы H-классы изоморфты болады H-сынып. Шындығында, берілгенге байланысты екі Шутценбергер тобы бар H-класс және әрқайсысы антиисоморфты екіншісіне.

Шутценбергер тобын ашты Марсель-Пол Шютценбергер 1957 жылы[2][3] және терминологияны жасаған A. H. Clifford.[4]

Шутценбергер тобы

Келіңіздер S жартылай топ болып, рұқсат етіңіз S1 1-ге сәйкестендіру элементін қосу арқылы алынған жартылай топ болу S (егер S қазірдің өзінде сәйкестендіру элементі бар S1 = S). Жасыл H- қатынас S келесідей анықталады: Егер а және б бар S содан кейін

а H б Are бар сен, v, х, ж жылы S1 осындай уа = балта = б және т = арқылы = а.

Үшін а жылы S, барлығының жиынтығы б кірді S осындай а H б бұл Жасыл H-сынып S құрамында а, деп белгіленеді Hа.

Келіңіздер H болуы H- жартылай топтың сыныбы S. Келіңіздер Т(H) барлық элементтердің жиынтығы болуы керек т жылы S1 осындай Ht ішкі бөлігі болып табылады H өзі. Әрқайсысы т жылы Т(H) трансформацияны γ арқылы белгілейдіт, of H картаға түсіру арқылы сағ жылы H дейін ht жылы H. Барлық осы түрлендірулер жиынтығы H, Γ (H), астындағы топ болып табылады құрамы бейнелеу (дұрыс оператор ретінде функцияларды қабылдау). Топ Γ (H) - байланысты Шутценбергер тобы H-сынып H.

Мысалдар

Егер H а-ның максималды топшасы моноидты М (жеке куәлігі бар жартылай топ), содан кейін H H-класы болып табылады және ол өзінің Schutzenberger тобына табиғи түрде изоморфты.

Жалпы алғанда, біреуінде бар түпкілікті туралы H және оның Шутценбергер тобы кез-келген Н класына сәйкес келеді H.

Қолданбалар

Белгілі болғандай, көптеген оң және сол жақ мұраттары бар моноид түпкілікті ұсынылған (немесе жай түпкілікті құрылды ) егер оның барлық Шутценбергер топтары түпкілікті ұсынылған болса ғана (сәйкесінше, ақырғы түрде жасалған). Дәл сол сияқты осындай моноид ақырғы егер оның барлық Шутценбергер топтары қалдықта болса ғана.

Әдебиеттер тізімі

  1. ^ «Роберт Л. Брэндон, Дарел В. Харди, Джордж Марковский, Миссури Ғылым және Технологиялар Университеті, 1972-12-01 ж. Екілік қатынастар жартылай тобындағы H-сыныптың Schützenberger тобы».
  2. ^ Марсель-Пол Шютценбергер (1957). «D-өкілдік des demi-groupes». C. R. Acad. Ғылыми. Париж. 244: 1994–1996. (MR 19, 249)
  3. ^ Клиффорд, Альфред Хоблицелл; Престон, Гордон Бэмфорд (1961). Жартылай топтардың алгебралық теориясы. Том. Мен. Математикалық зерттеулер, № 7. Провиденс, Р.И .: Американдық математикалық қоғам. ISBN  978-0-8218-0272-4. МЫРЗА  0132791. (63-66 бет)
  4. ^ Уилф, Герберт; т.б. (29 тамыз, 1996). «Марсель-Пол Шутценбергер (1920–1996)». Комбинаториканың электронды журналы. Алынған 2015-12-30.