{"entities":{"Q1113282":{"pageid":1124031,"ns":120,"title":"Item:Q1113282","lastrevid":66153207,"modified":"2026-04-12T07:54:04Z","type":"item","id":"Q1113282","labels":{"en":{"language":"en","value":"The group generated by \\(x\\mapsto x+1\\) and \\(x\\mapsto x^ p\\) is free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081825"}},"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":"Q1113282$4D8FFBE9-832B-4D44-85D5-CC806D2DFE65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"272bbe072e0b06ed5b1034236fd5adbf161950f0","datavalue":{"value":{"text":"The group generated by \\(x\\mapsto x+1\\) and \\(x\\mapsto x^ p\\) is free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1113282$D521A5CC-0F60-4CD2-B4A9-9515B776F012","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc94b7fcf9b168cabd42cd657098092f7bb29a9a","datavalue":{"value":"0662.20024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$F92CBA25-AB70-4D6E-B8F5-FB7F811AF346","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18ef2ecffefa7350f828785f994cd936168057e2","datavalue":{"value":"10.1016/0021-8693(88)90030-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$9B476F7B-3674-4EBF-AFD7-C5F8FC30E98B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113282$CBC46A1D-2870-4599-B57A-21BE4C96E6F6","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":"Q1113282$5B980C70-1B8C-4208-9C4E-28D13D6D1580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1113282$4449F250-4155-4E2F-91CA-55787C981E18","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"408c308342bf7aaa3ece2a1d8858cdc6f840dc6e","datavalue":{"value":"Let L be an algebraically closed field of characteristic 0, and A be an additive subgroup of L. Let p be a prime number, \\(\\omega_{p^ n}\\) denotes a primitive \\(p^ nth\\) root of unity in L, and let \\(F={\\mathbb{Q}}(A,\\omega_ p,\\omega_{p^ 2},...)\\). Define a word to be a string \\(w=w_ 1...w_ r\\) made up of symbols p (``pth power''), r (``pth root''), and \\(t_ a\\) (``translation by a'') for \\(a\\in A-\\{0\\}\\) such that no p and r are adjacent and no two symbols \\(t_ a\\), \\(t_ b\\) are adjacent. The chain associated to w means the sequence \\((\\zeta_ 1,...,\\zeta_{n+1})\\) such that \\(\\zeta_{i+1}=\\zeta_ i+a\\) if \\(w_ i=t_ a\\), \\(\\zeta_{i+1}=\\zeta^ p_ i\\) if \\(w_ i=p\\), and \\(\\zeta_ i=\\zeta^ p_{i+1}\\) if \\(w_ i=r\\). An algebraic extension \\(K_ 2\\) of a field \\(K_ 1\\) of degree \\(| K_ 2:K_ 1| =p^ n\\) is called stratified if for every m, \\(0\\leq m\\leq n\\), there exists a unique extension \\(S_ n\\) such that \\(K_ 1\\subseteq S_ m\\subseteq K_ 2\\) and \\(| S_ m:K_ 1| =p^ m.\\)    The main theorem states the following. Assume \\(p>2\\). Assume \\((\\zeta_ 1,...,\\zeta_{n+1})\\) is the chain associated to the word \\(w=w_ 1...w_ n\\). If \\(\\zeta_ 1\\) is transcendental over F, then \\(F(\\zeta_ 1,\\zeta_{n+1})\\) is a stratified algebraic extension of degree d(w) over \\(F(\\zeta_ 1)\\) where \\(d(w)=p^ b\\), b is the number of r's in w. Corollary 2 states that, for any prime \\(p>2\\), the functions f: \\(x\\mapsto x+1\\) and g: \\(x\\mapsto x^ p\\) on \\({\\mathbb{R}}\\) generate a free group under composition (this solves a problem by Harvey Friedman).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$2E9172D4-C842-49E1-A98A-A655995C39DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$4E1F17FB-5F36-47F6-A5C5-C731AB6AEE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"057a5e7479a8bc00d133fb17f815b2b0225ccbd5","datavalue":{"value":"12F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$2CAFD09D-1910-4F6A-B009-6855076202BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$DA0FD31F-0102-45DB-B8B3-CB88068DAF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$BF45E898-3682-4C10-A2C7-8CDED87DA535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$128C6A3C-3A90-40E7-9CA4-A6FF0C8B68EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"275f8ae99600d8ee3cca741bde3aec760afa4bf0","datavalue":{"value":"4081825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$4FFFAAD0-A541-4BF7-849F-B9BF5EEE8F13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c9d10a3cc7e7a04e25f3a32ce40e8fbcfa3f461","datavalue":{"value":"word","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$E1D8A3CD-FD3B-465B-BADF-014C61BF0923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e070dff03875ca8ae3394b738bb4eb5731b825f","datavalue":{"value":"pth power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$49923F29-DC27-4738-8D6A-7E5593D72258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767596d478079e70c65a59974b2900f1a0569ad9","datavalue":{"value":"pth root","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$35519A56-6E68-4707-9318-456416B2E703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$805D0AC1-A171-4255-A6DF-24169BE31DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b2ad433af3948e9bb1ef9d99fce2236623c0f6","datavalue":{"value":"stratified algebraic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$886C8349-8624-4BAC-8F3F-E296AA7B7639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb0da4c7c49e685c75a6821331b312dbb5ba326","datavalue":{"value":"free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1113282$11799C91-89CA-4D15-9A85-76F8B1CB0C50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f6974a53b1615673750ae344ecaee395136f6275","datavalue":{"value":{"entity-type":"item","numeric-id":1224653,"id":"Q1224653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113282$3D6F294A-59B3-4851-B791-1515E8491A2A","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":"Q1113282$F6B2A8D4-A164-4908-94E0-DF6E398C2862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ce81b9cf1969e3c45cc7040816aa3721679f2e9","datavalue":{"value":"https://doi.org/10.1016/0021-8693(88)90030-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1113282$B62AEBF7-B50F-4439-920E-549503B71698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dedae7a4ff449b2d845eb90e27fbf5260354021","datavalue":{"value":"W2053202682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1113282$CC020FE3-36A8-4947-98C7-4AFFF5DE48F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf4fce0bc4c7b8ec693da39c4791939f4cc073b","datavalue":{"value":{"entity-type":"item","numeric-id":3496299,"id":"Q3496299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113282$C13D7661-FAF8-49A6-9C89-63EA4F0531B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e9b56e0cf459f66d5cec1c94be1577e27f2965","datavalue":{"value":{"entity-type":"item","numeric-id":4192247,"id":"Q4192247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1113282$421A2473-92DB-4E83-81F8-4B3AF39A4A0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c46d9cb4d60007c6d8607feec283737d0aff18","datavalue":{"value":{"entity-type":"item","numeric-id":4854732,"id":"Q4854732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7caf6f8036aa40763524a2d2ddaf34da06f810ae","datavalue":{"value":{"amount":"+0.88214517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$7745FD8B-4EAA-4336-A2DB-113EB1D49371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c67f51b6c4c59e5ff152d878d10784a104b917f","datavalue":{"value":{"entity-type":"item","numeric-id":4708400,"id":"Q4708400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b07e1bf6ec842b44eed3a67ec4790ac2e7a294","datavalue":{"value":{"amount":"+0.86911374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$1C145067-5421-413D-B265-DD9A054F0581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2527d479e475bd47024f2141019a7d6753c2e680","datavalue":{"value":{"entity-type":"item","numeric-id":4794044,"id":"Q4794044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1bd559172de2354390fcfa5d84198b86715e8e9","datavalue":{"value":{"amount":"+0.85775536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$E537F263-9DAB-428D-9900-A1FF4B244901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b021621b691eba44ced0c1aa9262dc95fa2e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4444583,"id":"Q4444583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2888aab7b56f940a682a2d90404ee9e62777ca49","datavalue":{"value":{"amount":"+0.85431165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$68F13AD7-BE6B-4F14-9357-3757B1D3A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34986affb97496cb5fb0ba5dc6dfd4dded2e3ead","datavalue":{"value":{"entity-type":"item","numeric-id":4291314,"id":"Q4291314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e849467872b59d924dd4f341f81767393076c9","datavalue":{"value":{"amount":"+0.8458487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$9C65C911-9AF1-425A-83DF-E13C729B1395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db00f00fe2c7bc60e88aa5258485362e0b643f15","datavalue":{"value":{"entity-type":"item","numeric-id":4796657,"id":"Q4796657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882bde5d716a2a98a4953b68bc94966dc54723ad","datavalue":{"value":{"amount":"+0.8453345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$51CF8B1D-26AB-4094-B7D3-55EB19602674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc44277e0361b17a24bbd68614d46796bbb6b329","datavalue":{"value":{"entity-type":"item","numeric-id":3130211,"id":"Q3130211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011844ddabb6e9a3078caef686296516f22fed85","datavalue":{"value":{"amount":"+0.8414624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$A05B0F9F-2BD6-4EC4-BACE-E2B48B52BD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a93a234b27dbb966974dfd2d52d7008cc052de","datavalue":{"value":{"entity-type":"item","numeric-id":3377660,"id":"Q3377660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5a31e181d2d0fd68f1f8ff5be5526a5a2b0a0a","datavalue":{"value":{"amount":"+0.83946395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$86ADB155-7A09-48A5-9563-64DBF654FD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c040c539cd6ebb6c43c104b68c43d8c45a603e2","datavalue":{"value":{"entity-type":"item","numeric-id":2311863,"id":"Q2311863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e192d8cf08e9870e955aff4501f93da9257029fa","datavalue":{"value":{"amount":"+0.8369783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$AD426BF1-89C6-4B42-9F86-4E2FB2444197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9612dadb28fb8adf6a5e6413cdb43cd4434155e7","datavalue":{"value":{"entity-type":"item","numeric-id":5418419,"id":"Q5418419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d4ff277832fb3994d85003bfae0630d70be28b","datavalue":{"value":{"amount":"+0.8338037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1113282$2CBE90B5-3D0E-4A8A-B873-31C390FD33FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The group generated by \\(x\\mapsto x+1\\) and \\(x\\mapsto x^ p\\) is free","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_group_generated_by_%5C(x%5Cmapsto_x%2B1%5C)_and_%5C(x%5Cmapsto_x%5E_p%5C)_is_free"}}}}}