{"entities":{"Q698123":{"pageid":699972,"ns":120,"title":"Item:Q698123","lastrevid":63603114,"modified":"2026-04-11T14:16:53Z","type":"item","id":"Q698123","labels":{"en":{"language":"en","value":"Discriminating completions of hyperbolic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1802410"}},"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":"Q698123$80B2FE0D-95DB-4257-8C74-DF064EC13C00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b2d77ff3ee6c72632693bb7a772420c0dec0a78","datavalue":{"value":{"text":"Discriminating completions of hyperbolic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698123$54474576-3F1D-4422-BCB3-6FC6EBFCBFD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ecc64616d3749dc2d1047f3dc635feb3fdc67cf","datavalue":{"value":"1011.20041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$9C0A46AB-B11B-48B0-92BD-923D104DE733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0eaa420620e620d8d335a7a9b211e05b7b9dc78","datavalue":{"value":"10.1023/A:1019687202544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$897A1C3C-8A4D-4B67-AFEA-FB8165F2B3A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc35669eb1adb45ee22100557a37b96fc4fe6bb8","datavalue":{"value":{"entity-type":"item","numeric-id":473133,"id":"Q473133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698123$290B9AA0-1584-4D61-8828-76EF4997B31E","rank":"normal"},{"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":"Q698123$D2957D35-B5CF-45C2-B47E-E22F39DBD7E9","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":"Q698123$AA065231-E831-42DF-AA07-A0491D92A45E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b27d55f344dc6bfd48e3ff9582c04d67175a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":181320,"id":"Q181320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698123$688D3CA5-31FE-44D1-B0E0-EE56ECC57449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698123$54E87F6E-D308-4E43-BC72-20ACE98B935F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13b982681588ae468e5a441be1c8f3fd4cf0f769","datavalue":{"value":"Let \\(A\\) be an additively written Abelian group. The authors of the paper under review call a group \\(G\\) an \\(A\\)-group if it comes equipped with an action of \\(A\\) on \\(G\\) which mimics the way in which \\(\\mathbb{Z}\\) acts on any group. More precisely, they call \\(A\\) unitary if it comes equipped with a distinguished nonzero element, which denoted by 1. A typical example of a unitary Abelian group is the additive group \\(A^+\\) of a unitary ring \\(A\\) with the ring identity as the distinguished element. A group \\(H\\) is termed an \\(A\\)-group if it comes equipped with a function \\(H\\times A\\to H\\): \\((h,\\alpha)\\mapsto h^\\alpha\\) satisfying the following conditions for arbitrary \\(g,h\\in H\\) and \\(\\alpha,\\beta\\in A\\):  \\[ h^1=h,\\quad h^{\\alpha+\\beta}=h^\\alpha h^\\beta,\\quad g^{-1}h^\\alpha g=(g^{-1}hg)^\\alpha, \\]  and if \\(g\\) and \\(h\\) commute, \\((gh)^\\alpha=g^\\alpha h^\\alpha\\). In the event that \\(A\\) is a unitary ring it is also assumed that \\(h^{\\alpha\\beta}=(h^\\alpha)^\\beta\\).   The most well-known, nontrivial, examples of \\(A\\)-groups are those in which \\(A\\) is a binomial ring [\\textit{P. Hall}, Nilpotent groups. Queen Mary College Mathematics Notes. London: Queen Mary College (1969; Zbl 0211.34201)], the field \\(\\mathbb{Q}\\) of rational numbers [\\textit{G. Baumslag}, Acta Math. 104, 217-303 (1960; Zbl 0178.34901)] and the ring \\(\\mathbb{Z}[x]\\) of integral polynomials in a single variable \\(x\\), introduced by \\textit{R. C. Lyndon} [in Trans. Am. Math. Soc. 96, 518-533 (1960; Zbl 0108.02501)]. A detailed investigation of \\(A\\)-groups when \\(A\\) is a unitary ring has recently been carried out by \\textit{A. G. Myasnikov} and \\textit{V. N. Remeslennikov} [in Sib. Mat. Zh. 35, No. 5, 1106-1118 (1994; Zbl 0851.20050)]. They termed such groups `exponential groups' and in the paper under review their terminology has been expanded to include the case of unitary Abelian groups. For every such group \\(G\\) and \\(A\\) there exists an \\(A\\)-exponential group \\(G^A\\) which is the \\(A\\)-completion of \\(G\\).   We refer to the paper to see the definitions and results, since there are much more things in the paper than to reproduce here, the reviewer only states the following result which is indicated in the abstract of the paper: if \\(G\\) is a torsion-free hyperbolic group and if \\(A\\) is a torsion-free Abelian group, then the Lyndon type completion \\(G^A\\) of \\(G\\) is \\(G\\)-discriminated by \\(G\\). This implies various model-theoretic and algorithmic results about \\(G^A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$A3242AEE-C233-432F-8714-ECEA3DF26260","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebb96cb004791185508e9f447d258889ef519c78","datavalue":{"value":{"entity-type":"item","numeric-id":193089,"id":"Q193089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698123$CEE050E8-5F85-4278-A8BC-3B6F241A1AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d746b8d92c753ec921d8d5d21d7a353ee19cc6b6","datavalue":{"value":"20F67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$80D52754-E863-4623-9AF1-EEF8AA29DE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f4d97f788112bb319e1ce84c40c80e26fe1c09f","datavalue":{"value":"20E34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$E6D933EA-D72D-40FC-8559-DEC8321F69F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$A64B2ED4-65B0-44E8-B0ED-E977FFCFA4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c208eccca202ad5645d7c393a565ef4a4acee36","datavalue":{"value":"20K35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$5B093DD8-C708-403C-B1C2-241A846DFDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$F950C2E1-8D05-4620-88D6-40DD56182638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd8274363d0a85cf496972fe13c4a13c77be3507","datavalue":{"value":"1802410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$701CC8C8-07F4-4301-91C4-1CFC69ED3FA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f79fa35f5a4060d91a1365e56e94942de0e4b3","datavalue":{"value":"hyperbolic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$72452442-100C-4616-BBB4-944F5E506545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a0469e5d9a2de1a01598586e4d14ee0d8ea929","datavalue":{"value":"completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$E86920E7-0D5E-496C-8EAB-DB030C90CA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e11b4a9dafaa0755dfb2c667c76c1b75882b2fb","datavalue":{"value":"discrimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$D5381A57-2F4F-4C08-8781-B8FE2805F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a3c9d53482da389b15b5755a6a11f20ca8bdcf","datavalue":{"value":"algebraic geometry over groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$AB9C69A5-B108-4652-9662-4F236CDD59BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f0625e56dc9eadf6e833c2824d48313e88e145","datavalue":{"value":"unitary Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$8AECC246-063A-44F8-A7CA-DB93C787245A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac83d8c0bc9f884112fb8ef417e091f3fd76bd8","datavalue":{"value":"group actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q698123$04F352E2-23DF-42AA-9391-840F764025A9","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":"Q698123$04435C6E-88D2-49C6-9E41-CD5ED6CBA1DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3f665b5014433c9e251be2f26d4021b7d5d2d59","datavalue":{"value":"https://doi.org/10.1023/a:1019687202544","type":"string"},"datatype":"url"},"type":"statement","id":"Q698123$35A03CFB-B8B6-4F1E-AB65-C7CD85395567","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e34d102e51b6890a7d49a64df07a5368ea110f91","datavalue":{"value":"W99701452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698123$26D67B0C-A405-40A2-B8DB-EFC7D158F266","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab994c45340f87f99b363aae0d5bc295ab662f5","datavalue":{"value":{"entity-type":"item","numeric-id":4330833,"id":"Q4330833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636b0c691c915defeb84157de871bb0b6e0c897a","datavalue":{"value":{"amount":"+0.7185375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$80F9CCDE-A267-4B7B-AB4E-78DA803800AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b45b9a89e4e2e38accc7a7498ed596d480b9b8e","datavalue":{"value":{"entity-type":"item","numeric-id":1208197,"id":"Q1208197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99882e3582ea7dca1467c4c3b4fdfdeba8c2b4df","datavalue":{"value":{"amount":"+0.670424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$A778D382-B003-4E50-A1D7-ECF808748EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93fc14d77ea0447098f54d85e961d9030f5ac8f","datavalue":{"value":{"entity-type":"item","numeric-id":531920,"id":"Q531920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06de0bd846a4ac2f052266057512504950c2599f","datavalue":{"value":{"amount":"+0.66997504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$92A1C803-E1F8-42BF-AEF8-AB0E0E823C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ef1ebbb2f2c7f2c983effe11840bd77a3d53fe","datavalue":{"value":{"entity-type":"item","numeric-id":4335557,"id":"Q4335557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afc8dc93f6ee351a218518c8fc3d80064ad682e","datavalue":{"value":{"amount":"+0.66641086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$AC128A92-859D-48EA-A42F-3065BE0738F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758434c0091c64a2eb9d0522e6166b3782ad8c5","datavalue":{"value":{"entity-type":"item","numeric-id":1075435,"id":"Q1075435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337d870ee324194306b93ddf2b6a2373eee8642c","datavalue":{"value":{"amount":"+0.66576517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$4D259739-344D-47BF-B31F-FD3DDDEBFB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e5e262d52fc8d75df242c6e28c8533fbfd366b","datavalue":{"value":{"entity-type":"item","numeric-id":3562336,"id":"Q3562336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a29829dcd147ab392a6e3047ae241a54d4a9f0a","datavalue":{"value":{"amount":"+0.6653109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$C678BA8D-05EC-4A69-9D43-2D4D24B0130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448e18f2a34d237cdfa9477478d4b0d1377bf1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4050668,"id":"Q4050668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc96f107dec01f672d6fa8e6716df8a722e9268","datavalue":{"value":{"amount":"+0.6644275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$A68D8AAF-D4F7-4AD6-97BD-F7E232737F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d190390029b823e2de28a7693d67a72ba9a0aa","datavalue":{"value":{"entity-type":"item","numeric-id":4894096,"id":"Q4894096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1801d6a4c75f32835bc6b221efc9d5c44a76f0b","datavalue":{"value":{"amount":"+0.65951526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$393908F5-E908-4547-B225-2E3C766CE003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb8d4cb713d6ac663303eae1ee48ba07f49fd11","datavalue":{"value":{"entity-type":"item","numeric-id":4891273,"id":"Q4891273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf5aac7c062a963c8043f0f525ebefd99042d2a","datavalue":{"value":{"amount":"+0.65398693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$9FF3D228-5BCF-4C49-ACBD-07BACC51C425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9f924de65b5846914f789e9ff6cb2fa1e52f34","datavalue":{"value":{"entity-type":"item","numeric-id":4034365,"id":"Q4034365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9e33eb89a85a8e31843966c7c5335ce72e5ed3","datavalue":{"value":{"amount":"+0.65281004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q698123$B5F616EF-31EF-43AF-BF74-59850274F85A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discriminating completions of hyperbolic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discriminating_completions_of_hyperbolic_groups"}}}}}