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

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

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

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

#21

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Παρ Νοέμ 13, 2020 12:22 am

stranger έγραψε:
Πέμ Νοέμ 12, 2020 10:53 pm
BAGGP93 έγραψε:
Πέμ Νοέμ 12, 2020 9:55 pm
stranger έγραψε:
Πέμ Νοέμ 12, 2020 4:44 pm
6) Έστω R ένας μεταθετικός δακτύλιος με μονάδα, ώστε κάθε υποπρότυπο ενός ελεύθερου R- προτύπου είναι ελεύθερο R-πρότυπο.
Δείξτε ότι o R είναι περιοχή κυρίων ιδεωδών.
Κάποια υπόδειξη ;
Υπόδειξη: Ο R είναι R-πρότυπο με εξωτερικό πολλαπλασιασμό το γινόμενο στον R.
Ο R είναι ελεύθερο R - πρότυπο με βάση \left\{1\right\} (κάθε άλλη βάση είναι μονοσύνολο). Κάθε άλλο R- υποπρότυπο του R, δηλαδή κάθε ιδεώδες του R, είναι εξ'υποθέσεως
ελεύθερο R- πρότυπο, άρα θα έχει και αυτό βάση με 1 στοιχείο,δηλαδή κάθε ιδεώδες είναι κύριο.

Μένει να δείξουμε ότι ο R είναι και ακέραια περιοχή. Πράγματι, αν έχουμε a\,,b\in R με a\,b=0, τότε με την υπόθεση ότι a\neq 0, κάθε στοιχείο

x του ιδεώδους \langle{a\rangle} του R γράφεται κατά μοναδικό τρόπο στη μορφή x=r\,a, όπου r\in R. Ἐτσι, έχουμε ταυτόχρονα \displaystyle{0=0\,a=b\,a\implies b=0}
όπως θέλαμε.


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

Λέξεις Κλειδιά:
bouzoukman
Δημοσιεύσεις: 107
Εγγραφή: Δευ Ιαν 19, 2009 7:53 pm
Επικοινωνία:

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

#22

Μη αναγνωσμένη δημοσίευση από bouzoukman » Παρ Νοέμ 13, 2020 9:37 am

BAGGP93 έγραψε:
Παρ Νοέμ 13, 2020 12:22 am
ελεύθερο R- πρότυπο, άρα θα έχει και αυτό βάση με 1 στοιχείο,δηλαδή κάθε ιδεώδες είναι κύριο.
Είναι προφανές γιατί εγώ δεν το βλέπω.


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

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

#23

Μη αναγνωσμένη δημοσίευση από stranger » Παρ Νοέμ 13, 2020 12:14 pm

bouzoukman έγραψε:
Παρ Νοέμ 13, 2020 9:37 am
BAGGP93 έγραψε:
Παρ Νοέμ 13, 2020 12:22 am
ελεύθερο R- πρότυπο, άρα θα έχει και αυτό βάση με 1 στοιχείο,δηλαδή κάθε ιδεώδες είναι κύριο.
Είναι προφανές γιατί εγώ δεν το βλέπω.
Αν έχουμε ένα ελεύθερο R-πρότυπο M και ένα ελεύθερο R-υποπρότυπο S, τότε το rank του S είναι μικρότερο η ίσο του rank του M.
Είναι γνωστό θεώρημα.


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

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

#24

Μη αναγνωσμένη δημοσίευση από bouzoukman » Παρ Νοέμ 13, 2020 12:31 pm

BAGGP93 έγραψε:
Παρ Νοέμ 13, 2020 12:22 am

Αν έχουμε ένα ελεύθερο R-πρότυπο M και ένα ελεύθερο R-υποπρότυπο S, τότε το rank του S είναι μικρότερο η ίσο του rank του M.
Είναι γνωστό θεώρημα.
Συμφωνώ (εγώ το γνώριζα)! Παρόλα αυτά το θεώρημα δεν είναι τετριμμένο και καλό θα ήταν σε όποια βήματα χρησιμοποιούμε κάποιο γνωστό αποτέλεσμα να το αναφέρουμε, κυρίως για διδακτικούς λόγους. Σε αυτή την περίπτωση πολύ εύκολα αποδεικνύεται με εις άτοπον.

BAGGP93 έγραψε:
Παρ Νοέμ 13, 2020 12:22 am
Ο R είναι ελεύθερο R - πρότυπο με βάση \left\{1\right\} (κάθε άλλη βάση είναι μονοσύνολο).....
Ωραία λύση! :clap2:


