Ασκήσεις Άλγεβρας

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

BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

Re: Ασκήσεις Άλγεβρας

#61

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Τρί Δεκ 15, 2020 1:30 pm

Άσκηση 16 Έστω \mathbb{F} ένα σώμα χαρακτηριστικής p. Να δειχθεί ότι η απεικόνιση Frobenius F:\mathbb{F}\to \mathbb{F}\,,F(a)=a^p είναι ομομορφισμός δακτυλίων.


Παπαπέτρος Ευάγγελος

Λέξεις Κλειδιά:
BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

Re: Ασκήσεις Άλγεβρας

#62

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Τρί Δεκ 15, 2020 1:34 pm

Άσκηση 17 Να δοθεί παράδειγμα πολυωνύμου με συντελεστές από έναν μεταθετικό δακτύλιο ο οποίος δεν είναι σώμα, το οποίο έχει περισσότερες ρίζες από τον βαθμό του.


Παπαπέτρος Ευάγγελος
Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#63

Μη αναγνωσμένη δημοσίευση από stranger » Τρί Δεκ 15, 2020 1:45 pm

BAGGP93 έγραψε:
Τρί Δεκ 15, 2020 1:30 pm
Άσκηση 16 Έστω \mathbb{F} ένα σώμα χαρακτηριστικής p. Να δειχθεί ότι η απεικόνιση Frobenius F:\mathbb{F}\to \mathbb{F}\,,F(a)=a^p είναι ομομορφισμός δακτυλίων.
Αν a,b \in F τότε προφανώς έχουμε (ab)^p = a^p b^p, οπότε αρκεί να δείξουμε ότι (a+b)^p=a^p+b^p.
Έχουμε (a+b)^p = \sum_{k=0}^{p}\binom{p}{k} a^k b^{p-k}.
Όμως αν 1 \leq k \le p-1 έχουμε p \mid \binom{p}{k}(γιατι;), οπότε αφού η χαρακτηριστική του σώματος είναι p παίρνουμε \binom{p}{k}a^k b^{p-k}=0 και το συμπέρασμα έπεται.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#64

Μη αναγνωσμένη δημοσίευση από stranger » Τρί Δεκ 15, 2020 1:51 pm

BAGGP93 έγραψε:
Τρί Δεκ 15, 2020 1:34 pm
Άσκηση 17 Να δοθεί παράδειγμα πολυωνύμου με συντελεστές από έναν μεταθετικό δακτύλιο ο οποίος δεν είναι σώμα, το οποίο έχει περισσότερες ρίζες από τον βαθμό του.
Παίρνουμε f(x)=2x στον \mathbb{Z}_4 [x].
Τότε f(0)=f(2)=0 και ο βαθμός του πολυωνύμου είναι 1.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
bouzoukman
Δημοσιεύσεις: 108
Εγγραφή: Δευ Ιαν 19, 2009 7:53 pm
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#65

Μη αναγνωσμένη δημοσίευση από bouzoukman » Τρί Δεκ 15, 2020 2:17 pm

stranger έγραψε:
Τρί Δεκ 15, 2020 1:51 pm
BAGGP93 έγραψε:
Τρί Δεκ 15, 2020 1:34 pm
Άσκηση 17 Να δοθεί παράδειγμα πολυωνύμου με συντελεστές από έναν μεταθετικό δακτύλιο ο οποίος δεν είναι σώμα, το οποίο έχει περισσότερες ρίζες από τον βαθμό του.
Παίρνουμε f(x)=2x στον \mathbb{Z}_4 [x].
Τότε f(0)=f(2)=0 και ο βαθμός του πολυωνύμου είναι 1.
Ωραία ερώτηση και αντιπαράδειγμα για το Θεώρημα του Langrange! :winner_first_h4h:


"Υπάρχει αρκετό φως γι' αυτούς που επιθυμούν να δουν και αρκετό σκοτάδι γι' αυτούς που έχουν την αντίθετη επιθυμία", B. Pascal
Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#66

Μη αναγνωσμένη δημοσίευση από stranger » Σάβ Φεβ 20, 2021 2:22 pm

