В дисертації досліджуються силовські p-підгрупи однорідної симетричної групи суперстепеня p, тобто індуктивної границі симетричних груп степенів pk, k N, що визначається строго діагональними зануреннями. Однорідна симетрична група суперстепеня p () містить континуум багато силовських p-підгруп. Серед них виділено два природні класи, кожен з яких має потужність континуум та розбивається на континуум підкласів попарно спряжених силовських p-підгруп. Підгрупи одного із цих класів можна охарактеризувати послідовностями елементів групи , а іншого – послідовностями натуральних чисел (або послідовностями канонічних строго діагональних занурень). В термінах цих послідовностей формулюються критерії спряженості силовських p-підгруп приналежних до кожного з класів. Група містить як резидуально скінченні силовські p-підгрупи, так і не резидуально скінченні. Виділено типові представники цих класів, відповідно групи P і Q. Кожна з наведених груп може бути сконструйована з регулярних циклічних груп порядку p за допомогою певної модифікації конструкції нескінченно ітерованого вінцевого добутку груп підстановок. Побудовано ізоморфне зображення основної не резидуально скінченної силовської p-підгрупи Q нескінченними наборами редукованих многочленів над полем із p елементів. За допомогою цього зображення та на основі поняття висоти многочлена (відмінного від того, що вводиться при дослідженні силовських p-підгруп симетричних груп степеня pk, k N) виділено клас так званих паралелотопічних підгруп групи Q. Кожна така підгрупа характеризується нескінченним набором чисел із множини {0} [1; 2). Встановлено, що при p > 2 нормальні паралелотопічні підгрупи групи Q і тільки вони є характеристичними в ній. Встановлено, що основна резидуально скінченна силовська p-підгрупа P групи ізоморфна канонічній силовській p-підгрупі групи фінітарних автоморфізмів p-адичного кореневого дерева, тобто на неї безпосередньо поширюються всі відомі результати про силовську p-підгрупу групи фінітарних автоморфізмів такого дерева. А саме, так само вводиться табличне зображення елементів, поняття парлелотопічної підгрупи. Доведено, що при p > 2 кожна цілком інваріантна підгрупа групи P є членом її нижнього центрального ряду. Автор висловлює подяку своєму науковому керівнику професору Сущанському Віталію Івановичу за постановку задач, обговорення і допомогу при оформленні дисертації. |