{"entities":{"Q1375350":{"pageid":1386090,"ns":120,"title":"Item:Q1375350","lastrevid":68580504,"modified":"2026-04-13T00:41:44Z","type":"item","id":"Q1375350","labels":{"en":{"language":"en","value":"A classification of some unsoluble varieties of groups of exponent four"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104103"}},"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":"Q1375350$D0DE1A95-C2CD-48A3-981B-3BA3B68896E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb567cf6772db74a48bed4fe00596014e04f2d21","datavalue":{"value":{"text":"A classification of some unsoluble varieties of groups of exponent four","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1375350$41FD8ACE-A7FB-4AF6-A983-03768E1E9A55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5715038f68d3b6ef9a12632a5959582fd537ea99","datavalue":{"value":"0890.20020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$1085B744-C77B-414C-9D50-CAC2E7930F5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f860aca28aa4f858b4c21d5b395cff0a001214d","datavalue":{"value":{"entity-type":"item","numeric-id":222420,"id":"Q222420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$8030A159-C281-4285-8C86-38BBFB2BFEA0","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":"Q1375350$3158555E-24B6-46A5-BFCB-0FD25A9AA06F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11f7738b90032b640ef86af9767c7f4f407bb95e","datavalue":{"value":{"time":"+1998-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1375350$B7154D4C-1E22-4666-B81A-B17969F718D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c593afb94695abb472a500a00f89173b98e6a63","datavalue":{"value":"This substantial paper on varieties of groups of exponent 4 continues work begun by the author in another paper [``Varieties of groups of exponent four'', J. Lond. Math. Soc. (to appear)]. The results are worthy of full description, even though some preliminary definitions are needed. Let \\({\\mathfrak B}_4\\) and \\({\\mathfrak E}_4\\) be the varieties defined by the law \\(x^4=1\\) and the 4-Engel law \\([x,y,y,y,y]=1\\), respectively. Define  \\[ \\ell_3(x,y,z)=[y,x,x,x,z][y,x,x,y,z,x][y,x,x,z,x,z,z][ ^2,x,y^2,x,x], \\]  and, for \\(n\\geq 3\\), let \\(\\widetilde{\\mathfrak L}_n\\) be the variety defined by the laws \\(x^4=1\\) and \\([\\ell_3(x_1,x_2,x_3),x_4,\\dots,x_n]=1\\), and let \\({\\mathfrak L}_n=\\widetilde{\\mathfrak L}_n\\cap{\\mathfrak E}_4\\). Define  \\[ k_4(x_1,x_2,x_3,x_4)=\\ell_3(x_1x_2,x_3,x_4)\\ell_3(x_1,x_3,x_4)\\ell_3(x_2,x_3,x_4), \\]  and, for \\(n\\geq 4\\), let \\(k_n(x_1,\\dots,x_n)=[k_4(x_1,x_2,x_3,x_4),x_5,\\dots,x_n]\\) and  \\[ d_n(x_1,\\dots,x_n)=k_n(x_1,x_2,x_3,\\dots,x_n)k_n(x_1,x_3,x_2,x_4,\\dots,x_n)\\cdots k_n(x_1,x_n,x_2,x_3,\\dots,x_{n-1}). \\]  For each even integer \\(n\\), where \\(n\\geq 4\\), let \\(\\widetilde{\\mathfrak D}_n\\) be the variety defined by the laws \\(x^4=1\\) and \\(d_n=1\\), and let \\({\\mathfrak D}_n=\\widetilde{\\mathfrak D}_n\\cap{\\mathfrak E}_4\\).   The author's main result is that every proper subvariety of \\({\\mathfrak B}_4\\cap{\\mathfrak E}_4\\) which contains \\({\\mathfrak L}_3\\) is either equal to \\({\\mathfrak L}_n\\) for some \\(n\\) or is equal to \\({\\mathfrak D}_n\\) for some even \\(n\\). From this he obtains a classification of all subvarieties of \\({\\mathfrak B}_4\\) which contain \\({\\mathfrak L}_3\\): the varieties in question are \\({\\mathfrak B}_4\\), \\(\\widetilde{\\mathfrak L}_n\\) (\\(n\\geq 4\\)), \\(\\widetilde{\\mathfrak D}_n\\) (\\(n\\) even, \\(n\\geq 6\\)), \\({\\mathfrak B}_4\\cap{\\mathfrak E}_4\\), \\({\\mathfrak L}_n\\) (\\(n\\geq 3\\)), \\({\\mathfrak D}_n\\) (\\(n\\) even, \\(n\\geq 4\\)). Finally, the author obtains a reduction theorem for the finite basis problem for subvarieties of \\({\\mathfrak B}_4\\): if \\({\\mathfrak B}_4\\) has a subvariety which is not finitely based then so does \\({\\mathfrak L}_3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375350$499628FF-0F80-4C28-BCCB-C1673957624B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$896321C2-316A-4211-B2E6-1A13A77F3192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da7d13252df5708522b7ceeb19d39cc84f4ce6d6","datavalue":{"value":"20F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$37E79F41-9EE0-46BD-ACEB-902C80A5E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$29251AAF-927F-4BD5-9551-40BCAF67A24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$76162069-B73C-4234-9D66-E04B4A4B15D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05919260c2331f55f65fdc47bdf300ca1d5ebb29","datavalue":{"value":"1104103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$7EE3D1CF-3582-4F71-B634-AF6D631C2348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"009fa42619dda747d38ab8f58e65a6780662155f","datavalue":{"value":"varieties of groups of exponent 4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375350$B3BC5A96-0313-44CF-8502-2F717D4427CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"083f3668ea185459b70eabb37f2c0d4c394efe11","datavalue":{"value":"4-Engel law","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375350$E8C36FAC-40FB-4C45-A9C5-9F50B436F32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fbf857eb8b7252d0ae2d4cd45fb41e60c91c39","datavalue":{"value":"finite basis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375350$A6CDA706-1ECE-4BF2-A51A-2EDA10677AED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f63b4e82ff3d1a57c8af22ff8456f75d76016a15","datavalue":{"value":{"entity-type":"item","numeric-id":442456,"id":"Q442456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$34AD50D8-57DA-4F0C-B089-1D5B9EB9A7B6","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":"Q1375350$966C727E-71D6-46EA-B07A-FB83E6B0E733","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae2876acb625035171e3c50046e935b4f3494ed","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7133","type":"string"},"datatype":"url"},"type":"statement","id":"Q1375350$1BFF05F6-7893-4BE7-A99A-E10878CA590F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8478212daec4abd33f73d2c6e7dc719979e5dd61","datavalue":{"value":"W1968783742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$216CCEBC-1F08-40E2-9F5C-9C7350033632","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a87f8814ef8f9569d95b3105fbcceb844f3acbe","datavalue":{"value":{"entity-type":"item","numeric-id":4041783,"id":"Q4041783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$5C275097-B168-4EC4-9E37-D0E75B4831C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98260cf69be1b523909fa7a03c37d3647201d5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3869534,"id":"Q3869534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$83958C1F-A60C-48D8-9FA9-1F0AF373F2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2273b785d37115af94432e0bddeb1e2ceea0714d","datavalue":{"value":{"entity-type":"item","numeric-id":3970446,"id":"Q3970446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$656D5A3B-E4D0-4859-B51E-016FC0C8297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$293B5B7D-817C-4817-A745-B3BDC15EB83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92cabe56d6bd1c1850e22e87131d0ae2d3c84599","datavalue":{"value":{"entity-type":"item","numeric-id":4335881,"id":"Q4335881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$E0C08284-9B2D-4160-B565-43463DDC1A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74fe720e7a9999e7abca208717f7c46fd17af198","datavalue":{"value":{"entity-type":"item","numeric-id":1375350,"id":"Q1375350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$3E1F8E7C-0E1A-4281-97DC-1C833D1802DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d58ea4ab309bb0cf11e7b89e33ca54c64c1fb578","datavalue":{"value":{"entity-type":"item","numeric-id":3855377,"id":"Q3855377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$3E02904C-D3D7-41FD-B445-D3F1759FBCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2180a0e015e07ac302fe252b3827300ea19b2e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4081467,"id":"Q4081467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$262B3B77-252F-4E97-A5FB-0E203BBABFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3278e7533fb9adc7ea30ba52de0e715c45078b","datavalue":{"value":{"entity-type":"item","numeric-id":4288980,"id":"Q4288980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$8D4800AA-9D8A-482A-8087-F721CA909C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b903f3bb278f62d5c7d69d5136d719aa9df6049","datavalue":{"value":{"entity-type":"item","numeric-id":2394075,"id":"Q2394075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375350$BC1AB0B6-88CA-4FC5-93B6-23F1D9189782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ed406bc94cede4351c7b6437bc40600d90e18ee","datavalue":{"value":"10.1006/JABR.1997.7133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375350$285BFC65-E7E4-445E-A1BE-EC0E99E08F33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57a699f216619ab1b0479203c5ed6fb41e788da","datavalue":{"value":{"entity-type":"item","numeric-id":4487508,"id":"Q4487508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15b12bd28848ad0f4b2b43c117c3da041acff27","datavalue":{"value":{"amount":"+0.9033777117729188","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":"Q1375350$1F730693-E398-45B6-B036-A9CB93B1D768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59b85d72dcd4fe0600047b8737797be0429d32c","datavalue":{"value":{"entity-type":"item","numeric-id":4494208,"id":"Q4494208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2c7fa001578d9f40e77755a2355b48c5bf409e","datavalue":{"value":{"amount":"+0.8159564733505249","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":"Q1375350$21EC032E-D966-40BF-BAF2-AAA2CCCB2734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6025a86b0d3de79917e9b84deff2e1a02c23e532","datavalue":{"value":{"entity-type":"item","numeric-id":5691432,"id":"Q5691432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce62b336e83e3158f6a357ab3a9263dda68edead","datavalue":{"value":{"amount":"+0.804986298084259","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":"Q1375350$3C78C8F0-353D-4CD9-A3B9-D6FC6A56D70E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A classification of some unsoluble varieties of groups of exponent four","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_classification_of_some_unsoluble_varieties_of_groups_of_exponent_four"}}}}}