Pokazać, że jeżeli \(\displaystyle{ \varphi : G \rightarrow H}\) jest monomorfizmem, to dla każdego elementu \(\displaystyle{ x \in G}\), \(\displaystyle{ o(x)=o(\varphi(x))}\).
Z góry dziękuję za pomoc
wlasnosc dla monomorfizmu
-
Spektralny
- Użytkownik
- Posty: 3949
- Rejestracja: 17 cze 2011, o 21:04
- Płeć: Mężczyzna
- wiek: 39
- Lokalizacja: Praga, Katowice, Kraków
- Podziękował: 9 razy
- Pomógł: 931 razy
wlasnosc dla monomorfizmu
Zauważ, że \(\displaystyle{ \varphi}\) jest izomorfizmem na swój obraz, więc zachowuje rzędy elementów.
Podchodząc do sprawy nazbyt pedantycznie możemy przeprowadzić takie rozumowanie:
Jest jasne, że dla dowolnego homomorfizmu \(\displaystyle{ o(\varphi(x))\leqslant o(x)}\).
Załóżmy, że \(\displaystyle{ o(x)=k}\), gdzie \(\displaystyle{ k\in \mathbb{N}\cup\{\infty\}}\). Gdyby \(\displaystyle{ o(\varphi(x)) = n<k}\), tzn. \(\displaystyle{ (\varphi(x))^n = 1}\), to wówczas \(\displaystyle{ 1=(\varphi(x))^n = \varphi(x^n)}\) a z różnowartościowości, \(\displaystyle{ x^n = 1}\), tj. \(\displaystyle{ o(x)\leqslant n<o(x)}\), sprzeczność.
Podchodząc do sprawy nazbyt pedantycznie możemy przeprowadzić takie rozumowanie:
Jest jasne, że dla dowolnego homomorfizmu \(\displaystyle{ o(\varphi(x))\leqslant o(x)}\).
Załóżmy, że \(\displaystyle{ o(x)=k}\), gdzie \(\displaystyle{ k\in \mathbb{N}\cup\{\infty\}}\). Gdyby \(\displaystyle{ o(\varphi(x)) = n<k}\), tzn. \(\displaystyle{ (\varphi(x))^n = 1}\), to wówczas \(\displaystyle{ 1=(\varphi(x))^n = \varphi(x^n)}\) a z różnowartościowości, \(\displaystyle{ x^n = 1}\), tj. \(\displaystyle{ o(x)\leqslant n<o(x)}\), sprzeczność.