{"entities":{"Q1204452":{"pageid":1215201,"ns":120,"title":"Item:Q1204452","lastrevid":66347871,"modified":"2026-04-12T09:30:09Z","type":"item","id":"Q1204452","labels":{"en":{"language":"en","value":"Intracommutativity properties for groups and semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 130533"}},"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":"Q1204452$E28C6607-C119-4AAF-83C7-4BD0C515BDB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5e376db71b09c717b5b0d1f47d1a649f9cb7707","datavalue":{"value":{"text":"Intracommutativity properties for groups and semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1204452$6806E288-B4BB-4BCC-9627-3678959A4FCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab0566d4869964d8b7c2baed721daf1e8a8cde21","datavalue":{"value":"0797.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204452$2A22BC48-9206-44E4-A820-EAF70FA25F47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ae811bd9c32e8ddccfbb297944118bba037437","datavalue":{"value":"10.1016/0021-8693(92)90163-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204452$4376AA2E-3495-4586-9AC1-5D7C09B26E69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$D8FEBBC8-FD7F-416B-85A6-B90FADBF4404","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd1a91bacb3b86e97f56b6757c45d39c4521bbf1","datavalue":{"value":{"time":"+1993-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1204452$26515439-2BC9-44B8-A12F-FF0520274C11","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d8cf8458324e3d213542d87bbe6adbae7443a28","datavalue":{"value":"An \\(n\\)-tuple \\((x_ 1,x_ 2,\\dots,x_ n)\\) of a semigroup \\(S\\) has a \\(k\\)- factorization \\((u,y_ 1,y_ 2,\\dots,y_ k,v)\\) if there exist \\(k+1\\) integers \\(0 \\leq i_ 0 < i_ 1 < \\dots < i_ k \\leq n\\) such that \\(u = x_ 1 \\dots x_{i_ 0}\\), \\(y_{j + 1} = x_{i_ j+1} \\cdots x_{i_{j+1}}\\) \\((0 \\leq j \\leq k - 1)\\), \\(v = x_{i_ k+1} \\dots x_ n\\) where if \\(i_ 0 = 0\\) then \\(u = 1\\), if \\(i_ k = n\\) then \\(v = 1\\). An \\(n\\)-tuple \\((x_ 1,\\dots,x_ n)\\) of a semigroup \\(S\\) is \\(k\\)- intracommutative if there exists a \\(k\\)-factorization \\((u,y_ 1,\\dots,y_ k,v)\\) such that for every permutation \\(\\sigma\\) on \\([1,k]\\) \\(uy_ 1y_ 2\\dots y_ kv = uy_{\\sigma(1)}y_{\\sigma(2)}\\dots y_{\\sigma(k)}v\\). An \\(n\\)-tuple \\((x_ 1,x_ 2,\\dots,x_ n)\\) is weakly intracommutative if there exists a permutation \\(\\tau\\) on \\([1,n]\\) for which \\((x_{\\tau(1)},x_{\\tau(2)},\\dots,x_{\\tau(n)})\\) is \\(k\\)- intracommutative. A semigroup \\(S\\) has the property \\(Q\\) (resp. \\(Q^*\\)) or is intracommutative (resp. weakly intracommutative) if for any positive integer \\(k\\) there is \\(n\\) such that every \\(n\\)-tuple of elements of \\(S\\) is \\(k\\)-intracommutative (resp. weakly intracommutative).   In the first part it is shown that semigroups having \\(Q\\) or \\(Q^*\\) constitute a pseudovariety; further properties analogous to permutation properties are discussed. In the second part it is proved that a group has \\(Q\\) iff it is abelian-by-finite, and it has \\(Q^*\\) if it is finite- by-abelian-by-finite. The last two parts contain several variants of the properties \\(Q\\) and \\(Q^*\\) for finite (part three) and infinite (part four) sequences. For all of them a characterization is given in the case of groups and in the case of finite semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$B91FB246-7155-434B-A1C2-973468EF185C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204452$47BB0D35-7CF1-4DCF-99E7-72ECCEB7B47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204452$A43A386E-110E-49DA-9342-00E4BC847A29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7467ce003947040bc56133cdb34f08de9c19d947","datavalue":{"value":"130533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204452$B42C39D2-18FB-47B2-A89F-FA95795354EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46643a60a80fbe6b808a8d396ba6d4e67fd33f8a","datavalue":{"value":"weakly intracommutative elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$8DD3067B-BF57-4813-A1BC-1C5E1BBC3FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca943c276d33fd3a4cb1ec720c72d30d810ec48","datavalue":{"value":"infinite sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$2C07672E-1A9B-4115-97AA-ACF45669032F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf2ec45b56911a8bbac4fb9d1dc61ba4b57469c","datavalue":{"value":"semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$1C816B97-306D-4B12-ADA5-0C2FC4CE742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae52c8f67f146f93874234c0534949dab63cc34","datavalue":{"value":"pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$CC68CAFE-163E-41F0-9B10-B46AF77B20B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bb03534e54c694a07ef92ca6107040e0198d9b7","datavalue":{"value":"permutation properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$379CAC35-1C8C-4FAF-9D9D-DB7F7A54094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$7011D0A7-7668-4263-AEBF-E6582B59B81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237e3c419e0bd1113bc2d312dc2cb36e3ddeb79a","datavalue":{"value":"finite-by-abelian-by- finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$3F05F2B7-9910-4CB2-BFD0-C870E2B4EF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1204452$FEF0288D-5098-42FD-8F52-6817E159986A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10807d3319347848f8f74f3f6373a6c3314edaf3","datavalue":{"value":{"entity-type":"item","numeric-id":921123,"id":"Q921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$849A4BB5-EEEB-4793-9D10-F34CB99B4931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b3dd73e5cf0171018b379710c367d3e877e4563","datavalue":{"value":{"entity-type":"item","numeric-id":355960,"id":"Q355960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$E73CBA4D-9558-4204-A1CB-8C49C4A18402","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5160355622f16f7db3af37439dc82dfda87a355a","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$F0D59BAC-EE6C-4DB6-BD0E-4878538C0DF9","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":"Q1204452$A1688A3B-8515-402C-93CF-2897FB079ECE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2028bbd19a8e33f217b322f9039ee8a4d7c97d2","datavalue":{"value":{"entity-type":"item","numeric-id":1104417,"id":"Q1104417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$704116C0-3084-4FC9-A4B6-A4FD55884DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8387db8cf7d033ded086e0d9c28faf46abad1b","datavalue":{"value":{"entity-type":"item","numeric-id":3816241,"id":"Q3816241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$43B35AA8-CB9A-4F86-B062-0D5AFA63BC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71c49e6969bcf4d2891d5ad6bbc61ea505b9a6b","datavalue":{"value":{"entity-type":"item","numeric-id":796651,"id":"Q796651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$E595AFD6-DB8E-4D46-83E1-D9BFDA227DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893efb808a398e0e7da485449d1821853b7afecf","datavalue":{"value":{"entity-type":"item","numeric-id":1262957,"id":"Q1262957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$B478180B-ED82-47FB-9417-D414500D1A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0755527dc26ccf06e69cd62ec76a91e4b8d0335c","datavalue":{"value":{"entity-type":"item","numeric-id":3903002,"id":"Q3903002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$0DAB263E-268C-47AE-9091-1DD615FF5B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a6cbdf4151bea7553c8bbcb38f5e1758dbbdc6","datavalue":{"value":{"entity-type":"item","numeric-id":3815540,"id":"Q3815540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$2BF2FA04-9709-4606-A9FD-570A862A401D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a95b5a7ae449f87a630906acfa4affa126e8d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1115977,"id":"Q1115977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$DB52A427-9442-41D6-97AE-4609EA54E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845d5ff887c3869c58903bfc5859dc40858fc153","datavalue":{"value":{"entity-type":"item","numeric-id":921125,"id":"Q921125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$5511ED33-8A8C-47BC-84FB-A5EB2D253E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7195c5e003e2e0d16facaea1da4be91cd8419d","datavalue":{"value":{"entity-type":"item","numeric-id":1191325,"id":"Q1191325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$96D52B62-8398-4459-B963-436B5FAD3238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6e49eb2569ef230b1ecc39f657e463eda40a55","datavalue":{"value":{"entity-type":"item","numeric-id":1175762,"id":"Q1175762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$3546E103-6BFD-4339-84FB-49142CA7600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f3678a0372c691d63beb5a0009d48b1f860b90","datavalue":{"value":{"entity-type":"item","numeric-id":4735347,"id":"Q4735347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$C2B81038-079E-4E10-AC28-9C066185D01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc45b76876449676c4a96d480157be7960c8ae6b","datavalue":{"value":{"entity-type":"item","numeric-id":1214480,"id":"Q1214480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$73FFB0CF-E802-4BBD-95AF-343B728EA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f698a6730822127e2d2df3cafa718bc916243d0","datavalue":{"value":{"entity-type":"item","numeric-id":3800292,"id":"Q3800292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$11BE02AC-C4C8-47FF-BE8F-0968E8FFD7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb94f2b2c398f4c051f812d816854da023516c3f","datavalue":{"value":{"entity-type":"item","numeric-id":797705,"id":"Q797705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$BB99A8F6-9C99-4642-87A2-119F5EF77D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7e02cf526394e1bfc1640ed6d39ad0bd10eaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4177758,"id":"Q4177758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1204452$0DA65171-6D36-4C40-8574-2E3DC2CD409E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0726cb2ca30729dd855f3929d1001b53941c356","datavalue":{"value":"https://doi.org/10.1016/0021-8693(92)90163-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1204452$F21B6867-DC74-4AFC-BB6D-C303FB469C67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"317ae8d811b5a2ab78d5800d387c37d74a6ee949","datavalue":{"value":"W1988142547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1204452$AED1062E-2826-41A8-8058-7A3D500522B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca1bd55367505907cc14f2f0a23de348df865f9","datavalue":{"value":{"entity-type":"item","numeric-id":1104417,"id":"Q1104417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1238b6318beafee8b2b0274d92825428ee1dcc","datavalue":{"value":{"amount":"+0.809247612953186","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":"Q1204452$9C56D396-0EDC-48AD-8BBC-49EA170273A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e66354aae17578fba8d462c2d21cdb81f29f6cd","datavalue":{"value":{"entity-type":"item","numeric-id":1177096,"id":"Q1177096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a138d74c468079c48b34acf04cef2936deedaa","datavalue":{"value":{"amount":"+0.7907439470291138","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":"Q1204452$334E0650-D0AC-4BA7-957A-BDCA60B1C15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa6bba1c26f295b93b54fc5ac886a6acc1d5071","datavalue":{"value":{"entity-type":"item","numeric-id":1115977,"id":"Q1115977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3a70deab4f021ceae363b1bfd9f84216e80444","datavalue":{"value":{"amount":"+0.7862802743911743","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":"Q1204452$5CED7521-E95D-40BE-B40B-76432EFAB8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aec9d7d75483311b9bfe2f9a8b1dd6529301b31","datavalue":{"value":{"entity-type":"item","numeric-id":921125,"id":"Q921125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1295cd6150f5dc89067b76336dbe20a10729706","datavalue":{"value":{"amount":"+0.7835452556610107","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":"Q1204452$F0297585-4DCC-498F-93FD-A32CEA0624BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eed774a2af84e0a6423b11e0f48695cbc8e340e","datavalue":{"value":{"entity-type":"item","numeric-id":1975908,"id":"Q1975908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c6bd9f090ada40bea055bec28aa35f32b6625a","datavalue":{"value":{"amount":"+0.7721925377845764","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":"Q1204452$725900D1-D4AB-40A0-A046-8220877DD348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intracommutativity properties for groups and semigroups","badges":[]}}}}}