Εύρεση του ελαχιστικού πολυωνύμου του αθροίσματος και του γινομένου δύο αλγεβρικών αριθμών
Συντονιστής: nsmavrogiannis
Εύρεση του ελαχιστικού πολυωνύμου του αθροίσματος και του γινομένου δύο αλγεβρικών αριθμών
Γνωρίζω ότι το σύνολο των αλγεβρικών αριθμών επί του σώματος των ρητών αριθμών, , είναι σώμα.
Ερώτηση: Αν οι αριθμοί και είναι αλγεβρικοί αριθμοί επί του σώματος και έστω και τα ελαχιστικά πολυώνυμα των και , αντίστοιχα. Το ερώτημά μου είναι ποιο είναι το ελαχιστικό πολυώνυμο των αριθμών και ;
Μπορείτε να βοηθήσετε ως προς την επίλυση ή να μου πείτε που να ψάξω για να βρω την λύση.
Έχω την πεποίθηση ότι αν και με τα πιθανόν να μην ανήκουν όλοι στο , ότι και , απλά δεν γνωρίζω αν τα πολυώνυμα έχουν συντελεστές στο ;
Για παράδειγμα, έστω ότι ο αριθμός είναι αλγεβρικός αριθμός επί του σώματος βαθμού και ας είναι , με , το ελαχιστικό πολυώνυμο του .
Τότε ο είναι αλγεβρικός αριθμός επί του σώματος βαθμού με ελαχιστικό πολυώνυμο , διότι
.
Ελαχιστικό πολυώνυμο του αλγεβρικού αριθμού επί του σώματος βαθμού , το συμβολίζουμε χαρακτηρίζουμε το πολυώνυμο το οποίο είναι μη μηδενικό, έχει συντελεστές στους ρητούς αριθμούς, μονικό (ο μεγιστοβάθμιος συντελεστής ισούται με ένα), έχει ως ρίζα τον αριθμό και είναι αυτό με τον ελάχιστο βαθμό (δηλαδή δεν υπάρχει πολυώνυμο με τις παραπάνω ιδιότητες βαθμού μικρότερου ή ίσου του ).
Ερώτηση: Αν οι αριθμοί και είναι αλγεβρικοί αριθμοί επί του σώματος και έστω και τα ελαχιστικά πολυώνυμα των και , αντίστοιχα. Το ερώτημά μου είναι ποιο είναι το ελαχιστικό πολυώνυμο των αριθμών και ;
Μπορείτε να βοηθήσετε ως προς την επίλυση ή να μου πείτε που να ψάξω για να βρω την λύση.
Έχω την πεποίθηση ότι αν και με τα πιθανόν να μην ανήκουν όλοι στο , ότι και , απλά δεν γνωρίζω αν τα πολυώνυμα έχουν συντελεστές στο ;
Για παράδειγμα, έστω ότι ο αριθμός είναι αλγεβρικός αριθμός επί του σώματος βαθμού και ας είναι , με , το ελαχιστικό πολυώνυμο του .
Τότε ο είναι αλγεβρικός αριθμός επί του σώματος βαθμού με ελαχιστικό πολυώνυμο , διότι
.
Ελαχιστικό πολυώνυμο του αλγεβρικού αριθμού επί του σώματος βαθμού , το συμβολίζουμε χαρακτηρίζουμε το πολυώνυμο το οποίο είναι μη μηδενικό, έχει συντελεστές στους ρητούς αριθμούς, μονικό (ο μεγιστοβάθμιος συντελεστής ισούται με ένα), έχει ως ρίζα τον αριθμό και είναι αυτό με τον ελάχιστο βαθμό (δηλαδή δεν υπάρχει πολυώνυμο με τις παραπάνω ιδιότητες βαθμού μικρότερου ή ίσου του ).
τελευταία επεξεργασία από TrItOs σε Τρί Δεκ 14, 2021 10:14 am, έχει επεξεργασθεί 1 φορά συνολικά.
Λέξεις Κλειδιά:
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4456
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: Εύρεση του ελαχιστικού πολυωνύμου του αθροίσματος και του γινομένου δύο αλγεβρικών αριθμών
Η απάντηση είναι καταφατική. Λ.χ. βλ. στο
Pollard, Diamond The theory of algebraic Numbers Dover, 1998 (1975)
το πόρισμα 3.12 σελ 39. Στην 1η έκδοση του ιδίου βιβλίου του Pollard που έγινε από την ΜΑΑ το πόρισμα βρίκεται στην σελίδα 33 με τον ίδιο αριθμό.
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Re: Εύρεση του ελαχιστικού πολυωνύμου του αθροίσματος και του γινομένου δύο αλγεβρικών αριθμών
Ευχαριστώ πολύ για την απάντησή σας.
Απάντηση:
Υποθέτουμε ότι και με τα πιθανόν να μην ανήκουν όλοι στο .
Παρατηρούμε ότι:
, οπότε .
και
αν έχουμε , οπότε , άρα .
Επιπλέον, χρησιμοποιήσαμε και τους τύπους Viète των πολυωνύμων και .
Αν υπάρχει κάπου κενό στην απάντηση, διορθώστε με.
Απάντηση:
Υποθέτουμε ότι και με τα πιθανόν να μην ανήκουν όλοι στο .
Παρατηρούμε ότι:
, οπότε .
και
αν έχουμε , οπότε , άρα .
Επιπλέον, χρησιμοποιήσαμε και τους τύπους Viète των πολυωνύμων και .
Αν υπάρχει κάπου κενό στην απάντηση, διορθώστε με.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 5 επισκέπτες