Adelen rengas

Kohteesta Wikipedia
Loikkaa: valikkoon, hakuun

Lukuteoriassa adelen rengas on topologinen rengas, joka on rakennettu joko rationaalilukujen kunnan päälle tai yleisemmin algebrallisen lukukunnan päälle. Se sisältää kaikki kyseisen kunnan täydellistymät.

Sana adele on lyhenne sanoista additiivinen idele. Adeleita kutsuttiin ennen valuaatiovektoreiksi tai uudelleenosituksiksi ennen 1950-lukua.

Määritelmät[muokkaa | muokkaa wikitekstiä]

Kokonaislukujen proäärellinen täydellistymä on käänteinen raja-arvo renkaista :

Kiinalaisen jäännöslauseen mukaan se on isomorfinen kaikkien p-adisten lukujen renkaiden tulon

kanssa.

Kokonaisadeleiden rengas AZ on tulo

Rationaaliadeleiden rengas AQ on tensoritulo

(topologisoitu siten, että AZ on avoin alirengas). Yleisemmin adeleiden rengas AK, missä K on mielivaltainen algebrallinen lukukunta, on tensoritulo

(topologia annettu ottamalla tulo AQ:sta deg(K) kertaa).