Congruences of the semigroup IO_N (in Ukrainian).docVIP

Математичнiстудi?.Т.35,№1 MatematychniStudii.V.35,No.1 УДК512.53 В. О. П?хт?р?в, К. С. Третьяк КОНГРУЕНЦI? НАПIВГРУПИ ION 22–27.V.O.Pyekhtyeryev,K.S.Trеtyak.CongruencesofthesemigroupIO ,Mat.Stud.35(2011), N WedescribecongruencesofthesemigroupIO ofallorder-preservingpartialbijectionson N thesetNwiththenaturalorder.Inparticular,weprovethatthissemigroupcontainsonlyone non-Reescongruence. Т.35,В. А.№1.Пехтерев,–C.22–27.К. С. Третьяк. Конгруэнции полугруппы IO // Мат. Студi?. – 2011. – N Описаны конгруэнции единственного (с точностью до изоморфизма) H-сечения IO N инверсно-симметрическойполугруппыIS .Вчастности,доказано,чтоданнаяполугруп- N пасодержитвсегооднуконгруэнцию,котораянеявляетсяконгруэнциейРиса. 1. Вступ.НехайNмножинанатуральнихчиселразомзприроднiмлiнiйнимпоряд- ком.НапiвгрупаIO всiхчасткововизначенихiн’?кцiйa:N→N,щозберiгаютьприро- N днiйпорядокнаN(тобтодлявсiхxyзобластiвизначенняaма?мо,щоa(x)a(y) ),? цiкавимоб’?ктомдослiдження,оскiлькивона?перетиномiнверсно-симетрично?напiв- групиIS танапiвгрупиусiхмонотоннихперетвореньмножиниN.Вивченнюiнверсно- N симетрично?напiвгрупиIS присвяченонеодиндесятокробiт,оскiлькивонавжедавно X займа? одне з центральних мiсць у теорi? напiвгруп. Напiвгрупи монотонних перетво- реньтакождослiджувалисьрiзнимиавторами(див.[1],[3]–[5]). Уроботi[6]доведено,щоIO мiститьрiвнопоодномуелементузкожногоH-класу N симетрично? iнверсно? напiвгрупи IS всiх частково визначених iн’?ктивних перетво- N реньмножиниN.Iншимисловами,IO ?H-зрiзомIS .Такожуцiйроботiпоказано, N N щовсiH-зрiзиIS можутьбутиотриманiзIO задопомогоюспряження,тобтомають N N виглядπ?1IO πдлядеяко?перестановкиπсиметрично?групиS ,атому?iзоморфни- N мимiжсобою. N Ця робота присвячена вивченню конгруенцiй напiвгрупи IO . Зокрема, показано, N щодананапiвгрупамiститьлишеоднуконгруенцiю,щоне?конгруенцi?юРiса. 2.Теоретичнiвiдомостi.Мибудемодотримуватисьстандартнихпозначень(див.[2]). Для кожно? частково? iн’?кцi? a: N → N напiвгрупи IO символами dom(a) та i