"Υπάρχει αρκετό φως γι' αυτούς που επιθυμούν να δουν και αρκετό σκοτάδι γι' αυτούς που έχουν την αντίθετη επιθυμία", B. Pascal
BAGGP93
Δημοσιεύσεις: 1445
Εγγραφή: Σάβ Ιούλ 02, 2011 8:48 pm
Τοποθεσία: Ιωάννινα - Αθήνα

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

#25

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Παρ Νοέμ 13, 2020 3:29 pm

Παραθέτω κι εγώ μια άσκηση. Αν R είναι προσεταιριστικός δακτύλιος με μονάδα, τότε συμβολίζουμε με U(R) την ομάδα των αντιστρέψιμων στοιχείων του R. Να αποδείξετε ότι για οποιοδήποτε x\in R τα ακόλουθα ισοδυναμούν :
1) \,\,x\in U(R)
2) \,\,x\notin  M για κάθε αριστερό (και δεξιό) μέγιστο ιδεώδες M του R.


Παπαπέτρος Ευάγγελος
bouzoukman
Δημοσιεύσεις: 107
Εγγραφή: Δευ Ιαν 19, 2009 7:53 pm
Επικοινωνία:

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

#26

Μη αναγνωσμένη δημοσίευση από bouzoukman » Παρ Νοέμ 13, 2020 5:34 pm

BAGGP93 έγραψε:
Παρ Νοέμ 13, 2020 3:29 pm
Παραθέτω κι εγώ μια άσκηση. Αν R είναι προσεταιριστικός δακτύλιος με μονάδα, τότε συμβολίζουμε με U(R) την ομάδα των αντιστρέψιμων στοιχείων του R. Να αποδείξετε ότι για οποιοδήποτε x\in R τα ακόλουθα ισοδυναμούν :
1) \,\,x\in U(R)
2) \,\,x\notin  M για κάθε αριστερό (και δεξιό) μέγιστο ιδεώδες M του R.

(1\Rightarrow 2) Έστω x\in U(R), τότε υπάρχει r\in R τέτοιο ώστε xr=1. Έστω ότι υπάρχει M μέγιστο ιδεώδες τέτοιο ώστε x\in M. Τότε καταλαβαίνουμε ότι 1=xr\in M που είναι άτοπο από το γεγονός ότι M είναι μέγιστο.


(2\Rightarrow 1) Για αυτό που είναι και το πιο δύσκολο κομμάτι της απόδειξης θα χρειαστούμε το θεώρημα του Krull. Έστω ότι x\not\in U(R) και I=(x). Τότε ο δακτύλιος πηλίκο R/I δεν είναι τετριμμένος, επομένως από το θεώρημα του Krull υπάρχει μέγιστο ιδεώδες M^\prime\subset R/I το οπόιο αντιστοιχεί σε ένα μέγιστο ιδεώδες M του R. Τότε καταλαβαίνουμε ότι x\in M, που είναι άτοπο από την υπόθεσή μας.


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

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

#27

Μη αναγνωσμένη δημοσίευση από stranger » Παρ Νοέμ 13, 2020 6:56 pm

7) Έστω G πεπερασμένη ομάδα, p: πρώτος και P μια p- Sylow υποομάδα της G.
Έστω H μια υποομάδα της G με P \triangleleft H \triangleleft G.
Δείξτε ότι P \triangleleft G.


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

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

#28

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Νοέμ 14, 2020 6:19 pm

stranger έγραψε:
Παρ Νοέμ 13, 2020 6:56 pm
7) Έστω G πεπερασμένη ομάδα, p: πρώτος και P μια p- Sylow υποομάδα της G.
Έστω H μια υποομάδα της G με P \triangleleft H \triangleleft G.
Δείξτε ότι P \triangleleft G.
Η P είναι p- Sylow υποομάδα της H αρα μοναδική,αφού είναι κανονική σε αυτήν.
Εστω x\in G
Είναι x^{-1}Px\subseteq x^{-1}Hx=H

Αφου και η
x^{-1}Px είναι
p- Sylow υποομάδα της H
παίρνουμε ότι
x^{-1}Px=P
τέλος


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

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

#29

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Νοέμ 14, 2020 6:27 pm

