{"entities":{"Q2796984":{"pageid":2807722,"ns":120,"title":"Item:Q2796984","lastrevid":58005960,"modified":"2026-04-03T10:28:20Z","type":"item","id":"Q2796984","labels":{"en":{"language":"en","value":"Finitely presented algebras defined by permutation relations of dihedral type."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561297"}},"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":"Q2796984$C69A026D-8E9E-4849-96DC-6B5381FD994F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"305c22abc931d4a314095b80f5fa6d8a3745e853","datavalue":{"value":"1346.16018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$DA780797-57DD-430B-8961-E17CDFF017DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f03ec072a6ebe7546e652e772b4cb843fa9b8d6","datavalue":{"value":"10.1142/S0218196716500089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$22E50C3B-1499-44A8-AC24-5946AE0E2FDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c83c554076cdd963e69e9a89edebbf89082f93","datavalue":{"value":{"entity-type":"item","numeric-id":188267,"id":"Q188267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$442BCFE7-5968-4BA9-86B2-BD641C38157D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12066d24407741e214aeedf9a0d262b0a546c71c","datavalue":{"value":{"entity-type":"item","numeric-id":188208,"id":"Q188208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$7D4A1C9C-ADA0-4190-98C3-EBA08A57BFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fab04a299413b221f5bfb6a35fa29e138eea9b","datavalue":{"value":{"entity-type":"item","numeric-id":250214,"id":"Q250214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$635460A2-6CE8-4964-9BC6-12262CC205F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$42CB4FDA-10A9-4A89-8F45-BF59D382C51D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a93cdc2fd4c07fd027466bbd383632dc6ccce51b","datavalue":{"value":{"time":"+2016-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796984$1DC236BA-33FE-4755-AEAF-0506F030CE75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de3a996576ff1b1ec748df69ac2a2a50bf5eca32","datavalue":{"value":"https://arxiv.org/abs/1412.3707","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796984$86D0E987-A06D-4408-B69E-93885904D507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$2E8E4082-CBA2-4AB2-A182-119197598601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$4E413FC2-FBB0-4C60-AA3B-CD1A7FC0256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$71AF8790-3FE0-4279-93F5-C50DBDAEF45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a110c7416e1228fed50bb2e0832c21a254df2cc","datavalue":{"value":"20M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$150F090F-8135-4195-95F0-9B26C72F8EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$8D3ED90D-5268-4E97-ABF9-CE8E3CF008C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"037ac71baf3ef9843144a92adb4cffe6a76fe77c","datavalue":{"value":"16N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$41FBD009-DEE5-4C5C-872D-DA7CA12C5AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fe765cd1a070bdd5800010d4f6dd8db8ae970f7","datavalue":{"value":"6561297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796984$5C7C0C13-1FEA-474A-ABA8-BBC2DE876C7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906ff7954b2741940b28677c9af2c2b8bd571a9f","datavalue":{"value":"semigroup rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$AEADC124-E672-45FC-9C01-94150522848A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e5e2b031712b727efc6be531654bc7a89574a7","datavalue":{"value":"finitely presented algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$064951C6-C97A-462B-B212-D98E9791800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$2E7D50AF-F6EF-4899-8D4D-088DA9FEBDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780fc03a48a6796d92b7d78f8f44f1d8a17af6e7","datavalue":{"value":"symmetric presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$0F524AFD-1826-4654-85F4-33AEE670A262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e606f8898b4abf969275a2d99c90cb05169fa2f5","datavalue":{"value":"semigroup algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$7C3A81D7-4C32-4A90-8DB0-C2CE4AD11366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ace82f16f428ca807d21d7fb469cb3c9c9bf038","datavalue":{"value":"automaton algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$B0837175-4C50-46FE-B628-9C4D1F65A136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$E60C980E-E397-4F49-9F03-FF90E195AE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e062b179a2635efe2b8bcc828a367ba937ffe314","datavalue":{"value":"primitive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$C228247B-F48F-4686-8C99-49C63989000A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3b283f0f5d695cbc62e5a2a3fb4823e6800e4b","datavalue":{"value":"Jacobson radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$F3F4730B-FB88-4C12-BD2C-40543511061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556ee604f7b5b8de1dc6cd5366533309ed5d88e7","datavalue":{"value":"semiprimitive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$DAADCC44-528B-42A0-8F92-9191F4518ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf491598fd05a17f622f4aadce68d9abb2d4111","datavalue":{"value":"monoid algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$51038DAB-4972-4FF9-A892-86D31C077DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f6b7350c1bb622a26ec7b26527f845040ccedae","datavalue":{"value":"permutation identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$D526A81F-93C2-47DD-9B80-F712BE057B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8412fce5a6a05aab7d2abccb28bb2b038d7e50dc","datavalue":{"value":"unique product groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$C129CE50-813D-4B93-AE94-7A393B002318","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":"Q2796984$3FC5E12C-5916-4078-94D3-8E5E1538CB04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df6221b313df887dbfaafc7b012fb2799705d13","datavalue":{"value":{"entity-type":"item","numeric-id":1013104,"id":"Q1013104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$4B6D71A2-13B1-4C74-9150-B8AC67505C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d078314a29c1371cc4ceae5ff80b2308f184bc","datavalue":{"value":{"entity-type":"item","numeric-id":479308,"id":"Q479308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$AF6194A3-C059-49BF-B51C-4CA3B1D64821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60649e362b47fc7861a11b01fe2916a235c9c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5964498,"id":"Q5964498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$845341C2-B2D4-4688-B255-DF702F03FA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d8a30fa4ca6d28acd3bae6b75d65648baa5157","datavalue":{"value":{"entity-type":"item","numeric-id":3655287,"id":"Q3655287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$1D9FE948-F092-4300-B81C-57B0C7D3E533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0089a4c71243a3292eb3cea7d0c183a5606f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5779936,"id":"Q5779936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$4C97B4F7-9272-4531-A570-9AF430560590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd127760978c0d09c81af109b6db47d90a9d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1595462,"id":"Q1595462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$68015152-4D82-4107-B04E-C9E86CE7D647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0868fdc0a79c7b712ed3cc2603898ed4ff3173","datavalue":{"value":{"entity-type":"item","numeric-id":404561,"id":"Q404561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$8E32109B-3833-45E5-83D7-9436DA947B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3492edf29bcb43d08769a7ba313e97036fb9649c","datavalue":{"value":{"entity-type":"item","numeric-id":4145843,"id":"Q4145843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$EF6CEFA4-15EA-4EF5-B4A7-48A3809B4979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78758589b9e138f155b9b13eeae184db8fa243a","datavalue":{"value":{"entity-type":"item","numeric-id":4853962,"id":"Q4853962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$CCB49AED-3491-42FD-928A-DE928AE89712","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9187cebe8baf05e5e57454492b1c5984de8c462e","datavalue":{"value":{"text":"Finitely presented algebras defined by permutation relations of dihedral type.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796984$34392010-6F33-4FBD-8A70-0F0E33648D4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23162d54e610020d193f837a4720d074b8fcdbaa","datavalue":{"value":"The class of finitely presented algebras over a field \\(K\\) with a set of generators \\(a_1,\\ldots,a_n\\) and defined by relations of the form \\(a_1a_2\\cdots a_n=a_{\\sigma(1)}a_{\\sigma(2)}\\cdots a_{\\sigma(n)}\\), where \\(\\sigma\\) runs through a subgroup \\(H\\) of the symmetric group \\(S_n\\), is considered. Such an algebra is denoted by \\(K[S_n(H)]\\), while \\(S_n(H)\\) stands for the monoid defined by the same monoid presentation.NEWLINENEWLINE The main result of the paper establishes a canonical form of elements of \\(S_n(H)\\) in case the cyclic group \\(\\langle(1,2,\\ldots,n)\\rangle\\) is a subgroup of index \\(2\\) in \\(H\\). The proof is very long and technical. As an application, it is shown that the universal group of \\(S_n(H)\\) is a unique product group. Moreover, it is shown that the algebra \\(K[S_n(H)]\\) is semiprimitive and it is an automaton algebra in the sense of Ufnarovskii.NEWLINENEWLINE This paper is a continuation of earlier work of the first and the second author and of the reviewer on finitely presented algebras defined by permutation relations [J. Pure Appl. Algebra 214, No. 7, 1095-1102 (2010; Zbl 1196.16022); J. Algebra 324, No. 6, 1290-1313 (2010; Zbl 1232.16014); Contemp. Math. 499, 1-26 (2009; Zbl 1193.16019)] and of the authors of the present paper [J. Pure Appl. Algebra 216, No. 5, 1033-1039 (2012; Zbl 1259.16024)], where the cases when \\(H\\) is the full symmetric group, the alternating group or an Abelian group, are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796984$58103247-F9BB-438C-A8C6-3D4CB87CECFB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"78169fdcdd370142b0428d5b6cd8851a9366342c","datavalue":{"value":{"entity-type":"item","numeric-id":161569,"id":"Q161569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796984$04660450-16C2-40FA-82F4-08E9AA492792","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db343c0087c44a65c4a694f28aaaa905555313f2","datavalue":{"value":{"entity-type":"item","numeric-id":2267422,"id":"Q2267422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e643380e7ec074fe570b5b3b8224b5b6ad1d9d","datavalue":{"value":{"amount":"+0.9014782309532166","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":"Q2796984$85D2970D-9217-44DE-AA20-D2A0D89A3540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b946beed7004135a4abb9eebaf4d8b5b981900","datavalue":{"value":{"entity-type":"item","numeric-id":436084,"id":"Q436084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573bbd7d4acf7c33528664052ae870d7e6916744","datavalue":{"value":{"amount":"+0.8794410824775696","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":"Q2796984$51A2E0EA-1799-479E-B795-400C836140FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4a680f02a90a0aef055b940a2c7f77636902ad","datavalue":{"value":{"entity-type":"item","numeric-id":5964498,"id":"Q5964498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6011b7416d25a27a0d4ab633b67ca73708897b5","datavalue":{"value":{"amount":"+0.8783736824989319","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":"Q2796984$17D3324A-510B-4E90-BE77-23D9E07C5DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4faf92f8184f862dbe8afaabd9a2489ccd3f4125","datavalue":{"value":{"entity-type":"item","numeric-id":1421790,"id":"Q1421790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397b44319900e9caf7cd3c287728b5d8fb842635","datavalue":{"value":{"amount":"+0.8567089438438416","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":"Q2796984$8D4AF10E-0835-45C7-BCFC-07D71D6B509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ecb0e0c15a9e844ca747a8c989fb2832a6e6ee","datavalue":{"value":{"entity-type":"item","numeric-id":479308,"id":"Q479308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a93fa2631dcf92a448f50c7bec7e1e4e5c10c19","datavalue":{"value":{"amount":"+0.844355046749115","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":"Q2796984$6FD2666B-5452-493B-9323-3F18FF4F724A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2796984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2796984"}}}}}