<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">cheb</journal-id><journal-title-group><journal-title xml:lang="ru">Чебышевский сборник</journal-title><trans-title-group xml:lang="en"><trans-title>Chebyshevskii Sbornik</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2226-8383</issn><publisher><publisher-name>Tula State Lev Tolstoy  Pedagogical University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.22405/2226-8383-2014-15-2-66-72</article-id><article-id custom-type="elpub" pub-id-type="custom">cheb-143</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Article</subject></subj-group></article-categories><title-group><article-title>О НАСЫЩЕННЫХ ФОРМАЦИЯХ КОНЕЧНЫХ УНАРОВ</article-title><trans-title-group xml:lang="en"><trans-title>ON SATURATED FORMATIONS OF FINITE MONOUNARY ALGEBRAS</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Расстригин</surname><given-names>А. Л.</given-names></name><name name-style="western" xml:lang="en"><surname>Rasstrigin</surname><given-names>A. L.</given-names></name></name-alternatives><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff xml:lang="ru" id="aff-1"><institution>Волгоградский государственный социально-педагогический университет</institution><country>Russian Federation</country></aff><pub-date pub-type="collection"><year>2014</year></pub-date><pub-date pub-type="epub"><day>01</day><month>07</month><year>2016</year></pub-date><volume>15</volume><issue>2</issue><fpage>66</fpage><lpage>72</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Расстригин А.Л., 2016</copyright-statement><copyright-year>2016</copyright-year><copyright-holder xml:lang="ru">Расстригин А.Л.</copyright-holder><copyright-holder xml:lang="en">Rasstrigin A.L.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.chebsbornik.ru/jour/article/view/143">https://www.chebsbornik.ru/jour/article/view/143</self-uri><abstract><p>Формацией называют класс алгебраических систем, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В заметке описаны конечные насыщенные в классе всех конечных унаров формации унаров. Формации получили широкое применение при изучении конечных групп. При этом большое внимание уделялось насыщенным формациям. Формация F конечных групп называется насыщенной, если для любой конечной группы G из того, что G/Φ(G) ∈ F всегда следует G ∈ F, где Φ(G) — подгруппа Фраттини группы G. Конгруэнция θ алгебраической системы A называется фраттиниевой, если для любой собственной подсистемы B системы A объединение всех θ-классов, порожденных элементами из B, отлично от A. Класс X называется насыщенным в классе Y, если из того, что A ∈ Y и A/θ ∈ X, где θ — некоторая фраттиниева конгруэнция системы A, всегда следует A ∈ X. Данная заметка посвящена изучению свойств формаций конечных унаров, т. е. алгебр с одной унарной операцией. Элемент a унара ⟨A, f⟩ называется циклическим, если f n (a) = a для некоторого целого числа n &gt; 0. Будем называть унар циклическим, если все его элементы циклические. В работе дан признак фраттиниевой конгруэнции конечного унара. Доказано, что в классе конечных унаров насыщенными формациями являются лишь пустая формация, формация всех конечных циклических унаров и формация всех конечных унаров.</p><p> </p></abstract><trans-abstract xml:lang="en"><p>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/Φ(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 f n (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.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>формация</kwd><kwd>унар</kwd><kwd>насыщенная формация</kwd><kwd>фраттиниева конгруэнция</kwd><kwd>конгруэнция Фраттини</kwd></kwd-group><kwd-group xml:lang="en"><kwd>formation</kwd><kwd>monounary algebra</kwd><kwd>unar</kwd><kwd>saturated formation</kwd><kwd>Frattini congruence</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Шеметков Л. А., Скиба А. Н. Формации алгебраических систем. М.: Наука, 1989. 256 с.</mixed-citation><mixed-citation xml:lang="en">Шеметков Л. А., Скиба А. Н. Формации алгебраических систем. М.: Наука, 1989. 256 с.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Шеметков Л. А. Формации конечных групп. М.: Наука, 1978. 272 с.</mixed-citation><mixed-citation xml:lang="en">Шеметков Л. А. Формации конечных групп. М.: Наука, 1978. 272 с.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Gasch¨utz W. Zur theorie der endlichen aufl¨osbaren Gruppen // Mathematische Zeitschrift. 1963. Bd. 80, H. 1. S. 300–305.</mixed-citation><mixed-citation xml:lang="en">Gasch¨utz W. Zur theorie der endlichen aufl¨osbaren Gruppen // Mathematische Zeitschrift. 1963. Bd. 80, H. 1. S. 300–305.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Kiss E.W., Vovsi S. M. Critical algebras and the Frattini congruence // Algebra Universalis. 1995. Vol. 34, No. 3. Pp. 336-344.</mixed-citation><mixed-citation xml:lang="en">Kiss E.W., Vovsi S. M. Critical algebras and the Frattini congruence // Algebra Universalis. 1995. Vol. 34, No. 3. Pp. 336-344.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Мальцев А. И. Алгебраические системы. М.: Наука, 1970. 392 с.</mixed-citation><mixed-citation xml:lang="en">Мальцев А. И. Алгебраические системы. М.: Наука, 1970. 392 с.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Skornjakov L. A. Unars // Universal algebra (Esztergom, 1977). Colloq. Math. Soc. J´anos Bolyai, 29. North-Holland, Amsterdam-New York, 1982.</mixed-citation><mixed-citation xml:lang="en">Skornjakov L. A. Unars // Universal algebra (Esztergom, 1977). Colloq. Math. Soc. J´anos Bolyai, 29. North-Holland, Amsterdam-New York, 1982.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Jakub´ıkov´a-Studenovsk´a D., P´ocs J. Monounary Algebras. Pavol Jozef Saf´arik ˇ University (UPJS), Koˇsice, 2009. 304 pp.</mixed-citation><mixed-citation xml:lang="en">Jakub´ıkov´a-Studenovsk´a D., P´ocs J. Monounary Algebras. Pavol Jozef Saf´arik ˇ University (UPJS), Koˇsice, 2009. 304 pp.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Карташов В. К. О некоторых результатах и нерешенных задачах теории унарных алгебр // Чебышевский сборник. 2011. Т. XII, № 2 (38). С. 18–26.</mixed-citation><mixed-citation xml:lang="en">Карташов В. К. О некоторых результатах и нерешенных задачах теории унарных алгебр // Чебышевский сборник. 2011. Т. XII, № 2 (38). С. 18–26.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Карташов В. К. Квазимногообразия унаров // Мат. заметки. 1980. Т. 27, № 1. С. 7–20.</mixed-citation><mixed-citation xml:lang="en">Карташов В. К. Квазимногообразия унаров // Мат. заметки. 1980. Т. 27, № 1. С. 7–20.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Расстригин А. Л. Формации конечных унаров // Чебышевский сборник. 2011. Т. XII, № 2 (38). С. 102–109.</mixed-citation><mixed-citation xml:lang="en">Расстригин А. Л. Формации конечных унаров // Чебышевский сборник. 2011. Т. XII, № 2 (38). С. 102–109.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Jakub´ıkov´a-Studenovsk´a D., P´ocs J. Formations of finite monounary algebras // Algebra universalis. 2012. Vol. 68, no. 3-4. P. 249–255.</mixed-citation><mixed-citation xml:lang="en">Jakub´ıkov´a-Studenovsk´a D., P´ocs J. Formations of finite monounary algebras // Algebra universalis. 2012. Vol. 68, no. 3-4. P. 249–255.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Jakub´ıkov´a-Studenovsk´a D. On pseudovarieties of monounary algebras // Asian-European Journal of Mathematics. 2012. Vol. 5, no. 1. 10 p.</mixed-citation><mixed-citation xml:lang="en">Jakub´ıkov´a-Studenovsk´a D. On pseudovarieties of monounary algebras // Asian-European Journal of Mathematics. 2012. Vol. 5, no. 1. 10 p.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Расстригин А. Л. О решетках формаций унаров // Ученые записки Орловского государственного университета. 2012. № 6 (50). С. 190–194.</mixed-citation><mixed-citation xml:lang="en">Расстригин А. Л. О решетках формаций унаров // Ученые записки Орловского государственного университета. 2012. № 6 (50). С. 190–194.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Расстригин А. Л. О наследственности формаций унаров // Изв. Сарат. ун- та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, № 4. С. 108–113.</mixed-citation><mixed-citation xml:lang="en">Расстригин А. Л. О наследственности формаций унаров // Изв. Сарат. ун- та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, № 4. С. 108–113.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Yoeli M. Subdirectly irreducible unary algebras // Amer. Math. Monthly. 1967. Vol. 74. P. 957–960.</mixed-citation><mixed-citation xml:lang="en">Yoeli M. Subdirectly irreducible unary algebras // Amer. Math. Monthly. 1967. Vol. 74. P. 957–960.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras ⟨A; f⟩. // Archiv der Mathematik. 1970. Vol. 21. P. 256–264.</mixed-citation><mixed-citation xml:lang="en">Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras ⟨A; f⟩. // Archiv der Mathematik. 1970. Vol. 21. P. 256–264.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">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</mixed-citation><mixed-citation xml:lang="en">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</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