stranger έγραψε:
Τρί Νοέμ 10, 2020 3:57 pm
4) Ταξινομήστε όλες τις ομάδες τάξης p^2(ως προς ισομορφισμό), όπου p πρώτος.
Ισχύουν ότι

1)Αν |G|=p^kμε k\in \mathbb{N},k\geq 1
τότε το κέντρο
Z(G)\neq \left \{ e \right \}

2)Αν για μια ομάδα G είναι G/Z(G)
κυκλική τότε η G αβελιανή.

Ετσι η ομάδα είναι ισόμορφη με την Z_{p^2}
η με την Z_{p}\times Z_{p}


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

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

#30

Μη αναγνωσμένη δημοσίευση από stranger » Σάβ Νοέμ 14, 2020 7:37 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Σάβ Νοέμ 14, 2020 6:27 pm
stranger έγραψε:
Τρί Νοέμ 10, 2020 3:57 pm
4) Ταξινομήστε όλες τις ομάδες τάξης p^2(ως προς ισομορφισμό), όπου p πρώτος.
Ισχύουν ότι

1)Αν |G|=p^kμε k\in \mathbb{N},k\geq 1
τότε το κέντρο
Z(G)\neq \left \{ e \right \}

2)Αν για μια ομάδα G είναι G/Z(G)
κυκλική τότε η G αβελιανή.

Ετσι η ομάδα είναι ισόμορφη με την Z_{p^2}
η με την Z_{p}\times Z_{p}
Ωραία!
8) Βρείτε την ομάδα Galois του πολυωνύμου x^4+1 επί του \mathbb{Q}.


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

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

#31

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Δευ Νοέμ 16, 2020 10:20 pm

stranger έγραψε:
Σάβ Νοέμ 14, 2020 7:37 pm

8) Βρείτε την ομάδα Galois του πολυωνύμου x^4+1 επί του \mathbb{Q}.
Οι ρίζες του πολυωνύμου f(x)=x^4+1\in\mathbb{Q}[x] είναι οι r_1=\dfrac{1}{\sqrt{2}}+\dfrac{1}{\sqrt{2}}\,i\,,r_2=\bar{r_1}\,,r_3=-\dfrac{1}{\sqrt{2}}+\dfrac{1}{\sqrt{2}}\,i\,,r_4=\bar{r_3}

Επειδή |r_i|=1\,,i=1,2,3,4 και r_2=\bar{r_1}=r_1^{-1}\,,r_3=-r_2=-(r_1)^{-1}\,,r_4=-r_1 έπεται ότι το μικρότερο σώμα διάσπασης


του πολυωνύμου f(x)\in\mathbb{Q}[x] είναι το \mathbb{Q}(r_1)=\left\{a+b\,r_1\in\mathbb{C}: a\,,b\in\mathbb{Q}\right\}. Ισχύει ότι \displaystyle{|Gal(\mathbb{Q}(r_1)/\mathbb{Q})|=[\mathbb{Q}(r_1):\mathbb{Q}]=2}

οπότε \rm{Gal}(f)=\mathbb{Z}_{2}.


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

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

#32

Μη αναγνωσμένη δημοσίευση από stranger » Δευ Νοέμ 16, 2020 10:54 pm

BAGGP93 έγραψε:
Δευ Νοέμ 16, 2020 10:20 pm
stranger έγραψε:
Σάβ Νοέμ 14, 2020 7:37 pm

8) Βρείτε την ομάδα Galois του πολυωνύμου x^4+1 επί του \mathbb{Q}.
Οι ρίζες του πολυωνύμου f(x)=x^4+1\in\mathbb{Q}[x] είναι οι r_1=\dfrac{1}{\sqrt{2}}+\dfrac{1}{\sqrt{2}}\,i\,,r_2=\bar{r_1}\,,r_3=-\dfrac{1}{\sqrt{2}}+\dfrac{1}{\sqrt{2}}\,i\,,r_4=\bar{r_3}

Επειδή |r_i|=1\,,i=1,2,3,4 και r_2=\bar{r_1}=r_1^{-1}\,,r_3=-r_2=-(r_1)^{-1}\,,r_4=-r_1 έπεται ότι το μικρότερο σώμα διάσπασης


