{"entities":{"Q1909530":{"pageid":1920272,"ns":120,"title":"Item:Q1909530","lastrevid":46444917,"modified":"2025-12-24T19:28:04Z","type":"item","id":"Q1909530","labels":{"en":{"language":"en","value":"Free groups and unification in \\({\\mathfrak A}_ m{\\mathfrak A}_ 2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856549"}},"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":"Q1909530$FBBE864F-68DA-494D-ADAA-7562607DF83F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33611411a42fa479174e97d66f07790d9c83465c","datavalue":{"value":{"text":"Free groups and unification in \\({\\mathfrak A}_ m{\\mathfrak A}_ 2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909530$E30363BE-3418-4154-8153-ACAD891DB3FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3383e8ee85a42be50c62aa0bae2761d92afcaf96","datavalue":{"value":"0846.20030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909530$F16DE106-B81B-499B-B5D3-96F1E4DE47CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909530$4936F85D-725C-427B-AFC7-DF75319748E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c52e4811fffdb8f318da6437d640586a60136db4","datavalue":{"value":{"time":"+1996-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1909530$867B98E1-0E9C-4BCF-8846-ECBA68DE8AA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"904a69754fae143c327a0632ea08941f3841be6d","datavalue":{"value":"The aim of this paper is to describe the free groups of the variety \\({\\mathfrak A}_m{\\mathfrak A}_2\\), where \\(m\\) is odd, and to determine the unification type of this variety. The description of the free groups is given in terms of generators and is aimed at yielding a clear picture of the structure of these groups as a whole. Let \\(G\\) be the \\(k\\)-generator free group in the variety. Then \\(G\\) has a normal subgroup \\(A\\) which is a direct sum of \\(2^k(k-1)+1\\) copies of \\(Z_m\\) and has a subgroup \\(U\\) isomorphic to the factor group \\(Z^k_2\\). The generators for \\(G\\) are then given in terms of generators of \\(U\\) and carefully chosen generators for \\(A\\). The next section of the paper deals with finding the unification type of this variety, that is, considers solutions to systems of equations of the form  \\[ \\Sigma=\\{t_1(x)=1,\\;t_2(x)=1,\\;\\dots,\\;t_n(x)=1\\} \\]  in a finite sequence of variables \\(x=x_1,\\dots,x_k\\), where each \\(t_i(x)\\) is a term in the language of groups. If \\(\\alpha\\) and \\(\\beta\\) are both solutions of \\(\\Sigma\\), then \\(\\alpha\\) is said to generalize \\(\\beta\\) if there is an endomorphism \\(\\theta\\) of \\(G\\) such that \\(\\theta_\\alpha=\\beta\\). The main theorem of this section shows that every equation over \\(G\\) has a most general solution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909530$11541748-941E-4064-AF9A-CD1504380EF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909530$67D91E60-CF73-443F-83BB-09ACDA1EB728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909530$21259BD7-5F6F-4C56-873F-AF6631FB4467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909530$4C56D5DA-65F7-4737-92ED-8E7774905BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909530$C5A8E850-2B1D-4315-872D-34F15A7419D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909530$7B95E2B0-8658-4255-94A3-5419DDAB12E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50132143e942349f89dad934f047b638d9aa38f2","datavalue":{"value":"856549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909530$DBDD97AB-F739-4D51-90E1-B04D74555B0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6402e4ac8f155e2c21fac31a5f154cea814983c9","datavalue":{"value":"systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909530$6FB883B4-C47F-4250-BF0B-157B5B581B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909530$40E34039-CDE1-497B-81E6-5A56E614705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909530$830498E0-9C4C-4F01-8850-48695E354544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909530$E6A30B60-926A-498E-AED1-B3F113791AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2014777d68d4f183b0e467439f8afb0bfd85a71","datavalue":{"value":"solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909530$95E8761A-8404-41EC-BDED-803DE1E10740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de112a34ff9048b1b550236768ba85524bc700ad","datavalue":{"value":{"entity-type":"item","numeric-id":766144,"id":"Q766144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909530$5A5D6553-6F42-42FE-BC99-747E6655D798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1161d27607a64aa0eb3ea914073aca57398c43ab","datavalue":{"value":{"entity-type":"item","numeric-id":161563,"id":"Q161563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909530$D404FFDD-F663-4770-BB6C-2D1BF3AB98E1","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":"Q1909530$15E3585A-66A6-4CDB-8F27-879EF50513B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1c8278c4051c7b66b02ee3c3fe18c09bfec3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4890688,"id":"Q4890688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70194f249745bce7dad59f702a82ca0c141808c","datavalue":{"value":{"amount":"+0.7898437976837158","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":"Q1909530$1793175E-50CA-46E3-8F94-6DF4DF7F602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d98df6e06b91d22eb1414e900b60442198f87d","datavalue":{"value":{"entity-type":"item","numeric-id":4321864,"id":"Q4321864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acd577b824ba7ef48058894356624e7156cbee4","datavalue":{"value":{"amount":"+0.7762404084205627","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":"Q1909530$1A6C7017-9337-49F9-B14E-220BD6132F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2527d479e475bd47024f2141019a7d6753c2e680","datavalue":{"value":{"entity-type":"item","numeric-id":4794044,"id":"Q4794044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e57c6d5e2c6296f6d850b6ed62c5b7aad102d7a","datavalue":{"value":{"amount":"+0.7708635926246643","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":"Q1909530$D8C93C29-6307-4301-B8D0-892E1C9C3B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d9e6176e3729777d139b3e1d073eb8eac84460","datavalue":{"value":{"entity-type":"item","numeric-id":1383954,"id":"Q1383954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b183800e417981d02c0e2893356589e28a6f658","datavalue":{"value":{"amount":"+0.765243649482727","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":"Q1909530$39C63BAD-8F86-4FD9-BA44-17CFEFAF3315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1909530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1909530"}}}}}