18) Έστω R ένας μεταθετικός δακτύλιος με μονάδα. Ένα στοιχείο του r λέγεται μηδενοδύναμο αν r^n=0 για κάποιο φυσικό αριθμό n.
Έστω επίσης nil(R) να είναι η τομή όλων των πρώτων ιδεωδών του R.
Να δείξετε ότι το nil(R) είναι το σύνολο των μηδενοδύναμων στοιχείων του R.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

Re: Ασκήσεις Άλγεβρας

#67

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Σάβ Φεβ 20, 2021 5:03 pm

stranger έγραψε:
Σάβ Φεβ 20, 2021 2:22 pm
18) Έστω R ένας μεταθετικός δακτύλιος με μονάδα. Ένα στοιχείο του r λέγεται μηδενοδύναμο αν r^n=0 για κάποιο φυσικό αριθμό n.
Έστω επίσης nil(R) να είναι η τομή όλων των πρώτων ιδεωδών του R.
Να δείξετε ότι το nil(R) είναι το σύνολο των μηδενοδύναμων στοιχείων του R.
Καλησπέρα και χαίρομαι που ξανάρχισε η άλγεβρα και η τοπολογία. Νομίζω ότι η ερώτηση σου βρίσκει γενικότερη απάντηση στο παρακάτω

viewtopic.php?f=136&t=54829#p265793


Παπαπέτρος Ευάγγελος
Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#68

Μη αναγνωσμένη δημοσίευση από stranger » Σάβ Φεβ 20, 2021 9:44 pm

BAGGP93 έγραψε:
Σάβ Φεβ 20, 2021 5:03 pm
stranger έγραψε:
Σάβ Φεβ 20, 2021 2:22 pm
18) Έστω R ένας μεταθετικός δακτύλιος με μονάδα. Ένα στοιχείο του r λέγεται μηδενοδύναμο αν r^n=0 για κάποιο φυσικό αριθμό n.
Έστω επίσης nil(R) να είναι η τομή όλων των πρώτων ιδεωδών του R.
Να δείξετε ότι το nil(R) είναι το σύνολο των μηδενοδύναμων στοιχείων του R.
Καλησπέρα και χαίρομαι που ξανάρχισε η άλγεβρα και η τοπολογία. Νομίζω ότι η ερώτηση σου βρίσκει γενικότερη απάντηση στο παρακάτω

viewtopic.php?f=136&t=54829#p265793
Ωραία!
19) Έστω R ένας μεταθετικός δακτύλιος με μονάδα.
Το Jacobson radical είναι η τομή όλων των μέγιστων ιδεωδών του R.
Δείξτε ότι αν κάποιο x ανήκει στο Jacobson radical τότε το στοιχείο 1+x είναι αντιστρέψιμο.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

Re: Ασκήσεις Άλγεβρας

#69

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Κυρ Φεβ 21, 2021 12:39 pm

Ωραία!
19) Έστω R ένας μεταθετικός δακτύλιος με μονάδα.
Το Jacobson radical είναι η τομή όλων των μέγιστων ιδεωδών του R.
Δείξτε ότι αν κάποιο x ανήκει στο Jacobson radical τότε το στοιχείο 1+x είναι αντιστρέψιμο.

Λύση Έστω x\in J(R). Αν υποθέσουμε ότι το κύριο ιδεώδες I=\langle{1+x\rangle} που παράγεται από το 1+x είναι γνήσιο ιδεώδες του R

τότε, υπάρχει μέγιστο ιδεώδες M του R με 1+x\in M. Όμως τότε, επειδή x\in M, παίρνουμε

1=(1+x)-x\in M\implies M=R, άτοπο.

Συνεπώς, I=\langle{1+x\rangle}=R και το άρα το 1+x είναι αντιστρέψιμο.


Παπαπέτρος Ευάγγελος
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 13172
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ασκήσεις Άλγεβρας

#70

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Φεβ 21, 2021 2:57 pm

