CC BY
37
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 15 Выпуск 2 (2014)
УДК 512.577
О НАСЫЩЕННЫХ ФОРМАЦИЯХ КОНЕЧНЫХ УНАРОВ
А. Л. Расстригин (г. Волгоград)
Аннотация
Формацией называют класс алгебраических систем, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В заметке описаны конечные насыщенные в классе всех конечных унаров формации унаров.
Формации получили широкое применение при изучении конечных групп. При этом большое внимание уделялось насыщенным формациям. Формация F конечных групп называется насыщенной, если для любой конечной группы G из того, что С/Ф(С) € F всегда следует G € F, где Ф(С) — подгруппа Фраттини группы G.
Конгруэнция в алгебраической системы A называется фраттиниевой, если для любой собственной подсистемы B системы A объединение всех в-классов, порожденных элементами из B, отлично от A. Класс X называется насыщенным в классе Y, если из того, что A € Y и A/в € X, где в — некоторая фраттиниева конгруэнция системы A, всегда следует A € X.
Данная заметка посвящена изучению свойств формаций конечных уна-ров, т. е. алгебр с одной унарной операцией.
Элемент а унара (A, f) называется циклическим, если fn(a) = а для некоторого целого числа n > 0. Будем называть унар циклическим, если все его элементы циклические.
В работе дан признак фраттиниевой конгруэнции конечного унара. Доказано, что в классе конечных унаров насыщенными формациями являются лишь пустая формация, формация всех конечных циклических унаров и формация всех конечных унаров.
Ключевые слова: формация, унар, насыщенная формация, фраттиниева конгруэнция, конгруэнция Фраттини.
Библиография: 17 названий.
ON SATURATED FORMATIONS OF FINITE MONOUNARY ALGEBRAS
A. L. Rasstrigin
Abstract
A class of algebraic systems which is closed under homomorphic images and finite subdirect products is called a formation.
Formations was widely used in group theory. Particularly, the saturated formations of groups is one of the most studied formations. A formation of finite groups is said to be a saturated formation if G/Q(G) € F implies G € F for an arbitrary finite group G and it’s Frattini subgroup $(G).
A generalization of these definitions is as follows. A congruence в on the algebraic system A is called a Frattini congruence if the union of all в-classes generated by the elements of B differs from A for each proper subsystem B of the algebraic system A. A class X is saturated in the class Y, if A € Y and A/в € X for some Frattini congruence в on A implies A € X.
We consider finite formations of monounary algebras in this paper.
An element a of a monounary algebra (A, f) is cyclic if fn(a) = a for some positive integer n. A monounary algebra is cyclic if all of it’s elements are cyclic.
First we give a condition for a congruence of finite monounary algebra to be a Frattini congruence. Then we prove that the empty formation, the formation of all finite cyclic monounary algebras and the formation of all finite monounary algebras are the only saturated formations in the class of all finite monounary algebras.
Keywords: formation, monounary algebra, unar, saturated formation, Frattini congruence.
Bibliography: 17 titles.
1. Введение
Формацией называется класс алгебраических систем, замкнутый относительно взятия гомоморфных образов и конечных (с конечным числом множителей) подпрямых произведений ([1]). Формацию называют конечной, если она содержит лишь конечные системы.
Формации изначально получили широкое применение при изучении конечных групп ([2]). При этом большое внимание уделялось насыщенным формациям ([3]). Напомним, что формация F конечных групп называется насыщенной, если для любой конечной группы G из того, что 0/Ф(0) € F, всегда следует G € F, где $(G) — подгруппа Фраттини группы G.
Обобщения понятия подгруппы Фраттини на универсальные алгебры было дано, например, в [1, 4].
Для подсистемы Б и конгруэнции в алгебраической системы A через вБ обозначается объединение IJЬеВ [Ь]в классов конгруэнции в. Приведем следующие определения из [1].
Конгруэнция в алгебраической системы А называется фраттиниевой, если вБ = А для любой собственной подсистемы В алгебраической системы А. Говорят, что класс X насыщен в классе ф, если для любой системы А из того, что А £ ф и А/в £ X, где в — некоторая фраттиниева конгруэнция на А, всегда следует А £ X.
Через ФфХ обозначают класс всех таких ф-систем А, что А/в £ X для некоторой фраттиниевой конгруэнции в системы А. Через йэгшф^, ф) обозначается наименьшая насыщенная в классе ф формация, содержащая класс X. Формация йэгшф^, ф) является наименьшей формацией, замкнутой относительно оператора Фф, и называется насыщенной в ф формацией, порожденной классом X.
Следуя [4] приведем определение конгруэнции Фраттини. Для подалгебры Б алгебры А через фв (А) обозначается наибольшая конгруэнция в на А такая, что вБ = Б. Конгруэнцией Фраттини ф(А) алгебры А называется пересечение конгруэнций фм(А) для всех максимальных подалгебр М алгебры А, либо А2, если А не имеет максимальных подалгебр.
Очевидно, что для конечной алгебры А конгруэнция Фраттини ф(А) является наибольшей ее фраттиниевой конгруэнцией. Тогда класс X конечных алгебр насыщен в классе всех конечных алгебр данной сигнатуры, если для любой конечной алгебры А из того, что А/ф(А) £ X, всегда следует А £ X.
Пусть X — некоторая совокупность алгебр одной сигнатуры. Далее через IX обозначается абстрактное замыкание совокупности X, через X обозначается совокупность всех подпрямо неразложимых алгебр из X, а через йэгш X — наименьшая формация, содержащая X.
Унаром называется унарная алгебра с одним символом операции. Унарные алгебры и, в частности, унары изучались многими математиками ([5, п. 13.3], [6]-[8]). Далее рассматриваются только конечные унары, операция обозначается f. Множество целых неотрицательных чисел обозначается N0, N = N0 \ {0}. Используются обозначения [9]. Через О^, = (а | fn(а) = ^п+т(а)) обозначается унар с образующим а и определяющим соотношением fп(а) = /п+т(а), где п,т £ N0, т > 0. Унар, изоморфный унару О°, называют циклом длины т. Унар называется циклическим, если все его элементы принадлежат циклам. Если А, Б — унары, то запись Б ^ А означает, что унар Б является подунаром унара А, то есть Б С А. Если А, Б, О — унары, причем О = А и Б и А П Б = 0, тогда унар О обозначается А + Б и называется прямой суммой унаров (прямых слагаемых) А и Б. Для любого подмножества Б унара А обозначим (Б) подунар унара А, порожденный множеством Б. При этом через (а) обозначается унар ({а}), порожденный одноэлементным множеством {а} С А.
Формации унаров изучались в [10, 14, 11, 12]. В частности, в [10] было дано структурное описание конечных формаций унаров, основанное на том факте, что произвольная конечная формация алгебр 5 определяется классом своих подпрямо неразложимых алгебр:
йэгш(81 5") = 5
(1)
В [15, 16] описаны подпрямо неразложимые унары. Перечислим здесь конечные подпрямо неразложимые унары.
Лемма 1 ([16]). С точностью до изоморфизма конечными подпрямо неразложимыми унарами являются следующие унары и только они:
C1,h (h ^ 1), C0k (p — простое, k € No) и C0 + C.
2. Насыщенные конечные формации унаров
Следующая лемма дает признак фраттиниевой конгруэнции конечного уна-
ра.
Лемма 2. Конгруэнция в конечного унара (A, f) фраттиниева тогда и только тогда, когда выполнены следующие условия:
1. если элемент а принадлежит A \ f (A), то класс [а]в одноэлементен;
2. если A = Ai + A2 для некоторых унаров Ai, A2, причем унар Ai является циклом, то eA\^ = Ai.
Доказательство. Пусть в — фраттиниева конгруэнция унара A. Если элемент а € A таков, что а € f (A), то A \ {а} ^ A и в^ \ {а}) = A. Таким образом (a,x) € в для любого x € A \ {а}, то есть |[а]в| = |{а}| = 1. Пусть A = Ai + A2 и Ai = C° для некоторого t, тогда вA2 = A. Если (а1;а2) € в для некоторых а1 € A1, а2 € A2, то вA1 = в(а1) = в(а2) С вA2, что невозможно. Отсюда вAl = A1.
Обратно. Пусть Б — произвольный собственный подунар унара A. Если Б не содержит некоторый элемент а € A такой, что а € f (A), то вБ = A по первому условию. Пусть Б содержит все элементы а € A, для которых а € f (A). Тогда для некоторого цикла A1 ^ A, образующего в A прямое слагаемое, имеем A1 ^ Б и, следовательно, A1 ^ вБ по второму условию. □
Обозначим через U0 формацию всех конечных унаров. Согласно лемме 2 для всякого t € N на цикле Ct0 все конгруэнции, включая наибольшую конгруэнцию, являются фраттиниевыми. Отсюда следует, что C° € Фи0(l{C°}) для всех t € N и, таким образом, любая непустая насыщенная формация унаров содержит всевозможные циклы. Также по лемме 2 получаем C^ € Фц0 (I{C1}) для всех h € N. Сделанные замечания позволяют описать насыщенные в классе всех конечных унаров формации.
Теорема 1. В классе всех конечных унаров насыщенными являются лишь пустая формация, формация всех конечных циклических унаров и формация всех конечных унаров.
Лемма 3. Класс всех циклических унаров является формацией.
Доказательство. Покажем, что класс циклических унаров замкнут относительно конечных подпрямых произведений и гомоморфных образов.
Пусть А — некоторое конечное подпрямое произведение циклических уна-ров А\, А2,... , Ак. Покажем, что произвольный элемент а £ А является циклическим. Для г = 1, 2,..., к пусть аг — проекция элемента а на Аг. Тогда для каждого г = 1, 2,..., к найдется пг £ N для которого fni (аг) = аг. Отсюда fпьп2,--п*](а) = а, где [п1,п2,... ,пк] — наименьшее общее кратное чисел П1,П2, ... ,пк.
Пусть теперь А — циклический унар. Тогда для произвольного а £ А существует такое п £ N что /п(а) = а. Это равенство остается верным для образа элемента а при любом гомоморфизме унара А. Поэтому все элементы любого гомоморфного образа циклического унара А являются циклическими. □
Лемма 4. Формация всех конечных циклических унаров является насыщенной в классе всех конечных унаров.
Доказательство. Обозначим указанную в формулировке леммы формацию через д. Возьмем А £ Фио (д) \ д. Тогда А/в £ 5 для некоторой фрат-тиниевой конгруэнции в унара А. Так как для всякого элемента а £ А класс [а]в является циклическим элементом фактор унара А/в, то по лемме 2 в А отсутствуют элементы, не принадлежащие f (А). Отсюда А — циклический унар,
а £ д. □
Доказательство теоремы. Насыщенность пустой формации и формации и0 всех конечных унаров очевидна. Формация всех циклических унаров насыщена в Я0 по лемме 4.
Пусть д — непустая насыщенная формация унаров. Возможны две ситуации: либо д состоит лишь из циклических унаров, либо содержит также и не циклические унары.
Пусть все унары из д являются циклическими. Так как О10 £ д, то, как было замечено ранее, {О0 | р — простое, к £ N0} С ФЯо(1{О°}) С ФЯо(д) = д. Заметим также, что для всякого простого числа р и к £ N из О^к £ д следует, что О^к + О0 £ д (см. [10], лемма 5). Тогда, согласно лемме 1, имеем д = 1{О°к ,О0к + О0 | р — простое, к £ ^}. Возьмем произвольно конечный циклический унар А. Тогда по теореме Биркгофа о подпрямом разложении унар А является конечным подпрямым произведением некоторых конечных подпрямо неразложимых унаров А1,...,)Ап (см., например, [17], глава II, следствие 8.7). Унары А1,... , Ап являются гомоморфными образами уна-ра А и, по лемме 3, циклическими унарами. Но, согласно лемме 1, все конечные циклические подпрямо неразложимые унары принадлежат д. Отсюда А1,... ,Ап £ д и А £ д. Таким образом, формация д содержит все циклические унары.
Пусть теперь д содержит некоторый не циклический унар. Тогда, ввиду формулы (1) и леммы 3, класс д также содержит некоторый не циклический унар А. Согласно лемме 1 унар А изоморфен унару О^ для какого-то к £ N.
Поэтому Si F содержит унар C}. Отсюда {C^ | h € N} С Фио(I{C1}) С Фио(F) = F. То есть, согласно лемме 1, формация F содержит все конечные подпрямо неразложимые унары. Таким образом, F = U по формуле (1). □
3. Заключение
Унарные алгебры обладают определенной спецификой по сравнению с такими классическими объектами как группы, кольца. В связи с этим, в рамках изучения общей теории классов алгебраических систем неотъемлемым является рассмотрение различных классов унарных алгебр и, как частный случай, унаров.
С использованием описания подпрямо неразложимых унаров [16] в настоящей работе получено описание конечных насыщенных в классе всех конечных унаров формаций унаров. Показано, что в классе конечных унаров насыщенными формациями являются лишь пустая формация, формация всех конечных циклических унаров и формация всех конечных унаров. При этом дан признак фраттиниевой конгруэнции конечного унара.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Шеметков Л. А., Скиба А. Н. Формации алгебраических систем. М.: Наука, 1989. 256 с.
2. Шеметков Л. А. Формации конечных групп. М.: Наука, 1978. 272 с.
3. Gaschutz W. Zur theorie der endlichen auflosbaren Gruppen // Mathematische Zeitschrift. 1963. Bd. 80, H. 1. S. 300-305.
4. Kiss E. W., Vovsi S. M. Critical algebras and the Frattini congruence // Algebra Universalis. 1995. Vol. 34, No. 3. Pp. 336-344.
5. Мальцев А. И. Алгебраические системы. М.: Наука, 1970. 392 с.
6. Skornjakov L. A. Unars // Universal algebra (Esztergom, 1977). Colloq. Math. Soc. Janos Bolyai, 29. North-Holland, Amsterdam-New York, 1982.
7. Jakubikova-Studenovska D., Pocs J. Monounary Algebras. Pavol Jozef Safarik University (UPJS), Kosice, 2009. 304 pp.
8. Карташов В. К. О некоторых результатах и нерешенных задачах теории унарных алгебр // Чебышевский сборник. 2011. Т. XII, № 2 (38). С. 18-26.
9. Карташов В. К. Квазимногообразия унаров // Мат. заметки. 1980. Т. 27, № 1. С. 7-20.
10. Расстригин А. Л. Формации конечных унаров // Чебышевский сборник. 2011. Т. XII, № 2 (38). С. 102-109.
11. Jakubikova-Studenovska D., Pocs J. Formations of finite monounary algebras // Algebra universalis. 2012. Vol. 68, no. 3-4. P. 249-255.
12. Jakubikova-Studenovska D. On pseudovarieties of monounary algebras // Asian-European Journal of Mathematics. 2012. Vol. 5, no. 1. 10 p.
13. Расстригин А. Л. О решетках формаций унаров // Ученые записки Орловского государственного университета. 2012. № 6 (50). С. 190-194.
14. Расстригин А. Л. О наследственности формаций унаров // Изв. Сарат. унта. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, № 4. С. 108-113.
15. Yoeli M. Subdirectly irreducible unary algebras // Amer. Math. Monthly. 1967. Vol. 74. P. 957-960.
16. Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras (A; f). // Archiv der Mathematik. 1970. Vol. 21. P. 256-264.
17. Burris S., Sankappanavar H. P. A Course in Universal Algebra. Graduate Texts in Mathematics no. 78. Springer-Verlag, 1981. URL: http://www.math. uwaterloo.ca/~snburris/htdocs/ualg.html
Волгоградский государственный социально-педагогический университет Получено 10.04.2014
