Polylukujen algebra toteutetaan muodon elementeillä :
jossa a on joukko generaattoreita, jotka noudattavat seuraavia kertolaskusääntöjä (kertominen on kommutatiivista ja assosiatiivista):
ja itse on seuraava objekti ( suora summa ):
On helppo tarkistaa, että kertominen polylukujen algebrassa valitussa kannassa pelkistyy vastaavien komponenttien kertolaskuksi ja jako määritellään vain polyluvuille, joilla on kaikki (tästä syystä polyluvut eivät muodosta lukukenttää ) . Algebrallisella yksiköllä on seuraava esitys valitussa perustassa:
.Algebrassa on n-1 kompleksista konjugaatiooperaatiota . Yksi niistä voidaan määrittää seuraavalla säännöllä:
joka pelkistyy polyluvun komponenttien sykliseksi permutaatioksi . k - nen kompleksinen konjugaatio voidaan määritellä kaavalla :
( - kertaa)Se on selvää
Harkitse muodon polylukua
(yksi)missä .
On helppo tarkistaa, että se on totta siinä mielessä
missä .Lukua kutsutaan polyluvun (quasi)normiksi . Kvasinormi ilmaistaan polyluvun koordinaatteina kaavalla :
, (2)missä on n-muoto
, (3)on symmetrisointioperaattori. Tämä lomake on (Finsler) metriikka Berwald-Moor-avaruuksissa . Kaavat (1)-(3) selventävät polylukualgebran ja Berwald-Moor-avaruuksien välistä yhteyttä: metrisen n-muodon (3) indusoi todellinen algebrallinen muoto , joka on euklidisen neliulotteisen muodon moniulotteinen analogi . monimutkainen taso .
Analogisesti kompleksisen bilineaarisen muodon kanssa:
,jossa , voimme harkita n - lineaarista muotoa
(neljä)Tässä summaus suoritetaan kaikkien elementtien permutaatioiden joukolle . Viimeinen yhtäläisyysmerkki kohdassa (4) (se määritetään suoralla todennuksella) paljastaa myös geneettisen yhteyden polylukujen algebroiden ja vastaavien Berwald-Moor-avaruuksien geometrioiden välillä.
Yllä kuvattu polylukualgebra voidaan osoittaa olevan reaalilukualgebran esiintymien suora summa . Kaikista assosiatiivis-kommutatiivisista algebroista se on tietyssä mielessä maksimaalisesti symmetrinen (sisältää hyperbolisia imaginaariyksiköitä). Yleisempi konstruktio on polylukualgebra , joka on suora summa reaalilukujen algebran ja kompleksilukujen algebran ilmentymistä [1] .