stranger έγραψε:
Σάβ Φεβ 20, 2021 9:44 pm
19) Έστω R ένας μεταθετικός δακτύλιος με μονάδα.
Το Jacobson radical είναι η τομή όλων των μέγιστων ιδεωδών του R.
Δείξτε ότι αν κάποιο x ανήκει στο Jacobson radical τότε το στοιχείο 1+x είναι αντιστρέψιμο.
Το αποτέλεσμα αυτό βρίσκεται ως θεωρία σε όλα τα βιβλία Θεωρίας Δακτυλίων ή στο αντίστοιχο κεφάλαιο των βιβλίων Αφηρημένης Άλγεβρας. Νομίζω ότι δεν έχει νόημα να τοποθετούμε στο φόρουμ θεωρία την οποία διδάσκεται ο οποιοσδήποτε παρακολουθήσει τα στάνταρ μαθήματα στις σπουδές του.


Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#71

Μη αναγνωσμένη δημοσίευση από stranger » Κυρ Φεβ 21, 2021 5:03 pm

Mihalis_Lambrou έγραψε:
Κυρ Φεβ 21, 2021 2:57 pm
stranger έγραψε:
Σάβ Φεβ 20, 2021 9:44 pm
19) Έστω R ένας μεταθετικός δακτύλιος με μονάδα.
Το Jacobson radical είναι η τομή όλων των μέγιστων ιδεωδών του R.
Δείξτε ότι αν κάποιο x ανήκει στο Jacobson radical τότε το στοιχείο 1+x είναι αντιστρέψιμο.
Το αποτέλεσμα αυτό βρίσκεται ως θεωρία σε όλα τα βιβλία Θεωρίας Δακτυλίων ή στο αντίστοιχο κεφάλαιο των βιβλίων Αφηρημένης Άλγεβρας. Νομίζω ότι δεν έχει νόημα να τοποθετούμε στο φόρουμ θεωρία την οποία διδάσκεται ο οποιοσδήποτε παρακολουθήσει τα στάνταρ μαθήματα στις σπουδές του.
Δεν νομίζω ότι βρίσκεται στα βιβλία προπτυχιακής άλγεβρας. Έχω αρκετά βιβλία αφηρημένης προπτυχιακής άλγεβρας και δεν αναφέρεται ως θεωρία.
Ίσως αναφέρεται ως άσκηση όχι όμως στη θεωρία.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 13172
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ασκήσεις Άλγεβρας

#72

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Φεβ 21, 2021 6:17 pm

stranger έγραψε:
Κυρ Φεβ 21, 2021 5:03 pm
Δεν νομίζω ότι βρίσκεται στα βιβλία προπτυχιακής άλγεβρας. Έχω αρκετά βιβλία αφηρημένης προπτυχιακής άλγεβρας και δεν αναφέρεται ως θεωρία.
Ίσως αναφέρεται ως άσκηση όχι όμως στη θεωρία.
Μην παραλλάσουμε αυτό που έγραψα. Αναφέρθηκα σε Θεωρίες Δακτυλίων ή βιβλία που περιέχουν Θεωρία Δακτυλίων.

Για παράδειγμα αντιγράφω από την wikipedia εδώ

The Jacobson radical of a ring has various internal and external characterizations. The following equivalences appear in many noncommutative algebra texts such as (Anderson 1992, §15), (Isaacs 1994, §13B), and (Lam 2001, Ch 2).

Εκεί έχει έξι ισοδύναμα. Το συγκεκριμένο είναι στο σημείο, αντιγράφω,

J(R) is the unique right ideal of R maximal with the property that every element is right quasiregular[4][5] (or equivalently left quasiregular[2]).


BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

Re: Ασκήσεις Άλγεβρας

#73

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Τρί Φεβ 23, 2021 6:33 pm

20. Ορισμός : Ένας προσεταιριστικός δακτύλιος με μονάδα R λέγεται πεπερασμένος κατά Dedekind αν ισχύει:
\forall\,x\,,y\in R: (x\,y=1\implies y\,x=1)

Κλασικά παραδείγματα τέτοιων δακτυλίων είναι οι μεταθετικοί δακτύλιοι καθώς και οι \mathbb{M}_{n}(\mathbb{K}) όπου \mathbb{K} σώμα.

Άσκηση: Έστω \mathbb{K} σώμα, \,V ένας \mathbb{K}- διανυσματικός χώρος άπειρης διάστασης και έστω \rm{End}_{\mathbb{K}}(V) ο δακτύλιος των \mathbb{K}-

