{"entities":{"Q6048442":{"pageid":13182598,"ns":120,"title":"Item:Q6048442","lastrevid":93801020,"modified":"2026-06-05T05:09:30Z","type":"item","id":"Q6048442","labels":{"en":{"language":"en","value":"Embedding finite involution semigroups in matrices with transposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7737629"}},"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":"Q6048442$2A10C675-E31E-4CE3-838C-0793F5CCEE9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae7f430a99e7fca9099c90d0dd5487f7a5bf7856","datavalue":{"value":{"text":"Embedding finite involution semigroups in matrices with transposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6048442$7AA7C2EF-AC70-490E-858E-72D3DA46BA3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a191aaf35716dcb641814279413193d25440246","datavalue":{"value":"1523.20101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$4600D0E9-AA17-439E-B033-4E4FB9F2CE67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebcad4e01ddbdedb9fe3356fbbed98a9a4465d6","datavalue":{"value":{"entity-type":"item","numeric-id":280785,"id":"Q280785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$0F07B30B-2EF5-4256-83BD-C395BAE47215","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$044A8EA6-425B-46C1-A468-DF5E6E064040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7dc46e6881335706a732f969bff3ed89c4294e2","datavalue":{"value":{"time":"+2023-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":"Q6048442$362198B0-793F-4820-BC4D-327316140D7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9814609deb2cf1fa6ad8af901aa97dfe19c5969d","datavalue":{"value":"An involution semigroup is a pair \\((S,\\star )\\) consisting of a semigroup \\(S\\) with a unary operation \\(\\star\\) that satisfies the equations \\((x^{\\star})^{\\star}\\) and \\((xy)^{\\star}=y^{\\star}x^{\\star}\\) for all \\(x,y\\in S\\). An inverse semigroup is an involution semigroup that satisfies the equations \\(xx^{\\star}x=x\\) and \\(xx^{\\star}yy^{\\star}=yy^{\\star}xx^{\\star}\\) for all \\(x,y\\in S\\).  The author shows that every finite inverse semigroup is embeddable in some semigroup of binary matrices with the usual transposition \\(^{T}\\). Moreover, it shown that every periodic involution subsemigroup of \\((\\mathbb{C}^{n\\times n}, ^{\\ast })\\), the semigroup of all \\(n\\times n\\) complex matrices with conjugate transposition \\(\\ast\\), is an inverse semigroup. Then the author concludes that the following conditions on any finite involution semigroup \\((S,\\star )\\) are equivalent: \\begin{itemize} \\item [(a)] \\((S,\\star )\\) is an inverse semigroup; \\item [(b)] \\((S,\\star )\\) is embeddable in some semigroup \\((\\mathbf{R}_{n}, ^{T})\\), the semigroup of all \\(n\\times n\\) binary matrices with at most one nonzero entry in each row and column; \\item [(c)] \\((S,\\star )\\) is embeddable in some \\((\\mathbb{R}^{n\\times n}, ^{T} )\\); \\item [(d)] \\((S,\\star )\\) is embeddable in some \\((\\mathbb{C}^{n\\times n}, ^{\\ast } )\\). \\end{itemize} Finally, it is shown that every finite involution semigroup is embeddable in some semigroup of binary matrices with the skew transposition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$6496B00B-43E0-4994-B9B8-DBC49A62EB85","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"de0d452cc287a2f297bf68bc82e9c6577ecc93c7","datavalue":{"value":{"entity-type":"item","numeric-id":462237,"id":"Q462237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$4D739936-37C0-4BB1-B364-46DCE4B02F47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$DAD2AA9E-2CEC-4687-8A82-6EB308FE5CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$373E64D5-2BBF-4210-BD44-145A09D7368D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$D443E1F1-49F0-4FA4-AE3E-BA229765915F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32e5e5fd07145ebc8c92c18ef2eac8680801bbe8","datavalue":{"value":"7737629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$52C96E63-BAD7-4A56-8794-ED8E661D49B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$DB0E70A2-1186-4665-B0FA-B66DC993A10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d653073a14c66cbd3b709b90f3e5f7109a3bd6d9","datavalue":{"value":"involution semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$81802EAC-E528-4EBA-ACB9-12DCDFA93DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$073C021C-669E-4C34-883A-BC4B1B6307B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd6acced78adf7359a6ef8bc556671a05b3840b","datavalue":{"value":"semigroup of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$84B00F1D-26F4-41C1-993D-425DD3C901FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2905ee6fa25c55ffefcc08c20bd7dcd2d1980c60","datavalue":{"value":"binary matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$9B507ED6-CE4C-4572-9ABF-9AB19866A53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35bf5e2bba74a559855d130c7401391a4b7f727e","datavalue":{"value":"transposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$8E7BDD37-482B-4EE1-9B34-212DD9A26FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31afed1aeebf122bb3366bbcd4fcb15ff79e525e","datavalue":{"value":"conjugate transposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$99A48EF2-E5ED-42FB-BE8C-D3B96B1C411C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103e2e60463079601e24ec457c5cecb718ec6b77","datavalue":{"value":"skew transposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6048442$D5B6ABBA-0667-4314-BFCD-1C0A99832504","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":"Q6048442$658973BF-53CF-40FC-9283-63A8BD250561","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83cc2f13c2aadc4211541b9328fa65dabc75f788","datavalue":{"value":"https://doi.org/10.1016/j.dam.2023.07.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q6048442$4F37F87E-4584-49A6-AE23-E6B64F45B0FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"201aaa22e7feb0d53c765612c2ee703549f040ce","datavalue":{"value":"W4385643479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$B4D02E5A-0AFB-4886-B0C9-769D527ADEF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66757f1e27ec971f73db77e242bf05f6701fbd64","datavalue":{"value":{"entity-type":"item","numeric-id":2428723,"id":"Q2428723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$8DAFDA1E-0A7B-4214-8E84-1EF08977ED1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553ee7283f3b0a96a7490f4f9bbef8b86ee91775","datavalue":{"value":{"entity-type":"item","numeric-id":4902474,"id":"Q4902474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$DD3DF9F9-DB5D-4BC4-B319-243BCD530371","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":"Q6048442$E2E63684-E67A-4FC5-8533-663C6C63D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1947f246ad1cb509871cbe239bad5bc80b5b5341","datavalue":{"value":{"entity-type":"item","numeric-id":1227787,"id":"Q1227787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$CAD05D65-2A44-4639-99CD-5F48B71F650E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55b68619e09eebe056a96cf9c2f92dcf88ef2a","datavalue":{"value":{"entity-type":"item","numeric-id":1858220,"id":"Q1858220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6048442$92011CAC-44AA-42D8-8734-719BAE2B96D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcfca8439ecc8cdd01d5bd4365673f57ae72ef1f","datavalue":{"value":"10.1016/J.DAM.2023.07.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6048442$54E0E522-F949-4B7B-9827-DE7FA24A0AB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d2dc31a172b843c2b5dadd0da1e429d2ce3e73","datavalue":{"value":{"entity-type":"item","numeric-id":5212965,"id":"Q5212965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e361ad2ba0d7bba9ae0f7cad54e0bd98d51844","datavalue":{"value":{"amount":"+0.7802790999412537","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":"Q6048442$2436B6DB-7829-4722-87D3-5D4BC1689FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c84dc77de38380016e52dc216034ce5bf3e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":2895695,"id":"Q2895695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc52c27e603d7003ec6db9be1231aa4d771b669e","datavalue":{"value":{"amount":"+0.7741039395332336","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":"Q6048442$1B8A521C-BA4B-46B0-8893-32CFAC75CE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069c6fb8cfebb8434897fc8b3b9b5a8a2f62d972","datavalue":{"value":{"entity-type":"item","numeric-id":2362753,"id":"Q2362753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce7706e3c566a77bd4c8c9bdb6068c93181dcd6","datavalue":{"value":{"amount":"+0.7589747905731201","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":"Q6048442$7543D987-C50D-42BE-9B8F-1B44A6D6EF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144c11672db9ba893b381d8d96f99d7129084b9f","datavalue":{"value":{"entity-type":"item","numeric-id":5931532,"id":"Q5931532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dcf158b9958fbb01644266d9f228d2d78af27a9","datavalue":{"value":{"amount":"+0.7335227131843567","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":"Q6048442$587C2CAE-CEA5-4C22-8DFD-09DAEE7240B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f24f1c8c2b211dcde019cb59b0846bb4c8c347","datavalue":{"value":{"entity-type":"item","numeric-id":1611022,"id":"Q1611022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b5c7cb787b2e2038c1973e7243d7e2bbe4c5a3","datavalue":{"value":{"amount":"+0.7320190668106079","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":"Q6048442$B9B28F3E-524D-410D-B8E8-C52DB7772F22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding finite involution semigroups in matrices with transposition","badges":[]}}}}}