{"entities":{"Q6916612":{"pageid":21002095,"ns":120,"title":"Item:Q6916612","lastrevid":75679987,"modified":"2026-04-20T14:58:27Z","type":"item","id":"Q6916612","labels":{"en":{"language":"en","value":"Commuting pairs in quasigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8105486"}},"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":"Q6916612$AC7EDA5C-5B12-4242-97D1-CC923B4FEB55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95610adbc1489a2bb32009c866c448014e19bae9","datavalue":{"value":{"text":"Commuting pairs in quasigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6916612$9D9CD51F-64BC-4CB6-8E88-39B9E59BB58B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69c7e8feee74e71c81a875774e5dff1e050603ca","datavalue":{"value":"10.1002/JCD.21994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916612$BFB0D756-D694-43BD-8242-5575AFC8A410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c6184fb7b474471d547473f9e6b8dd5d7a4815","datavalue":{"value":{"entity-type":"item","numeric-id":1979957,"id":"Q1979957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916612$084BD148-E29D-4256-A507-14A553AAC57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e220587479223de18c3fe34ed00b3705b574f1e0","datavalue":{"value":{"entity-type":"item","numeric-id":215147,"id":"Q215147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916612$381415A7-93EB-4030-BA26-E82971905D1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b20a6023d6094131212b171e615867c6783c927","datavalue":{"value":{"entity-type":"item","numeric-id":2725040,"id":"Q2725040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916612$5AA64723-AE05-4463-9FF9-365BE6516244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"649f7effc355da50d14f0c965ab07ea7bae1a67d","datavalue":{"value":{"time":"+2025-10-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":"Q6916612$8AD4B4CD-158A-45D0-AF94-4B94F8DA12DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"debd27ccc29981bb8d42bd29cac51012c9d76f47","datavalue":{"value":"In this work, a pair \\((x, y)\\) in a quasigroup \\((Q, \\ast)\\) is called a commuting pair if\\N\\[\\Nx \\ast y = y \\ast x \\quad \\text{for all } x, y \\in Q.\\N\\]\\NThe symbol \\(\\mathcal{C}(Q)\\) denotes the number of commuting pairs in \\(Q\\), that is,\\N\\[\\N\\mathcal{C}(Q) = \\bigl| \\{ (x, y) \\in Q^2 \\mid x \\ast y = y \\ast x \\} \\bigr|.\\N\\]\\NLet \\(n\\) be a positive integer and define\\N\\[\\N\\mathcal{C}(n) = \\bigcup_{Q} \\mathcal{C}(Q) \\quad \\text{and} \\quad \\mathcal{D}(n) = \\{ n, n+2, n+4, \\ldots, n^2 - 6 \\} \\cup \\{ n^2 \\}.\\N\\]\\NIf \\(\\mathcal{C}(n) = \\mathcal{D}(n)\\), then \\(n\\) is said to be \\textit{saturated}.\\N\\NThe paper presents two main theorems, derived from several technical lemmas. The first one, Theorem 1.2, states that for any positive integer \\(n\\) and any integer \\(k \\in \\mathcal{D}(n)\\), there exists a quasigroup of order \\(n\\) having exactly \\(k\\) commuting pairs. Using Theorem~1.2, the authors further prove Theorem 1.3, which provides a characterization of the set \\(\\mathcal{K}(q)\\) of positive integers \\(n\\) such that there exists a quasigroup \\(Q\\) of order \\(n\\) with \\(\\frac{\\mathcal{C}(Q)}{n^2} = q\\) for each \\(q \\in (0,1) \\cap \\mathbb{Q}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916612$10CE75C0-8A15-4FEC-84A9-EA3EBF4D81B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc34c344f257edc6f839b199f034c6f36c59f67","datavalue":{"value":{"entity-type":"item","numeric-id":2671948,"id":"Q2671948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916612$A3752410-8366-4667-A7D8-C5305BA5D473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"29598bfbd54c93cff2d02866d756bf435eb82b22","datavalue":{"value":"20N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916612$9DB2360E-3F07-481F-9C4C-E803B28AAEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0fb5c2b5135b23a64eead86c75bb584d8442d720","datavalue":{"value":"05B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916612$BB033326-E3D3-4443-9AC9-7E986C4F8608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d695e26befb03948412cae77cac7a8c78d4e6ef8","datavalue":{"value":"8105486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916612$342E5F2E-4909-40B6-BE36-F6F57FB7F98D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916612$32F15ED3-FBA2-4047-B968-489A68E2FF9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd350ada6c4efe5c2929b29553ec7a59863c2df","datavalue":{"value":"commuting pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916612$6711BFF5-3E7F-4D94-9660-3688AC3DFD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1fa95d47fad1091380ff60cd1afd6cc866c99a","datavalue":{"value":"Latin square","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916612$0E11CB2E-EE84-42C5-BE63-61F088ACE48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67c84447d295f7d9ab1bf3bb2d32335e5a0ba755","datavalue":{"value":"quasigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916612$18942BF5-1FAB-4C22-B5C2-0B64F7AB41E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d684bb72fb77a49ba0d4983c0a0073213e6f95","datavalue":{"value":"commuting pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916612$D4B2D28E-59E6-40D0-A32A-5814ED2E3372","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":"Q6916612$CA4D51E6-37F3-4075-9FEB-CE221C2EFEB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Commuting pairs in quasigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Commuting_pairs_in_quasigroups"}}}}}