|
|
| (385 intermediate revisions by more than 100 users not shown) |
| Line 1: |
Line 1: |
| In [[abstract algebra]], an '''adelic algebraic group''' is a [[semitopological group]] defined by an [[algebraic group]] ''G'' over a [[number field]] ''K'', and the [[adele ring]] ''A'' = ''A''(''K'') of ''K''. It consists of the points of ''G'' having values in ''A''; the definition of the appropriate [[topological space|topology]] is straightforward only in case ''G'' is a [[linear algebraic group]]. In the case of ''G'' an [[abelian variety]] it presents a technical obstacle, though it is known that the concept is potentially useful in connection with Tamagawa numbers. Adelic algebraic groups are widely used in [[number theory]], particularly for the theory of [[automorphic representation]]s, and the [[arithmetic of quadratic form]]s.
| | This is a preview for the new '''MathML rendering mode''' (with SVG fallback), which is availble in production for registered users. |
|
| |
|
| In case ''G'' is a linear algebraic group, it is an [[affine algebraic variety]] in affine ''N''-space. The topology on the adelic algebraic group <math>G(A)</math> is taken to be the [[subspace topology]] in ''A''<sup>''N''</sup>, the [[Cartesian product]] of ''N'' copies of the adele ring.
| | If you would like use the '''MathML''' rendering mode, you need a wikipedia user account that can be registered here [[https://en.wikipedia.org/wiki/Special:UserLogin/signup]] |
| | * Only registered users will be able to execute this rendering mode. |
| | * Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere. |
|
| |
|
| ==Ideles==
| | Registered users will be able to choose between the following three rendering modes: |
| An important example, the '''idele group''' ''I''(''K''), is the case of <math>G = GL_1</math>. Here the set of '''ideles''' (also ''idèles'' {{IPAc-en|ɪ|ˈ|d|ɛ|l|z}}) consists of the invertible adeles; but the topology on the idele group is ''not'' their topology as a subset of the adeles. Instead, considering that <math>GL_1</math> lies in two-dimensional [[affine space]] as the '[[hyperbola]]' defined parametrically by
| |
|
| |
|
| :{(''t'', ''t''<sup>−1</sup>)},
| | '''MathML''' |
| | :<math forcemathmode="mathml">E=mc^2</math> |
|
| |
|
| the topology correctly assigned to the idele group is that induced by inclusion in ''A''<sup>2</sup>; composing with a projection, it follows that the ideles carry a [[finer topology]] than the subspace topology from ''A''.
| | <!--'''PNG''' (currently default in production) |
| | :<math forcemathmode="png">E=mc^2</math> |
|
| |
|
| Inside ''A''<sup>''N''</sup>, the product ''K''<sup>''N''</sup> lies as a [[discrete subgroup]]. This means that ''G''(''K'') is a discrete subgroup of ''G''(''A''), also. In the case of the idele group, the [[quotient group]]
| | '''source''' |
| | :<math forcemathmode="source">E=mc^2</math> --> |
|
| |
|
| :''I''(''K'')/''K''<sup>×</sup> | | <span style="color: red">Follow this [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering link] to change your Math rendering settings.</span> You can also add a [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering-skin Custom CSS] to force the MathML/SVG rendering or select different font families. See [https://www.mediawiki.org/wiki/Extension:Math#CSS_for_the_MathML_with_SVG_fallback_mode these examples]. |
|
| |
|
| is the '''idele class group'''. It is closely related to (though larger than) the [[ideal class group]]. The idele class group is not itself compact; the ideles must first be replaced by the ideles of norm 1, and then the image of those in the idele class group is a [[compact group]]; the proof of this is essentially equivalent to the finiteness of the class number.
| | ==Demos== |
|
| |
|
| The study of the [[Galois cohomology]] of idele class groups is a central matter in [[class field theory]]. [[Character (group theory)|Characters]] of the idele class group, now usually called [[Hecke character]]s, give rise to the most basic class of [[L-function]]s.
| | Here are some [https://commons.wikimedia.org/w/index.php?title=Special:ListFiles/Frederic.wang demos]: |
|
| |
|
| ==Tamagawa numbers==
| |
| {{see also|Weil conjecture on Tamagawa numbers}}
| |
|
| |
|
| For more general ''G'', the '''Tamagawa number''' is defined (or indirectly computed) as the measure of
| | * accessibility: |
| | ** Safari + VoiceOver: [https://commons.wikimedia.org/wiki/File:VoiceOver-Mac-Safari.ogv video only], [[File:Voiceover-mathml-example-1.wav|thumb|Voiceover-mathml-example-1]], [[File:Voiceover-mathml-example-2.wav|thumb|Voiceover-mathml-example-2]], [[File:Voiceover-mathml-example-3.wav|thumb|Voiceover-mathml-example-3]], [[File:Voiceover-mathml-example-4.wav|thumb|Voiceover-mathml-example-4]], [[File:Voiceover-mathml-example-5.wav|thumb|Voiceover-mathml-example-5]], [[File:Voiceover-mathml-example-6.wav|thumb|Voiceover-mathml-example-6]], [[File:Voiceover-mathml-example-7.wav|thumb|Voiceover-mathml-example-7]] |
| | ** [https://commons.wikimedia.org/wiki/File:MathPlayer-Audio-Windows7-InternetExplorer.ogg Internet Explorer + MathPlayer (audio)] |
| | ** [https://commons.wikimedia.org/wiki/File:MathPlayer-SynchronizedHighlighting-WIndows7-InternetExplorer.png Internet Explorer + MathPlayer (synchronized highlighting)] |
| | ** [https://commons.wikimedia.org/wiki/File:MathPlayer-Braille-Windows7-InternetExplorer.png Internet Explorer + MathPlayer (braille)] |
| | ** NVDA+MathPlayer: [[File:Nvda-mathml-example-1.wav|thumb|Nvda-mathml-example-1]], [[File:Nvda-mathml-example-2.wav|thumb|Nvda-mathml-example-2]], [[File:Nvda-mathml-example-3.wav|thumb|Nvda-mathml-example-3]], [[File:Nvda-mathml-example-4.wav|thumb|Nvda-mathml-example-4]], [[File:Nvda-mathml-example-5.wav|thumb|Nvda-mathml-example-5]], [[File:Nvda-mathml-example-6.wav|thumb|Nvda-mathml-example-6]], [[File:Nvda-mathml-example-7.wav|thumb|Nvda-mathml-example-7]]. |
| | ** Orca: There is ongoing work, but no support at all at the moment [[File:Orca-mathml-example-1.wav|thumb|Orca-mathml-example-1]], [[File:Orca-mathml-example-2.wav|thumb|Orca-mathml-example-2]], [[File:Orca-mathml-example-3.wav|thumb|Orca-mathml-example-3]], [[File:Orca-mathml-example-4.wav|thumb|Orca-mathml-example-4]], [[File:Orca-mathml-example-5.wav|thumb|Orca-mathml-example-5]], [[File:Orca-mathml-example-6.wav|thumb|Orca-mathml-example-6]], [[File:Orca-mathml-example-7.wav|thumb|Orca-mathml-example-7]]. |
| | ** From our testing, ChromeVox and JAWS are not able to read the formulas generated by the MathML mode. |
|
| |
|
| :''G''(''A'')/''G''(''K'').
| | ==Test pages == |
|
| |
|
| [[Tsuneo Tamagawa]]'s observation was that, starting from an invariant [[differential form]] ω on ''G'', defined ''over K'', the measure involved was [[well-defined]]: while ω could be replaced by ''c''ω with ''c'' a non-zero element of ''K'', the [[product formula]] for [[valuation (algebra)|valuation]]s in ''K'' is reflected by the independence from ''c'' of the measure of the quotient, for the product measure constructed from ω on each effective factor. The computation of Tamagawa numbers for [[semisimple group]]s contains important parts of classical [[quadratic form]] theory.
| | To test the '''MathML''', '''PNG''', and '''source''' rendering modes, please go to one of the following test pages: |
| | *[[Displaystyle]] |
| | *[[MathAxisAlignment]] |
| | *[[Styling]] |
| | *[[Linebreaking]] |
| | *[[Unique Ids]] |
| | *[[Help:Formula]] |
|
| |
|
| ==History of the terminology==
| | *[[Inputtypes|Inputtypes (private Wikis only)]] |
| Historically the ''idèles'' were introduced by {{harvs|txt|last=Chevalley|authorlink=Claude Chevalley|year=1936}} under the name "élément idéal", which is "ideal element" in French, which {{harvtxt|Chevalley|1940}} then abbreviated to "idèle". (In these papers he also gave the ideles a rather non-[[Hausdorff topology]].) This was to formulate [[class field theory]] for infinite extensions in terms of topological groups. {{harvtxt|Weil|1938}} defined (but did not name) the ring of adeles in the function field case and pointed out that Chevalley's group of ''Idealelemente'' was the group of invertible elements of this ring. {{harvtxt|Tate|1950}} defined the ring of adeles as a restricted direct product, though he called its elements "valuation vectors" rather than adeles.
| | *[[Url2Image|Url2Image (private Wikis only)]] |
| | | ==Bug reporting== |
| {{harvtxt|Chevalley|1951}} defined the ring of adeles in the function field case, under the name "repartitions". The term ''adèle'' (short for additive idèles, and also a French girls' name) was in use shortly afterwards {{harv|Jaffard|1953}} and may have been introduced by [[André Weil]]. The general construction of adelic algebraic groups by {{harvtxt|Ono|1957}} followed the algebraic group theory founded by [[Armand Borel]] and [[Harish-Chandra]].
| | If you find any bugs, please report them at [https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions&component=Math&version=master&short_desc=Math-preview%20rendering%20problem Bugzilla], or write an email to math_bugs (at) ckurs (dot) de . |
| <!--
| |
| ==Notes==
| |
| {{reflist}}-->
| |
| | |
| ==References==
| |
| *{{Citation | last1=Chevalley | first1=Claude | title=Généralisation de la théorie du corps de classes pour les extensions infinies. | language=French | jfm=62.1153.02 | year=1936 | journal=Journal de Mathématiques Pures et Appliquées | volume=15 | pages=359–371}} | |
| *{{Citation | last1=Chevalley | first1=Claude | title=La théorie du corps de classes | jstor=1969013 | mr=0002357 | year=1940 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=41 | pages=394–418}}
| |
| *{{Citation | last1=Chevalley | first1=Claude | title=Introduction to the Theory of Algebraic Functions of One Variable | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Mathematical Surveys, No. VI | mr=0042164 | year=1951}}
| |
| *{{Citation | last1=Jaffard | first1=Paul | title=Anneaux d'adèles (d'après Iwasawa) | url=http://www.numdam.org/item?id=SB_1954-1956__3__23_0 | publisher=Secrétariat mathématique, Paris | series=Séminaire Bourbaki, | mr=0157859 | year=1953}}
| |
| *{{Citation | last1=Ono | first1=Takashi | title=Sur une propriété arithmétique des groupes algébriques commutatifs | url=http://www.numdam.org/item?id=BSMF_1957__85__307_0 | mr=0094362 | year=1957 | journal=Bulletin de la Société Mathématique de France | issn=0037-9484 | volume=85 | pages=307–323}}
| |
| *{{Citation | last1=Tate | first1=John T. | title=Algebraic Number Theory (Proc. Instructional Conf., Brighton, 1965) | publisher=Thompson, Washington, D.C. | isbn=978-0-9502734-2-6 | mr=0217026 | year=1950 | chapter=Fourier analysis in number fields, and Hecke's zeta-functions | pages=305–347}}
| |
| *{{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Zur algebraischen Theorie der algebraischen Funktionen. | url=http://resolver.sub.uni-goettingen.de/purl?GDZPPN002174502 | language=German | doi=10.1515/crll.1938.179.129 | year=1938 | journal=Journal für Reine und Angewandte Mathematik | issn=0075-4102 | volume=179 | pages=129–133}}
| |
| | |
| ==External links==
| |
| *{{springer|first=A.S. |last=Rapinchuk|id=T/t092060|title=Tamagawa number}}
| |
| | |
| [[Category:Topological groups]]
| |
| [[Category:Algebraic number theory]]
| |
| [[Category:Algebraic groups]]
| |
This is a preview for the new MathML rendering mode (with SVG fallback), which is availble in production for registered users.
If you would like use the MathML rendering mode, you need a wikipedia user account that can be registered here [[1]]
- Only registered users will be able to execute this rendering mode.
- Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.
Registered users will be able to choose between the following three rendering modes:
MathML
Follow this link to change your Math rendering settings. You can also add a Custom CSS to force the MathML/SVG rendering or select different font families. See these examples.
Demos
Here are some demos:
- accessibility:
- Safari + VoiceOver: video only, File:Voiceover-mathml-example-1.wav, File:Voiceover-mathml-example-2.wav, File:Voiceover-mathml-example-3.wav, File:Voiceover-mathml-example-4.wav, File:Voiceover-mathml-example-5.wav, File:Voiceover-mathml-example-6.wav, File:Voiceover-mathml-example-7.wav
- Internet Explorer + MathPlayer (audio)
- Internet Explorer + MathPlayer (synchronized highlighting)
- Internet Explorer + MathPlayer (braille)
- NVDA+MathPlayer: File:Nvda-mathml-example-1.wav, File:Nvda-mathml-example-2.wav, File:Nvda-mathml-example-3.wav, File:Nvda-mathml-example-4.wav, File:Nvda-mathml-example-5.wav, File:Nvda-mathml-example-6.wav, File:Nvda-mathml-example-7.wav.
- Orca: There is ongoing work, but no support at all at the moment File:Orca-mathml-example-1.wav, File:Orca-mathml-example-2.wav, File:Orca-mathml-example-3.wav, File:Orca-mathml-example-4.wav, File:Orca-mathml-example-5.wav, File:Orca-mathml-example-6.wav, File:Orca-mathml-example-7.wav.
- From our testing, ChromeVox and JAWS are not able to read the formulas generated by the MathML mode.
Test pages
To test the MathML, PNG, and source rendering modes, please go to one of the following test pages:
Bug reporting
If you find any bugs, please report them at Bugzilla, or write an email to math_bugs (at) ckurs (dot) de .
