{"entities":{"Q1577619":{"pageid":1588359,"ns":120,"title":"Item:Q1577619","lastrevid":70748019,"modified":"2026-04-13T16:29:36Z","type":"item","id":"Q1577619","labels":{"en":{"language":"en","value":"The non-Abelian Specker-group is free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1496003"}},"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":"Q1577619$2A588980-4E93-4486-BE32-179DC454D959","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da9578400c06a5f2f7b22dffe13aa748efcf46d1","datavalue":{"value":{"text":"The non-Abelian Specker-group is free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577619$BEF48838-6744-432A-A771-915CA3307460","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba8ae5d89648a8a7cf8f82812ee670e3d32ae3ee","datavalue":{"value":"0959.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$06672E4C-6806-45C6-8BCB-734285A347EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b2bb9e1da8785825f22c1b88420e870bdebaf8e","datavalue":{"value":{"entity-type":"item","numeric-id":357829,"id":"Q357829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$827B6902-1FD9-4C3D-A574-35B3D0064366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$AD0288F9-0054-4DEF-B1E5-96F684F01C61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577619$2A1F1EA9-4A4D-44C2-B45F-5E6C162C4CB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c65492b3ecf17e911dba0e0f6176baece123dab","datavalue":{"value":"The finitely generated free Abelian groups \\(Z^n=\\langle a_1,\\dots,a_n\\rangle\\) naturally form an inverse system \\(Z\\leftarrow Z^2\\leftarrow Z^3\\leftarrow\\cdots\\), where the homomorphism \\(Z^{n-1}\\leftarrow Z^n\\) simply collapses the last generator \\(a_n\\) to the identity element. The inverse limit \\(Z^N=\\text{invlim}(Z^n)\\) is an uncountable Abelian group whose elements might be considered either as arbitrary sequences \\((n_1,n_2,\\dots)\\) of integers or as corresponding infinite words \\(a^{n_1}_1a^{n_2}_2\\cdots\\) in infinitely many commuting variables \\(a_1,a_2,\\dots\\). The Specker subgroup \\(B(Z^N)\\) consists of those sequences which are bounded. That is, in any given element, there is a uniform bound on the exponents \\(n_i\\) of the generating letters \\(a_i\\). Specker proved that \\(Z^N\\) is not free Abelian but that \\(B(Z^N)\\) is free Abelian. The original proof used the continuum hypothesis. Later proofs used only the axiom of choice.   Likewise, the finitely generated non-Abelian free groups \\(F_n=\\langle a_1,\\dots,a_n\\rangle\\) naturally form an inverse system \\(F_1\\leftarrow F_2\\leftarrow F_3\\leftarrow\\cdots\\), where the homomorphism \\(F_{n-1}\\leftarrow F_n\\) simply collapses the last generator \\(a_n\\) to the identity element. The inverse limit \\(F_N=\\text{invlim}(F_n)\\) is an uncountable non-Abelian group. By definition, an element of \\(F_N\\) is determined by a compatible sequence \\((g_1,g_2,\\dots)\\) of group elements, one from each \\(F_n\\). In turn the \\(g_n\\) are represented by words \\(w_n\\) in the free groups \\(F_n\\). Such a sequence \\(W=(w_1, w_2,\\dots)\\) of words is said to be bounded if there is a positive integer \\(b(W)\\) such that, for each letter \\(a_i\\) and each word \\(w_j\\), there are at most \\(b(W)\\) occurrences of the letters \\(a^{\\pm}_i\\) in \\(w_j\\). The elements of \\(F_N\\) which are represented by bounded word sequences form a subgroup \\(B(F_N)\\) of \\(F_N\\) which the author calls the non-Abelian Specker group.   It is known that the group \\(F_N\\) is not free. The author proves that this non-Abelian Specker group is a non-Abelian free group. The proof is, as in the Abelian case, nonconstructive since there is no natural free basis to choose.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577619$2A6EBDB0-512A-4648-82A9-D499F5A7DEE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$8C4200ED-8BF3-4C30-A81A-720B31D6F04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$76378FA9-34A2-4026-95D2-34756334F503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$5120729E-A612-422A-96CF-57CD74C66F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cf06d219af38dccf3eba6f8c69ee7f388f71bfa","datavalue":{"value":"1496003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$176CF915-94CF-4A3F-AE6F-2877265D076E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73d56983592e65a00c01f89fed7cb10fa2462cf","datavalue":{"value":"Hawaiian earring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577619$EA1450C7-169D-41A4-9727-81A6A798C224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ca76f4d46e0b1f545ec1a31c602e6273839d0b","datavalue":{"value":"inverse limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577619$9A5D3515-B8A0-42D2-AFAC-A48007D6202A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bf390bb7381e5c415d4ab8bdc0d17d12434b44","datavalue":{"value":"finitely generated non-Abelian free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577619$3ECC44C6-2A2E-4643-9EBB-32B261626540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f213c9f24d9bf9156f5a50853b054b741ecbd76e","datavalue":{"value":"bounded word sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577619$680416EC-9E44-4532-AA42-CDA61CF4DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a21b556b091085f9becfdf8b983d1df2b8dbcd","datavalue":{"value":"non-Abelian Specker group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577619$8C189B9E-820E-4D52-8E36-ECE59DC5925C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1ce168c629edaba2c1bde6a38e7cd3692cd460b5","datavalue":{"value":{"entity-type":"item","numeric-id":305125,"id":"Q305125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$EA4B71C5-6185-4AB4-BE24-341EE7AEE467","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":"Q1577619$1A81D9A8-83C5-48F1-8E7A-32702A547054","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c603a53c18f97914ac9faa3e9e391026a5acf558","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8261","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577619$49ACC153-DE33-4C07-BDE5-DFA216D29B4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa4a778c90f964e273a0a1962d9c30857483b6c0","datavalue":{"value":"W2003784043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$035FA8CC-280B-43D4-94B1-BB07977DA8A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a70e9628458929276ee5ce4ce084b0741f9129","datavalue":{"value":{"entity-type":"item","numeric-id":1580364,"id":"Q1580364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$1440FF50-6BDE-4FC4-9DDE-96C1B1D442DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f82736dc79c69e1beafb30541942a5952bd4df","datavalue":{"value":{"entity-type":"item","numeric-id":1295328,"id":"Q1295328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$931F8C9B-5666-4857-A8D5-9F74E24D577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41ad629bff1639383e0717f2252837082a6f0d4","datavalue":{"value":{"entity-type":"item","numeric-id":1088655,"id":"Q1088655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$BEB517FD-ADFF-4768-B57B-6EA51C88B229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a87c9e30dbbebfc8c23b024934e60a6dec3e5ca","datavalue":{"value":{"entity-type":"item","numeric-id":5828498,"id":"Q5828498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$7C4ACC01-026F-475A-B230-42EF45E2DDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95098c620909f05b2bf7715f913ab06a0d6b6215","datavalue":{"value":{"entity-type":"item","numeric-id":3233237,"id":"Q3233237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$DC445A14-92BE-418D-887C-46C258284404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8a7eb3368bea349933e05ad53def2fb1ca6af3","datavalue":{"value":{"entity-type":"item","numeric-id":5809217,"id":"Q5809217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$BD52BF92-027C-40FC-B833-E57F55191B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3fc0b586c50f2e6f07ee6d80b8aaa0f4b3e8f9","datavalue":{"value":{"entity-type":"item","numeric-id":3749763,"id":"Q3749763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$E2404ABF-8B88-41E0-BD3A-3915A2E0CD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3332dd1bc7667a4370d58acaceb1d6e6fb12642","datavalue":{"value":{"entity-type":"item","numeric-id":2533617,"id":"Q2533617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$417DB767-D6E9-4471-A98B-BCAEE956C28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93c1b11bd3757c9db48cf3fe2d19d5a48e2430a","datavalue":{"value":{"entity-type":"item","numeric-id":3363403,"id":"Q3363403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$2841D5C4-D2FF-404E-9171-7040FB3F547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6d19e258f630217e860bd2bfc76696126c8a","datavalue":{"value":{"entity-type":"item","numeric-id":5802193,"id":"Q5802193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$1EEE3EC6-F0C0-4E3B-88F3-70076616A2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b762d6677a1fba46c041bf9fa9e9f87d774cb6cd","datavalue":{"value":{"entity-type":"item","numeric-id":3840015,"id":"Q3840015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577619$392EE562-653A-4866-95AF-DD4C3233F0D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bfe6a825ec5c25d60fc05ebbb0992f23723cdba","datavalue":{"value":"10.1006/JABR.1999.8261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577619$065C1B90-54D7-4601-81E1-645D7CD80033","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3facf67e1e9526d76dfdb5990497bc6817d296af","datavalue":{"value":{"entity-type":"item","numeric-id":1849087,"id":"Q1849087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39289de8cf4892c667d83d9c58cb7aafebdb94f5","datavalue":{"value":{"amount":"+0.8235868811607361","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":"Q1577619$EB97551E-F5AF-440C-9A4B-8B1D6FAE1B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4222da238a529301620e62c020aeca41f33bdf","datavalue":{"value":{"entity-type":"item","numeric-id":2781322,"id":"Q2781322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80eaf5fbb7975b7849769ff58935452737bbe627","datavalue":{"value":{"amount":"+0.8084993958473206","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":"Q1577619$1384641C-5D37-4523-8F8A-598A2AF66E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7e016898894d2604888cf6a3661a4fdd4a7fae","datavalue":{"value":{"entity-type":"item","numeric-id":1270986,"id":"Q1270986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216f0c6b665c0a5c41c81efa94a3aa860ca9c79d","datavalue":{"value":{"amount":"+0.8077884912490845","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":"Q1577619$45AB0136-8D70-438B-BAE9-BA563B180631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53a5d34ae417cd81c6c70fe26c93bb6294c5798","datavalue":{"value":{"entity-type":"item","numeric-id":2769825,"id":"Q2769825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a758532de54e2a1856a52062d9c03e1567d3f3cb","datavalue":{"value":{"amount":"+0.7921380996704102","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":"Q1577619$140F625C-B319-4F2B-8F94-91AB5E618CE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The non-Abelian Specker-group is free","badges":[]}}}}}