Automorfizm: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
redakcja |
wzory |
||
Linia 1:
'''Automorfizm''' [[struktura matematyczna|struktury matematycznej]] <math>\mathcal A</math> to [[izomorfizm]] tej struktury na siebie, czyli [[funkcja wzajemnie jednoznaczna|wzajemnie jednoznaczny]] [[endomorfizm]] struktury <math>\mathcal A</math>.
Zbiór wszystkich automorfizmów struktury <math>\mathcal A</math> z działaniem [[złożenie funkcji|składania odwzorowań]] i [[odwzorowanie tożsamościowe|odwzorowaniem tożsamościowym]] pełniącym rolę [[element neutralny|elementu neutralnego]] tworzy
==Przykłady==
* Odwzorowanie <math>f: G \to G</math> określone następująco: <math>f_a(x)=a^{-1}xa</math>, gdzie
* Jedynym automorfizmem każdego [[ciało proste|ciała prostego]] jest [[funkcja identycznościowa|tożsamość]].▼
▲* Odwzorowanie <math>f: G \to G</math> określone następująco: <math>f_a(x)=a^{-1}xa</math>, gdzie ''a'' jest ustalonym elementem [[grupa (matematyka)|grupy]] G, jest automorfizmem grupy G, zwanym '''automorfizmem wewnętrznym'''.
▲* Jedynym automorfizmem każdego [[ciało proste|ciała prostego]] jest tożsamość.
* Jedynym automorfizmem [[liczby rzeczywiste#Definicja_aksjomatyczna|ciała liczb rzeczywistych]] jest tożsamość.
* Jedynymi ciągłymi automorfizmami [[liczby zespolone|ciała liczb zespolonych]] są tożsamość i [[liczba sprzężona|sprzężenie zespolone]].
Jest natomiast nieskończenie wiele nieciągłych automorfizmów ciała liczb zespolonych. Dokładniej, jest ich <math>2^\mathfrak{c}</math>.
[[kategoria:Algebra]]
|