{"entities":{"Q2759004":{"pageid":2769743,"ns":120,"title":"Item:Q2759004","lastrevid":57993981,"modified":"2026-04-03T09:21:18Z","type":"item","id":"Q2759004","labels":{"en":{"language":"en","value":"Every diassociative \\(A\\)-loop is Moufang"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1680664"}},"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":"Q2759004$7775A743-3ABE-4C6A-B983-A7FD578D1484","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c19a80a9987b7c86770bcc0add78c549dbd3734","datavalue":{"value":"0990.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759004$3C6ACBA0-A46A-4874-9BFF-01029FE42FD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87f6ff82b5f4c94f3c50b99b83e4c9a96d7e9d47","datavalue":{"value":"10.1090/S0002-9939-01-06090-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759004$8857BDD0-E022-43C6-9D2C-4D2A5EA5CB76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$1AC6ACB7-5674-4B39-BC06-7385784F8333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a09d4e28e88d58b7dd899405fadc6bdce009a8","datavalue":{"value":{"time":"+2001-12-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":"Q2759004$4AF93AA5-40D5-446F-9E08-7170643CA4D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b38fc2bd8ff26b1b2fc9b5943eb8260f49d55b9f","datavalue":{"value":"https://arxiv.org/abs/math/0007195","type":"string"},"datatype":"url"},"type":"statement","id":"Q2759004$FA01F936-811A-4AD7-8159-97542DD6A184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759004$B78E064E-AC3A-453F-A8FD-DE83898D2C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759004$D9C59697-A748-4249-B8D1-25BBC3FA7A28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1835c618f862af97a1c253a8f784b77386ffbf26","datavalue":{"value":"1680664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759004$FBE12C8B-2EB6-4B30-BF14-5E044A818B9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa11190a32a4354b0c3495ef90a5983e709582d","datavalue":{"value":"diassociative loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$A11F872C-C73D-48DB-9C2D-72D67F657002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27284b7ad782fc4c9b2f7ab5a1e6694c5a780a7","datavalue":{"value":"\\(A\\)-loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$C76C5C9B-3CC8-40CD-AC4D-8CFFADCA4535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de031a609729d4e43317e052d6e53f9661bc0d09","datavalue":{"value":"Moufang loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$7D8C2B84-3987-4EDF-B9AC-BFF91C226B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13f81fb485ea9c2308c6e6fdc90a8709a1e3dcba","datavalue":{"value":"right translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$36E1A8AF-1431-43E2-86D5-70F28114E1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bd4b119963e0ca8d4e6547a5bc141bb0c3505e","datavalue":{"value":"inner mapping groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$91DF888D-2472-4908-B327-C6D7A162828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b44318a7cd6ccf97f20e5798e063d4542286787","datavalue":{"value":"groups of inner automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$B236B914-BF7C-4FBE-8E48-121EC35B7513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"743ae955071c8aba6af7b3fac48c60fa7107166d","datavalue":{"value":"diassociative \\(A\\)-loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$B0E00DC1-C915-4724-939B-8914AEC5915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83a4003069926cc612c694964e3cbdf707c8f2c7","datavalue":{"value":"computer-aided proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$471F72C5-EF21-42B6-9F8F-1BEE06AACE39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$D9857DD4-DA2A-4AA1-A167-40D7F80EC955","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":"Q2759004$64AFE73A-F377-4140-AAA5-AF89ACC6D27A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b8f60e0cd3c4365199ff7a30d1592857f4449e","datavalue":{"value":{"entity-type":"item","numeric-id":3248988,"id":"Q3248988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$68E2D6E9-C7BB-40C4-916B-813DF41B11F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803bb5f8818af3844c8278e534ec92c6f35f8134","datavalue":{"value":{"entity-type":"item","numeric-id":768104,"id":"Q768104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$7B89E0A5-DF3E-4E22-805F-A8134EDCC99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dedf1b3eb14d1ed65aea42519321836d47ad1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5751074,"id":"Q5751074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$A61C2239-9AF0-48EB-8FC0-FB7162276425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd54bcac7040f5d5154ccda68e185303a7e23dd","datavalue":{"value":{"entity-type":"item","numeric-id":1893129,"id":"Q1893129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$DFCB9620-495F-439F-B4F3-0ABDEAE01072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8ff14107ce8d99df5331d1320a666bc5b9ff0f","datavalue":{"value":{"entity-type":"item","numeric-id":1921907,"id":"Q1921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$8548EE0F-C067-4E42-BE41-D95E1BCF2DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa660f8c87dd5423aead00912026f202bc5e03a","datavalue":{"value":{"entity-type":"item","numeric-id":1814982,"id":"Q1814982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$C612F272-F940-4EF7-B40F-68876D5B9C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb477e8a1d463bd85cf6d55927cf3eb79191e02","datavalue":{"value":{"entity-type":"item","numeric-id":4382448,"id":"Q4382448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$6749C7B0-70A6-4153-8CD0-BD2C8D94B1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a61cacff39425301c5269d6f34854deeba3dca","datavalue":{"value":{"entity-type":"item","numeric-id":1818879,"id":"Q1818879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$67434759-B0A1-4150-B28E-979DEDA5BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116494181a0a343dc2030f6cba8dbc307d8cbd10","datavalue":{"value":{"entity-type":"item","numeric-id":4955715,"id":"Q4955715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$B7308E4B-BD12-474D-9DE6-14746E7E236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c889261324602a243f12016bb548fa29e315d0","datavalue":{"value":{"entity-type":"item","numeric-id":1919221,"id":"Q1919221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$A7B89C21-9727-4798-B219-140A8281D82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8081c6fb9e8d4bc6ae9066b6cee101329831787","datavalue":{"value":{"entity-type":"item","numeric-id":5628377,"id":"Q5628377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$EFD560CF-9E08-47DE-81B6-B3C65DB37C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55ae123e5b42953d716d3c56c5865f788cd4b87","datavalue":{"value":{"entity-type":"item","numeric-id":3276713,"id":"Q3276713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$54843B32-71F1-4835-8965-71C1F2532050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cef60f49122cbdc8855980bc9949c7fcffb3541","datavalue":{"value":{"entity-type":"item","numeric-id":5444850,"id":"Q5444850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$C3326AC5-02F2-4F38-A539-2CE23E93F636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddff7be611c1c2617bb2091e9d729b7644313829","datavalue":{"value":{"text":"Every diassociative \\(A\\)-loop is Moufang","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2759004$5E0E4D48-BF5F-4C73-914D-698FBD981754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266db153a53e546844fc36f71b0b8a034829e061","datavalue":{"value":{"entity-type":"item","numeric-id":855330,"id":"Q855330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$4B532D6F-3CA6-4A77-A7BE-1BCB1420E7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33dfb6f44f92015b009380f4101146dae8d33fba","datavalue":{"value":{"entity-type":"item","numeric-id":438808,"id":"Q438808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$CE17F7E0-D456-4207-9CAE-7C18F76D66F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca0f88b2c9049a59599d31d4dded248f03025138","datavalue":{"value":{"entity-type":"item","numeric-id":4319633,"id":"Q4319633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$076E95B2-30F8-4CA5-96F0-2784DB6BF17B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"465f91fcdb2d4418867ba3c0e395620c9e3a5f06","datavalue":{"value":"Given a loop \\((L,\\cdot)\\), for any \\(x\\in L\\) let \\(L(x)\\) and \\(R(x)\\) be the left and the right translation by \\(x\\), let \\(\\text{Mlt}(L):=\\langle L(x),R(x)\\mid x\\in L\\rangle\\) be the subgroup of \\(\\text{Sym }L\\) generated by all left and right translations and let \\(\\text{Mlt}_1(L):=\\{\\phi\\in\\text{Mlt}(L)\\mid\\phi(1)=1\\}\\). \\(\\text{Mlt}_1(L)\\) is called the inner mapping group of the loop \\((L,\\cdot)\\) and, in the associative case, it is the group of inner automorphisms of \\((L,\\cdot)\\). A loop \\((L,\\cdot)\\) is called an \\(A\\)-loop if \\(\\text{Mlt}_1(L)\\leq\\Aut(L,\\cdot)\\). Every \\(A\\)-looop is always power associative (i.e. every \\(\\langle x\\rangle\\) is a group) but not necessarily diassociative (i.e. every \\(\\langle x,y\\rangle\\) is a group). On the other hand, if \\((L,\\cdot)\\) is a Moufang loop (i.e. \\(\\forall x,y,z\\in L\\), \\(x(y(xz))=((xy)x)z\\)) then it is diassociative. In this note the authors shed light on the relationship between Moufang loops and \\(A\\)-loops, showing that every diassociative \\(A\\)-loop is a Moufang loop. They resort to computer-aided proofs via McCune's OTTER program, also commenting on some drawbacks thereof, and the need of ``humanization'' of counterintuitive procedures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759004$143CFB03-DA13-4320-9D04-780FAF918BB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d258ccc0a8c794a01a4c80cb0d1ec84463c9ece4","datavalue":{"value":{"entity-type":"item","numeric-id":480889,"id":"Q480889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759004$A0D1AFE4-9093-40F6-8725-2DE0F49F8245","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c30413d7ddd61ad6cd58e0625565993a6eda7b","datavalue":{"value":{"entity-type":"item","numeric-id":4457291,"id":"Q4457291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb9239b75ef70d31696cec9fdba8f09805ef39b","datavalue":{"value":{"amount":"+0.8210502862930298","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":"Q2759004$8A35D7E6-E391-4234-BC28-F076966A3B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76530613488fda4c88103d5e5e781390e94a1aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2845036,"id":"Q2845036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b36a9f6965ce500a44a7954693a837bdb20459","datavalue":{"value":{"amount":"+0.7936367392539978","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":"Q2759004$E77D2DBA-8C1A-4B01-8F48-E4CFD1A0D968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128585b4c25ba6360b947a790a1adf77df24cb15","datavalue":{"value":{"entity-type":"item","numeric-id":4457281,"id":"Q4457281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d3ff5187f60449f864ff4e69bf05d85c33ac23","datavalue":{"value":{"amount":"+0.7872135043144226","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":"Q2759004$BD385400-D323-466F-95B3-7F90AC572EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7873ad37322d7328678807d16a7d11849692c005","datavalue":{"value":{"entity-type":"item","numeric-id":1921907,"id":"Q1921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7dc90bbe487f8efc673a059bbdd77dbc8dad3ed","datavalue":{"value":{"amount":"+0.7863348722457886","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":"Q2759004$AF8BF2C9-D532-4ACD-A679-DF407CAFED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630ece6e3b51be6ac4847a0a4cbf66ed5fdba604","datavalue":{"value":{"entity-type":"item","numeric-id":2942805,"id":"Q2942805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683532e14d6e9640e7f2835efc1ad7e9b718fe3e","datavalue":{"value":{"amount":"+0.7822566628456116","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":"Q2759004$5A453448-3A2B-4B23-A60D-65B1DAF09BCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2759004","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2759004"}}}}}