{"entities":{"Q1365581":{"pageid":1376321,"ns":120,"title":"Item:Q1365581","lastrevid":67254729,"modified":"2026-04-12T16:24:00Z","type":"item","id":"Q1365581","labels":{"en":{"language":"en","value":"Subsemigroups of bands of Abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1057430"}},"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":"Q1365581$DCC41A8D-E9AD-4956-9610-29703F4BF98B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512fd8b243438d0f19afc4242cd1ab78561eac58","datavalue":{"value":{"text":"Subsemigroups of bands of Abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365581$7D993B19-8F16-4BF4-9223-D547E3C75CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1195ebd101ba23a2cab321e7f2b6e55d01d476ff","datavalue":{"value":"0885.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$1D2E5CA2-5E81-4299-8148-7AB71465D61B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a990dbede458d56c22f678f2cc7d846144be6e39","datavalue":{"value":"10.1007/PL00005926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$37FAD523-2AAB-4995-9C33-3EBAB0F09453","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02bad95f0883779fd5f4b2532f972601b8ba1573","datavalue":{"value":{"entity-type":"item","numeric-id":1365580,"id":"Q1365580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365581$B785CB25-9DF8-47B0-AD89-7FA70D0017C0","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":"Q1365581$960AD518-A97B-47CE-8703-7809F35FBC07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f5d120add23d257eabf00a9921160534bdd26e","datavalue":{"value":{"time":"+1998-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365581$2B22CA62-F9CE-4EBC-A02D-D4FB977CD349","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44da2aed8e72258b11c53decd05795fdac5c03cc","datavalue":{"value":"Let \\(\\mathcal V\\) be a variety of bands and \\(\\mathcal W\\) a semigroup quasivariety. A semigroup \\(S\\) is called a \\(\\mathcal V\\)-band of semigroups in \\(\\mathcal W\\) if there is a congruence \\(\\rho\\) on \\(S\\) such that each \\(\\rho\\)-class belongs to \\(\\mathcal W\\) and \\(S/\\rho\\in\\mathcal V\\). Let \\(X\\) be a countable infinite alphabet and \\(X^*\\) the free monoid over \\(X\\).   The main results of the article are the following three theorems. Theorem 2.9. The following conditions on a semigroup \\(S\\) are equivalent: (i) \\(S\\) satisfies (1) \\(x^2yx=xyx^2\\), (2) \\(x^2=xy=y^2\\Rightarrow x=y\\), (3) \\(x_1ty_1t=x_2ty_2t\\) \\& \\(tx_1ty_1=tx_2ty_2\\Rightarrow x_1ty_1=x_2ty_2\\), (4) \\(x_1ty_1t^2=x_2ty_2t^2\\) \\& \\(t^2x_1ty_1=t^2x_2ty_2\\Rightarrow x_1ty_1=x_2ty_2\\), where \\(x_1,y_1,x_2,y_2\\in X^*\\) and \\(t\\in X\\); (ii) \\(S\\) is a band of commutative cancellative semigroups; (iii) \\(S\\) can be embedded in a band of abelian groups. If this is the case then \\(S\\) can be embedded in a band of abelian groups which is a semigroup of quotients of \\(S\\).   Let \\({\\mathcal S}{\\mathcal L}\\) be the variety of all semilattices. Theorem 3.2. Let \\(\\mathcal V\\) be a variety of bands defined by the identity \\(u=v\\) and containing \\({\\mathcal S}{\\mathcal L}\\). Then a semigroup \\(S\\) is a \\(\\mathcal V\\)-band of commutative cancellative semigroups if and only if \\(S\\) satisfies \\(u=v\\) and (1)-(4).   Theorem 3.3. Let \\(\\mathcal V\\) be a variety of bands defined by the identity \\(u=v\\) and containing \\({\\mathcal S}{\\mathcal L}\\). The following conditions on a semigroup \\(S\\) are equivalent: (i) \\(S\\) satisfies \\(u=v\\) and (1)-(4); (ii) \\(S\\) is a \\(\\mathcal V\\)-band of commutative cancellative semigroups; (iii) \\(S\\) can be embedded in a \\(\\mathcal V\\)-band of abelian groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$CE0B38BF-4F98-4C31-94B0-A6105F3C3B28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$54F2ECF9-895D-41F4-A6CA-66F0071E2E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$3687429B-8DD2-434E-AA5A-5A0C2D02A209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$1E3FCEA1-E94A-4A39-A4ED-75BDCF189325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d88bd493e7ef6134b0ea9723e1aa93b7ee77d188","datavalue":{"value":"1057430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$9B9A454B-5040-4DF9-AD4B-2FA0B70405FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6095a683b4a79232d5a50824d8d9dffcc4700b27","datavalue":{"value":"commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$EA610FEA-F031-43FA-9CBD-C9157327C320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3afbd1e3383a0b1ab0aac5e97c9f4730983a184f","datavalue":{"value":"cancellative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$A2254AE6-1E86-4055-A13F-422863E45671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$BBA8FE1F-EF53-42CF-A8C1-6C0BD69F78CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c5abc191fe849b4739694897c9f242d89436bf","datavalue":{"value":"bands of Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$BA0497F5-3AB4-444F-9C6F-29E6F1B63EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c860cc65476bdb5abdf5be59ac85eccd0bdf6","datavalue":{"value":"varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$77E0D1EB-18A2-4FCF-8EDD-9D4839856157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$DF3AC81D-E54C-45C6-B6ED-572EE6844E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$8A58FC26-0549-40E6-8FA7-4382B2059BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002f4689690f66ff5ab6361d3264545d4cc2cf88","datavalue":{"value":"semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365581$A14BC05B-D4F6-4FEA-BD26-A4AA1868B351","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365581$DA5C1157-103E-4701-9CEE-5F07F17A31F9","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":"Q1365581$FF974764-E1BB-4D77-A92E-10F0FC7609AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac8bb8039dfc8bdf163ad880331960fd676b570a","datavalue":{"value":"https://doi.org/10.1007/pl00005926","type":"string"},"datatype":"url"},"type":"statement","id":"Q1365581$04E270BD-4539-4433-BD05-59014A3CDD94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eef4b6ec91980f137f08a3754eef369b66a4bf0","datavalue":{"value":"W2060971878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365581$ACA94B5B-F5A6-446C-9E60-B9CDE3B276AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0b81d7cd47688a268451679a101305e1c6bc96","datavalue":{"value":{"entity-type":"item","numeric-id":3198015,"id":"Q3198015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5bb7f682f54c6096a56c2a6ce23974382b46bc","datavalue":{"value":{"amount":"+0.816280722618103","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":"Q1365581$0AD5B191-24A1-470A-AC37-AF94379181ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b023e4524f4b89ba4682ecd7d2dcce2b747dbc3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434261,"id":"Q1434261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f0fdc301321011a30181d2a883c74d98270b1f","datavalue":{"value":{"amount":"+0.8139047622680664","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":"Q1365581$2E7D46A7-7F77-4F9C-BA3F-84D4A8B3C9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cf5d9944b73fa96bb1bde380f9e4520e62e13a","datavalue":{"value":{"entity-type":"item","numeric-id":3831206,"id":"Q3831206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108f90cb7dfec119f234b1ba07a0fffd9e4abee7","datavalue":{"value":{"amount":"+0.7976683378219604","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":"Q1365581$01DDA97A-9977-4F45-8298-9E34E250A714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ba116b91a3d59e6e37740338a64b0d035186eb","datavalue":{"value":{"entity-type":"item","numeric-id":2923334,"id":"Q2923334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd67ac91c506dda8d75759fe23c59de9c4583ba7","datavalue":{"value":{"amount":"+0.7966561913490295","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":"Q1365581$39E8C64B-F22E-4315-B14A-418243ED3E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2595f63543f0bf41a53179c0d482a53afb9557e3","datavalue":{"value":{"entity-type":"item","numeric-id":2350939,"id":"Q2350939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c583198549d667d9365741715a1f6fadd3248c","datavalue":{"value":{"amount":"+0.7897533178329468","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":"Q1365581$F330443B-A106-4A57-B7A4-93224EA03C15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subsemigroups of bands of Abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subsemigroups_of_bands_of_Abelian_groups"}}}}}