{"entities":{"Q6145719":{"pageid":13280026,"ns":120,"title":"Item:Q6145719","lastrevid":55544395,"modified":"2026-02-17T18:33:50Z","type":"item","id":"Q6145719","labels":{"en":{"language":"en","value":"Formations of orthodox semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785783"}},"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":"Q6145719$D318C3DA-C8C6-47F8-B5DF-8D1BB05B08BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6136513ccc6b07867dd432dd26b170c4a88edb51","datavalue":{"value":{"text":"Formations of orthodox semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145719$652EAC32-36F8-4BFC-8E6A-0743F27741FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52ea33601b1801a124ec9bb5b7683ab84f03b69","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$4446309A-C7AF-445C-A30B-5AAAB8A9788C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eea968289a13a1540436159d8603e6943ed95a4","datavalue":{"value":{"entity-type":"item","numeric-id":6145718,"id":"Q6145718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$2B435E7F-5367-4233-AF99-82215FAAC880","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":"Q6145719$95D6E7CC-4610-49F8-A122-B6639F62CD2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9925a2009f7147e973cfc5994d702255fda96853","datavalue":{"value":{"time":"+2024-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145719$A39766D5-493F-48C2-AA50-DB03A8591CA6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1c51d9372d4a4d83881d51e0d0090fd2dadbcfe0","datavalue":{"value":"A semigroup \\(S\\) is said to be \\textit{regular} if for each \\(a\\in S\\) there is \\(b\\in S\\) with \\(aba = a\\). An \\textit{orthodox semigroup} is a regular semigroup whose set of idempotents is a subsemigroup. A class of orthodox semigroups is called a \\textit{bivariety} if it is closed for orthodox subsemigroups, for quotients, and for direct products. The class of all orthodox semigroups, the class of all inverse semigroups, and the class of all groups, are examples of bivarieties. In the paper under review, the authors introduce the concept of formation of orthodox semigroups, extending that of bivariety. A \\textit{formation of orthodox semigroups} is a class of orthodox semigroups closed for quotients and for orthodox finitary subdirect products. Diverse classes of orthodox semigroups, associated either to classes of groups or to classes of inverse semigroups, are discussed regarding being formations or bivarieties. Further, the authors consider \\textit{\\(i\\)-formations of orthodox semigroups}. These classes of orthodox semigroups are closed for idempotent-separating quotients and for orthodox finitary subdirect products such that each induced projection separates idempotents. In a similar way, are defined \\textit{\\(i\\)-bivarieties}. The authors also introduce \\textit{\\(f\\)-formations}, which are \\(i\\)-formations that contain all the fundamental orthodox semigroups. The nature of classes of orthodox semigroups are discussed regarding being \\(i\\)-formations or \\(i\\)-bivarieties. They also consider the product of formations of orthodox semigroups, in particular of \\(R\\)-unipotent semigroups. A product like the Gasch\u00fctz product known for groups is presented for \\(i\\)-formations. Moreover, it is proved that in the \\(R\\)-unipotent case the Gasch\u00fctz product respects \\(f\\)-formations. The paper concludes with a list of open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145719$CE95AE10-EFCF-472C-AABD-66949495781C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8e9678ce68adcb7cd55ce8adcae1873defe007e5","datavalue":{"value":{"entity-type":"item","numeric-id":633191,"id":"Q633191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$34D02DE6-3C86-4B46-85C4-39192544D782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8b8ed91703a4c742c822fda5f397ff251d0b912","datavalue":{"value":"20M19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145719$690E48DC-44D2-40B5-9B36-5B6D9C17DB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d4f90129692d5b174dec18af1ba2f39b213459d5","datavalue":{"value":"20F17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145719$05C39B1A-F6C2-4027-A40A-D0CD7110770E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a6356dbd664e80c30414e0fd62789a77dc45eda","datavalue":{"value":"7785783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145719$585FE03E-5557-449E-BD0C-1AE722BDC93B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64cce56774dc68a0ec544c82fcb5ddd0278d0a58","datavalue":{"value":"orthodox semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145719$A870FDC9-B778-45E9-B981-926FE0D6F6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4e3e4775bf9fc059e9a455608e6d66222402173","datavalue":{"value":"idempotent separating quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145719$30F27347-51D1-4F43-8EF3-F2381A62C8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e52a468354f310ec57166aa65db6f528ce038318","datavalue":{"value":"bivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145719$ED554D52-3644-49B2-8B5B-78868104C8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455a7df18ec4ae95b296ce740f6698e1a346ba32","datavalue":{"value":"formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145719$1BBBA837-A162-48C8-A2E6-E9D43AB562B9","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":"Q6145719$62A71BA5-43CB-4CAF-8299-D6C80AD86945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba3b4f81103e060554592c63d9403a279d9622d7","datavalue":{"value":"https://doi.org/10.1007/s00233-023-10390-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q6145719$2EA8A6DC-2CD7-45DA-B46D-FA917753FB27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e9a964f87fd9abe78e53792f68da93d2f196c27","datavalue":{"value":"W4388484230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145719$6F03D740-12D8-46D1-8CA0-7D213485A38A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5b75e5917c889134d8a78729f028c28b56c294","datavalue":{"value":{"entity-type":"item","numeric-id":4848740,"id":"Q4848740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$DAEE956E-EC56-4AAE-A8A7-B5EFAD9FEA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd866e0a11d66862161cbb3008e192866e213be","datavalue":{"value":{"entity-type":"item","numeric-id":5481238,"id":"Q5481238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$A11C52DD-8291-411C-A2A5-315B8B80949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09101e083001f96ea9afcc61ce843fa37bcd3ae6","datavalue":{"value":{"entity-type":"item","numeric-id":470234,"id":"Q470234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$49C1443A-7572-4157-A615-3F33373C1186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c533a579f496ff5c350cb68383c9ce327d222b8","datavalue":{"value":{"entity-type":"item","numeric-id":2184784,"id":"Q2184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$508D1351-C144-4858-8855-FA7563293082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db08849aa7707150e8aeef11d9120d78ebc52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":1189495,"id":"Q1189495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$BDDC422B-78E8-4281-995B-4742E1522DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489dcfabc48cf135ca38ad3f138e69be42a2ceb0","datavalue":{"value":{"entity-type":"item","numeric-id":1131027,"id":"Q1131027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$7482EF6C-A69E-4CD3-8583-964368ED7959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba0b908f7ebbf5972fca598e7b0836ab9b795ed","datavalue":{"value":{"entity-type":"item","numeric-id":1206780,"id":"Q1206780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$7BBF5A75-7111-44EB-9C56-5A1CD9E48C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0737f93149064f794c48ea9acac05ffb5f924b06","datavalue":{"value":{"entity-type":"item","numeric-id":1099258,"id":"Q1099258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$59E8B303-283F-40A4-BA4B-6D830FF3E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b782247693ed9c5c8aa2dee82c3a6f36c78d5d2","datavalue":{"value":{"entity-type":"item","numeric-id":2163872,"id":"Q2163872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$14E8205E-4CB2-4309-B67A-80804D901CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e205aee70aef56bea02df4b4719315ae67693d6e","datavalue":{"value":{"entity-type":"item","numeric-id":2105481,"id":"Q2105481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$E72FC3D0-7F6E-41B7-B5BF-4A5CF20AD508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd8acf95012a2b79ce6775ee703f185f112c067","datavalue":{"value":{"entity-type":"item","numeric-id":5673101,"id":"Q5673101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$87452236-FD47-46E8-8103-C73A377F7448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60160ecf67e033c39938e226eb0086180edb01","datavalue":{"value":{"entity-type":"item","numeric-id":3818496,"id":"Q3818496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$006D3630-BD12-4722-9149-A8DABB0A9EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$DC01A40B-BD95-48D0-A8B0-0B64DD1CF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$EB89B63A-4D5B-4283-9EC4-42E3CEDA5169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae747855b74614af3c234a7ece3a281adc6bb0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1245901,"id":"Q1245901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$5418DCB3-DA8E-44A9-A845-7F9224F79CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4439815269add27d8bab18857243de16f567aa","datavalue":{"value":{"entity-type":"item","numeric-id":4024635,"id":"Q4024635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$C6B67780-4C98-4BBB-A3CC-0F855D977D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce4ea4169f522d0dbe4ff26e1774451b44edcaa","datavalue":{"value":{"entity-type":"item","numeric-id":4372609,"id":"Q4372609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$1A3294BC-603D-4AC5-AEF8-9415B7124446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c77e93c58083378ee4d9e986e6baa6aa4832","datavalue":{"value":{"entity-type":"item","numeric-id":917710,"id":"Q917710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$E6088FF0-8625-4CC4-900D-2F5F166D96DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d27570907efd8f63f1df9fda3465a634082962","datavalue":{"value":{"entity-type":"item","numeric-id":5599198,"id":"Q5599198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$D730D74C-A8B8-4A41-AA64-32BF7BCDD26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83edcfe8cdec40b99beb36f44fe8fc6ce5b60a","datavalue":{"value":{"entity-type":"item","numeric-id":1239279,"id":"Q1239279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$01DA5A79-12D3-4BC5-931A-4AD3B8BF7D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"295e8e336a41c0f8a17d74c0506c0b47a8ac6fd3","datavalue":{"value":{"entity-type":"item","numeric-id":735936,"id":"Q735936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$FA582047-B0F3-4260-967C-337F548DFB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa7ad909b6272a8de74645a099e0971b22ed0eb4","datavalue":{"value":{"entity-type":"item","numeric-id":4537494,"id":"Q4537494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145719$2DF74880-1D60-4072-8389-017984569B8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2288f4b30a5f0a9fb264123c53d26fb8a132102","datavalue":{"value":"10.1007/S00233-023-10390-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145719$CAB9B402-755F-42C6-B16E-BC3E5ED41116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e29f5899a8911e2b6ba9e40ed8c590aa24306b8","datavalue":{"value":{"entity-type":"item","numeric-id":2163872,"id":"Q2163872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ce97d061dcb4840d2ee186f884a0fc47017433","datavalue":{"value":{"amount":"+0.8670352101325989","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":"Q6145719$AF17AB2F-891B-422C-B07D-9D1BA6C16853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0246a7a308da7cec2c43e9ad7c0a8a71e70c413f","datavalue":{"value":{"entity-type":"item","numeric-id":1879114,"id":"Q1879114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e8ec2995aa81114a01dd28371179ad9e17f31a","datavalue":{"value":{"amount":"+0.7774190902709961","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":"Q6145719$9A927CC2-309D-412D-B7AF-88EA468B11DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9590b1efa4de39d91ac1b2e7c16bb4e1e56dca","datavalue":{"value":{"entity-type":"item","numeric-id":6591556,"id":"Q6591556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac335992d1c9e1d6491380be3ff5ed19144d8c0","datavalue":{"value":{"amount":"+0.7752678394317627","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":"Q6145719$7ACC4C6D-0308-4047-A32E-9953A2C2F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc75c9671400897b8f50fdeff87a2a610e775e3","datavalue":{"value":{"entity-type":"item","numeric-id":5427344,"id":"Q5427344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a8317b81a863fc3adad5732c18da66199e6719","datavalue":{"value":{"amount":"+0.7599866986274719","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":"Q6145719$4B87236D-CC82-4040-9F22-14A60989CCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c327d7f2884036a37d67d99c97960cc7abb96e90","datavalue":{"value":{"entity-type":"item","numeric-id":1061865,"id":"Q1061865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5457cf823de6374408ac753fba504988d26c9bf8","datavalue":{"value":{"amount":"+0.754661500453949","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":"Q6145719$D5B1310F-57A9-4276-A4B3-D78F78080C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6145719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6145719"}}}}}