<?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-2015-16-4-212-226</article-id><article-id custom-type="elpub" pub-id-type="custom">cheb-183</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 COATOMS AND COMPLEMENTS IN CONGRUENCE LATTICES OF UNARS WITH MAL’TSEV OPERATION</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>Lata</surname><given-names>A. N.</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>2015</year></pub-date><pub-date pub-type="epub"><day>05</day><month>07</month><year>2016</year></pub-date><volume>16</volume><issue>4</issue><fpage>212</fpage><lpage>226</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">Lata A.N.</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/183">https://www.chebsbornik.ru/jour/article/view/183</self-uri><abstract><p>Одной из важных задач универсальной алгебры является изучение ре- шеток, естественным образом связанных с алгебрами. В работе рассматриваются алгебры ⟨A, p, f⟩, сигнатура которых состоит из тернарной мальцевской операции p и унарной операции f, являющейся эндоморфизмом относительно первой операции. Изучаются свойства решеток конгруэнций алгебр ⟨A, p, f⟩ с мальцевской операцией p, определенной В.К. Карташовым. Эта алгебра определятся следующим образом. Пусть ⟨A, f⟩ — произвольный унар и x, y ∈ A. Для любого элемента x унара ⟨A, f⟩ через f n (x) обозначается результат n-кратного применения операции f к элементу x; при этом f 0 (x) = x. Положим Mx,y = {n ∈ N ∪ {0} | f n (x) = f n (y)}, и k(x, y) = min Mx,y, если Mx,y ̸= ∅ и k(x, y) = ∞, если Mx,y = ∅. Положим далее p(x, y, z) def = { z, если k(x, y) 6 k(y, z) x, если k(x, y) &gt; k(y, z). В работе описано строение коатомов в решетках конгруэнций алгебр ⟨A, p, f⟩ этого класса. Доказано, что решетка конгруэнций алгебры ⟨A, p, f⟩ не имеет коатомов тогда и только тогда, когда унар ⟨A, f⟩ связен, содержит одноэлементный подунар и имеет бесконечную глубину. Уста- новлено, что в других случаях решетка конгруэнций алгебры ⟨A, p, f⟩ имеет единственный коатом. Показано, что для любых неединичных конгруэнций θ и φ алгебры ⟨A, p, f⟩ выполняется неравенство θ ∨ φ &lt; ▽, где ▽ — наибольшая кон- груэнция алгебры. Получены необходимые и достаточные условия, при которых решетка конгруэнций алгебр данного класса является решеткой с дополнениями, с единственными дополнениями, с относительными дополнениями, буле- выми, обобщенными булевыми либо геометрическими. Установлено, что любая нетривиальная конгруэнция алгебры ⟨A, p, f⟩ из рассматриваемого класса не имеет дополнения. Доказано, что решетка конгруэнций любой алгебры ⟨A, p, f⟩ данного класса является решеткой с копсевдодополнениями.</p></abstract><trans-abstract xml:lang="en"><p>One important problem is studying of lattices that naturally associated with universal algebra. In this article is considered algebras ⟨A, p, f⟩ with one Mal’tsev operation p and one unary operation f acting as endomorphism with respect to operation p. We study properties of congruence lattices of algebras ⟨A, p, f⟩ with Mal’tsev operation p that introduced by V. K. Kartashov. This algebra is defined as follows. Let ⟨A, f⟩ be an arbitrary unar and x, y ∈ A. For any element x of the unar ⟨A, f⟩ by f n (x) we denote the result of f applied n times to an element x. Also f 0 (x) = x. Assume that Mx,y = {n ∈ N ∪ {0} | f n (x) = f n (y)} and also k(x, y) = min Mx,y, if Mx,y ̸= ∅ and k(x, y) = ∞, if Mx,y = ∅. Assume further p(x, y, z) def = { z, if k(x, y) 6 k(y, z) x, if k(x, y) &gt; k(y, z). It is described a structure of coatoms in congruence lattices of algebras ⟨A, p, f⟩ from this class. It is proved congruence lattices of algebras ⟨A, p, f⟩ has no coatoms if and only if the unar ⟨A, f⟩ is connected, contains one-element subunar and has infinite depth. In other cases congruence lattices of algebras ⟨A, p, f⟩ has uniquely coatom. It is showed for any congruences θ ̸= A × A and φ ̸= A × A of algebra ⟨A, p, f⟩ fulfills θ ∨ φ &lt; A × A. Necessary and sufficient conditions when a congruence lattice of algebras from given class is complemented, uniquely complemented, relatively complemented, Boolean, generalized Boolean, geometric are obtained. It is showed any non-trivial congruence of algebra ⟨A, p, f⟩ from this class has no complement. It is proved that congruence lattices of any algebra ⟨A, p, f⟩ from given class is dual pseudocomplemented lattice.</p><p> </p></trans-abstract><kwd-group xml:lang="ru"><kwd>решетка конгруэнций</kwd><kwd>решетка с дополнениями</kwd><kwd>решетка с копсевдодополнениями</kwd><kwd>коатом</kwd><kwd>алгебра с операторами</kwd><kwd>унар с мальцевской операцией</kwd></kwd-group><kwd-group xml:lang="en"><kwd>congruence lattice</kwd><kwd>complemented lattice</kwd><kwd>dual pseudocomplemented lattice</kwd><kwd>coatom (dual atom)</kwd><kwd>algebra with operators</kwd><kwd>unar with Mal’tsev operation</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">Карташов В. К. Об унарах с мальцевской операцией // Универсальная алгебра и ее приложения: тез. сообщ. участ. междунар. семинара, посвящ. памяти проф. Моск. гос. ун-та Л.А. Скорнякова. Волгоград: Перемена, 1999. С. 31–32.</mixed-citation><mixed-citation xml:lang="en">Kartashov, V. K. 1999, "On unars with Mal’tsev operation" , Universal’naya algebra i ee prilozheniya: Tezisy soobshheniy uchastnikov mezhdunarodnogo seminara, posvyashhennogo pamyati prof. Moskovskogo Gos. Univ. L. A. Skornyakova, Peremena, Volgograd, pp. 31–32. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Курош А. Г. Общая алгебра. Лекции 1969-1970 учебного года. М.: Наука, 1974. 160 с.</mixed-citation><mixed-citation xml:lang="en">Kurosh, A. G. 1974, "Obshchaya algebra. Lekcii 1969-1970 uchebnogo goda" [General Algebra. Lectures 1969-1970 Academic Year], Nauka, Moscow, 160 pp. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Johnsson B. A survey of Boolean algebras with operators // Algebras and Orders, NATO ASI Series. 1993. Vol. 389. P. 239–286</mixed-citation><mixed-citation xml:lang="en">Johnsson, B. 1993, "A survey of Boolean algebras with operators" , Algebras and Orders, NATO ASI Series, vol. 389, pp. 239–286. doi: 10.1007/978-94-017-0697- 1_6</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Hyndman J., Nation J. B., Nishida J. Congruence lattices of semilattices with operators, 2015, preprint. Источник: www.math.hawaii.edu/∼jb/conslo_ submit.pdf (дата обращения июнь 2015).</mixed-citation><mixed-citation xml:lang="en">Hyndman, J., Nation, J. B. &amp; Nishida, J. 2015, "Congruence lattices of semilattices with operators" , preprint. Available at: www.math.hawaii.edu/ ∼jb/conslo_submit.pdf (accessed June 2015)</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Bonsangue M. M., Kurz A., Rewitzky I. M. Coalgebraic representations of distributive lattices with operators //Topology and its Applications. 2007. Vol. 154. No. 4. Pp. 778-791.</mixed-citation><mixed-citation xml:lang="en">Bonsangue, M. M., Kurz, A. &amp; Rewitzky, I. M. 2007, "Coalgebraic Representations of Distributive Lattices with Operators" , Topology and its Applications, vol. 154, issue 4, pp. 778-791. doi: 10.1016/j.topol.2005.10.010</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Adaricheva K. V., Nation J.B. Lattices of quasi-equational theories as congruence lattices of semilattices with operators: part I, part II // International Journal of Algebra and Computation. 2012. Vol. 22. Issue 07, part I: 27 p., part II: 16 p.</mixed-citation><mixed-citation xml:lang="en">Adaricheva, K. V. &amp; Nation, J. B. 2012, "Lattices of quasi-equational theories as congruence lattices of semilattices with operators" , International Journal of Algebra and Computation, vol. 22, issue 07, part I: 27 pp. doi: 10.1142/S0218196712500658; part II: 16 pp. doi: 10.1142/S021819671250066X</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Nurakunov A. M. Equational theories as congruences of enriched monoids // Algebra Universalis. 2008. Vol. 58. No. 3. Pp. 357-372.</mixed-citation><mixed-citation xml:lang="en">Nurakunov, A. M. 2008, "Equational theories as congruences of enriched monoids" , Algebra Universalis, vol. 58, no. 3, pp. 357–372. doi: 10.1007/s00012- 008-2080-2</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Berman J. On the congruence lattices of unary algebras // Proc. Amer. Math. Soc. 1972. Vol. 36. No. 1. Pp. 34–38.</mixed-citation><mixed-citation xml:lang="en">Berman, J. 1972, "On the congruence lattices of unary algebras" , Proceedings of the American Mathematical Society, vol. 36, no. 1, pp. 34–38. doi: 10.2307/ 2039033</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Егорова Д. П., Скорняков Л. А. О структуре конгруэнций унарной алгебры // Упорядоченные множества и решетки: межвуз. науч. сб. Саратов: Изд-во Саратов. ун-та, 1977. Вып. 4. С. 28–40.</mixed-citation><mixed-citation xml:lang="en">Egorova, D. P. &amp; Skornyakov, L. A. 1977, "On the congruence lattice of unary algebra" , Uporyadochennye Mnozhestva i Reshetki: Mezhvuzovskiy Nauchnyy Sbornik, Izdatel’stvo Saratovskogo universiteta, Saratov, issue 4, pp. 28–40. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Бощенко А. П. Псевдодополнения в решетке конгруэнций унаров // Алгебраические системы: межвуз. сб. научн. работ. Волгоград: ВГПИ, 1989. С. 23– 26.</mixed-citation><mixed-citation xml:lang="en">Boshhenko, A. P. 1989, "Pseudocomplements in congruence lattices of unars" , Algebraicheskie Sistemy: Mezhvuzovskiy Sbornik Nauchnyh Rabot, Izdatel’stvo VGPI imeni A.S. Serafimovicha, Volgograd, pp. 23–26. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Бощенко А. П. О копсевдодополнениях в решетках конгруэнций унаров // Универсальная алгебра и ее приложения: тр. участ. междунар. семинара, посвящ. памяти проф. Моск. гос. ун-та Л.А. Скорнякова. Волгоград, 6–11 сент. 1999 г. Волгоград: Перемена, 1999. С. 39–44.</mixed-citation><mixed-citation xml:lang="en">Boshhenko, A. P. 2000, "On dual pseudocomplements in congruence lattices of unars" , Universal’naya algebra i ee prilozheniya: Trudy Uchastnikov Mezhdunarodnogo Seminara, posvyashhennogo pamyati prof. Moskovskogo Gos. Univ. L. A. Skornyakova, Peremena, Volgograd, pp. 39–44. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Pixley A. F. Distributivity and permutability of congruence relations in equational classes of algebras // Proc. Amer. Math. Soc. 1963. Vol. 14. No. 1. Pp. 105–109.</mixed-citation><mixed-citation xml:lang="en">Pixley, A. F. 1963, "Distributivity and permutability of congruence relations in equational classes of algebras" , Proceedings of the American Mathematical Society, vol. 14, no. 1, pp. 105–109. doi: 10.1090/S0002-9939-1963-0146104-X</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Усольцев В. Л. Простые и псевдопростые алгебры с операторами // Фундам. и приклад. математика. 2008. Т. 14, вып. 7. С. 189–207.</mixed-citation><mixed-citation xml:lang="en">Usol’tsev, V. L. 2008, "Simple and pseudosimple algebras with operators" , Fundamental’naya i prikladnaya matematika vol. 14, no. 7, pp. 189–207 (Russian); translation in Journal of Mathematical Sciences, 2010, vol. 164, no. 2, pp. 281- 293. doi: 10.1007/S1095800997306</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Усольцев В. Л. О подпрямо неразложимых унарах с мальцевской опера- цией // Известия Волг. гос. пед. ун-та, сер. "Естественные и физико- математические науки". 2005. N 4(13). С. 17–24.</mixed-citation><mixed-citation xml:lang="en">Usol’tsev, V. L. 2005, "On subdirect irreducible unars with Mal’tsev operation" , Izvestiya VGPU. Seriya estestvennye i fiziko-matematicheskie nauki, Volgograd, no. 4(13), pp. 17-24. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Усольцев В. Л. Строение атомов в решетках конгруэнций алгебр одного класса унаров с мальцевской операцией // Современные проблемы гуманит. и ест. наук: материалы XVIII Межд. науч.-практ. конф. М.: Спецкнига, 2014. С. 39–44.</mixed-citation><mixed-citation xml:lang="en">Usol’tsev, V. L. 2014, "Structure of atoms in congruence lattices of algebras from one class of unars with Mal’tsev operation" , Sovremennye problemy gumanitarnyh i estestvennyh nauk: Materialy XVIII Mezhdunarodnoy nauchnoprakticheskoy konferencii 26-27 marta 2014 g., Spetskniga, Moscow, pp. 39–44. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Усольцев В. Л. О строго простых тернарных алгебрах с операторами // Чебышевский сб. 2013. Т. 14. Вып. 4(48). С. 196–204.</mixed-citation><mixed-citation xml:lang="en">Usol’tsev, V. L. 2013, "On strictly simple ternary algebras with operators" , Chebyshevskiy sbornik, vol. 14, no. 4, pp. 196–204. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Лата А. Н. Конгруэнц-однородные унары со стандартной мальцевской операцией // Вестник СНО. Вып. 28. Волгоград: Перемена, 2012. С. 227–231.</mixed-citation><mixed-citation xml:lang="en">Lata, A. N. 2012, "Uniform unars with standard Mal’tsev operation" , Vestnik Studencheskogo Nauchnogo Obshhestva, Peremena, Volgograd, issue 28, pp. 227– 231. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">Лата А. Н. Конгруэнц-регулярные унары со стандартной мальцевской операцией // Вестник СНО. Вып. 29. Волгоград: Перемена, 2013. С. 317–321.</mixed-citation><mixed-citation xml:lang="en">Lata, A. N. 2013, "Regular unars with standard Mal’tsev operation" , Vestnik Studencheskogo Nauchnogo Obshhestva, Peremena, Volgograd, issue 29, pp. 317– 321. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Лата А. Н. Слабо регулярные унары со стандартной мальцевской операцией // Чебышевский сб. 2013. Т. 14, вып. 4(48). С. 146–153.</mixed-citation><mixed-citation xml:lang="en">Lata, A. N. 2013, "Weakly regular unars with standard Mal’tsev operation" , Chebyshevskiy sbornik, vol. 14, no. 4, pp. 146–153. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">Салий В. Н. Решетки с единственными дополнениями. М: Наука, 1984. 128 с.</mixed-citation><mixed-citation xml:lang="en">Salii, V. N. 1988, “Lattices with unique complements”, Translations of the American Mathematical Society, American Mathematical Society, Providence, R.I.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Гретцер Г. Общая теория решеток. М.: Мир, 1982. 456 с.</mixed-citation><mixed-citation xml:lang="en">Gr¨atzer, G. 1978, "General Lattice Theory" , Akademie-Verlag, Berlin.</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Артамонов В. А. [и др.] Общая алгебра. Т.2. / под общей ред. Л. А. Скорнякова. М.: Наука, 1991. 480 с.</mixed-citation><mixed-citation xml:lang="en">Artamonov, V. A., Salii, V. N., Skornyakov, L. A., Shevrin, L. N. &amp; Shul’geifer, E. G. 1991, "Obshchaya algebra. Tom 2"[General algebra. Vol. 2], in Skornyakov, L. A. (ed.), Nauka, Moscow, 480 pp. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit23"><label>23</label><citation-alternatives><mixed-citation xml:lang="ru">Смирнов Д. М. Многообразия алгебр. Новосибирск: ВО "Наука". Сибирская изд. фирма, 1992. 205 с.</mixed-citation><mixed-citation xml:lang="en">Smirnov, D. M. 1992, "Mnogoobraziya algebr"[Varieties of algebras], VO "Nauka" , Sibirskaya izdatel’skaya firma, Novosibirsk, 205 pp. (Russian)</mixed-citation></citation-alternatives></ref><ref id="cit24"><label>24</label><citation-alternatives><mixed-citation xml:lang="ru">Wenzel G. H. Subdirect irreducibility and equational compactness in unary algebras ⟨A; f⟩ // Arch. Math. (Basel). 1970. Vol. 21. Pp. 256–264.</mixed-citation><mixed-citation xml:lang="en">Wenzel, G. H. 1970, "Subdirect irreducibility and equational compactness in unary algebras ⟨A; f⟩" , Archiv der Mathematik, Basel, vol. 21, pp. 256–264. doi: 10.1007/BF01220912</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>
