{"entities":{"Q1074717":{"pageid":1085469,"ns":120,"title":"Item:Q1074717","lastrevid":69578106,"modified":"2026-04-13T07:58:06Z","type":"item","id":"Q1074717","labels":{"en":{"language":"en","value":"Elementary group equivalence with the integral length function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948590"}},"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":"Q1074717$31A6DBE1-79D8-44A8-B85B-E7814448B2BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a7a8ee6325e469e2e2aabe2c812a3a7e8cda011","datavalue":{"value":{"text":"Elementary group equivalence with the integral length function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074717$B1ED374E-B428-46C0-A58F-734E32CB99FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecdb54b453e569533075f9df292daf4b5c305ae7","datavalue":{"value":"0591.20039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074717$A236BDCB-3B04-47CC-8B7E-A647903E53D0","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":"Q1074717$80A3D385-9EF6-4BEE-96C4-91A6160396A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1074717$FE547042-9044-49C1-A605-77A2239F886C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ee7aca30b7c7450e81efe2a7587cf689160db26","datavalue":{"value":"The main concern of this paper is the elementary equivalence of classes of free groups with operators and free products with a length function. They use a number of results about free groups, free products and free operator groups, and results about multi-base models, partial isomorphisms and elementary equivalence, \\(\\omega\\)-isomorphism and regular definability. Detailed definitions are too long to give here. The main model considered is \\(\\Gamma\\) (X,A), the free A-operator group with basis X, and with a length function. They show that a number of predicates are formula definable in \\(\\Gamma\\) (X,A). The idea of rational coordinatization involves a group having a finite pseudo-base such that every element is expressible as a product of elements from the pseudo- base raised to rational powers.    The classes of finite groups, quasi-cyclic groups, abelian torsion-free groups, polycyclic groups, torsion-free solvable groups of finite rank and Chernikov groups admit rational coordinatization. The major results deal with elementary equivalence of groups. The authors show that if X and Y are sets, A and B are groups, then \\(\\Gamma\\) (X,A) is elementarily equivalent to \\(\\Gamma\\) (Y,B) if the cardinalities of X and Y are either equal or infinite and the groups A and B are \\(\\omega\\)-isomorphic. If A admits rational coordinatization, then \\(\\Gamma\\) (X,A) is elementarily equivalent to \\(\\Gamma\\) (Y,B) if and only if the cardinalities of X and Y are either equal or infinite and groups A and B are isomorphic. Two more results deal with the elementary equivalence of free products with a length function in a similar way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$D717A707-35EE-4173-A8D8-9EBF772B0313","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074717$7CCA62C8-5659-40BC-AD19-3E7CBD1F1399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcae15942a1ef1170b65682251799a9bfed1dcd3","datavalue":{"value":"20E06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074717$1BC989DC-2267-4360-8883-8E174B03323E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074717$A3407737-63D0-4E7C-BF51-90FDBC864239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074717$79CEB16C-8325-42E4-A9CC-581E5652CB6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ce2961d0f65cf32f1978455fe59ac11c63da73","datavalue":{"value":"3948590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074717$30D92564-E01B-41A8-B94F-39456A2CADE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$E88AD394-E690-451E-8857-59708A9C69E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0026a004ebd842511c18269a77ca0330000a3bf9","datavalue":{"value":"free groups with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$F00835D4-46D6-4B88-BAA1-A0A8362F1376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$FC988578-4566-44DB-8FCD-3C3F3D70F0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e480aead1b4ffd63f7b8fc21019836557a3140","datavalue":{"value":"length function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$E766B258-26DB-482F-832B-01393CDC592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97779d88835688859a2bb11448183e46dcfac9da","datavalue":{"value":"free operator groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$6345813D-4FD9-4237-AC51-A3877D3E625B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158cac783e3ff4204913d288da511f4a353deebd","datavalue":{"value":"multi-base models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$A6CEF147-0CC1-468E-ADB4-62AAD0C82D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c88b8037a37ccdacb655cb0f02aa4e1c47ef02b","datavalue":{"value":"regular definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$23F8481D-95B5-47FB-A4BA-57FFBD34AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98aab3ffb2e4bcb92ce524f5fe5a85f5d8d4e58","datavalue":{"value":"formula definable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$A4C17AD4-42ED-4D7E-B045-22472A7315E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500bd5ccdd0930a755636451878e2da59930238c","datavalue":{"value":"rational coordinatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$385D0A9D-629E-4454-9E5D-240156ACDC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2608e675d031e4df3070d66a4e2cd16045827d1c","datavalue":{"value":"polycyclic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$7FB0EC43-A3FA-4088-B2C1-CA1804CDE335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b639e1f0cd05c7baa85df05f0c1b93819d873e93","datavalue":{"value":"torsion- free solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$EDE8AAA9-21AE-489A-8089-0667266B5D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e0ada16e8e47ca5e12aebe04f055c133cba262","datavalue":{"value":"Chernikov groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074717$38BB16FE-ED39-4064-8D61-48930BD946CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074717$F8695197-C7D8-40ED-A8D8-9F6BEEAE9E9C","rank":"normal"},{"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":"Q1074717$7E55EEAA-BF32-4408-BE90-1927D8BD9A54","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":"Q1074717$4501E340-5104-4894-A041-76D5CEF60B88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70732cf2024ab5a8833b11bc1df46b4a3c835764","datavalue":{"value":{"entity-type":"item","numeric-id":3496404,"id":"Q3496404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb17963a9d34b947c2ac217245f8ab34d3a2f682","datavalue":{"value":{"amount":"+0.8882256150245667","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":"Q1074717$445F9053-2680-48A2-85BF-7FC6EBB80A01","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":"d3d3f35d5b945568903721e8d4ad5629c38c1110","datavalue":{"value":{"amount":"+0.766231894493103","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":"Q1074717$05ECEAD7-AE2C-4267-AB8D-18A565924CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5522c81d03ef0515a08e9ab3734aaaaf70aca22f","datavalue":{"value":{"entity-type":"item","numeric-id":3223033,"id":"Q3223033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47faaf63ae2de153cb086cca2c64365b5abbac8b","datavalue":{"value":{"amount":"+0.7555869221687317","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":"Q1074717$CC84391A-FA4E-44C2-884E-0CD7EF8A78D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88f1469aa6461d0ea37c52aef4bf5c8b9eda648","datavalue":{"value":{"entity-type":"item","numeric-id":4761711,"id":"Q4761711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a5f1b8aeeaa25cdc9c3a6fa7f748a2c8d5f4766","datavalue":{"value":{"amount":"+0.748698890209198","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":"Q1074717$BFAE9430-7CE3-42D5-AF82-F9AA08937511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8077d2b7facc0cd6bb1257f40e1ca3f495f61d65","datavalue":{"value":{"entity-type":"item","numeric-id":3791324,"id":"Q3791324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906ce2411d80354b6c13b23ee8e2afd40a9c079c","datavalue":{"value":{"amount":"+0.7402949333190918","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":"Q1074717$95AE07FB-3A0A-4535-8B35-1A54EB7FF05C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary group equivalence with the integral length function","badges":[]}}}}}