{"entities":{"Q949844":{"pageid":951692,"ns":120,"title":"Item:Q949844","lastrevid":79741955,"modified":"2026-05-06T14:36:33Z","type":"item","id":"Q949844","labels":{"en":{"language":"en","value":"Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5355133"}},"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":"Q949844$D6DEAE03-6DBA-493D-9EE4-4A989E8FCB06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d5767eab06e54ec8973d86522b9c49960014db7","datavalue":{"value":{"text":"Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q949844$C3938B37-418D-4C38-90C4-EB624FD744CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cd9f1ef2bceb012eb776466d239311aa3c4b680","datavalue":{"value":"1174.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$33C175AA-9C45-48D9-82F2-B0BFDE2D8CE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73dfb6eeb3815dbef9571e905f4eef1a9d4c04e","datavalue":{"value":{"entity-type":"item","numeric-id":172571,"id":"Q172571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$7C7256DC-A590-4E66-A3D5-1BE92B9ADE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e721a458b7c522360c2a069048446d0687ef1066","datavalue":{"value":{"entity-type":"item","numeric-id":813803,"id":"Q813803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$BF15F6CB-2CBA-4B15-B32B-2F877ABAF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedc4bea6f4af015ba6b9f7e1b9f9b7233950585","datavalue":{"value":{"entity-type":"item","numeric-id":590407,"id":"Q590407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$7778CDF6-10B1-4058-A080-A2190D99ED2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$B7A22E66-0568-4991-8539-975BF23AD432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b4a05105c8454225903df775b1ba3fdbda7455a","datavalue":{"value":{"time":"+2008-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q949844$2C1DE885-68C1-4431-8C46-0D8CA4FC700C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ceea7c414bb8e43ee85d636cf10659fc1db35309","datavalue":{"value":"The authors investigates some quasivarieties of unary semigroups. Recall that a unary semigroup is a triple \\((S,\\cdot,^*)\\) where \\((S,\\cdot)\\) is a semigroup and the mapping \\(^*\\colon a\\mapsto a^*\\) is a unary operation on \\(S\\). The class \\(\\mathcal Q\\) of unary semigroups is a quasivariety if there exists a family \\(\\Sigma\\) of implications (especially, identities) such that \\(\\mathcal Q\\) consists of all unary semigroups which satisfy each implication in \\(\\Sigma\\). In such a case, \\(\\mathcal Q\\) is defined by the family of implications \\(\\Sigma\\).   Let \\(\\mathcal{PC}\\) be the quasivariety of unary semigroups defined by the identities \\(x^*x^*=x^*\\), \\(x^*xx^*=x\\), and the implication \\(y^*xy^*=x\\to y^*x^*y^*=x^*\\), and \\(\\mathcal C\\) be the subquasivariety of \\(\\mathcal{PC}\\) defined by the implication \\(xx=x\\to x^*=x\\). The members in \\(\\mathcal{PC}\\) are called projectively condensed semigroups; the members in \\(\\mathcal C\\) are called condensed semigroups. Recall that a semigroup \\(S\\) is called completely regular semigroup if each element of \\(S\\) is contained in a subgroup of \\(S\\). A completely regular semigroup \\(S\\) is called an orthogroup if the set \\(E(S)\\) of all idempotents of \\(S\\) forms a subsemigroup. If a unary semigroup \\((S,^*)\\) of \\(\\mathcal{PC}\\) satisfies the identities \\((x^*y^*)^*=x^*y^*\\), \\((xy)^*x^*y^*(xy)^*=(xy)^*\\), \\(x^*y^*(xy)^*x^*y^*=x^*y^*\\) then \\((S,^*)\\) is called a projective orthomonoid.   The authors regard some well-known classes of generalized completely regular semigroups as subquasivarieties of \\(\\mathcal{PC}\\). They give the structure semilattice composition and the standard representation of projective orthomonoids, and then obtain structure theorems of various generalized orthogroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q949844$35206A49-78F3-47EF-ABD9-B4772BAAFEE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$6D195579-A71B-4D48-A3CA-C9ACBC4AD313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$82A16598-C1C9-45F2-9C58-FF4F5966D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$D709C277-1187-4BF4-ABA2-AF4386216990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5974412fe86320e9202c33ca097e14b2826fcaca","datavalue":{"value":"5355133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$1C8DE7CA-6BE4-47B1-A7CF-7A995F220BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106d49e7c7f2021186fa9e43d48498daf793f246","datavalue":{"value":"condensed semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q949844$5CBFCEC2-9123-4F67-B779-28D830938232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ebcb8d5b4189aa45322bd625593cc1f33cd6c3","datavalue":{"value":"quasivarieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q949844$F1E24AB6-2764-480F-9140-BD9A2A4B8735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bad349602026f00a5eeca1d460e960cadc951f5","datavalue":{"value":"generalized completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q949844$697CAFB5-CD13-4D6F-8B50-6E4D5995BF25","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$0CB0360F-FD39-43B7-848D-458BC2641C26","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":"Q949844$A8E1C5A2-7956-492E-9F1F-33FAA177E12D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e92d010e2ab49f58938e00aeb37b833be7005c00","datavalue":{"value":"https://doi.org/10.1007/s10474-007-7038-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q949844$E1D6E605-DADE-424F-A021-C90A5367124E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee047716d2eec2c1fbfd854c8d2ffa20890951f0","datavalue":{"value":"W1975074404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$C0771FF2-1A54-4858-A9BD-D0478A91F99C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d149a971f51ef2817d9e1dae38346862d9ea0e2","datavalue":{"value":{"entity-type":"item","numeric-id":1236193,"id":"Q1236193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$4C6E7C56-AF47-4BDC-AD83-CA74365AF122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6ff1ffa5086b147d715c5f58284ce436c3b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3937578,"id":"Q3937578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$601A85E4-407E-4A68-90AE-727BD5426DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102214bd83ef67d5f21f85740a07d0d43c42a436","datavalue":{"value":{"entity-type":"item","numeric-id":1306910,"id":"Q1306910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$D88EEC96-5AF4-4B2A-8930-FDF4C15347F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ad0ca57cc94260b69461eac861924ca27ab940","datavalue":{"value":{"entity-type":"item","numeric-id":4484938,"id":"Q4484938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$516071EA-A63B-4950-A614-FC170ADF1B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfcb07a63ff58291ea40cfd630d6a443ab2bdc74","datavalue":{"value":{"entity-type":"item","numeric-id":2747155,"id":"Q2747155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$38A1EF5B-7EA9-4C3B-8BB8-8ED32AEF2DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cd27cd6a1a6050e433a2e27067d756dfe445fd","datavalue":{"value":{"entity-type":"item","numeric-id":1343213,"id":"Q1343213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$56B43BA1-11E9-4A04-859D-388D30C83317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa609ad33f8059617652559b2669ecad7f29300","datavalue":{"value":{"entity-type":"item","numeric-id":813804,"id":"Q813804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$549E4EA9-9851-4E74-A807-92944EE5C055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caae73c71a7babda72a14cdf1928deb49d513966","datavalue":{"value":{"entity-type":"item","numeric-id":4682024,"id":"Q4682024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$DDE38CD2-7DD5-468E-ABC8-F587674DCC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48fd2d2a00c164448abd624d9d861bceca0388","datavalue":{"value":{"entity-type":"item","numeric-id":3599931,"id":"Q3599931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$EEDC81F9-7E86-480B-BAE7-A7F4347E1FCB","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":"Q949844$9E082596-5F5D-4918-99CF-216DFA72B444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3381c70e0df549d3fa6f3a692039089d1dfa777e","datavalue":{"value":{"entity-type":"item","numeric-id":3820817,"id":"Q3820817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$16008FBE-58A2-4A07-A0BE-D5F1D2FA4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4362be08cd672ef5ea00ec15afab45614b113c","datavalue":{"value":{"entity-type":"item","numeric-id":2571032,"id":"Q2571032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$8E1EF857-11E4-4547-B6D5-B11131A1B754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98409e4294ac96476a9c4edb5242dd5e8d6a1c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4041833,"id":"Q4041833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$873283D8-850F-413B-8A88-9B9876ED6B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0493bd1fa566ce8c4e9b5244251b45dfaa466975","datavalue":{"value":{"entity-type":"item","numeric-id":4163396,"id":"Q4163396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$B2B51C0C-B9B3-476F-8758-F7FF10B50A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39587fbb8dbb3c01c891a726dc59cb26b03db4","datavalue":{"value":{"entity-type":"item","numeric-id":4484922,"id":"Q4484922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$32200D49-A3FB-472D-9E52-9CB83BB207BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q949844$2B40C2FA-3F39-4697-825A-7298E08D5FC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c716bdac3b2bb4b6f4746312ebbdda46f9693d50","datavalue":{"value":"10.1007/S10474-007-7038-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q949844$5324FCAD-65C0-4704-8C1B-005AF98A330D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075febffb87bf257129203e0056113a68831b652","datavalue":{"value":{"entity-type":"item","numeric-id":3629856,"id":"Q3629856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c9f61045f1a307e974f8d838b29f71f4f0a852","datavalue":{"value":{"amount":"+0.7653388977050781","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":"Q949844$B08EC711-28F1-4C2F-92B1-4F68339840FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e292779b2f9ae259c7c9d42c946cd022faa7d472","datavalue":{"value":{"entity-type":"item","numeric-id":1057987,"id":"Q1057987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4b1a7c3e393278a3f85fa6612db8a09674736e","datavalue":{"value":{"amount":"+0.7611944675445557","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":"Q949844$1E1DF348-3F04-420B-A33E-8AED0A75BF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6ffe64c86781a9c1863377574fdba11cddd647b","datavalue":{"value":{"entity-type":"item","numeric-id":2747147,"id":"Q2747147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950ab8528d58db0a3e1fc9aa13baf5d2f4280f33","datavalue":{"value":{"amount":"+0.7525442838668823","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":"Q949844$BE28F891-9F2E-40A4-9353-DCB01E662430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4f3e3075e462c13efc98a0f738705a9ae5155d","datavalue":{"value":{"entity-type":"item","numeric-id":467512,"id":"Q467512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950ab8528d58db0a3e1fc9aa13baf5d2f4280f33","datavalue":{"value":{"amount":"+0.7525442838668823","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":"Q949844$7F812BED-8F81-4E6C-8E51-4CBDA3119FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a39e2d0f2443b554a573c600b4a9190a07f97f","datavalue":{"value":{"entity-type":"item","numeric-id":5413998,"id":"Q5413998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0add3291ad5ff91be9fa3e164dae1d79f610378c","datavalue":{"value":{"amount":"+0.7511925101280212","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":"Q949844$BC613971-37A5-4677-8565-5058720BEA38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projectively_condensed_semigroups,_generalized_completely_regular_semigroups_and_projective_orthomonoids."}}}}}