Grup de automorfisme

În matematică grupul de automorfisme într-una din formele sale cele mai generale este definit în contextul teoriei categoriilor. În teoria categoriilor, grupul de automorfisme al unui obiect X este grupul format din automorfismele lui X. Cel mai faimos exemplu este $\operatorname {Aut} (G)$, care este grupul de automorfisme al unui grup ca $G$, un altul este grupul liniar general^⁠(d): dacă X este un spațiu vectorial finit-dimensional, atunci grupul de automorfism al lui X este grupul de transformări liniare inversabile al lui X pe sine însuși.

În special în contexte geometrice, un grup de automorfisme este numit și grup de simetrie. Un subgrup al unui grup de automorfisme se numește, în special în literatura veche, grup de transformare.

Exemple

• Grupul de automorfism al unei mulțimi X este tocmai grupul simetric^⁠(d) al lui X.
• Un omomorfism de grup la grupul de automorfisme al unei mulțimi X echivalează cu o acțiune de grup^⁠(d) pe X: orice G-acțiune pe mulțimea X determină $G\to \operatorname {Aut} (X),\,g\mapsto \sigma _{g},\,\sigma _{g}(x)=g\cdot x$ și, invers, orice omomorfism $\varphi :G\to \operatorname {Aut} (X)$ definește o acțiune prin $g\cdot x=\varphi (g)x$.
• Fie $A,B$ două mulțimi finite cu aceeași cardinalitate și $\operatorname {Iso} (A,B)$ mulțimea tuturor bijecțiilor <A \mathrel{\overset{\sim}\to} B</math>. Atunci $\operatorname {Aut} (B)$, care este un grup simetric (vezi mai sus), acționează asupra $\operatorname {Iso} (A,B)$ din stânga în mod liber și tranzitiv; adică, $\operatorname {Iso} (A,B)$ este un torsor pentru $\operatorname {Aut} (B)$.
• Grupul de automorfisme $G$ al unui grup ciclic finit de ordinul n este izomorf^⁠(d) cu $(\ mathbb{Z}/n\mathbb {Z} )^{*}$ cu izomorfismul dat de ${\overline {a}}\mapsto \sigma _{a}\in G,\,\sigma _{a}(x)=x^{a}$. În particular, $G$ este un grup abelian.
• Grupul de automorfism al unei extinderi de corp $L/K$ este grupul constând din automorfisme de corp ale L care fixează pe K. Dacă extindera de corp este o extindere Galois, grupul de automorfisme se numește grupul Galois al extinderii de corp.
• Grupul de automorfism al n-spațiului proiectiv pe un corp k este grupul liniar proiectiv $\operatorname {PGL} _{n}(k).$
• Grupul de automorfisme al unei algebre Lie reale finită dimensional ${\mathfrak {g}}$ are structura unui grup Lie (real, de fapt este chiar un grup algebric liniar). Dacă "G" este un grup Lie cu algebră Lie ${\mathfrak {g}}$, atunci grupul de automorfisme al lui "G" are structura unui grup Lie indusă de grupul de automorfisme ${\mathfrak {g}}$.

În teoria categoriilor

Grupurile de automorfisme apar foarte natural în teoria categoriilor.

Dacă X este un obiect dintr-o categorie, atunci grupul de automorfisme al lui X este grupul format din toate morfismele inversabile din X pe sine însuși. Este grupul unitar al endomorfismului monoidului X.

Dacă $A,B$ sunt obiecte dintr-o anumită categorie, atunci mulțimea $\operatorname {Iso} (A,B)$ al tuturor $A\mathrel {\overset {\sim }{\to }} B$ este un torsor $\operatorname {Aut} (B)$ la stânga. În practică acest lucru spune că o alegere diferită a unei origini a $\operatorname {Iso} (A,B)$ diferă fără ambiguitate de un element $\operatorname {Aut} (B)$, sau că fiecare alegere a unei origini este o alegere a trivializării torsorului.

Dacă $X_{1}$ și $X_{2}$ sunt obiecte din categoriile $C_{1}$ și $C_{2}$, și dacă $F:C_{1}\to C_{2}$ este o aplicație functor $X_{1}$ pe $X_{2}$, atunci $F$ induce omomorfismul de grup $\operatorname {Aut} (X_{1})\to \operatorname {Aut} (X_{2})$, deoarece aplică morfismele inversabile pe morfismele inversabile.

În particular, dacă G este un grup, considerat categorie, cu un singur obiect * sau, mai general, dacă G este un grupoid, atunci orice functor $G\to C$ în categoria C este numit acțiune sau reprezentare a lui G pe obiectul $F(*)$, sau objectele $F(\operatorname {Obj} (G))$. Aceste obiecte se spune că sunt $G$-obiecte. Dacă $C$ este o categorie de module precum categoria spațiilor vectoriale cu dimensiuni finite, atunci $G$-obiectele se numesc $G$-module.

Bibliografie

• en Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (ed. 3rd). Wiley. ISBN 978-0-471-43334-7. 
• en Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103. 
• en Hartshorne, Robin (1977). Algebraic Geometry. Graduate Texts in Mathematics. 52. New York: Springer-Verlag. ISBN 978-0-387-90244-9. MR 0463157. 
• en Milnor, John Willard (1971). Introduction to algebraic K-theory. Annals of Mathematics Studies. 72. Princeton, NJ: Princeton University Press. ISBN 9780691081014. MR 0349811. Zbl 0237.18005. 
• en Waterhouse, William C. (2012) [1979]. Introduction to Affine Group Schemes. Graduate Texts in Mathematics. 66. Springer-Verlag. ISBN 9781461262176. 

Legături externe

• en Automorphism group of a scheme