Σελίδα 1 από 1

Ανισότητα και ομοιομορφισμός

Δημοσιεύτηκε: Δευ Δεκ 25, 2017 11:29 pm
από Tolaso J Kos
Έστω \mathcal{G} ομάδα και f:\mathcal{G} \rightarrow \mathcal{G} ένας ομοιομορφισμός. Αποδείξατε ότι:
\displaystyle{\left | f \left ( \mathcal{G} \right ) \right |^2 \leq \left | \mathcal{G} \right | \left | f \left ( f \left ( \mathcal{G} \right ) \right ) \right |}
Άνευ λύσης!

Re: Ανισότητα και ομοιομορφισμός

Δημοσιεύτηκε: Τετ Δεκ 27, 2017 7:40 am
από dement
Ισχύει γενικά |\mathcal{G}|=|\ker f| |f(\mathcal{G})| (πρώτο θεώρημα ισομορφισμών). Με δεδομένο αυτό έχουμε επίσης \displaystyle |f(\mathcal{G})| = \left|\ker f|_{f(\mathcal{G})} \right| |f(f(\mathcal{G}))| και η ανισότητα ισοδυναμεί με \displaystyle \left|\ker f|_{f(\mathcal{G})} \right| \leqslant |\ker f| που προφανώς ισχύει.