του πολυωνύμου f(x)\in\mathbb{Q}[x] είναι το \mathbb{Q}(r_1)=\left\{a+b\,r_1\in\mathbb{C}: a\,,b\in\mathbb{Q}\right\}. Ισχύει ότι \displaystyle{|Gal(\mathbb{Q}(r_1)/\mathbb{Q})|=[\mathbb{Q}(r_1):\mathbb{Q}]=2}

οπότε \rm{Gal}(f)=\mathbb{Z}_{2}.
Όλα σωστά μέχρι το τέλος που έχεις ένα λάθος.
Έχουμε [\mathbb{Q}(r_1): \mathbb{Q}]=4 και όχι 2.
Οπότε η ζητούμενη ομάδα είναι η \mathbb{Z}_4 η η \mathbb{Z}_2 \oplus \mathbb{Z}_2.
Ποια από τις δύο είναι;


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

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

#33

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Δευ Νοέμ 16, 2020 11:57 pm

Λάθος.
τελευταία επεξεργασία από BAGGP93 σε Τρί Νοέμ 17, 2020 1:14 am, έχει επεξεργασθεί 1 φορά συνολικά.


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

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

#34

Μη αναγνωσμένη δημοσίευση από stranger » Τρί Νοέμ 17, 2020 12:23 am

Έχουμε σύμφωνα με την απόδειξή σου ότι r_1 = \frac{\sqrt{2}}{2} + \frac{\sqrt{2}}{2} i.
Μπορείς εύκολα να δεις ότι \mathbb{Q}(r_1) =\mathbb{Q}(\sqrt{2},i).
Άρα [\mathbb{Q}(\sqrt{2},i): \mathbb{Q}]=[(\mathbb{Q}(i))(\sqrt{2}): \mathbb{Q}(i)][\mathbb{Q}(i):\mathbb{Q}]= 2 \cdot 2 = 4.
Η ομάδα Galois είναι η \mathbb{Z}_2 \oplus \mathbb{Z}_2 αφού κάθε αυτομορφισμός \sigma του σώματος ριζών ικανοποιεί \sigma^2=id, οπότε δεν υπάρχει στοιχείο τάξης 4.
Γιατί όμως;
Αυτό ισχύει γιατί κάθε τέτοιος αυτομορφισμός στέλνει το \sqrt{2} σέ ένα από τα \pm \sqrt{2} και το i σε ένα από τα \pm i και επίσης ένας αυτομορφισμός προσδιορίζεται μοναδικά από το που στέλνει τα \sqrt{2} και i.
Gal(x^4+1,\mathbb{Q}) =
= \{(\sqrt{2} \rightarrow \sqrt{2} \dagger i \rightarrow i), (\sqrt{2} \rightarrow -\sqrt{2} \dagger i \rightarrow i),(\sqrt{2} \rightarrow \sqrt{2} \dagger i \rightarrow -i), (\sqrt{2} \rightarrow -\sqrt{2} \dagger i \rightarrow -i) \}.
Τώρα μπορούμε εύκολα να δούμε ότι κάθε στοιχείο της ομάδας αυτής είναι τάξης 2(εκτός της ταυτοτικής που είναι 1).


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

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

#35

Μη αναγνωσμένη δημοσίευση από BAGGP93 » Τρί Νοέμ 17, 2020 1:15 am

Ευχαριστώ πολύ, το κατἀλαβα.


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

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

#36

Μη αναγνωσμένη δημοσίευση από stranger » Τετ Νοέμ 18, 2020 12:21 am

9) Δείξτε ότι για κάθε φυσικό n υπάρχει επέκταση του \mathbb{Q} βαθμού n.


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

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

#37

Μη αναγνωσμένη δημοσίευση από bouzoukman » Τετ Νοέμ 18, 2020 10:14 am

stranger έγραψε:
Τετ Νοέμ 18, 2020 12:21 am
9) Δείξτε ότι για κάθε φυσικό n υπάρχει επέκταση του \mathbb{Q} βαθμού n.
Από το κριτήριο του Eisenstein το πολυώνυμο x^n - 2 είναι ανάγωγο, άρα η επέκταση \mathbb{Q}(\sqrt[n]{2})/\mathbb{Q} είναι βαθμού n. Μήπως εννοείς επέκταση Galois;


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

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

#38

Μη αναγνωσμένη δημοσίευση από stranger » Τετ Νοέμ 18, 2020 4:06 pm