γραμμικών απεικονίσεων f:V\to V. Να αποδειχθεί ότι ο \rm{End}_{\mathbb{K}}(V) δεν είναι πεπερασμένος κατά Dedekind.


Παπαπέτρος Ευάγγελος
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 13172
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ασκήσεις Άλγεβρας

#74

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Φεβ 23, 2021 7:15 pm

BAGGP93 έγραψε:
Τρί Φεβ 23, 2021 6:33 pm
20. Ορισμός : Ένας προσεταιριστικός δακτύλιος με μονάδα R λέγεται πεπερασμένος κατά Dedekind αν ισχύει:
\forall\,x\,,y\in R: (x\,y=1\implies y\,x=1)

Κλασικά παραδείγματα τέτοιων δακτυλίων είναι οι μεταθετικοί δακτύλιοι καθώς και οι \mathbb{M}_{n}(\mathbb{K}) όπου \mathbb{K} σώμα.

Άσκηση: Έστω \mathbb{K} σώμα, \,V ένας \mathbb{K}- διανυσματικός χώρος άπειρης διάστασης και έστω \rm{End}_{\mathbb{K}}(V) ο δακτύλιος των \mathbb{K}-

γραμμικών απεικονίσεων f:V\to V. Να αποδειχθεί ότι ο \rm{End}_{\mathbb{K}}(V) δεν είναι πεπερασμένος κατά Dedekind.
Έστω \{e_n | n\in  \mathbb N^*\} αριθμήσιμη οικογένεια στοιχείων της βάσης (η οποία μπορεί να έχει και άλλα στοιχεία). Ορίζουμε

f(e_n) = e_{n+1} για κάθε  n\in  \mathbb N^* και στα υπόλοιπα στοιχεία e_a της βάσης (αν υπάρχουν) θέτουμε f(e_a)=e_a. Tέλος επεκτείνουμε γραμμικά.

Επίσης θέτουμε

g(e_1) =0, και g(e_{n+1}) = e_{n} για κάθε  n\in  \mathbb N^* και στα υπόλοιπα στοιχεία e_a της βάσης (αν υπάρχουν) θέτουμε g(e_a)=e_a. Τέλος, επεκτείνουμε γραμμικά.

Άρα έχουμε για κάθε  n\in  \mathbb N^* ότι g(f(e_n)) = g(e_{n+1} )=e_n και για τα υπόλοιπα στοιχεία της βάσης g(f(e_a))=g(e_a)=e_a, δηλαδή gf=I. Από την άλλη

f(g(e_1)) =f(0)=0, οπότε fg\ne I. Τελειώσαμε.

Προσθέτω μόνο ότι για όλα τα άλλα n, δηλαδή n\ge 2 καθώς και για τα e_a έχουμε

f(g(e_n))= e_n, δηλαδή η fg χάνει μόνο στο e_1 για να γίνει ταυτοτική.


BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

Re: Ασκήσεις Άλγεβρας

#75

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Πέμ Φεβ 25, 2021 11:57 am

Άσκηση 21: Μπορεί μια πεπερασμένη αβελιανή ομάδα (M,+) να αποκτήσει δομή \mathbb{Q}- προτύπου ;


Παπαπέτρος Ευάγγελος
Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#76

Μη αναγνωσμένη δημοσίευση από stranger » Πέμ Φεβ 25, 2021 12:57 pm

BAGGP93 έγραψε:
Πέμ Φεβ 25, 2021 11:57 am
Άσκηση 21: Μπορεί μια πεπερασμένη αβελιανή ομάδα (M,+) να αποκτήσει δομή \mathbb{Q}- προτύπου ;
Όχι δεν μπορεί, παρά μόνο αν είναι η τετριμμένη ομάδα.
Αν έχουμε μια ομάδα G πεπερασμένη που είναι \mathbb{Q}- διανυσματικός χώρος τότε αν η G έχει βάση \{g_1,..,g_n\} τότε αφού το \{g_1,..,g_n\} είναι γραμμικά ανεξάρτητο βλέπουμε ότι το <g_1,..,g_n> είναι άπειρο σύνολο.
Αν όμως η G είναι η τετριμμένη ομάδα έχουμε ότι παράγεται από το κενό σύνολο.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
bouzoukman
Δημοσιεύσεις: 108
Εγγραφή: Δευ Ιαν 19, 2009 7:53 pm
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#77

