Yksiulotteinen äärellistyyppinen siirtoavaruus on kaksisuuntaisten äärettömien sanojen joukko, jonka määrittää äärellinen joukko kiellettyjä alisanoja. Tällä voidaan esittää viestintäkanavalle ominaisia rajoitteita (kuten rajoitetta, että kahta 1-bittiä ei voida lähettää peräkkäin). Äärellistyyppisen siirtoavaruuden automorfismiryhmä on matemaattisesti hyvin rikas objekti, esimerkiksi sillä on monia erityyppisiä aliryhmiä. Tässä projektissa tutkitaan missä määrin tämä puhtaasti algebrallinen objekti muistaa siirtoavaruuden rajoitteet, tavoitteena yleistää kuuluisa Rubinin teoreema kattamaan tämä tapaus. Yleisemmin projektissa pyritään ymmärtämään paremmin automorfismiryhmän rakennetta.

2026

2030