{"entities":{"Q1982576":{"pageid":1993318,"ns":120,"title":"Item:Q1982576","lastrevid":72199032,"modified":"2026-04-14T03:16:08Z","type":"item","id":"Q1982576","labels":{"en":{"language":"en","value":"HS-stability and complex products in involution semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7395078"}},"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":"Q1982576$162B7DB3-2911-4E04-ACD4-DC9BC2B50FCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cefb69d68673ddc601a36cd66188d8154a907ac","datavalue":{"value":{"text":"HS-stability and complex products in involution semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1982576$3727D623-0463-49F5-9BA3-59DD37A57225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f298b3aff547ac2879b369088cbb19ea86400dc","datavalue":{"value":"1485.20135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982576$458377A4-E001-416C-A775-1615FEABF82C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4ea7e5c892e8f5c0fc1df61b546872c6806f474","datavalue":{"value":{"entity-type":"item","numeric-id":1652878,"id":"Q1652878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$5D2EB23B-2D05-4E85-AF03-C36EC01B2F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b604f4a510b3761f9e74cc9c5f7b73c9018f149","datavalue":{"value":{"entity-type":"item","numeric-id":251901,"id":"Q251901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$E7BF77EF-9D6A-42A7-9F8A-62656929110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78814ae4527caac21962a83b5e0a3847720f60f","datavalue":{"value":{"entity-type":"item","numeric-id":1705473,"id":"Q1705473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$DB47B1B2-B7E1-46F5-8634-2D0A18CFC957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ca8a60a34fbeedd7a243cbde25f3df13c40974","datavalue":{"value":{"entity-type":"item","numeric-id":267519,"id":"Q267519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$D664A070-A9D7-47F8-A00C-36B459B89EC9","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":"Q1982576$7822494A-5CCB-413B-9DA2-33582EE55965","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98e005e68d31c9cc73eb4d265346faf7c77374c6","datavalue":{"value":{"time":"+2021-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1982576$972715FC-D9F2-4E45-8493-CCA89B230C83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df0ea87aa0460c0fcdcb71ea750d798d453431b1","datavalue":{"value":"https://arxiv.org/abs/2003.02558","type":"string"},"datatype":"url"},"type":"statement","id":"Q1982576$1BD2395C-3C3C-4E15-BC32-2F0F8CFAB1B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"43864d4afbec698ea05ed00bef961b6f702bf8d4","datavalue":{"value":"The authors state that their direct inspiration was the question of which subsets \\(S\\) of a group \\(S\\) satisfy \\(\\langle S^{-1}S\\rangle = \\langle S \\rangle\\), which led to the question of which subsets \\(S_1, \\ldots, S_n\\) of an involution semigroup \\(S\\) satisfy \\(\\langle S_1 \\ldots S_n\\rangle = \\langle S_1 \\cup \\cdots \\cup S_n \\rangle\\). For tractability, they instead considered the \\textit{HS-stable} subsemigroup \\(\\langle B \\rangle ^{HS}\\) generated by a subset \\(B\\) of \\(S\\). Here, an involution subsemigroup \\(T\\) of \\(S\\) is \\(HS\\)-stable if (i) \\(xx^* \\in T\\) for all \\(x \\in S\\) and (ii) for all \\(h \\in H_S\\) and for all \\(x, y \\in S\\), \\(xhy \\in T\\) implies \\(xy \\in T\\). Clearly, if groups are regarded as involution semigroups in the natural way, every subgroup is HS-stable. In this context, the question above is answered. The general answer is a little too technical to provide here, but the answer to the original question, above, is that equality fails to hold if and only if \\(S\\) is contained in a nontrivial left coset of a proper subgroup of \\(G\\). The remainder of the paper explores HS-stability and the notion of HS-simplicity, where the semigroup contains no proper HS-stable involution subsemigroups. For instance, is \\(S\\) is an involution semigroup with zero, it is HS-simple if and only if \\(S = S^2\\). These properties are also explored within regular \\(^*\\)-semigroups and commutative involution semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982576$48B1ABF9-2C6D-400F-9480-114DC6616AAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982576$2F51EAFD-7C25-4415-8849-E01EC3E9FD0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe0a1faf2127514e8f2b3a102825916aaeb079f","datavalue":{"value":"7395078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982576$3D2E3A75-6DE8-48B4-8F2B-9A90DC059DCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d653073a14c66cbd3b709b90f3e5f7109a3bd6d9","datavalue":{"value":"involution semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982576$0F9C7276-B21A-468D-9B33-C28A27D6882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f636fa6df7c4274157ef437b6856607e9625d3f8","datavalue":{"value":"complex product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982576$85CAAF1D-2BA7-4FCB-9B52-A8888E03B6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2052ab57b9ed6e44aecf8e9c394720499fe04bbc","datavalue":{"value":"Hermitian square","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982576$43D11B94-602A-46B0-AA75-DBF307444781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81b47f8a28cbff989534c33dad897cc201f6a0d1","datavalue":{"value":"HS-stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982576$CBB35E99-72BD-4B48-ACC4-AE858C6CDC4C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$1B1F2BB5-10C4-465D-9A63-96F09ACBDE91","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":"Q1982576$0C6CD483-AF84-4F6C-A4DB-B641C07D0ED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec660085b345d72b6432f1715d8f91e36b8e7585","datavalue":{"value":"W3191151529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982576$4E6EA6C1-ADDA-45E7-9D46-5849470D13FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ebfc64c26251f855bbc99a1ad428e1ea55c0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3142053,"id":"Q3142053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$C523B908-0E25-4202-BDF7-DA4ACD262966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b824efd43305e4d2ce4ac85f9d65777bf6b2f56","datavalue":{"value":{"entity-type":"item","numeric-id":3344146,"id":"Q3344146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$C5470DAE-4076-4864-8667-D18943ACDCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0257f06d779884f1957e31c6353d770c6c9915f7","datavalue":{"value":{"entity-type":"item","numeric-id":1955759,"id":"Q1955759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$B8627FE7-646C-406A-807C-68992CBBC375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171119e2d5a733984815bb2c84a3645f77e2d381","datavalue":{"value":{"entity-type":"item","numeric-id":4175774,"id":"Q4175774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$AD8C565F-427C-46A2-A438-0C9053BA6BA8","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":"Q1982576$80F0031D-5A63-4992-BA2D-39CB312569D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18230dcae1307bf355f1e4a9a676fc522b866760","datavalue":{"value":{"entity-type":"item","numeric-id":4879939,"id":"Q4879939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$0F5608CF-BA49-483D-9718-EBDEBBE5F95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07320aca8a1346d233550cb3b5d8d77b435e0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5222661,"id":"Q5222661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$783221E8-3FFF-4F46-8F2F-5C12CFFAF51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b6f1f87839d87ce3dc68199d1c6a338d4c2787","datavalue":{"value":{"entity-type":"item","numeric-id":1258380,"id":"Q1258380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$E4DAF827-A7C5-469C-8683-583092436B85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1237327add7cfec9f3d86a5422d7fcef8beb4de","datavalue":{"value":"10.1007/S00233-021-10213-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982576$D1C2BA3B-61D2-46D6-8643-B2ADD8F9D27A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4408c0430599e9dda1842bcba398cfdb46a177a6","datavalue":{"value":{"entity-type":"item","numeric-id":1757281,"id":"Q1757281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37255ac3d91ca3eb2e91e98071bbd3ebcdf63d39","datavalue":{"value":{"amount":"+0.6931977868080139","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":"Q1982576$F5B70FE4-3CD8-438B-8FD2-964D5DC690CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ab3519b1800ae1421450be1f4576cd1793aa39","datavalue":{"value":{"entity-type":"item","numeric-id":3737669,"id":"Q3737669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc44d6cab96cfd5179699dc0fb7dd50d573ac3ea","datavalue":{"value":{"amount":"+0.6817952394485474","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":"Q1982576$65742550-3447-41AD-915F-59B6DFA3FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da21c1f933e55b02bef881067ece4e7e6b1b4ca","datavalue":{"value":{"entity-type":"item","numeric-id":1704643,"id":"Q1704643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae8524ac66ea01c5571b2069e51b2dd7dc9d98f","datavalue":{"value":{"amount":"+0.6791605949401855","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":"Q1982576$CAE1D9B3-D41E-4C67-99EC-8CF817493BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1751a7e3add3b3a2b0cb3b699957ca2f4627692","datavalue":{"value":{"entity-type":"item","numeric-id":3142053,"id":"Q3142053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30079f4048d3d6e5434e31e1fc7099b81654c5cc","datavalue":{"value":{"amount":"+0.6709994077682495","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":"Q1982576$A42273BE-FB57-4016-930B-1A044C470C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82cb8a4467d37d0aeff19f3446aaea702de303dd","datavalue":{"value":{"entity-type":"item","numeric-id":5313980,"id":"Q5313980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30079f4048d3d6e5434e31e1fc7099b81654c5cc","datavalue":{"value":{"amount":"+0.6709994077682495","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":"Q1982576$9D8F3535-8D09-45C2-A1C1-70ACDF72A4B3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982576$B97285B6-58DA-45F0-BF7A-169CAC82909D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HS-stability and complex products in involution semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HS-stability_and_complex_products_in_involution_semigroups"}}}}}