Invariant theory for finite groups
Teorie invariantů pro konečné grupy
bakalářská práce (OBHÁJENO)

Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/99733Identifikátory
SIS: 140835
Kolekce
- Kvalifikační práce [11325]
Autor
Vedoucí práce
Oponent práce
Šaroch, Jan
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná matematika
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
22. 6. 2018
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
Symetrické polynómy, Akcia grupy, Invariantné polynómy, Okruh invariantovKlíčová slova (anglicky)
Symmetric polynomials, Group action, Invariant polynomials, Ring of invariantsHlavným cieľom tejto práce je podať patričný úvod do teórie invariantov pre konečné grupy. Našu charakterizáciu začneme pri symetrických polynómoch a ich základných vlastnostiach. Študujeme najmä okruh symetrických polynómov a dokážeme, že je konečne generovaný elementárnymi symetrickými funkciami. Potom sa zaoberáme niektorými kritériami toho, kedy je polynóm symetrický. V druhej časti zovšeobecňujeme tieto idey pre ľubovoľnú konečnú podgrupu GL(n,k). Definujeme akciu konečnej lineárnej grupy na k[x_1,...,x_n] a uvažujeme polynómy, ktoré sú invariantné voči tejto akcii. Ukážeme, že tvoria okruh, ktorý je vždy konečne generovaný, čo plynie z Noetherovej vety o medzi. Na záver dôkladnejšie popíšeme okruh invariantov a vzťahy medzi jeho generátormi.
The prime goal of this thesis is to give a decent introduction to the theory of invariants for finite groups. We begin our characterisation with symmetric polynomials and their fundamental properties. In particular, we study the ring of symmetric polynomials and we prove that it is finitely generated by elementary symmetric functions. Then we deal with some of the criteria for a polynomial to be symmetric. In the second part, we generalise these ideas for any finite subgroup of GL(n,k). We define an action of a finite linear group on k[x_1,...,x_n] and consider polynomials that are invariant under such action. We show that they form a ring which is always finitely generated, as follows from the Noether's bound theorem. At the end, we describe the ring of invariants and relations among its generators more profoundly.