{"entities":{"Q1822634":{"pageid":1833376,"ns":120,"title":"Item:Q1822634","lastrevid":69075198,"modified":"2026-04-13T04:29:43Z","type":"item","id":"Q1822634","labels":{"en":{"language":"en","value":"On spectra of solvability and attainability for varieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112899"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$A15F6F64-CA11-4977-854A-F85B4BC5A090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fa990527f9bdb22c4395ae0b7c8b392125f1a4f","datavalue":{"value":{"text":"On spectra of solvability and attainability for varieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822634$8621AA73-09E4-4051-8E3C-C69E8DF875C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d89b6ad6bcb3fa6217b3e9dcd55621b893eef59","datavalue":{"value":"0679.20053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822634$6E484CA8-D384-4C67-AFB7-517F55588470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef07ab56c861ec164d31cfdf517849c3bd4b8a6","datavalue":{"value":"10.1007/BF02573294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822634$581D5D1A-8BDD-46C0-9377-E358CDB0420A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$EDABFB8D-F571-4791-BA98-EFC367C6DAD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822634$58D5CD71-9020-4281-BB53-D59121206DEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ce99bc3ddcbb594f5d3ca95a5c673eaa7f524a8","datavalue":{"value":"https://eudml.org/doc/134983","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822634$BF3A2164-681F-4CB7-A62A-A11451371874","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f19276a2b4b8966d36a3f71b8e5b98754f326093","datavalue":{"value":"Let r be a variety of semigroups, \\({\\mathcal X}\\) a subvariety of r, and S a semigroup from r. The \\({\\mathcal X}\\)-verbal of S is the set of congruence classes determined by the congruence \\(P({\\mathcal X},S)\\) (i.e. \\(S/\\rho\\) belongs to \\({\\mathcal X})\\). The \\(\\alpha\\)-th \\({\\mathcal X}\\)-verbal of a semigroup S is defined for any ordinal \\(\\alpha\\) by transfinite induction, and it is denoted by \\({\\mathcal X}^{\\alpha}S\\), that is, if \\(\\alpha\\) is a non-limit ordinal then \\({\\mathcal X}^{\\alpha}S={\\mathcal X}({\\mathcal X}^{\\alpha -1}S)\\); if \\(\\alpha\\) is a limit ordinal then \\({\\mathcal X}^{\\alpha}S=\\cap_{\\beta <\\alpha}{\\mathcal X}^{\\beta}S\\) where \\(\\cap\\) denotes the intersection in the lattice. Then we have a descending chain  \\[  S={\\mathcal X}^ 0S\\geq {\\mathcal X}^ 1S\\geq...\\geq {\\mathcal X}^{\\alpha}S\\geq....  \\]  This chain is called the \\({\\mathcal X}\\)-verbal chain of the semigroup S. The variety \\({\\mathcal X}\\) is called \\(\\gamma\\)-attainable on the semigroup S if \\({\\mathcal X}^{\\gamma}S={\\mathcal X}^{\\gamma +1}S\\). The smallest \\(\\gamma\\) with this property is called the step of attainability of \\({\\mathcal X}\\) on S, and denoted by step(\\({\\mathcal X},S)\\). If there is an ordinal \\(\\gamma\\) such that \\({\\mathcal X}\\) is \\(\\gamma\\)-attainable on all semigroups of the variety r, then \\({\\mathcal X}\\) is called \\(\\gamma\\)-attainable in r. The attainability introduced by the reviewer [J. Algebra 3, 261-276 (1966; Zbl 0146.027)] is nothing but 1-attainability here. \\(E_ S\\) denotes the family of \\(\\rho\\)-classes such that each \\(\\rho\\)-class is a subsemigroup of S. If for some ordinal \\(\\gamma\\), \\({\\mathcal X}^{\\gamma}S=E_ S\\), then the semigroup S is called \\(\\gamma-{\\mathcal X}\\)-solvable, and in this case the ordinal step\\(({\\mathcal X},S)\\) is called the step of \\({\\mathcal X}\\)-solvability of S. The class of all ordinals that occur as steps of \\({\\mathcal X}\\)-solvability of some semigroups from \\({\\mathcal K}\\) is called the S-spectrum of \\({\\mathcal X}\\) in \\({\\mathcal K}\\). The S-spectrum is called complete if it coincides with the class of all ordinals. The main result of this paper is the following: Let \\({\\mathcal X}\\) be an arbitrary non-trivial combinatorial variety of semigroups such that \\({\\mathcal X}\\subseteq [x^ 2=x]\\). Then S-spectrum \\({\\mathcal X}\\) is in the class \\({\\mathcal N}\\) of all commutative nil semigroups. From this result it follows that S-spectra of non-trivial varieties of semigroups in the class of all semigroups are completely determined. It is very interesting for the reviewer that the following classes of commutative semigroups are investigated: the class of commutative idempotent-free semigroups with power joined generators, and the class of commutative nil semigroups with power-joined generators. At the end of this paper it is shown that the variety of left [right] zero semigroups is not \\(\\omega\\)-attainable in the class of all semigroups where \\(\\omega\\) is the first infinite ordinal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$44932BB5-C423-4BCB-B295-DF0346E3E707","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822634$6F9927ED-198E-4986-B41F-C798E0BECC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822634$DA98C93B-C174-48FA-B880-4D1DEE12CE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822634$3BC07AC7-3756-4DC9-B60C-000D28D767C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"270b70974a9f5549c5e9b5871af3cc35a46645c3","datavalue":{"value":"4112899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822634$232A6A75-811F-49ED-9DC0-8D7B0ADBACA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e4acaa4e353e49e50ee05b5d2a6e65d906dcbe","datavalue":{"value":"congruence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$58387D7D-92FA-4ACB-A6B0-C78A8ABD4E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c460143b324999f7ed6dfb9532ed8589abe4ed01","datavalue":{"value":"\\({\\mathcal X}\\)-verbal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$BF449F09-7799-4D4F-9EDE-DE2353C333A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce4ebf4e44074ce02a60fb47c3a01808311c125","datavalue":{"value":"step of attainability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$30B9912A-E92F-4A0A-BE80-AED21C75F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324d07decad06fc939b6a02cf324ea3ae376be14","datavalue":{"value":"\\({\\mathcal X}\\)-solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$A8A3CB33-77DE-4E0F-957B-A27FF95D1942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9381706f6935435903bfcdd436b68b40c4c3c34e","datavalue":{"value":"combinatorial variety of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$23CFA473-3839-4377-AE79-470821F5ABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"408a7256055329cd8a65e19b5b6b26f72cf8b5c6","datavalue":{"value":"commutative nil semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$F836766D-2D5F-408D-A644-11053F99690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4fb6209743a386ca52200ab2232f94b76c3c29","datavalue":{"value":"spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$3C477C7B-53EB-462C-A5A7-ED59EB928379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c860cc65476bdb5abdf5be59ac85eccd0bdf6","datavalue":{"value":"varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$1F46C5F3-EC44-4363-B1C5-444C7C4B1CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332feaf0d1684bed65d9a75f8d95fdf604334053","datavalue":{"value":"commutative idempotent- free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$ADBC2BA8-FC0E-4B44-9296-EFC754A982AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dca66954edd6cd7bd4031e679d749695e04af9b","datavalue":{"value":"power joined generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822634$C1CD4083-DA46-4EAF-8F06-F41DCE514DC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb3a2298d8cc22a08f4e8c43bdba7278b62f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$687601D8-75F1-4C78-9445-FE18B550108B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7704c679658286090f47ad64bb1b7fed7359b313","datavalue":{"value":{"entity-type":"item","numeric-id":589105,"id":"Q589105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$7A63F3EE-787A-4839-90B8-7BAC4A06840D","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$70E1DE6F-E648-4971-A42B-4B10D8432704","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"893d037aef7c42ab812408fbb47c6024b3efc99b","datavalue":{"value":{"entity-type":"item","numeric-id":5641189,"id":"Q5641189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$34DF2BD1-93A2-420C-9D76-E174C6817CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620f4551e37329cbd8b9a1d4f939d5ffc165885a","datavalue":{"value":{"entity-type":"item","numeric-id":3774067,"id":"Q3774067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$96097EE2-11D1-4118-A137-5E480BF67C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bb5f2e7bcbab1d3913dfcc14983a117c202f60","datavalue":{"value":{"entity-type":"item","numeric-id":2524066,"id":"Q2524066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$9699F00B-7C9B-4D5A-B5C5-B9F470DCE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$543103E4-5E8E-4D3C-A7DD-C71C9418560A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53798220f3566c14edad616fc3de5aabc359fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4075673,"id":"Q4075673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$33F0B795-5462-4136-8422-05BA18A9CD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822634$D977B911-5769-4394-B681-4C718CDA9447","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311444c39e2fbed9678effd4bdbdbf243980b75e","datavalue":{"value":{"entity-type":"item","numeric-id":3774067,"id":"Q3774067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7b3bb2de9d87c8ff95012db7807e3e5327f75f","datavalue":{"value":{"amount":"+0.8380172848701477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1822634$16013665-745E-4FCD-B98E-9C9DC3E40626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbe2a1e7b8d424981fa51f45f9429a1d04813ff","datavalue":{"value":{"entity-type":"item","numeric-id":4005397,"id":"Q4005397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556bb2a077a2a559edc35f2e681bf99f90b1a703","datavalue":{"value":{"amount":"+0.835955023765564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1822634$1BEBC669-C671-4EAB-9218-953486E49921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d51c05a3428e4d6137446ea8899576e31a984","datavalue":{"value":{"entity-type":"item","numeric-id":3818495,"id":"Q3818495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b49fb69dbe1efbdd5b138b09e1ad24718b8f3a7","datavalue":{"value":{"amount":"+0.830173134803772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1822634$AAEE04AC-D718-405C-B28F-FC0E296D2F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d758a90973cf6841b5d1b21d370fc5d4afec49","datavalue":{"value":{"entity-type":"item","numeric-id":3033982,"id":"Q3033982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543429c4782564e5310dc463cae611b15212b85f","datavalue":{"value":{"amount":"+0.8090538382530212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1822634$6407BB1F-A4EC-4A1E-BDD5-9E3BC30FA175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba3b99efd94296cd10fc1117a3f32b847154d2d","datavalue":{"value":{"entity-type":"item","numeric-id":805647,"id":"Q805647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d8ff98e075342fea0f3dfd467795d57e33e38d","datavalue":{"value":{"amount":"+0.7971150875091553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1822634$10A954A5-ACA5-46C9-8828-336B78F54DAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On spectra of solvability and attainability for varieties of semigroups","badges":[]}}}}}