bouzoukman έγραψε:
Τετ Νοέμ 18, 2020 10:14 am
stranger έγραψε:
Τετ Νοέμ 18, 2020 12:21 am
9) Δείξτε ότι για κάθε φυσικό n υπάρχει επέκταση του \mathbb{Q} βαθμού n.
Από το κριτήριο του Eisenstein το πολυώνυμο x^n - 2 είναι ανάγωγο, άρα η επέκταση \mathbb{Q}(\sqrt[n]{2})/\mathbb{Q} είναι βαθμού n. Μήπως εννοείς επέκταση Galois;
Ας το δούμε και με επεκτάσεις Galois.


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

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

#39

Μη αναγνωσμένη δημοσίευση από bouzoukman » Πέμ Νοέμ 19, 2020 2:12 pm

stranger έγραψε:
Τετ Νοέμ 18, 2020 4:06 pm
Ας το δούμε και με επεκτάσεις Galois.
Για αυτό θα χρειαστώ δύο θεωρήματα τα οποία και τα δύο είναι γνωστά και μη τετριμμένα αποτελέσματα. Το πρώτο είναι το Θεώρημα του Dirichlet για πρώτους σε αριθμητικές προόδους (εδώ) και το δεύτερο που λέει ότι για κάθε πρώτο p ισχύει ότι η επέκταση \mathbb{Q}(\zeta_p)/\mathbb{Q} είναι Galois, τάξεως p-1 και με κυκλική ομάδα Galois. Το δεύτερο υπάρχει σε κάθε βιβλίο που μιλάει για κυκλοτομικές επεκτάσεις.

Από τα παραπάνω καταλαβαίνουμε ότι υπάρχει πρώτος p τέτοιος ώστε p\equiv 1\pmod{n}. Έστω K=\mathbb{Q}(\zeta_p) η οποία είναι κυκλική και Galois επέκταση τάξεως p-1. Εφόσον n\mid p-1 και K/\mathbb{Q} κυκλική καταλαβαίνουμε ότι υπάρχει \mathbb{Q}\subset L\subset K το οποίο είναι τάξεως n και Galois.

Αυτό το πρόβλημα ανήκει στην γενικότερη οικογένεια προβλημάτων που λέγεται Galois Inverse Problem το οποίο είναι μία ενεργή (ερευνητικά) περιοχή της Θεωρίας Αριθμών.


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

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

#40

Μη αναγνωσμένη δημοσίευση από stranger » Πέμ Νοέμ 19, 2020 2:43 pm

bouzoukman έγραψε:
Πέμ Νοέμ 19, 2020 2:12 pm
stranger έγραψε:
Τετ Νοέμ 18, 2020 4:06 pm
Ας το δούμε και με επεκτάσεις Galois.
Για αυτό θα χρειαστώ δύο θεωρήματα τα οποία και τα δύο είναι γνωστά και μη τετριμμένα αποτελέσματα. Το πρώτο είναι το Θεώρημα του Dirichlet για πρώτους σε αριθμητικές προόδους (εδώ) και το δεύτερο που λέει ότι για κάθε πρώτο p ισχύει ότι η επέκταση \mathbb{Q}(\zeta_p)/\mathbb{Q} είναι Galois, τάξεως p-1 και με κυκλική ομάδα Galois. Το δεύτερο υπάρχει σε κάθε βιβλίο που μιλάει για κυκλοτομικές επεκτάσεις.

Από τα παραπάνω καταλαβαίνουμε ότι υπάρχει πρώτος p τέτοιος ώστε p\equiv 1\pmod{n}. Έστω K=\mathbb{Q}(\zeta_p) η οποία είναι κυκλική και Galois επέκταση τάξεως p-1. Εφόσον n\mid p-1 και K/\mathbb{Q} κυκλική καταλαβαίνουμε ότι υπάρχει \mathbb{Q}\subset L\subset K το οποίο είναι τάξεως n και Galois.

Αυτό το πρόβλημα ανήκει στην γενικότερη οικογένεια προβλημάτων που λέγεται Galois Inverse Problem το οποίο είναι μία ενεργή (ερευνητικά) περιοχή της Θεωρίας Αριθμών.
:10sta10:
Εδώ να πούμε ότι χρησιμοποιείς το θεμελιώδες θεώρημα της θεωρίας Galois και το ότι κάθε υποεπέκταση αβελιανής επέκτασης Galois είναι επέκταση Galois επειδή κάθε υποομάδα αβελιανής είναι κανονική στην μεγαλύτερη ομάδα.


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

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

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

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