Μη αναγνωσμένη δημοσίευση από bouzoukman » Πέμ Φεβ 25, 2021 4:33 pm

stranger έγραψε:
Πέμ Φεβ 25, 2021 12:57 pm
BAGGP93 έγραψε:
Πέμ Φεβ 25, 2021 11:57 am
Άσκηση 21: Μπορεί μια πεπερασμένη αβελιανή ομάδα (M,+) να αποκτήσει δομή \mathbb{Q}- προτύπου ;
Όχι δεν μπορεί, παρά μόνο αν είναι η τετριμμένη ομάδα.
Αν έχουμε μια ομάδα G πεπερασμένη που είναι \mathbb{Q}- διανυσματικός χώρος τότε αν η G έχει βάση \{g_1,..,g_n\} τότε αφού το \{g_1,..,g_n\} είναι γραμμικά ανεξάρτητο βλέπουμε ότι το <g_1,..,g_n> είναι άπειρο σύνολο.
Αν όμως η G είναι η τετριμμένη ομάδα έχουμε ότι παράγεται από το κενό σύνολο.
Ωραία ερώτηση και ωραία λύση!

Μια διαπίστωση, και υπό μία έννοια γενίκευση της άσκησης, είναι ότι αν έχουμε μία πεπερασμένα παραγόμενη αβελιανή ομάδα M τότε ο M\otimes_{\mathbb{Z}}\mathbb{Q}\simeq\mathbb{Q}^r είναι διανυσματικός χώρος διάστασης r όπου r είναι ο βαθμός της ομάδας.


"Υπάρχει αρκετό φως γι' αυτούς που επιθυμούν να δουν και αρκετό σκοτάδι γι' αυτούς που έχουν την αντίθετη επιθυμία", B. Pascal
Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#78

Μη αναγνωσμένη δημοσίευση από stranger » Πέμ Φεβ 25, 2021 7:43 pm

22) Έστω μια ομάδα G περιττής τάξης. Δείξτε ότι η απεικόνιση x \rightarrow x^2 είναι αυτομορφισμός της G.
Γενικεύστε το αποτέλεσμα για την απεικόνιση x \rightarrow x^p για p πρώτο ώστε η τάξη της ομάδας να μη διαιρείται με το p.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3322
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Ασκήσεις Άλγεβρας

#79

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Πέμ Φεβ 25, 2021 8:04 pm

stranger έγραψε:
Πέμ Φεβ 25, 2021 7:43 pm
22) Έστω μια ομάδα G περιττής τάξης. Δείξτε ότι η απεικόνιση x \rightarrow x^2 είναι αυτομορφισμός της G.
Γενικεύστε το αποτέλεσμα για την απεικόνιση x \rightarrow x^p για p πρώτο ώστε η τάξη της ομάδας να μη διαιρείται με το p.
Κάτι δεν πάει καλά.
Μήπως παραλείφθηκε το Αβελιανή ;


Άβαταρ μέλους
stranger
Δημοσιεύσεις: 384
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ασκήσεις Άλγεβρας

#80

Μη αναγνωσμένη δημοσίευση από stranger » Πέμ Φεβ 25, 2021 8:50 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Πέμ Φεβ 25, 2021 8:04 pm
stranger έγραψε:
Πέμ Φεβ 25, 2021 7:43 pm
22) Έστω μια ομάδα G περιττής τάξης. Δείξτε ότι η απεικόνιση x \rightarrow x^2 είναι αυτομορφισμός της G.
Γενικεύστε το αποτέλεσμα για την απεικόνιση x \rightarrow x^p για p πρώτο ώστε η τάξη της ομάδας να μη διαιρείται με το p.
Κάτι δεν πάει καλά.
Μήπως παραλείφθηκε το Αβελιανή ;
Ναι, ακριβώς. Με συγχωρείτε. Η ομάδα είναι αβελιανή.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
Απάντηση

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

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

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