| 词条 | Approximation in algebraic groups |
| 释义 |
In algebraic group theory, approximation theorems are an extension of the Chinese remainder theorem to algebraic groups G over global fields k. UseThey give conditions for the group G(k) to be dense in a restricted direct product of groups of the form G(ks) for ks a completion of k at the place s. In weak approximation theorems the product is over a finite set of places s, while in strong approximation theorems the product is over all but a finite set of places. History{{harvtxt|Eichler|1938}} proved strong approximation for some classical groups.Strong approximation was established in the 1960s and 1970s, for semisimple simply-connected algebraic groups over global fields. The results for number fields are due to {{harvs|txt|authorlink=Martin Kneser|last=Kneser|year=1966}} and {{harvs|txt|authorlink=Vladimir Platonov|last=Platonov|year=1969}}; the function field case, over finite fields, is due to {{harvs|txt|authorlink=Grigory Margulis|last=Margulis|year=1977}} and {{harvs|txt|authorlink=Gopal Prasad|last=Prasad|year=1977}}. In the number field case Platonov also proved a related result over local fields called the Kneser–Tits conjecture. Formal definitions and propertiesLet G be a linear algebraic group over a global field k, and A the adele ring of k. If S is a non-empty finite set of places of k, then we write AS for the ring of S-adeles and AS for the product of the completions ks, for s in the finite set S. For any choice of S, G(k) embeds in G(AS) and G(AS). The question asked in weak approximation is whether the embedding of G(k) in G(AS) has dense image. If the group G is connected and k-rational, then it satisfies weak approximation with respect to any set S {{harv|Platonov, Rapinchuk|1994|loc=p.402}}. More generally, for any connected group G, there is a finite set T of finite places of k such that G satisfies weak approximation with respect to any set S that is disjoint with T {{harv|Platonov, Rapinchuk|1994|loc=p.415}}. In particular, if k is an algebraic number field then any group G satisfies weak approximation with respect to the set S = S∞ of infinite places. The question asked in strong approximation is whether the embedding of G(k) in G(AS) has dense image, or equivalently whether the set G(k)G(AS) is a dense subset in G(A). The main theorem of strong approximation {{harv|Kneser|1966|loc=p.188}} states that a non-solvable linear algebraic group G over a global field k has strong approximation for the finite set S if and only if its radical N is unipotent, G/N is simply connected, and each almost simple component H of G/N has a non-compact component Hs for some s in S (depending on H). The proofs of strong approximation depended on the Hasse principle for algebraic groups, which for groups of type E8 was only proved several years later. Weak approximation holds for a broader class of groups, including adjoint groups and inner forms of Chevalley groups, showing that the strong approximation property is restrictive. See also
References
|last=Platonov|first= Vladimir|last2= Rapinchuk|first2= Andrei |title=Algebraic groups and number theory. (Translated from the 1991 Russian original by Rachel Rowen.) |series=Pure and Applied Mathematics|volume= 139|publisher= Academic Press, Inc.|publication-place= Boston, MA|year= 1994|ISBN= 0-12-558180-7 }}
2 : Algebraic groups|Diophantine geometry |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。