{"entities":{"Q1123990":{"pageid":1134739,"ns":120,"title":"Item:Q1123990","lastrevid":49299508,"modified":"2026-01-06T22:29:52Z","type":"item","id":"Q1123990","labels":{"en":{"language":"en","value":"Mixing automorphisms of compact groups and a theorem by Kurt Mahler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110964"}},"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":"Q1123990$5CDC93AF-F52E-470F-8CD1-C17DD1B1AD58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e69c3cb7d46213c6a5b2bb9b0b4d56374c1cfa3","datavalue":{"value":{"text":"Mixing automorphisms of compact groups and a theorem by Kurt Mahler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123990$D38C2815-7F78-44EB-8760-1CBF7E672970","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4028c4f0edcf91f853a5ce1a869e00e891ab9a25","datavalue":{"value":"0678.22002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$B29BB7C2-C7C0-4926-868A-C8E541CDE7AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b639fce6cc1fc97475ced8ca0d0cf3a29dd3475","datavalue":{"value":{"entity-type":"item","numeric-id":281761,"id":"Q281761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123990$4AAFF1AE-25E6-48CF-9102-28BC54C5D122","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123990$3244DFFE-AF43-447B-B96E-DCFEB7098CF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123990$BF146ACB-5919-4488-B403-FF8BD5DF03E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b91b76054ccee5a8abef35cbcf66762007addeff","datavalue":{"value":"Let X be a compact metrizable abelian group and let N be its (discrete) dual group. Suppose there is an action \\(\\alpha\\) of \\({\\mathbb{Z}}^ d\\) on X by automorphisms \\(\\alpha_{\\underset \\tilde{} n}\\) (\\(\\underset \\tilde{} n\\in {\\mathbb{Z}}^ d)\\). Let \\(R_ d={\\mathbb{Z}}[u_ 1^{\\pm 1},...,u_ d^{\\pm 1}]\\) denote the ring of Laurent polynomials with integer coefficients in d variables. In a natural way, N is in \\(R_ d\\) module; if \\(\\underset \\tilde{} n=(n_ 1,...,n_ d)\\), the automorphism \\(\\alpha_{\\underset \\tilde{} n}\\) on X corresponds to \\(a\\mapsto u_ 1^{n_ 1}...u_ d^{n_ d}.a\\) on N. This paper is one of a series in which dynamical properties of the action are discussed using algebraic properties of the module. (The reader should look out for the author's book ``Algebraic ideas in ergodic theory'' which will appear in the CBMS series of the American Mathematical Society.) One particular feature of the correspondence between dynamics and algebra is that (X,\\(\\alpha)\\) satisfies the descending chain condition (that is, every decreasing sequence of \\(\\alpha\\)-invariant closed subgroups is eventually constant) if and only if N is finitely generated.    The action \\(\\alpha\\) is r-mixing if for all measurable \\(B_ 0,B_ 1,...,B_ r\\) in X  \\[  \\lim \\lambda (B_ 0\\cap \\alpha_{\\underset \\tilde{} n_ 1}(B_ 1)\\cap...\\cap \\alpha_{\\underset \\tilde{} n_ r}(B_ r))=\\lambda (B_ 0).\\lambda (B_ 1)...\\lambda (B_ r),  \\]  where \\(\\lambda\\) is Haar measure and the limit is taken over all sets \\(\\{\\) \\(\\underset \\tilde{} n_ 1,...,\\underset \\tilde{} n_ r\\}\\subseteq {\\mathbb{Z}}^ d\\) with \\(n_ i\\to \\infty\\) and \\(n_ i-n_ j\\to \\infty\\) if \\(i\\neq j\\). Mixing means 1-mixing. A shape is a subset \\(\\{\\) \\(\\underset \\tilde{} n_ 0,\\underset \\tilde{} n_ 1,...,\\underset \\tilde{} n_ r\\}\\) of \\({\\mathbb{Z}}^ d\\); the shape is mixing if (with \\(B_ 0,...,B_ r\\) as above)  \\[  \\lim_{k\\to \\infty}\\lambda (\\alpha_{k\\underset \\tilde{} n_ 0}(B_ 0)\\cap...\\cap \\alpha_{k\\underset \\tilde{} n_ r}(B_ r))=\\lambda (B_ 0)...\\lambda (B_ r).  \\]  Thus if \\(\\alpha\\) is r-mixing, every shape with \\(r+1\\) elements is mixing. The main result of the paper (Theorem 3.8) considers a mixing \\(\\alpha\\) for which (X,\\(\\alpha)\\) satisfies the descending chain condition. (1) If X is connected, every shape is mixing. (2) If X is zero-dimensional, then every shape is mixing if and only if the set \\(\\{p_ 1,...,p_ m\\}\\) of the prime ideals of \\(R_ d\\) which are the annihilators of elements of N satisfies \\(p_ i=\\pi_ iR_ d\\), where \\(\\pi_ 1,...,\\pi_ m\\) are distinct rational primes in \\({\\mathbb{Z}}.\\)    The proof of (1) above uses the following extension of a theorem of Mahler. Let K be a field of characteristic 0. Let \\(\\alpha_ 1,...,\\alpha_ q\\) be q (\\(\\geq 2)\\) units in K. Suppose there exist units \\(c_ 1,...,c_ q\\) in K such that the equality \\(c_ 1\\alpha^ n_ 1+...+c_ q\\alpha^ n_ q=0\\) holds for infinitely many values of \\(n\\in {\\mathbb{N}}\\); then it holds for n belonging to some non-trivial arithmetic progression in \\({\\mathbb{N}}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$AC13578D-1D70-4B1A-92B6-03F62E0D27F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"df78f946dc5413fdc363d51f36d7e4d11d550ed0","datavalue":{"value":"22D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$9961E023-65E6-4B6B-B62C-27796594B340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e246619fdf7159d4d386fc900a11afc576a366","datavalue":{"value":"37A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$2EBFFC67-E952-4F3F-B52E-A23C97CD3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c6e109a2e64193c5cbbce81d0c802a2c319cf9c7","datavalue":{"value":"22D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$D6CF8A1F-D3C5-4A56-B4F7-2E86010070EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"843ddbb3a0353d608f162cb4e18ff6b7e5361744","datavalue":{"value":"4110964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$0295148D-408E-4DF0-9056-9D382A2BEA0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37013ac6fe4061aa1fd0fed5dae8260d0899f6c","datavalue":{"value":"compact metrizable abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$1ED5BDA1-A643-42F7-9595-0EC13D00033A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce31773e1f814c4c62cf5c59097e50573c6aac9","datavalue":{"value":"dual group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$C9ED66C9-0968-4871-B35E-825DE204243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9790dfc3be7864f2f39f6ff0f0bc837dcf77ce25","datavalue":{"value":"dynamical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$B76918D8-F4FD-4258-BCC0-287FD92A5A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef11e18bf2bb7d95c32c5bda96964243791862fc","datavalue":{"value":"Haar measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$86866FC4-B70C-4406-A57B-9E12DAF9C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"175a240527af0923e1440b1289e54006d5403509","datavalue":{"value":"descending chain condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$D44D90AF-BFBF-4492-B42A-BB953C1D7945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d0aa3dc9da33d2947ee535b2faf77a3e6fb1e09","datavalue":{"value":"shape","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123990$468A06D5-C2E8-4784-BDC7-AC24EF8D73B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"64762724c1e02f9032bfe996e6c875fc215af1bd","datavalue":{"value":{"entity-type":"item","numeric-id":1778068,"id":"Q1778068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123990$3503BEA7-F38B-4A9F-85B3-0687902B318D","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":"Q1123990$C9A3C88D-EA09-4E95-97B2-B690FED1ED0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ca9bcf74004a89c934782520a12715bc0baa35b","datavalue":{"value":"https://doi.org/10.2140/pjm.1989.137.371","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123990$C7A873B7-F0F3-4F58-9000-2A699A5F667E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f41152eed44560df494941f59305510059cf585f","datavalue":{"value":"W2053064452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$C1B33E3A-0659-4AA1-AE74-598D2004E604","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6781e6bf41d83b50c665cbb16e446ebc955d5b97","datavalue":{"value":"10.2140/PJM.1989.137.371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123990$5667A704-8065-4F05-B6BC-8D875661C439","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5e840dbd4216b7929d526e591a8bd1a3cbc1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1210503,"id":"Q1210503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ca685d9f3f58730bbfd7e59db019cd158aae29","datavalue":{"value":{"amount":"+0.8619697093963623","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":"Q1123990$6F16D76E-539F-459E-BAE3-BAD8692DC79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d62b4c4692af3cb905723c9ad5107e916b8d9073","datavalue":{"value":{"entity-type":"item","numeric-id":5757204,"id":"Q5757204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad3b0e3b9647023e0b76e092b024a4d600e1571","datavalue":{"value":{"amount":"+0.8603493571281433","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":"Q1123990$6ED8991F-7334-45E2-911F-7ADD3F5E8403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef375deee0508192cef348dd8cdefd38f3b601d","datavalue":{"value":{"entity-type":"item","numeric-id":1383482,"id":"Q1383482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f4676016d7dce305a384f9ff68d955a8729a58","datavalue":{"value":{"amount":"+0.8259255290031433","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":"Q1123990$D1F76871-2903-471E-BB2E-C7719BFDAA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7a216f8578b9b3e81a4aaa623c777adf4eb8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3526689,"id":"Q3526689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbdb6c420b8dfc0e1f33bbdfcbf31ba689627e7","datavalue":{"value":{"amount":"+0.8254936337471008","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":"Q1123990$69044A73-C1DF-46B9-B5E7-62868923117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a052407ccc7e422df4b824dfbe9da961bc375f","datavalue":{"value":{"entity-type":"item","numeric-id":5917353,"id":"Q5917353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1727f954f538c6df000c5012a5443f3e84d6bc15","datavalue":{"value":{"amount":"+0.8060150146484375","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":"Q1123990$D8CAE2FA-85DD-4B4C-A441-54090CB29323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1123990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1123990"}}}}}