{"entities":{"Q2517644":{"pageid":2528387,"ns":120,"title":"Item:Q2517644","lastrevid":52332524,"modified":"2026-01-21T11:35:30Z","type":"item","id":"Q2517644","labels":{"en":{"language":"en","value":"Walker groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476252"}},"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":"Q2517644$132EF3E2-819D-47C8-A0F5-6623025ADE3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dd826b649d372cc1012c7adeba90f95e0f5a644","datavalue":{"value":{"text":"Walker groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2517644$01ED306D-E045-4868-AAC5-4F22BD587FC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0977355a596505a0ea6c1ee320aea0319b6e022","datavalue":{"value":"1322.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$7123A242-1658-444E-9A15-B0AA026A2380","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2d97fc871faeeb1062a08181f0f0cc5094b16","datavalue":{"value":{"entity-type":"item","numeric-id":173439,"id":"Q173439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$4FAE593B-10DD-4C7F-BF9F-52C390FCAF9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"615950119797f35f49728e278e9727b73c5c7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":168620,"id":"Q168620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$8E5188D8-5826-492A-91C6-9CA7F72BB6A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddf6ecb9e5ed20bb1adfdb1d89c4230618bbee22","datavalue":{"value":{"time":"+2015-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2517644$F78D6377-897D-4FEC-97A8-7D16A7871754","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8581965d2b5c8338df9166e5938e5a2453b75c0","datavalue":{"value":"A reformulation of Walker's theorem on cancellation [see \\textit{E. A. Walker}, Proc. Am. Math. Soc. 7, 898-902 (1956; Zbl 0071.25203) and \\textit{P. M. Cohn}, Proc. Am. Math. Soc. 7, 520-521 (1956; Zbl 0070.25701)] says that any two homomorphisms from an abelian group \\(W\\) onto \\(\\mathbb Z\\) have isomorphic kernels. It does not have a constructive proof, even for \\(W\\) a subgroup of \\(\\mathbb Z^3\\). In this paper, the author gives a constructive proof of Walker's theorem for \\(W\\) a direct sum, over any discrete index set, of groups of the following two kinds: Butler groups with weakly computable heights, and finite-rank torsion-free groups \\(B\\) with computable relative heights (that is, all quotients of \\(B\\) by finite-rank pure subgroups have computable heights).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$C8753184-4712-4A8A-9820-70B0B2B45B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$221CBB75-BCB8-4746-AB39-1FCFFA1237DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13a880741f6f7aa1a4b691f23a1ea4d349674e32","datavalue":{"value":"20K30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$7DFEEF55-3F20-4A90-89DD-A0BF0C5360E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$6DFB943B-4FBB-41DC-A193-4D8E7A9928E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$13CDCA63-2AF1-4F4C-A912-C2355CB63108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7200b6d7f5475d9c5df0b5fd057ccd57de0c22d1","datavalue":{"value":"6476252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$D54FEEAC-C352-4800-A7ED-CE03A1104DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a6ea5445f29babec0059a2b254099891191288","datavalue":{"value":"Abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$6E3BDE59-D6B4-403C-9C0C-7F018361EC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab5178b5d19903e2a6ed66ba92e6a42b5774b78","datavalue":{"value":"cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$DC0EAC43-3D64-4F55-9EEC-A16C358BF43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51ab78d0e233889a4782ea6e858437606809a7a","datavalue":{"value":"direct sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$204F3902-C68E-448A-9C34-27FAE6A4FCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31102db63fdc0fc865cbfa1169ebc1869106501","datavalue":{"value":"direct summands","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$9D57E9A4-7840-4722-B295-AF8CE55AFA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db142dd107fdc467fbdf3710d60d5927512fee12","datavalue":{"value":"homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$2D10B24B-A7DA-4993-86D0-7EFB73A7BC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$C11B4953-1440-4720-A740-4F7741590B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0489698859ee90eefc1d49b86dabe3526f762adb","datavalue":{"value":"finite-rank torsion-free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$29B5A895-E6B9-43E5-92E6-DA9C7917ABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2fd5d249da6515a2001d10dcc99cefcc72bbd8","datavalue":{"value":"Butler groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517644$71BBFF10-DAE5-445F-A4AC-5DDA2793ED8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a05f8172425c54a838e715be76b66b88f657ff34","datavalue":{"value":{"entity-type":"item","numeric-id":585759,"id":"Q585759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$27449588-6091-4E3D-A725-F44C265F4A2B","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":"Q2517644$58519A8B-3DCB-4B1B-84F0-C9B6E6082817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2cabb8fdb9c5646d72b3b48d479ef264ce7e508","datavalue":{"value":"https://doi.org/10.1007/s10998-014-0040-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2517644$11BA6988-1765-4CE3-8DAF-47FFD872FBBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5110f28e72c347ae41a60f91c8171b0f50a7dc21","datavalue":{"value":"W3188763367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$BE7F8150-69F3-4A9F-9CD7-5FA8307AC159","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7238b790fe44d6bb56696c136b9b97a11b9cdd63","datavalue":{"value":{"entity-type":"item","numeric-id":1168433,"id":"Q1168433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$E18EFCE6-C171-4D6A-B58F-0A68A24E5F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b636f2e0a7d0a7d561b552df54d9e921005ec490","datavalue":{"value":{"entity-type":"item","numeric-id":3232310,"id":"Q3232310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$74FA258D-9704-413D-9CB9-A9C484F28B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18848829f0808d942023bf4f5c3a6d458497928e","datavalue":{"value":{"entity-type":"item","numeric-id":5618461,"id":"Q5618461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$80C53D44-0919-49AE-9A4A-6CAAD07F430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed23e6436dbeba9abc01613763842bb501e7275","datavalue":{"value":{"entity-type":"item","numeric-id":5413984,"id":"Q5413984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$57C3E7EB-9A26-44E7-A1D4-40388199FBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f7118206db1115a332c3ae9be57552030b8771","datavalue":{"value":{"entity-type":"item","numeric-id":4025957,"id":"Q4025957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$F8DEA863-D393-4BDE-82E4-EA3C00BF0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d38e043d108a017aa36f76ea900771cde6eb96","datavalue":{"value":{"entity-type":"item","numeric-id":3360391,"id":"Q3360391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$1AEB911A-4ED5-434E-BB63-7F04B86569E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cca948321b21431205dcbb0c0033c4f5d2a2f18","datavalue":{"value":{"entity-type":"item","numeric-id":3234176,"id":"Q3234176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517644$37374451-445C-44DE-B872-E4FD20DC4877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"502ac88a21e21007e0b14d3539c42054c7c3ceba","datavalue":{"value":"10.1007/S10998-014-0040-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517644$C8132523-9726-41BE-8B89-B722B326FE95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1520788503a2e6469bfc018764815f9a2f101e47","datavalue":{"value":{"entity-type":"item","numeric-id":5413984,"id":"Q5413984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af4e960af1fb0fb2b3cb2c966cd9e9ca8a4f46","datavalue":{"value":{"amount":"+0.8604151010513306","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":"Q2517644$86E0D84A-B90E-43FC-B684-508BF8EC06DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ff84a3c541a6e448f30d7d24625a6950bea527","datavalue":{"value":{"entity-type":"item","numeric-id":5714698,"id":"Q5714698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb31d6b684449f64d905172c5a5e20e4051cf49","datavalue":{"value":{"amount":"+0.8569303154945374","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":"Q2517644$48C85091-49D2-4A65-8497-379DC8FC8F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a991c2b986b78259f8746a0bc4bf89792d7eeb4","datavalue":{"value":{"entity-type":"item","numeric-id":3509236,"id":"Q3509236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0460847855fe81e1f580b747de658708a8256d7","datavalue":{"value":{"amount":"+0.7475201487541199","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":"Q2517644$32816A5D-7CF8-479F-8BA4-0C76655C8F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca5ccd97fdef1c9c3c5bb50d613e67a6cec61e7","datavalue":{"value":{"entity-type":"item","numeric-id":3144543,"id":"Q3144543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de094ce10b7d96eea7c108f41013c8d23e38ccb2","datavalue":{"value":{"amount":"+0.746934711933136","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":"Q2517644$DD8F50D5-B37E-475E-8238-24BA08FCEBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a97ceef543fb656f0e1afa2aaf353ebe26abcd","datavalue":{"value":{"entity-type":"item","numeric-id":4806417,"id":"Q4806417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f5da0830c7b972848d2fa285c798386cda13e9","datavalue":{"value":{"amount":"+0.7313951253890991","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":"Q2517644$EB99E586-F540-429E-B7B1-19DD73246B44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2517644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2517644"}}}}}