Кіріспе

Ри тобы – математикада, шекті өріс үстіндегі Лай типіндегі топ, ол Динкин диаграммасының ерекше автоморфизмі арқылы құрастырылады, бұл автоморфизм көптеген байланыстардың бағытын керітеді және Судзукинің әртүрлі әдіспен тапқан Судзуки топтарын жалпылайды. Бұл топтар шекті қарапайым топтардың шексіз отбасыларының соңғысы болып табылды. Штайнберг топтарынан ерекшелігі, Ри топтары шекті өріс үстінде анықталған байланысқан редуктивті алгебралық топтың нүктелері арқылы берілмейді; яғни, (мысалы) унитарлық топтар Штайнберг топтарымен байланысты болғандай, Ри топтарымен байланысты "Ри алгебралық тобы" жоқ. Дегенмен, түбір ұзындығын өзгертетін Динкин диаграммаларының сол бірдей ерекше автоморфизмдерін пайдаланатындықтан, Ри топтарының құрылысына байланысты кейбір экзотикалық псевдоредуктивті алгебралық топтар бар, олар толық емес өрістерде кездеседі. 2 және 3 қасиеттері бар шексіз өрістерде Ри топтары анықталды, ал шексіз өлшемді Кац-Муди алгебраларының Ри топтары енгізілді.

Шевалье тобы, Штайнберг тобы және Ри тобы

Шевалье топтары, Штайнберг тобы және Ри топтары арасындағы байланыс шамамен мынадай. Динкин диаграммасы X берілген кезде, Шевалье "Z" бүтін сандары бойынша топтық схеманы құрастырды, оның шекті өрістердегі мәндері Шевалье топтары болып табылады. Жалпы алғанда, α эндоморфизмінің тұрақты нүктелерін қарастырамыз, мұнда α-ның белгілі бір дәрежесі Фробениус эндоморфизмінің φ-ның белгілі бір дәрежесіне тең болады. Үш жағдай келесідей: Шевалье топтары үшін, α = φ^n, мұнда n – оң бүтін сан. Бұл жағдайда тұрақты нүктелер тобы шекті өріс бойынша анықталған X нүктелерінің тобы болып табылады. Штайнберг топтары үшін, α = φ^m, мұнда m және n – оң бүтін сандар, m n-ді бөледі және m > 1. Бұл жағдайда тұрақты нүктелер тобы шекті өріс бойынша анықталған X-тің бұрмаланған (квази-бөлінген) түріндегі нүктелер тобы болып табылады. Ри топтары үшін, α = φ^m, мұнда m және n – оң бүтін сандар, m n-ді бөлмейді. Іс жүзінде m=2 және n тақ сан. Ри топтары белгілі бір алгебралық топтың нүктелері ретінде берілмейді. Олар пn ретіндегі өріс бойынша анықталған топтың m=2 дәрежелі автоморфизмінің тұрақты нүктелері болып табылады, және пn/2 ретіндегі сәйкес келетін өріс жоқ (кейбір авторлар топтарды белгілегенде оның бар деп есептесе де).

2B2 типті резеңке топтары

2B2 типті Ри топтары алғаш рет басқа әдіспен табылды және әдетте Сузуки топтары деп аталады. Ри олардың B2 типті топтардан Ри жасаған құрылымның өзгеруін қолдану арқылы құрастырылатынын байқады. Ри сондай-ақ, F4 және G2 Динкин диаграммаларына да ұқсас құрылым қолданылатынын түсінді, бұл шектеулі қарапайым топтардың екі жаңа отбасына алып келді.