{"entities":{"Q2644767":{"pageid":2655510,"ns":120,"title":"Item:Q2644767","lastrevid":49478791,"modified":"2026-01-07T05:42:08Z","type":"item","id":"Q2644767","labels":{"en":{"language":"en","value":"\\(\\exists\\)-free groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4194007"}},"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":"Q2644767$3CD02B35-BAFA-4050-9074-8B8F070F6BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"448774acfb00e07570748f1259b9ff9edb542ecf","datavalue":{"value":{"text":"\\(\\exists\\)-free groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2644767$DC570AA6-EDC5-4816-BB12-9311718A688D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1e680786cd4b53852b3191bcd5cb10b6783a18e","datavalue":{"value":"0724.20025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$CC90BE6A-0070-4249-AE5C-3AF760B55B72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04f856ac1f0ffad5ac15c2856d453ab7b5ebdf52","datavalue":{"value":"10.1007/BF00970922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$9A8B0EBC-FE85-45AD-B243-B7133A6DD6A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644767$1036AEDB-E998-4B09-B1D4-B7E3953D0D66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2644767$588F73BC-2C1A-43F5-8004-B15B7ED54B1D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"03ae0110577baefeb31a5a7ddf81b690ee64a13f","datavalue":{"value":"For a group \\(G\\) let \\(Th_{\\exists}G\\) denote the set of all \\(\\exists\\)-sentences true in \\(G\\). If \\(F_ 1\\) and \\(F_ 2\\) are free groups of finite rank \\(\\geq 2\\), then \\(Th_{\\exists}F_ 1=Th_{\\exists}F_ 2\\), because each of them contains the other. So one can speak about the \\(\\exists\\)-theory \\(Th_{\\exists}F\\) of free non-abelian groups. Call a group \\(G\\) \\(\\exists\\)-free iff \\(Th_{\\exists}F=Th_{\\exists}G\\). Call a group \\(G\\) \\(\\omega\\)-residually free if for every finite subset of non-unit elements of \\(G\\) there exists a normal subgroup \\(N\\) of \\(G\\) such that \\(G/N\\) is free and \\(N\\) has empty intersection with the given finite subset.   In the paper under review it is proved that for a finitely generated group \\(G\\) the following conditions are equivalent: 1. \\(G\\) is \\(\\exists\\)-free, 2. \\(G\\) is \\(\\omega\\)-residually free, 3. \\(G\\) is residually free and does not contain \\(F_ 2\\times Z\\), 4. The relation of commutativity in \\(G\\) is an equivalence. The analogs for \\(\\omega\\)-free commutative rings are also proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$238CB61F-C685-4505-B009-84094DE4619A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$7B2A9067-DD9A-4A52-80B2-3627AC5061AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$0C32E58C-DAA7-40B8-99DF-AC0C37F5FA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$53036F55-1B85-44CF-8E4A-7D20B96E0F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afe0dc0c0736bb69fa09cc63d89cf0239c70ef90","datavalue":{"value":"20E26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$3E2FC50B-6CB4-4666-9487-FF3AD108AE17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"747623eb690c57e2835de43b1dfa5c47286465c6","datavalue":{"value":"4194007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$51642DEF-D3B3-4652-ACE9-39E4D7C96188","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76eff84f95b4b9bed8e3c571e084c4e1232f7aad","datavalue":{"value":"existentially free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$BE0B5471-AF1D-4FBE-9E2A-21BBC160DE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701006b20d32b2ef7a9c357499797c72b4844400","datavalue":{"value":"\\(\\exists\\)-sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$E08ACEEC-45C0-4501-8B20-990AD2899130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7570c44e353eb8b2d9b553d52380dc2cdcb8be0","datavalue":{"value":"free groups of finite rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$A42047EC-1AF3-41BB-976C-DD903951D3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb15d36e6a64647150e4c1297960d33425dc5c55","datavalue":{"value":"\\(\\exists\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$7A212A11-245A-4951-9B8A-4338F3B84EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542470d6f63fefcd2ae937cc78d1c833a1db112c","datavalue":{"value":"finitely generated groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$A673DFBE-F560-44EC-847E-CFF3514C6159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b16e7dccb676b163fae1524d5a6c4f7fe7d3461","datavalue":{"value":"\\(\\exists\\)-free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$2A0A62D4-C3FA-47D3-8BA6-2FAE9210543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aaede11660cd46d1580f6ace7488b87b17c9555","datavalue":{"value":"\\(\\omega\\)-residually free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$357048DA-F400-456D-A365-8692BE5A9F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac32484f3f41afdcb2f2791d910c5e5127514984","datavalue":{"value":"\\(\\omega\\)-free commutative rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2644767$576250E9-DDB7-4C1C-8398-418607BFF9CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b37fd41a4f934e2be7f45ec34972593a5558d61","datavalue":{"value":{"entity-type":"item","numeric-id":656399,"id":"Q656399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644767$B7CF7786-B0EB-4C14-9AA9-881A917FB900","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":"Q2644767$74E23E34-1CEE-4C8E-9B97-A9CF8CDEE41B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98083e061b899e86ccdef32fb39a86f5f008279","datavalue":{"value":{"entity-type":"item","numeric-id":5552198,"id":"Q5552198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2644767$BDC69CC1-2E6C-49D0-A694-2AFA00273C96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29841efa2ca9c7ad49b1cd719f0a6926f8422c7f","datavalue":{"value":"https://doi.org/10.1007/bf00970922","type":"string"},"datatype":"url"},"type":"statement","id":"Q2644767$46F1C2F8-362E-41F9-A41F-CDCACD0643DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9755107071653c0b511b04a4690271d74fcb60d9","datavalue":{"value":"W4241641878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2644767$421445B2-1BC7-4CDD-96F4-15A650B49346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365e842753531d41688dc3f27041929af5d93c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4855717,"id":"Q4855717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3919c042816cf79f25f1fbdbb99a869bd18f431","datavalue":{"value":{"amount":"+0.791803240776062","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":"Q2644767$5F8C761E-CF4E-4CF3-A23C-3EE56F4FB494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d445f2589c0ccc5b1fbfe54a04f76de62367e8dd","datavalue":{"value":{"entity-type":"item","numeric-id":4338320,"id":"Q4338320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a790f3cab8a4caac877b6bcabb2bc7bb12163289","datavalue":{"value":{"amount":"+0.7898427248001099","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":"Q2644767$B8B7E5EA-EE05-4773-B7AF-8346E2CBDAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773375a469b67e5196d82d09b2d3a4c13513af32","datavalue":{"value":{"entity-type":"item","numeric-id":2501184,"id":"Q2501184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1d810397f9c053b2835759a913c29c1d104127","datavalue":{"value":{"amount":"+0.7885880470275879","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":"Q2644767$93B3E11B-7165-4265-ACB4-93EE9EC0681E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa46e3165cb7ac7c61ee3c05daa668c6cbb9a8a4","datavalue":{"value":{"entity-type":"item","numeric-id":1810546,"id":"Q1810546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a762133c7bbff9db88a1907e93c580fb645f21","datavalue":{"value":{"amount":"+0.7779293656349182","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":"Q2644767$5E770440-F93F-4BD0-93B8-F5988624880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d75e08bb31df704c3ab90ec7c40feb3260fd87","datavalue":{"value":{"entity-type":"item","numeric-id":4226365,"id":"Q4226365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7900f3ccb193549d07b5abf988f726e9c236d94","datavalue":{"value":{"amount":"+0.7741867899894714","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":"Q2644767$A2407BD7-3D4A-4C4C-89FF-8F97076C0328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2644767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2644767"}}}}}