Αβελιανή ομάδα και αντίστροφα στοιχεία

Συντονιστής: Demetres

Άβαταρ μέλους
polysot
Επιμελητής
Δημοσιεύσεις: 2602
Εγγραφή: Δευ Οκτ 19, 2009 11:43 pm
Τοποθεσία: Όπου βρω ενδιαφέρουσες προσωπικότητες...
Επικοινωνία:

Αβελιανή ομάδα και αντίστροφα στοιχεία

#1

Μη αναγνωσμένη δημοσίευση από polysot » Σάβ Οκτ 23, 2010 10:14 pm

Να δειχθεί ότι μία ομάδα G είναι αβελιανή, αν και μόνο, αν η απεικόνιση f:G \mapsto G : a \mapsto f(a)=a^{-1} είναι αυτομορφισμός.


Σωτήρης Δ. Χασάπης

Ζήσε τα μαθηματικά σου!
-----------------------------
"There is a scientific taste just as there is a literary or artistic one", Renan
"The journey of a thousand miles begins with one step.", Lao Tzu
Άβαταρ μέλους
Κοτρώνης Αναστάσιος
Επιμελητής
Δημοσιεύσεις: 3203
Εγγραφή: Κυρ Φεβ 22, 2009 11:11 pm
Τοποθεσία: Μπροστά στο πισί...
Επικοινωνία:

Re: Αβελιανή ομάδα και αντίστροφα στοιχεία

#2

Μη αναγνωσμένη δημοσίευση από Κοτρώνης Αναστάσιος » Κυρ Οκτ 24, 2010 6:57 pm

\displaystyle{(\Rightarrow)} Είναι \displaystyle{f(ab)=(ab)^{-1}=b^{-1}a^{-1}\stackrel{\boxed{*}}{=}a^{-1}b^{-1}=f(a)f(b)}

\displaystyle{\boxed{*}} Επειδή η G είναι αβελιανή, άρα η \displaystyle{f} είναι ομομορφισμός.

\displaystyle{ker(f)=\{a\in G:f(a)=a^{-1}=e\}=\{a\in G:a=e\}=\{e\}}, αρα η \displaystyle{f} είναι μονομορφισμός.

Προφανώς τώρα για \displaystyle{ a\in G} είναι \displaystyle{f(a^{-1})=a} με \displaystyle{a^{-1}\in G}, άρα η \displaystyle{f} είναι και επιμορφισμός.

\displaystyle{(\Leftarrow)} Έστω \displaystyle{a,b\in G}. Είναι \displaystyle{ab\stackrel{\boxed{*}}{=}f(a^{-1})f(b^{-1})\stackrel{\boxed{**}}{=}f(a^{-1}b^{-1})=f\left((\color{red}ba\color{black})^{-1}\right)=ba}

\displaystyle{\boxed{*}} Επειδή η \displaystyle{f} είναι επιμορφισμός και

\displaystyle{\boxed{**}} Επειδή η \displaystyle{f} είναι ομομορφισμός.

Ευχαριστώ Μάνο


Εσύ....; Θα γίνεις κανίβαλος....;
Άβαταρ μέλους
polysot
Επιμελητής
Δημοσιεύσεις: 2602
Εγγραφή: Δευ Οκτ 19, 2009 11:43 pm
Τοποθεσία: Όπου βρω ενδιαφέρουσες προσωπικότητες...
Επικοινωνία:

Re: Αβελιανή ομάδα και αντίστροφα στοιχεία

#3

Μη αναγνωσμένη δημοσίευση από polysot » Κυρ Οκτ 24, 2010 10:48 pm

Αναστάση παρόμοια και η δική μου απόδειξη μόνο που πήγα το 1-1 στοιχειωδώς :

f(a) = f(b) \Rightarrow a^{-1} = b^{-1} \Rightarrow a = b


Σωτήρης Δ. Χασάπης

Ζήσε τα μαθηματικά σου!
-----------------------------
"There is a scientific taste just as there is a literary or artistic one", Renan
"The journey of a thousand miles begins with one step.", Lao Tzu
Απάντηση

Επιστροφή σε “ΑΛΓΕΒΡΑ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης