2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ"

Transcript

1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ Η θεωρία αριθμών και οι αλγεβρικές δομές τα τελευταία χρόνια χρησιμοποιούνται όλο και περισσότερο στην κρυπτολογία. Αριθμο-θεωρητικοί αλγόριθμοι χρησιμοποιούνται σήμερα ευρέως εξαιτίας εν μέρει της ανακάλυψης των κρυπτογραφικών σχημάτων τα οποία στηρίζονται σε μεγάλους πρώτους αριθμούς. Από την άλλη μεριά αν ο ακέραιος n είναι πρώτος τότε οι ακέραιοι modulo n αποκτούν τη δομή ενός πεπερασμένου σώματος. Επίσης οι ελλειπτικές καμπύλες επί πεπερασμένων σωμάτων παρέχουν παραδείγματα ομάδων των οποίων η δομή είναι εξ ίσου απλή ή απλούστερη από τη δομή της πολλαπλασιαστικής ομάδας (, ). Σ αυτό το κεφάλαιο παρουσιάζουμε βασικά στοιχεία από τη θεωρία αριθμών και τις αλγεβρικές δομές και σε συνδυασμό με όσα εκτίθενται στο Παράρτημα πιστεύουμε ότι θα εφοδιάσουν τον αναγνώστη με τα απαραίτητα Μαθηματικά ώστε να είναι σε θέση να κατανοήσει καλύτερα το τι και πως διαδραματίζεται στα υπόλοιπα κεφάλαια του βιβλίου αυτού... Βασικές έννοιες της θεωρίας αριθμών Στη θεωρία αριθμών ασχολούμαστε με το σύνολο Ζ = {,,, 0,,, } των ακεραίων και το σύνολο Ν = {0,,, } των φυσικών αριθμών. Μια από τις κεντρικές έννοιες είναι αυτή της διαιρετότητας. Έστω δύο ακέραιοι και d. Ο d διαιρεί τον, συμβολικά d, σημαίνει ότι = d για κάποιον ακέραιο. Κάθε ακέραιος διαιρεί το 0. Αν > 0 και d, τότε d. Αν d, τότε λέμε και ότι ο είναι πολλαπλάσιο του d. Αν τώρα ο d δεν διαιρεί τον, γράφουμε d. Αν d και d 0, ο d λέγεται διαιρέτης του. Αν d, τότε = d ή ισοδύναμα = ( )( d), που σημαίνει ότι d αν και μόνον αν d, οπότε χωρίς βλάβη της γενικότητας μπορούμε να ορίσουμε τους διαιρέτες να είναι μη αρνητικοί, έχοντας κατά νου ότι ο αντίθετος (αρνητικός) οποιουδήποτε διαιρέτη του διαιρεί επίσης τον. Αν d είναι ένας διαιρέτης ενός ακέραιου 0 τότε ισχύει d. Για παράδειγμα, οι διαιρέτες του 8 είναι,, 3, 6, 9 και 8. Κάθε ακέραιος έχει σαν τετριμμένους διαιρέτες τους και. Οι μη τετριμμένοι διαιρέτες του λέγονται και παράγοντες του. Για παράδειγμα, οι παράγοντες του 4 είναι, 3, 4, 6, 8 και. Ένας ακέραιος > του οποίου οι μόνοι δι- Z p

2 6. Θεωρία αριθμών Αλγεβρικές δομές. αιρέτες είναι οι τετριμμένοι διαιρέτες και λέγεται ότι είναι πρώτος αριθμός ή απλά πρώτος. Οι πρώτοι παίζουν σημαντικότατο ρόλο στη θεωρία αριθμών επειδή έχουν χαρακτηριστικές ιδιότητες. Κατά σειρά αύξοντος μεγέθους οι ακέραιοι, 3, 5, 7,, 3, 7, 9, 3, 9, 3, 37, 4,, 389,, 003 είναι πρώτοι. Αποδεικνύεται ότι υπάρχουν άπειροι πρώτοι. Ένας ακέραιος > ο οποίος δεν είναι πρώτος λέγεται ότι είναι σύνθετος αριθμός ή απλά σύνθετος. Για παράδειγμα, ο 5 είναι σύνθετος γιατί 3 5. Κατά σειρά αύξοντος μεγέθους οι ακέραιοι 4, 6, 8, 9, 0,, 666 = 3 37,, 00 = 3 3 9, είναι σύνθετοι. Ο ακέραιος δεν είναι πρώτος ούτε σύνθετος. Ένας λόγος γι αυτό είναι ότι, όπως θα δούμε παρακάτω, το Θεώρημα.5 λέει ότι ένας σύνθετος γράφεται κατά μοναδικό τρόπο ως γινόμενο πρώτων οπότε αν ο ήταν πρώτος η μοναδικότητα θα τινάζονταν στον αέρα. Επίσης να αναφέρουμε ότι ο λέγεται ότι είναι μια μονάδα (unit), γιατί έχει αντίστροφο στο Ζ. Παρόμοια, ο ακέραιος 0 και όλοι οι αρνητικοί ακέραιοι δεν είναι ούτε πρώτοι ούτε σύνθετοι. Η έννοια της διαίρεσης είναι στενά συνδεδεμένη με την πρόσθεση και μάλιστα με το πρόβλημα της καλύτερης προσέγγισης ενός φυσικού αριθμού από τον φυσικό αριθμό n, με n <. Για τον λόγο αυτό θεωρούμε την ακολουθία, n, n,, qn,. Η καλύτερη προσέγγιση επιτυγχάνεται όταν η διαφορά qn είναι θετική και γίνει η μικρότερη δυνατή. n 0 n n qn (q )n r Η τιμή του q για την οποία συμβαίνει αυτό είναι το γνωστό μας πηλίκο της διαίρεσης δια n και ο αριθμός r = qn είναι το υπόλοιπο. Έτσι ο φυσικός γράφεται στη μορφή = qn r όπου το υπόλοιπο είναι αυστηρά μικρότερο του n αφού διαφορετικά η διαφορά (q )n θα ήταν η καλύτερη προσέγγιση. Τα παραπάνω μας οδηγούν, γενικεύοντας στους ακέραιους, στο γνωστό Θεώρημα της Διαίρεσης. ΘΕΩΡΗΜΑ. Για κάθε ακέραιο και οποιονδήποτε θετικό ακέραιο n, υ- πάρχουν μοναδικοί ακέραιοι q και r τέτοιοι ώστε 0 r < n και = qn r.

3 .. Βασικές έννοιες της θεωρίας αριθμών 7 Η τιμή q, συμβολικά div n, είναι το πηλίκο της διαίρεσης και είναι q = /n, όπου x είναι ο μεγαλύτερος ακέραιος που δεν υπερβαίνει τον αριθμό x. Η τιμή r είναι το υπόλοιπο της διαίρεσης και συμβολίζεται με mod n: mod n = /n n (.) Έτσι, για κάθε ακέραιο και θετικό ακέραιο n μπορούμε πάντα να γράφουμε = /n n mod n όπου ο mod n είναι ένας ακέραιος στο διάστημα, 0 mod n < n. Έχουμε ότι n αν και μόνον αν mod n = 0. Καλούμε το mod n ως το μικρότερο μη αρνητικό κατάλοιπο του, modulo n. Επίσης, λέμε ότι το mod n είναι το αποτέλεσμα της αναγωγής του, modulo n. Για παράδειγμα, αν = 73, n = 7, τότε q = 4 και r = 5. Έτσι, 73 mod 7 = 5 και 73 div 7 = 4. Επίσης αν = 34, n = 7, τότε 34 mod 7 = 0 αφού 34 = 7. Γενικεύοντας την (.) μπορούμε να ορίσουμε μια συνάρτηση mod ως ε- ξής:, αν n= 0 mod n= n n, διαφορετικα Να σημειώσουμε ότι ο ορισμός αυτός έχει νόημα για όλους τους ακέραιους και n. ΘΕΩΡΗΜΑ. (Αρχή της modulr αριθμητικής) Έστω και ακέραιοι και μια από τις πράξεις,, ή. Τότε η αναγωγή mod n είναι ένας ομομορφισμός από τους ακέραιους στους ακέραιους mod n (βλ. Σχήμα.), δηλαδή ( ) mod n = [( mod n) ( mod n)] mod n. Απόδειξη Μπορούμε να γράψουμε = n r, 0 r n = n r, 0 r n Έτσι, για την πρόσθεση έχουμε ( ) mod n = [( n r ) ( n r )] mod n = [( )n (r r )] mod n = [r r ] mod n = [( mod n) ( mod n)] mod n. Για την αφαίρεση δουλεύουμε παρόμοια. Για τον πολλαπλασιασμό, Για ομομορφισμό βλ..5

4 8. Θεωρία αριθμών Αλγεβρικές δομές. ( ) mod n = [( n r ) ( n r )] mod n = [( n r r )n r r ] mod n = [r r ] mod n = [( mod n) ( mod n)] mod n._ Ακέραιοι Ακέραιοι mod n αναγωγή mod n, ( mod n), ( mod n) αναγωγή mod n ( mod n) ( mod n) mod n = ( ) mod n Σχήμα. Αρχή της modulr αριθμητικής Δοθείσης τώρα μιας καλώς ορισμένης έννοιας του υπόλοιπου ενός ακέραιου όταν διαιρείται με έναν άλλο, είναι καλό να καθιερώσουμε έναν ειδικό συμβολισμό ο οποίος να δηλώνει ισότητα υπόλοιπων. Αν mod n = b mod n, γράφουμε b (mod n) και λέμε ότι ο είναι ισότιμος ή ισοϋπόλοιπος ή ισοδύναμος με τον b, modulo n. Ο θετικός αριθμός n λέγεται ότι είναι το modulus. Με άλλα λόγια, b (mod n) αν οι και b έχουν το ίδιο υπόλοιπο όταν διαιρούνται με τον n. Ισοδύναμα, b (mod n) αν και μόνον αν ο n (b ). Πράγματι, αν είναι b (mod n), τότε mod n = b mod n, ή /n n = b b/n n, ή b = b/n n /n n = ( b/n /n )n, που σημαίνει ότι n (b ) αφού ( b/n /n ) είναι ακέραιος. Αντίστροφα, αν n (b ), τότε b = n για κάποιον ακέραιο, ή b = n και επομένως, b mod n = n mod n n = n n n Προσοχή στη χρήση των παρενθέσεων!

5 .. Βασικές έννοιες της θεωρίας αριθμών 9 Γράφουμε = n n n = n n n = n n n n = n = mod n._ n b (mod n) αν ο είναι δεν είναι ισοδύναμος με b, modulo n. Για τη σχέση " (mod n)" ισχύει το ακόλουθο θεώρημα του οποίου την απόδειξη αναφέρουμε στο Παράρτημα, Α.3. ΘΕΩΡΗΜΑ.3 Έστω n θετικός ακέραιος. Τότε, αν, b και c είναι ακέραιοι: i) (mod n) ii) b (mod n) b (mod n) iii) b (mod n) b c (mod n) c (mod n) Με βάση το θεώρημα αυτό βλέπουμε ότι οι ακέραιοι μπορούν να διαμεριστούν σε n κλάσεις ισοδυναμίας σύμφωνα με τα υπόλοιπά τους modulo n (βλ. Παράρτημα, Α.3). Η κλάση ισοδυναμίας modulo n ή η κλάση κατάλοιπου modulo n που περιέχει τον ακέραιο είναι [] n = { n : Z} = {x Z : x (mod n)} Για παράδειγμα, [3] 4 = {, -3, -9, -5, -, 3, 7,, 5, 9, }. Άλλες δηλώσεις γι αυτό το σύνολο είναι [-5] 4 και [] 4. Μπορούμε να πούμε ότι γράφοντας b [] n είναι το ίδιο με το να γράψουμε ότι b (mod n). Το σύνολο όλων αυτών των κλάσεων ισοδυναμίας είναι Z n = {[] n : 0 n } = {[0], [],, [n ]} (.) Συχνά γράφουμε Z n = {0,,, n } (.3) που πρέπει να θεωρείται ως ισοδύναμος ορισμός με αυτόν της (.) με την έννοια ότι το 0 αναπαριστά την [0] n, το αναπαριστά την [] n, κοκ. Κάθε κλάση αναπαρίσταται με το μικρότερό της μη αρνητικό στοιχείο. Θα πρέπει όμως να μη ξεχνάμε τις κλάσεις ισοδυναμίας που είναι πίσω από το σύμβολο του ακέραιου. Για παράδειγμα, η αναφορά στον ως μέλος του Z n είναι μια αναφορά στην [n ] n, Από το Θεώρημα. προκύπτει ότι r (mod n), 0 r < n, δηλ. ότι κάθε ακέραιος είναι ισοδύναμος, modulo n, με έναν μοναδικό ακέραιο r, 0 r n.

6 0. Θεωρία αριθμών Αλγεβρικές δομές. αφού n (mod n). Τέλος, για προφανείς πλέον λόγους, συχνά το Z n λέγεται και σύνολο των ακεραίων modulo n. Αν τώρα ο d είναι διαιρέτης του και ο d είναι επίσης διαιρέτης του b, τότε ο d είναι ένας κοινός διαιρέτης των και b. Για παράδειγμα, οι διαιρέτες του 4 είναι,, 3, 4, 6, 8, και 4, οπότε οι κοινοί διαιρέτες των 8 και 4 είναι οι,, 3, και 6. Ας παρατηρήσουμε ότι ο είναι κοινός διαιρέτης δύο οποιωνδήποτε ακεραίων. Μια σημαντική ιδιότητα των κοινών διαιρετών είναι ότι αν d και d b τότε d (x by), x, y Z (.4) που εξειδικεύεται στην αν d και d b τότε d ( b) και d ( b). (.5) Επίσης, αν b, τότε είτε b ή b = 0 οπότε έχουμε ότι αν b και b τότε = ± b. (.6) Ο μέγιστος κοινός διαιρέτης, συμβολικά gcd(, b), δύο ακεραίων και b, που δεν είναι και οι δύο μηδέν, είναι ο μεγαλύτερος από τους κοινούς διαιρέτες των και b. Για παράδειγμα, gcd(8, 4) = 6, gcd(7, ) = και gcd(0, 6) = 6. Προφανώς αν b τότε gcd(, b) =. Αν και b είναι μη μηδενικοί ακέραιοι, τότε ο gcd(, b) είναι ένας ακέραιος μεταξύ του και του min( α, b ). Ορίζουμε τον gcd(0, 0) να είναι 0 προκειμένου να αποκτήσουν καθολική ισχύ τυπικές ιδιότητες της συνάρτησης gcd όπως η (.0) παρακάτω. Μερικές απλές ιδιότητες της συνάρτησης gcd είναι οι ακόλουθες: gcd(, b) = gcd(b, α) (.7) gcd(, b) = gcd( α, b) (.8) gcd(, b) = gcd( α, b ) (.9) gcd(, 0) = α (.0) gcd(, ) = α Z (.) gcd(, n) = gcd( n, n), n Z (.) Ας θεωρήσουμε τώρα δύο ακέραιους και b, οι οποίοι δεν είναι και οι δύο μηδέν, και το σύνολο {x yb : x, y Z} των γραμμικών συνδυασμών τους. Αν συμβολίσουμε με d 0 το μικρότερο θετικό στοιχείο αυτού του συνόλου, τότε θα είναι d 0 = x 0 y 0 b για κάποιους x 0, y 0 Z και κάθε διαιρέτης d των και b θα είναι και διαιρέτης του d 0. Πράγματι, γράφοντας = d και b = md με, m Z, έχουμε d 0 = x 0 y 0 b = x 0 d y 0 md

7 .. Βασικές έννοιες της θεωρίας αριθμών = (x 0 y 0 m)d. Από την άλλη μεριά, αν χρησιμοποιήσουμε το Θεώρημα της Διαίρεσης για να γράψουμε = qd 0 r, με 0 r < d 0, τότε r = qd 0 = q(x 0 y 0 b) = ( qx 0 ) (-y 0 )b δηλαδή ο r εκφράστηκε κι αυτός ως x y b όπου x, y Z. Επειδή όμως r < d 0 και d 0 είναι ο μικρότερος θετικός ακέραιος που μπορεί να εκφραστεί έτσι, θα πρέπει r = 0 και συνεπώς d 0. Παρόμοια, d 0 b. Δείξαμε λοιπόν το ακόλουθο θεώρημα, το οποίο πέρα απ όλα τα άλλα, μας παρέχει έναν χρήσιμο τρόπο χαρακτηρισμού του gcd(, b). ΘΕΩΡΗΜΑ.4 Αν, b είναι δύο ακέραιοι, όχι και οι δύο μηδέν, τότε ο gcd(, b) είναι το μικρότερο θετικό στοιχείο του συνόλου {x yb : x, y Z} των γραμμικών συνδυασμών των και b. Επειδή τώρα ο gcd(, b) είναι ένας γραμμικός συνδυασμός των και b, από την (.4) εύκολα προκύπτει το εξής ΠΟΡΙΣΜΑ. Για οποιουσδήποτε ακέραιους και b, αν d και d b τότε d gcd(, b). Εύκολα επίσης προκύπτουν και τα ακόλουθα δύο πορίσματα. ΠΟΡΙΣΜΑ. Για όλους τους ακέραιους και b και οποιονδήποτε μη αρνητικό ακέραιο n, gcd(n, nb) = n gcd(, b). ΠΟΡΙΣΜΑ.3 Για όλους τους θετικούς ακέραιους n, και b, αν n b και gcd(, n) =, τότε n b. Αν δύο ακέραιοι και b έχουν μοναδικό κοινό διαιρέτη τον, δηλαδή αν gcd(, b) =, τότε λέγονται πρώτοι μεταξύ τους ή σχετικά πρώτοι. Για παράδειγμα, οι διαιρέτες του 7 είναι οι και 7, ενώ οι διαιρέτες του 7 είναι οι, 3, 9 και 7, οπότε ο είναι ο μοναδικός κοινός τους διαιρέτης ή gcd(7, 7) = και κατά συνέπεια οι ακέραιοι 7 και 7 είναι σχετικά πρώτοι. Τι γίνεται αν δύο ακέραιοι και b είναι ο καθένας τους σχετικά πρώτος με έναν τρίτο ακέραιο p; Επειδή gcd(, p) = και gcd(b, p) =, από το Θεώρημα.4 προκύπτει ότι υπάρχουν ακέραιοι x, y, x και y τέτοιοι ώστε x py = bx py = Πολλαπλασιάζοντας κατά μέλη τις σχέσεις αυτές προκύπτει εύκολα η σχέση

8 . Θεωρία αριθμών Αλγεβρικές δομές. b(x x ) p(y bx y x py y ) = από την οποία με βάση πάλι το Θεώρημα.4 έχουμε ότι gcd(b, p) =. Δηλαδή αποδείξαμε στην ουσία το ΘΕΩΡΗΜΑ.5 Αν για τους ακέραιους, b και p είναι gcd(, p) = και gcd(b, p) =, τότε gcd(b, p) =. Αν τώρα έχουμε τους ακέραιους,,, n λέμε ότι είναι ανά δύο σχετικά πρώτοι, αν i j gcd( i, j ) =. Τελειώνοντας αυτήν τη μάλλον σύντομη εισαγωγή στη θεωρία αριθμών, θα πρέπει να αναφέρουμε δύο σημαντικά θεωρήματα που έχουν να κάνουν με τη διαιρετότητα με πρώτους. ΘΕΩΡΗΜΑ.6 Για όλους τους πρώτους p και τους ακέραιους, b, αν p b, τότε p ή p b. Απόδειξη Για την απόδειξη χρησιμοποιούμε εις άτοπο απαγωγή. Έστω ότι p b αλλά p και p b. Τότε επειδή o p είναι πρώτος, gcd(, p) = και gcd(b, p) =. Από το Θεώρημα.5 προκύπτει τότε ότι gcd(b, p) =, όπερ άτοπο γιατί η υπόθεση ότι p b συνεπάγεται την gcd(b, p) = p._ Χρησιμοποιώντας το παραπάνω θεώρημα μπορεί κανείς να αποδείξει ότι ένας ακέραιος παραγοντοποιείται κατά μοναδικό τρόπο σε πρώτους: ΘΕΩΡΗΜΑ.7 Ένας σύνθετος μπορεί να γραφεί κατά μοναδικό τρόπο ως ένα γινόμενο της μορφής = p p p s s = s i= p i i όπου οι p, p,, p s είναι πρώτοι, p < p < < p s και οι,,, s είναι θετικοί ακέραιοι. Αν S p είναι το σύνολο όλων των πρώτων, τότε μπορούμε να γράψουμε το παραπάνω γινόμενο στην ακόλουθη μορφή p Sp p = p, όπου κάθε p 0 To γινόμενο στο δεξί μέλος της ισότητας αναφέρεται σε όλους τους δυνατούς πρώτους p και για μια συγκεκριμένη τιμή του οι περισσότεροι από τους εκθέτες p θα είναι 0. Η τιμή για έναν δοσμένο θετικό ακέραιο μπορεί να καθοριστεί δίνοντας απλά όλους τους μη μηδενικούς εκθέτες που εμφανίζονται στο γινόμενο. Για παράδειγμα, ο ακέραιος = 8 αναπαρίσταται με { =, 3 = } και ο b = 3600 με {b = 4, b 3 =, b 5 = }. Ο πολλαπλασιασμός δύο ακεραίων είναι ισοδύναμος με την πρόσθεση των αντίστοιχων εκθετών:

9 .. Αλγόριθμος του Ευκλείδη 3 c = b c p = p b p p S p Στο παράδειγμά μας με = 8 και b = 3600, έχουμε c = = c = 4 = 5, c 3 = = 4, c 5 = 0 = = Επειδή τώρα ένας ακέραιος της μορφής p μπορεί να διαιρεθεί μόνον από ακέραιο ο οποίος είναι της μορφής p m με m (μικρότερη ή ίση δύναμη του ιδίου πρώτου), μπορούμε να πούμε ότι b p b p για όλους τους πρώτους p Για παράδειγμα, 36 και είναι = = 3, b = 36 = 3 = = b, 3 = = b 3. Είναι εύκολο να υπολογίσουμε τον μέγιστο κοινό διαιρέτη δύο θετικών ακεραίων αν εκφράσουμε τον καθένα ως γινόμενο πρώτων. Για παράδειγμα, αν = 8 και b = 3600, έχουμε 8 = 3 = 3 5 0, 3600 = gcd(8, 3600) = = 8... Αλγόριθμος του Ευκλείδη Προκειμένου να περιγράψουμε τον αλγόριθμο του Ευκλείδη ας πούμε μερικά πράγματα ακόμα. Μπορούμε σ αυτήν την ενότητα, χωρίς βλάβη της γενικότητας, να περιοριστούμε στους μη αρνητικούς ακέραιους, και τούτο γιατί, gcd(, b) = gcd( α, b ) (βλ. (.9)). Κατ αρχήν, μπορούμε όπως είπαμε στο τέλος της προηγούμενης ενότητας, να υπολογίσουμε τον gcd(, b) για θετικούς ακέραιους και b από την παραγοντοποίησή τους σε πρώτους. Πράγματι, αν p h h s s = h s (.4) = p p (.3) b p p p s όπου χρησιμοποιήσαμε μηδενικούς εκθέτες προκειμένου να είναι το σύνολο των πρώτων p, p,, p s το ίδιο για τους και b, τότε μπορεί κανείς να δείξει ότι d = gcd(, b) d p = min( p, b p ) για όλους τους p δηλαδή min (, h) min (, h) min ( s, hs ) gcd ( b, ) = p p p s (.5)

10 4. Θεωρία αριθμών Αλγεβρικές δομές. Επειδή όμως οι αλγόριθμοι που έχουμε μέχρι τώρα για την παραγοντοποίηση δεν τρέχουν σε πολυωνυμικό χρόνο, αυτή η προσέγγιση για τον υπολογισμό μέγιστων κοινών διαιρετών δεν φαίνεται να αποδίδει έναν αποτελεσματικό αλγόριθμο. Για τον υπολογισμό μέγιστων κοινών διαιρετών έχουμε και τον αλγόριθμο του Ευκλείδη ο οποίος εκφράζεται ως ένα επαναληπτικό είτε ως ένα αναδρομικό πρόγραμμα το οποίο βασίζεται στο ακόλουθο θεώρημα. ΘΕΩΡΗΜΑ.8 Για οποιονδήποτε μη αρνητικό ακέραιο και οποιονδήποτε θετικό ακέραιο b, gcd(, b) = gcd(b, mod b). (.6) Απόδειξη Χάριν συντομίας, ας είναι d = gcd(, b) και d = gcd(b, mod b). Θα δείξουμε ότι d d και d d οπότε επειδή d, d είναι μη αρνητικοί, από την (.6) προκύπτει ότι πρέπει να είναι d = d. Επειδή d, d b και mod b = /b b, από την (.4) έχουμε ότι d ( mod b). Επειδή τώρα d b και d ( mod b), από το Πόρισμα. προκύπτει ότι d d. Παρόμοια δείχνουμε ότι d d. Επειδή d b, d ( mod b) και = /b b ( mod b), από την (.4) έχουμε ότι d. Επειδή τώρα d b και d, από το Πόρισμα. προκύπτει ότι d d._ Για παράδειγμα, για τον υπολογισμό του gcd(4, 3), έχουμε gcd(3,4) = gcd(4, 3 mod 4) = gcd(4, 8) = gcd(8, 4 mod 8) = gcd(8, 0) = 8. Από την (.6) έχουμε τον ακόλουθο αλγόριθμο στον οποίο τα εισαγόμενα και b είναι μη αρνητικοί ακέραιοι. Ευκλείδης(, b) if b = 0 thn rturn ls whil b 0 do {r mod b b b r} rturn Υπάρχει και η αναδρομική έκδοση του αλγόριθμου του Ευκλείδη. Ο αλγόριθμος ορίζει μια συνάρτηση η οποία καλεί τον εαυτό της με απλούστερα ορίσματα:

11 .. Αλγόριθμος του Ευκλείδη 5 Ευκλείδης(, b) 3 if b = 0 thn rturn ls rturn Ευκλείδης(b, mod b) Για παράδειγμα, τρέχοντας τον παραπάνω αλγόριθμο για τον υπολογισμό του gcd(57, ) προκύπτει: Ευκλείδης(57, ) = Ευκλείδης(, 5) = Ευκλείδης(5, 6) = Ευκλείδης(6, 3) = Ευκλείδης(3, 0) = 3. Για πρακτικούς λόγους είναι χρήσιμη μια μορφή του παραπάνω αλγόριθμου γνωστή ως ανεπτυγμένη μορφή του αλγόριθμου του Ευκλείδη. Είναι δηλαδή σκόπιμο να ξαναγράψουμε τον αλγόριθμο του Ευκλείδη προκειμένου να υπολογίζει τους ακέραιους συντελεστές x και y στον γραμμικό συνδυασμό d = gcd(, b) = x yb (.7) που αναφέρεται στο Θεώρημα.4. Ο λόγος που λέμε ότι είναι σκόπιμο οφείλεται στο γεγονός ότι οι παραπάνω συντελεστές θα είναι χρήσιμοι αργότερα στον υπολογισμό των modulr πολλαπλασιαστικών αντίστροφων. Ο αλγόριθμος αυτός έχει ως είσοδο ένα ζεύγος μη αρνητικών ακεραίων και b και ως έξοδο μια τριάδα της μορφής (d, x, y) η οποία ικανοποιεί την (.7). Ένα απλό βήμα του αρχικού αλγόριθμου του Ευκλείδη μετέτρεψε το πρόβλημα εύρεσης του gcd(, b) σ αυτό της εύρεσης του gcd(b, mod b). Υποθέτουμε, επαγωγικά, ότι όχι μόνον ξέρουμε τον gcd(b, mod b) αλλά ότι ξέρουμε επίσης τους συντελεστές x, y για την εξίσωση d = x b y ( mod b) (.8) Μπορούμε να βγάλουμε, στο επόμενο βήμα, τους αντίστοιχους συντελεστές x, y για την (.7); Μπορούμε όντως, γιατί αντικαθιστώντας στην (.8) mod b= b b βρίσκουμε ότι d = xb y b mod b b = y x y b b. Επομένως ο κανόνας με τον οποίο οι x, y για την (.8) μετασχηματίζονται στους x, y για την (.7) είναι ο ακόλουθος x = y

12 6. Θεωρία αριθμών Αλγεβρικές δομές. y = x y b. Μπορούμε τώρα να διατυπώσουμε την ανεπτυγμένη μορφή του αλγόριθμου του Ευκλείδη (στην αναδρομική της έκδοση): Ευκλείδης(, b) if b = 0 thn rturn (,, 0) (d, x, y ) Ευκλείδης(b, mod b) (d, x, y) (d, y, x /b y ) rturn (d, x, y) Για παράδειγμα, ας περιγράψουμε την εκτέλεση της συνάρτησης Ευκλείδης(, b) αν κληθεί με (, b) = (4, ). Στην πρώτη κλήση της συνάρτησης Ευκλείδης(4, ) η συνάρτηση καλεί τον εαυτό της με ορίσματα (, 3). Μετά καλεί τον εαυτό της διαδοχικά με (3, ), (, ) και (, 0). Όταν εκτελεί με (, b) = (, 0) αντιμετωπίζει την εντολή if b = 0, οπότε θέτει d, x, y 0. Τώρα μπορεί να ολοκληρώσει την εκτέλεση της κλήσης με (, b) = (, ), η οποία ήταν σε αναμονή. Για να γίνει αυτό, θέτει y x y= b, x 0. Η κλήση με (, b) = (, ) έχει τώρα ολοκληρωθεί. Η κλήση της συνάρτησης με (, b) = (3, ) μπορεί στη συνέχεια να εκτελεστεί με αποτέλεσμα 3 y 0 =, x. Τώρα έχει σειρά η κλήση της συνάρτησης με (, b) = (, 3) η οποία έχει ως αποτέλεσμα y ( ) = 3 4, x. Τελικά, η αρχική κλήση της συνάρτησης από τον χρήστη με (, b) = (4, ), μπορεί να ολοκληρωθεί, με αποτέλεσμα 4 y 4= 5, x 4. Επομένως, η Ευκλείδης(4, ) μας επιστρέφει τις τιμές (d, x, y) = (, 4, 5), που σημαίνει ότι gcd(4, ) = = 4 4 ( 5).

13 .3. Modulr αριθμητική - Ομάδες 7.3. Modulr αριθμητική - Ομάδες Όπως είδαμε στην., μπορούμε να θεωρήσουμε την modulr αριθμητική ως τη συνήθη αριθμητική στο σύνολο των ακεραίων, εκτός του ότι δουλεύουμε modulo n, οπότε κάθε αποτέλεσμα αντικαθίσταται από το στοιχείο του συνόλου {0,,, n } το οποίο είναι ισοϋπόλοιπο με το, modulo n (δηλ. το αντικαθίσταται με mod n). Αυτό το μοντέλο για modulr αριθμητική επαρκεί όσο έχουμε να κάνουμε με τις πράξεις της πρόσθεσης, αφαίρεσης και πολλαπλασιασμού. Όπως όμως θα διαπιστώσουμε στην πορεία, είναι σκόπιμο να περιγράψουμε ένα πιο τυπικό μοντέλο για modulr αριθμητική και αυτό περιγράφεται καλύτερα στα πλαίσια της θεωρίας ομάδων. Οι διάφορες δομές ανάλογα με τον αριθμό των εσωτερικών πράξεων και τις ι- διότητες που έχουν οι πράξεις αυτές, χωρίζονται σε διάφορες κατηγορίες. Στην κατηγορία των δομών με μία πράξη υπάγονται οι λεγόμενες ομάδες. ΟΡΙΣΜΟΣ. Ένα σύνολο G εφοδιασμένο με την πράξη λέγεται ομάδα (group), όταν η πράξη είναι προσεταιριστική, υπάρχει το ουδέτερο στοιχείο G ως προς την πράξη και κάθε στοιχείο του G έχει συμμετρικό στοιχείο. Ώστε, η δομή (G, ), είναι ομάδα, όταν: A.., b, c G, ( b) c = (b c) A.. G, G, = = A.3. G, G, = = Αν επιπλέον η πράξη είναι αντιμεταθετική, τότε η δομή (G, ) λέγεται αντιμεταθετική ή αβελιανή ομάδα, δηλαδή όταν επιπλέον: A.4., b G, b = b Αν η πράξη σημειώνεται με ή τότε πρόκειται περί μιας προσθετικής ή πολλαπλασιαστικής ομάδας, αντίστοιχα. Για παράδειγμα, η δομή (Ζ, ) είναι μια αβελιανή προσθετική ομάδα στην οποία το ουδέτερο στοιχείο είναι το 0 και κάθε στοιχείο του Ζ έχει αντίθετο στοιχείο το α. Αντίθετα η δομή (Ζ, ) δεν είναι πολλαπλασιαστική ομάδα, γιατί δεν υπάρχει στο Ζ ο αντίστροφος κάθε α Ζ (αντίστροφο έχει μόνο ο ). Σε μια ομάδα (G, ) αποδεικνύεται ότι ισχύουν οι παρακάτω ιδιότητες: Το ουδέτερο στοιχείο G είναι μοναδικό. Κάθε στοιχείο του συνόλου G έχει ένα μόνο συμμετρικό στοιχείο ως προς την πράξη. βλ. και Παράρτημα Α.4.

14 8. Θεωρία αριθμών Αλγεβρικές δομές. Κάθε στοιχείο α G είναι απλοποιήσιμο, που σημαίνει ότι, b, c G, b = c b = c και b = c b = c Αν, b G, τότε η εξίσωση α x = β έχει μοναδική λύση στο G, την x = b Αν, b G, τότε η εξίσωση x = b έχει μοναδική λύση στο G, την x = b Αν βέβαια είμαστε σε αντιμεταθετική ομάδα οι παραπάνω δύο εξισώσεις είναι ισοδύναμες και έχουν μοναδική λύση την x = b = b. Ειδικότερα σε μια προσθετική αντιμεταθετική ομάδα η μοναδική λύση των εξισώσεων αυτών γράφεται x = b ( ) = b, ενώ σε μια πολλαπλασιαστική αντιμεταθετική ομάδα γράφεται x = b -. ΟΡΙΣΜΟΣ. Μια ομάδα (G, ) είναι πεπερασμένη αν το σύνολο G έχει πεπερασμένο πλήθος στοιχείων, δηλ. αν είναι πεπερασμένος ο πληθάριθμος G. Σ αυτήν την περίπτωση ο G λέγεται τάξη (ordr) της ομάδας. Αν το G δεν είναι πεπερασμένο τότε λέμε ότι αυτό είναι απείρου τάξεως. Μπορούμε να σχηματίσουμε δύο πεπερασμένες αντιμεταθετικές ομάδες χρησιμοποιώντας τις πράξεις της πρόσθεσης και του πολλαπλασιασμού modulo n, όπου n είναι ένας θετικός ακέραιος. Αυτές οι ομάδες βασίζονται στις κλάσεις ισοδυναμίας των ακεραίων modulo n, οι οποίες ορίσθηκαν στην.. Το σύνολο G στην περίπτωσή μας είναι αρχικά το Z n και είναι εύκολο να δούμε ότι η κλάση ισοδυναμίας δύο ακεραίων προσδιορίζει μονοσήμαντα την κλάση ισοδυναμίας του αθροίσματος ή του γινομένου τους. Με άλλα λόγια, αν (mod n) και b b (mod n), τότε b b (mod n) b b (mod n) Έτσι, ορίζουμε πρόσθεση και πολλαπλασιασμό modulo n, συμβολικά n και n ως ακολούθως: [] n n [b] n = [ b] n (.9) [] n n [b] n = [ b] n

15 .3. Modulr αριθμητική - Ομάδες 9 Στην ουσία τα παραπάνω δικαιολογούν την κοινή και βολική πρακτική κατά την οποία χρησιμοποιεί κανείς το μικρότερο μη αρνητικό στοιχείο κάθε κλάσης ισοδυναμίας ως αντιπρόσωπό της κατά την εκτέλεση υπολογισμών στο Z n. Η πρόσθεση και ο πολλαπλασιασμός εκτελούνται, κατά τον συνήθη τρόπο, επί των αντιπροσώπων αλλά το κάθε αποτέλεσμα x αντικαθίσταται με τον αντιπρόσωπο της κλάσης του, δηλ. με x mod n (αναγωγή του x modulo n). Χρησιμοποιώντας τον παραπάνω ορισμό της πρόσθεσης modulo n, ορίζουμε τη δομή (Z n, n ) που την ονομάζουμε προσθετική ομάδα modulo n και για την οποία αποδεικνύεται ότι είναι μια αβελιανή ομάδα. ΘΕΩΡΗΜΑ.9 Η δομή (Z n, n ) είναι μια πεπερασμένη αντιμεταθετική ομάδα τάξεως n. Απόδειξη Επειδή η πράξη είναι προσεταιριστική και αντιμεταθετική, έχουμε ([] n n [b] n ) n [c] n = [ b] n n [c] n και = [( b) c] n = [ (b c)] n = [] n n [b c] n = [] n n ([b] n n [c] n ) [] n n [b] n = [ b] n = [b ] n = [b] n n [] n. Το ουδέτερο (μηδενικό) στοιχείο υπάρχει και είναι το [0] n, γιατί [] n n [0] n = [ 0] n = [] n, για κάθε [] n Z n και κάθε στοιχείο [] n έχει αντίθετο το [ ] n, γιατί [] n n [ ] n = [ ( )] n = [ ] n = [0] n, για κάθε [] n Z n. Προφανώς, επειδή Z n = n, η τάξη της ομάδας αυτής είναι n._ Στη συνέχεια θεωρούμε το σύνολο Z n = {[] n Z n : gcd(, n) = } των κλάσεων ισοδυναμίας των ακεραίων που είναι σχετικά πρώτοι με τον n. Για 0 < n και για κάθε ακέραιο, έχουμε n (mod n), οπότε από την (.) προκύπτει ότι η gcd(, n) = συνεπάγεται την gcd( n, n) =. Έτσι, επειδή [] n = { n : Z}, καταλήγουμε στο ότι το σύνολο είναι καλώς ορισμένο. Για παράδειγμα, Z = {,, 4, 5, 8, 0,, 3, 6, 7, 9, 0} όπου, χάριν απλότητας, το στοιχείο [] το συμβολίσαμε ως. Π.χ. συμβολίσαμε το [0] ως 0. Όταν δεν υπάρχει κίνδυνος σύγχυσης θα χρησιμοποιούμε παρόμοιο συμβολισμό (βλ. Z n

16 30. Θεωρία αριθμών Αλγεβρικές δομές. σχετικά και (.), (.3)). Ειδικά, αν p είναι πρώτος τότε, p } = {,,, p }. Η τάξη του Z n Z p = {[] p Z p :, συμβολικά φ(n), είναι συνάρτηση του n η οποία είναι γνωστή ως η συνάρτηση φ του Eulr. Ειδικά, αν p είναι πρώτος τότε φ(p) = p. Αν n είναι σύνθετος, τότε φ(n) < n και αποδεικνύεται ότι αν i = p i i είναι η παραγοντοποίησή του σε πρώτους, τότε η τιμή φ(n) της συνάρτησης του Eulr μπορεί να υπολογιστεί από τον τύπο φ ( n) = n (.0) i = pi Για παράδειγμα, επειδή = 3 7, που είναι πρώτοι, είναι οι 3 και 7, φ ( ) = = 3 7 = Δύο άλλοι χρήσιμοι τύποι για τη συνάρτηση του Eulr, των οποίων την απόδειξη παραλείπουμε, είναι οι ακόλουθοι: Αν p είναι πρώτος και, τότε φ(p ) = p p -. Αν gcd(, b) =, τότε φ(b) = φ()φ(b). Η χρήση τους απλοποιεί τη διαδικασία υπολογισμού της τιμής φ(n). Για παράδειγμα, φ(5) = φ( ) = φ( 3 )φ(3 3 ) φ(7) = ( 3 )(3 3 3 )(7 ) = = 43. Δηλαδή υπάρχουν 43 ακέραιοι μεταξύ των και 5 οι οποίοι είναι σχετικά πρώτοι με τον 5. ΠΑΡΑΔΕΙΓΜΑ. Σύνολα ακεραίων οι οποίοι είναι σχετικά πρώτοι με τον n n { Z : n και gcd(, n) = } {} {} 3 {, } 4 {, 3} 5 {,, 3, 4}

17 .3. Modulr αριθμητική - Ομάδες 3 6 {, 5} 7 {,, 3, 4, 5, 6} 8 {, 3, 5, 7} 9 {,, 4, 5, 7, 9} 0 {, 3, 7, 9} Από τον παραπάνω πίνακα προκύπτουν οι εξής τιμές της συνάρτησης φ() για 0. Έτσι φ() Από το Θεώρημα.5 προκύπτει ότι η πράξη n είναι εσωτερική στο, οπότε μπορούμε να ορίσουμε τη δομή ( Zn, n), ονομάζοντάς την πολλαπλασιαστική ομάδα modulo n, και να αποδείξουμε ότι είναι μια πεπερασμένη αβελιανή ομάδα. ΘΕΩΡΗΜΑ.0 Η δομή ( Z, n n) είναι μια πεπερασμένη αντιμεταθετική ο- μάδα τάξεως φ(n). Απόδειξη Η απόδειξη της προσεταιριστικότητας και της αντιμεταθετικότητας της n (πολλαπλασιασμός modulo n) μπορεί να γίνει παρόμοια με την απόδειξη για την n στο Θεώρημα.9. Το ουδέτερο στοιχείο είναι προφανώς [] n και μένει να δείξουμε την ύπαρξη του αντίστροφου. Ας θεωρήσουμε ότι Z n και έστω ότι η τριάδα (d, x, y) είναι το εξαγόμενο της διαδικασίας Ευκλείδης(, n). Επειδή Zn, είναι d = και x ny =, ή ισοδύναμα, x (mod n). Έτσι, [x] n είναι ένα πολλαπλασιαστικό αντίστροφο του [] n, modulo n._ Ας δούμε δύο παραδείγματα υπολογισμού πολλαπλασιαστικών αντίστροφων. Έστω = 8 και n =. Τότε ο αλγόριθμος Ευκλείδης(, n) επιστρέφει (d, x, y) = (, 8, 3) έτσι ώστε = 8 8 ( 3). Έτσι, ο 8 (δηλ. [8] ) είναι πολλαπλασιαστικός αντίστροφος του 8 modulo. Πράγματι, 8 8 = 64 (mod ). Έστω = 5 και n =. Τότε (d, x, y) = (,, ) και επομένως ο 9 (mod ) είναι ένας πολλαπλασιαστικός αντίστροφος του 5 modulo. Να παρατηρήσουμε ότι η δομή (Z n, n ) δεν είναι ομάδα γιατί δεν έχουν όλα τα στοιχεία του Z n πολλαπλασιαστικούς αντίστροφους. Θα συμφωνήσουμε ότι όταν δουλεύουμε από εδώ και πέρα με τις ομάδες (Z n, n ) και ( Zn, n) θα ακολουθήσουμε τη βολική πρακτική του να συμβολίζουμε τις κλάσεις ισοδυναμίας με τους αντιπρόσωπούς τους σημειώνοντας τις πράξεις n και n με τα συνήθη αριθμητικά σύμβολα και (ή παραλείποντας την ) αντίστοιχα. Επίσης, οι ισοδυναμίες modulo n μπορούν να ερμηνευθούν και ως εξισώσεις στο Z n. Για παράδειγμα, οι ακόλουθες σχέσεις Z n

18 3. Θεωρία αριθμών Αλγεβρικές δομές. x b (mod n) [] n n [x] n = [b] n είναι ισοδύναμες. Το (πολλαπλασιαστικό) αντίστροφο ενός στοιχείου θα συμβολίζεται με - mod n και μπορούμε να ορίσουμε διαίρεση στο με τη σχέση /b b - (mod n). Για παράδειγμα, στο Z 9 έχουμε ότι 4 - = 7, δηλ. 4-7 (mod 9) γιατί 4 7 = 8 (mod 9). Θα συμφωνήσουμε επίσης ότι όταν από τα συμφραζόμενα φαίνεται ποια είναι η πράξη στην οποία αναφερόμαστε, αντί να γράφουμε η ομάδα (G, ) θα γράφουμε απλά η ομάδα G. Έτσι μπορούμε να αναφερόμαστε στις ομάδες (Z n, n ) και ( Z, n) ως Z n και, αντίστοιχα. n Z n ΟΡΙΣΜΟΣ.3 Η δομή (G 0, ) λέγεται υποομάδα μιας ομάδας (G, ) όταν G 0 G και η ίδια είναι ομάδα. Αν μάλιστα G 0 G, τότε λέγεται γνήσια υποομάδα. Για παράδειγμα, το σύνολο των άρτιων είναι μια προσθετική υποομάδα της ομάδας (Ζ, ). Αντίθετα, η ομάδα Z n δεν είναι υποομάδα της ομάδας (Ζ, ) γιατί οι πράξεις της πρόσθεσης είναι διαφορετικές. Το ουδέτερο στοιχείο μιας ομάδας (G, ) είναι και ουδέτερο στοιχείο κάθε υποομάδας της, γιατί αν υποθέσουμε ότι είναι το ουδέτερο στοιχείο μιας υποομάδας (G 0, ) και α G 0, τότε α = α = α =. Ένα χρήσιμο κριτήριο για το χαρακτηρισμό μιας δομής ως υποομάδας, είναι το ακόλουθο: ΘΕΩΡΗΜΑ. Αν (G, ) είναι μια ομάδα και G 0 ένα μη κενό υποσύνολο του G, η δομή (G 0, ) είναι μια υποομάδα της (G, ) αν και μόνον αν: i) Το G 0 είναι κλειστό ως προς την πράξη ii) Το συμμετρικό κάθε στοιχείου του G 0 είναι στοιχείο του G 0. Πράγματι, αν υποθέσουμε ότι ισχύουν οι (i) και (ii), τότε αν είναι το συμμετρικό του G 0 θα είναι G 0 και συνεπώς G 0. Δηλαδή το ουδέτερο στοιχείο = είναι στοιχείο του G 0, που σημαίνει ότι η δομή (G 0, ) είναι ομάδα άρα και υποομάδα. Αντίστροφα, αν υποθέσουμε ότι η (G 0, ) είναι υποομάδα της (G, ), τότε είναι ομάδα ως προς την πράξη και συνεπώς ισχύουν οι (i) και (ii)._ Το Θεώρημα. είναι γνωστό και ως έλεγχος δύο βημάτων (two stp tst). Υπάρχει η δυνατότητα να διατυπωθεί και ως έλεγχος ενός βήματος. Πρόκειται για το ΘΕΩΡΗΜΑ. Αν (G, ) είναι μια ομάδα και G 0 ένα μη κενό υποσύνολο του G, η δομή (G 0, ) είναι μια υποομάδα της (G, ) αν και μόνον αν b G 0 για κάθε, b G 0. Z n

19 .3. Modulr αριθμητική - Ομάδες 33 Ειδικά αν το G 0 είναι πεπερασμένο υποσύνολο του G τότε το Θεώρημα. διατυπώνεται ως εξής: ΘΕΩΡΗΜΑ.3 Αν (G, ) είναι μια ομάδα και G 0 ένα μη κενό πεπερασμένο υποσύνολο του G, η δομή (G 0, ) είναι μια υποομάδα της (G, ) αν και μόνον αν το G 0 είναι κλειστό ως προς την πράξη. Οι αποδείξεις των δύο τελευταίων θεωρημάτων δίνονται ως άσκηση. Χρήσιμη πληροφορία για την τάξη μιας υποομάδας μας δίνει το ακόλουθο θεώρημα, γνωστό ως θεώρημα του Lgrng, και το πόρισμα που ακολουθεί (η απόδειξή τους παραλείπεται). ΘΕΩΡΗΜΑ.4 Αν (G, ) είναι μια πεπερασμένη ομάδα και (G 0, ) είναι μια υποομάδα της, τότε ο G 0 είναι διαιρέτης του G. ΠΟΡΙΣΜΑ.4 Αν (G 0, ) είναι μια γνήσια υποομάδα μιας πεπερασμένης ο- μάδας (G, ), τότε G 0 G /. Είναι χρήσιμο να ορίσουμε σε μια πεπερασμένη ομάδα την εκθετοποίηση ως επανειλημμένη εφαρμογή της πράξης, με ( ) α α α =, α (0) = και (-) = ( ) (), όπου N i= Εδώ ο συμβολισμός προσομοιάζει αυτού που θα χρησιμοποιούσαμε εάν η πράξη είναι πολλαπλασιασμός. Οποτεδήποτε η πράξη είναι πρόσθεση, αν N, () σημαίνει α α α = και (-) σημαίνει α ( α) ( α) = ( ) ενώ α (0) σημαίνει 0. Να σημειωθεί ότι nα είναι συντομογραφία και δε θα πρέπει να θεωρηθεί ως το γινόμενο του n Z με το α G. Για παράδειγμα, αν θεωρήσουμε α = στην ομάδα Z 6, η ακολουθία α (), α (), α (3), είναι, 4, 0,, 4, 0,, 4, 0,. Στην ομάδα Z n έχουμε, α () = mod n και στην ομάδα έχουμε, α () = mod n. Z n Αν τώρα (G, ) είναι πεπερασμένη ομάδα και α G, τότε το σύνολο α = {α () : N } όλων των δυνάμεων του α ορίζει μια υποομάδα της G που λέγεται ότι είναι η υποομάδα που δημιουργείται από το α και συμβολίζεται με ( α, ) ή με α. Λέ-

20 34. Θεωρία αριθμών Αλγεβρικές δομές. με επίσης ότι το α δημιουργεί την υποομάδα α ή ότι α είναι ένας γεννήτορας (gnrtor) της α. Για παράδειγμα, στην ομάδα Z 6 έχουμε και στο 0 = {0} = {0,,, 3, 4, 5} = {0,, 4} Z 7 παρόμοια έχουμε = {} = {,, 4} 3 = {,, 3, 4, 5, 6} Η τάξη (ordr) ενός στοιχείου α G, συμβολικά ord(α), ορίζεται ως ο μικρότερος θετικός ακέραιο t για τον οποίο είναι, α (t) = όπου είναι το ουδέτερο στοιχείο της ομάδας (G, ). Για την τάξη ενός στοιχείου ας αποδείξουμε το ακόλουθο ΘΕΩΡΗΜΑ.5 Αν (G, ) είναι μια πεπερασμένη ομάδα και G, τότε ord(α) = α. Απόδειξη Θα αποδείξουμε ότι η τάξη ενός στοιχείου είναι ίση με την τάξη της υποομάδας που δημιουργείται από το στοιχείο αυτό. Έστω t = ord(α). Επειδή α (t) = και α (t) = (t) () = () = (), N, αν m > t, τότε (m) = (s), για κάποιο s < m. Έτσι, δεν εμφανίζονται άλλα στοιχεία μετά το α (t), που σημαίνει ότι α = { α (), α (),, α (t) } και α t. Αρκεί τώρα να δείξουμε ότι α t. Χρησιμοποιούμε εις άτοπο απαγωγή. Υποθέτουμε δηλαδή ότι α < t οπότε θα είναι α (i) = α (j) για κάποια i, j τέτοια ώστε i < j t. Τότε, α (i) = α (j) για 0, οπότε θα είναι α (i(t-j)) = α (j(t-j)) =, άτοπο γιατί i (t j) < t και t είναι ο μικρότερος θετικός ακέραιος για τον οποίο είναι α (t) =._ ΠΟΡΙΣΜΑ.5 Η ακολουθία των δυνάμεων του στοιχείου : (), (), είναι περιοδική με περίοδο t = ord(), που σημαίνει ότι α () = α (m) αν και μόνον αν m (mod t). Με βάση το παραπάνω πόρισμα είναι συνεπές μ αυτό να ορίσουμε (0) = () = ( mod t), όπου t = ord(), Z. ΠΟΡΙΣΜΑ.6 Αν (G, ) είναι μια πεπερασμένη ομάδα και G, τότε ( G ) =.

21 .4. Επίλυση modulr γραμμικών εξισώσεων 35 Πράγματι, από το Θεώρημα.4 προκύπτει ότι ord() G, οπότε αν t = ord(), είναι G 0 (mod t) και συνεπώς, ( G ) = (0) =..4. Επίλυση modulr γραμμικών εξισώσεων Όπως θα δούμε στο Κεφάλαιο 6, ένα τμήμα της διαδικασίας εύρεσης κλειδιών στο κρυπτοσύστημα δημόσιου κλειδιού RSA έχει να κάνει με την εύρεση λύσεων εξίσωσης της μορφής x b (mod n), > 0, n > 0 (.) Υπάρχουν βέβαια και άλλες εφαρμογές αυτού του προβλήματος. Υποθέτουμε ότι είναι δεδομένα τα, b και n και ζητάμε τις τιμές του x, modulo n, οι οποίες ικανοποιούν την εξίσωση (.). Έστω α η υποομάδα της ομάδας Z n που δημιουργείται από το. Επειδή α = { (x) : x > 0} = {x mod n : x > 0} η εξίσωση (.) έχει λύση αν και μόνον αν b α. Το Θεώρημα.4 του Lgrng μας λέει ότι ο α πρέπει να είναι διαιρέτης του n. Ένας ακριβής χαρακτηρισμός του α δίνεται από το ακόλουθο θεώρημα. ΘΕΩΡΗΜΑ.6 Αν και n είναι θετικοί ακέραιοι και d = gcd(, n), τότε α = d = {0, d, d,, ((n/d) )d} (.) στο Z n και α = n/d. Απόδειξη Από τον αλγόριθμο του Ευκλείδη στην ανεπτυγμένη του μορφή (αλγόριθμος Ευκλείδης) προκύπτουν, όπως έχουμε δει, ακέραιοι x και y τέτοιοι ώστε x ny = d, που σημαίνει ότι x d (mod n), οπότε συμπεραίνουμε ότι d α. Επειδή τώρα d α, κάθε πολλαπλάσιο του d ανήκει και αυτό στο α επειδή οποιοδήποτε πολλαπλάσιο ενός πολλαπλάσιου του α είναι ένα πολλαπλάσιο του α. Έτσι, το α περιέχει κάθε στοιχείο από το σύνολο {0, d, d,, ((n/d) )d}, που σημαίνει ότι d α. Προκειμένου τώρα να δείξουμε ότι α = d αρκεί να δείξουμε ότι α d. Έστω m α. Τότε, m = x mod n για κάποιον ακέραιο x και επομένως, m = x ny για κάποιον ακέραιο y. Αλλά, d και d n και από την (.4) έχουμε ότι d m, άρα m d. Συνεπώς, α d. Για το ότι α = n/d, αρκεί να παρατηρήσουμε ότι υπάρχουν ακριβώς n/d πολλαπλάσια του d μεταξύ των ακέραιων 0 και n (συμπεριλαμβανομένων)._ ΠΟΡΙΣΜΑ.7 Η εξίσωση x b (mod n) έχει μία τουλάχιστον λύση αν και μόνον αν d b, με d = gcd(, n). ΘΕΩΡΗΜΑ.7 Η εξίσωση x b (mod n) είτε έχει d (= gcd(, n)) διακεκριμένες λύσεις modulo n, ή είναι αδύνατη.

22 36. Θεωρία αριθμών Αλγεβρικές δομές. Απόδειξη Έστω ότι η εξίσωση x b (mod n) έχει λύση. Τότε θα είναι ο b στοιχείο του α. Επειδή ord(α) = α (βλ. Θεώρημα.5), από το ΠΟΡΙΣΜΑ.5 και το Θεώρημα.6 συνεπάγεται ότι η ακολουθία mod n, = 0,,, είναι περιοδική με περίοδο t = α = n/d. Αν b α τότε ο b θα εμφανίζεται ακριβώς d φορές στην πεπερασμένη ακολουθία mod n, όπου = 0,,, n, το μήκους (n/d) τμήμα τιμών α επαναλαμβάνεται ακριβώς d φορές καθώς ο αυξάνει από το 0 έως τον n. Στην ουσία, οι δείκτες x των d θέσεων για τους οποίους είναι, x = b (mod n), αποτελούν τις λύσεις της εξίσωσης x b (mod n)._ ΘΕΩΡΗΜΑ.8 Έστω d = gcd(, n) = x ny για κάποιους ακέραιους x, y. Αν d b, τότε μια λύση x 0 της εξίσωσης x b (mod n) δίνεται από τον τύπο x 0 = x (b/d) mod n. Απόδειξη Έχουμε διαδοχικά x 0 x (b/d) (mod n) d(b/d) (mod n) b (mod n) όπου χρησιμοποιήσαμε το γεγονός ότι από την d = x ny συνεπάγεται ότι x d (mod n)._ Ένα πιο γενικό θεώρημα από το παραπάνω, είναι το ακόλουθο ΘΕΩΡΗΜΑ.9 Έστω ότι η εξίσωση x b (mod n) είναι τέτοια ώστε d b, όπου d = gcd(, n) και μια οποιαδήποτε λύση της είναι ο ακέραιος x 0. Τότε η εξίσωση αυτή έχει ακριβώς d διακεκριμένες λύσεις, modulo n, οι οποίες δίνονται από τον τύπο x = x 0 (n/d), = 0,,..., d. Απόδειξη Οι ακέραιοι x 0, x,, x d είναι όλοι διακεκριμένοι, modulo n, επειδή n/d > 0 και 0 (n/d) < n, = 0,,, d. Επίσης, επειδή x 0 είναι λύση της εξίσωσης x b (mod n), έχουμε x 0 mod n = b, οπότε για = 0,,, d, είναι x mod n = (x 0 n/d) mod n = (x 0 n/d) mod n = x 0 mod n = b που σημαίνει ότι x είναι επίσης μια λύση. Το Θεώρημα.5 όμως μας λέει ότι υπάρχουν ακριβώς d λύσεις και κατά συνέπεια όλες αυτές οι λύσεις πρέπει να είναι οι x 0, x,, x d._ Ο παρακάτω αλγόριθμος επιστρέφει όλες τις λύσεις της εξίσωσης x b (mod n) για οποιουσδήποτε εισαγόμενους θετικούς ακέραιους, n και ακέραιο b.

23 .5. Δακτύλιοι - Σώματα 37 ΛυτηςModΓραμμικηΕξισωση(, b, n) (d, x, y ) Ευκλείδης(, n) if d b thn x 0 x (b/d) mod n for 0 to d do τύπωσε (x 0 n/d) mod n ls τύπωσε αδύνατη Ιδιαίτερο ενδιαφέρον έχουν και τα ακόλουθα πορίσματα. ΠΟΡΙΣΜΑ.8 Για οποιονδήποτε ακέραιο n >, αν gcd(, n) =, τότε η εξίσωση x b (mod n) έχει μοναδική λύση, modulo n. Αν τώρα b =, τότε ο x που ψάχνουμε να βρούμε ως λύση της x (mod n), είναι ένας πολλαπλασιαστικός αντίστροφος του, modulo n. ΠΟΡΙΣΜΑ.9 Για οποιονδήποτε ακέραιο n >, αν gcd(, n) =, τότε η εξίσωση x (mod n) έχει μία μόνο λύση, modulo n. Διαφορετικά, είναι αδύνατη. Αν λοιπόν gcd(, n) =, τότε μία λύση της εξίσωσης x (mod n) είναι ο ακέραιος x που επιστρέφει ο αλγόριθμος Ευκλείδης, γιατί από την εξίσωση gcd(, n) = = x ny προκύπτει ότι x (mod n). Αυτό σημαίνει ότι μπορούμε να υπολογίσουμε τον - mod n αρκετά αποτελεσματικά χρησιμοποιώντας τον αλγόριθμο Ευκλείδης..5. Δακτύλιοι - Σώματα Στην.3 γνωρίσαμε αλγεβρικές δομές με μία εσωτερική πράξη. Στο κεφάλαιο αυτό θα δούμε αλγεβρικές δομές με δύο εσωτερικές πράξεις τις οποίες θα συμβολίσουμε με και και θα τις ονομάσουμε πρόσθεση και πολλαπλασιασμό, αντίστοιχα. ΟΡΙΣΜΟΣ.4 Ένα σύνολο R εφοδιασμένο με τις πράξεις και λέγεται δακτύλιος (ring), όταν: () η δομή (R, ) είναι αβελιανή προσθετική ομάδα, () ο πολλαπλασιασμός είναι προσεταιριστικός και (3) ο πολλαπλασιασμός είναι επιμεριστικός ως προς την πρόσθεση. Ώστε η δομή (R,, ) είναι δακτύλιος όταν: A.., b, c R, ( b) c = (b c) A.. 0 R, R, 0 = 0 = A.3. R, (-α) R, (-α) = (-α) = 0 A.4., b R, b = b

24 38. Θεωρία αριθμών Αλγεβρικές δομές. A.5., b, c R, ( b) c = (b c) A.6. ( b c) = b c, b, c R, ( b c) = b c Αν επιπλέον ο πολλαπλασιασμός είναι αντιμεταθετικός, τότε ο δακτύλιος (R,, ) λέγεται αντιμεταθετικός, δηλαδή όταν επιπλέον: A.7., b R, b = b Ο δακτύλιος (R,, ) λέγεται δακτύλιος με μοναδιαίο στοιχείο, όταν υπάρχει μοναδιαίο στοιχείο ως προς τον πολλαπλασιασμό, δηλαδή A.8. R, R, = = Για παράδειγμα, η δομή (Ζ,, ) είναι ένας αντιμεταθετικός δακτύλιος με μοναδιαίο στοιχείο τον ακέραιο, όπως μπορούμε να δούμε εύκολα αν ανακαλέσουμε στη μνήμη μας τις γνωστές ιδιότητες της πρόσθεσης και του πολλαπλασιασμού ακεραίων. Η δομή (Z n, n, n ) είναι, σύμφωνα με όσα έχουμε μέχρι τώρα αναφέρει, αντιμεταθετικός δακτύλιος με μοναδιαίο στοιχείο και μπορούμε να αναφερόμαστε σ αυτόν ως ο δακτύλιος Z n. Οι βασικές ιδιότητες σε δακτύλιο είναι αντίστοιχες στις ιδιότητες εκείνες στο Ζ, οι οποίες δεν αναφέρονται στην αντιμεταθετικότητα του πολλαπλασιασμού και το αντίστροφο ενός στοιχείου. Εδώ θα αναφέρουμε τις δυο σημαντικότερες ιδιότητες ενός δακτυλίου.. Αν (R,, ) είναι ένας δακτύλιος, τότε R, 0 = 0 = 0. Αν (R,, ) είναι ένας δακτύλιος, τότε, b R, είναι: i) ( ) b = ( b) = ( b) ii) ( ) ( b) = b ΟΡΙΣΜΟΣ.5 Αν (R,, ) είναι δακτύλιος, λέμε χαρακτηριστική του τον μικρότερο θετικό ακέραιο n, αν υπάρχει, που είναι τέτοιος ώστε να είναι R: n = = 0 Αν δεν υπάρχει τέτοιος ακέραιος τότε λέμε ότι η χαρακτηριστική του δακτυλίου είναι μηδέν. ΟΡΙΣΜΟΣ.6 Αν (R,, ) είναι δακτύλιος, ένα στοιχείο 0 του R λέμε ότι είναι διαιρέτης του 0 αν υπάρχει στοιχείο b 0 του R τέτοιο ώστε να είναι

25 .5. Δακτύλιοι - Σώματα 39 b = 0 ή b = 0 ΟΡΙΣΜΟΣ.7 Ένας μη μηδενικός αντιμεταθετικός δακτύλιος (R,, ) με μοναδιαίο στοιχείο που δεν έχει διαιρέτες του 0, λέγεται ακέραια περιοχή. Έτσι αν (Α,, ) είναι μια ακέραια περιοχή τότε ισχύει η συνεπαγωγή b = 0 = 0 ή b = 0 (, b Α) Βέβαια η αντίστροφη συνεπαγωγή ισχύει πάντα σε ένα δακτύλιο (βλ. παραπάνω, την ιδιότητα ). Για παράδειγμα, η αλγεβρική δομή (Ζ,, ) είναι μια ακέραια περιοχή, γιατί είναι ένας αντιμεταθετικός δακτύλιος με μοναδιαίο στοιχείο που δεν έχει διαιρέτες του 0 γιατί αν b = 0 τότε = 0 ή b = 0. Επίσης να πούμε ότι στην ουσία, ένας δακτύλιος είναι ένα σύνολο στο οποίο μπορούμε να κάνουμε πρόσθεση, αφαίρεση [ b = ( b)] και πολλαπλασιασμό χωρίς να βγούμε από το σύνολο. Αν θέλουμε να κάνουμε και διαίρεση [ / b = (b - )] χωρίς να βγούμε από το σύνολο, θα πρέπει να εμπλουτίσουμε τη δομή μας πηγαίνοντας από δακτύλιο σε σώμα (βλ. Ορισμό.0 παρακάτω). ΠΑΡΑΔΕΙΓΜΑ. Δακτύλιος Z 8 ή αριθμητική modulo 8 Οι πίνακες για την πρόσθεση και τον πολλαπλασιασμό, modulo 8, είναι για δε τους αντίθετους και αντίστροφους (όσοι υπάρχουν), modulo 8, έχουμε Ο τελευταίος πίνακας επαληθεύει το γεγονός ότι ένας ακέραιος έχει αντίστροφο, modulo n, αν αυτός ο ακέραιος είναι σχετικά πρώτος με τον n. Οι ακέραιοι, 3, 5, 7 είναι σχετικά πρώτοι με τον 8 ενώ οι 0,, 4, 6 όχι. Δηλ. R {0}.

26 40. Θεωρία αριθμών Αλγεβρικές δομές. Δύο βασικές έννοιες που αναφέρονται στην ομοιότητα δύο δακτυλίων είναι ο ομομορφισμός και ο ισομορφισμός δακτυλίων. ΟΡΙΣΜΟΣ.8 Μια απεικόνιση f : R R μεταξύ δακτυλίων με μοναδιαία στοιχεία και λέγεται ομομορφισμός (δακτυλίων) αν f() = και, b R, f( b) = f() f(b), f( b) = f() f(b). Δηλαδή στην ουσία, ομομορφισμός σημαίνει ότι έχουμε μια απεικόνιση η οποία διατηρεί την προσθετική και την πολλαπλασιαστική δομή. ΟΡΙΣΜΟΣ.9 Μια απεικόνιση f : R R μεταξύ δακτυλίων με μοναδιαία στοιχεία λέγεται ισομορφισμός (δακτυλίων) αν η f είναι ένας ομομορφισμός και μια αντιστοιχία μεταξύ των συνόλων R και R. Αν η f είναι ένας ισομορφισμός τότε η αντίστροφη απεικόνιση g = f - είναι επίσης ένας ισομορφισμός. Για να το δούμε αυτό, αρκεί να δούμε ότι η g είναι έ- νας ομομορφισμός. Πράγματι, έστω, b R. Τότε = f() και b = f(b), και g( b ) = g(f() f(b)) = g(f( b)) = f - (f( b)) = b = g( ) g(b ) (Παρόμοια η περίπτωση της ). Ο ισομορφισμός είναι ένα άκρως όμορφο χαρακτηριστικό μιας αντιστοιχίας μεταξύ δακτυλίων. Σημαίνει για παράδειγμα, ότι το είναι ένα αντιστρέψιμο στοιχείο του R αν και μόνον αν το f() είναι ένα αντιστρέψιμο στοιχείο του R. (Πράγματι, = f() = f( - ) = f() f( - ), οπότε το f( - ) είναι ένα αντίστροφο του f()). Σημαίνει επίσης ότι οι ίδιες εξισώσεις ισχύουν στο πεδίο ορισμού και στο σύνολο τιμών. Για παράδειγμα, έχουμε = b στο R αν και μόνον αν f() = f(b) (σημειωτέον ότι f() = f( )). Έτσι, το b είναι ένα τετράγωνο αν και μόνον αν το f(b) είναι ένα τετράγωνο. Ισομορφισμός σημαίνει γενικότερα ότι το πεδίο ορισμού και το σύνολο τιμών μπορούν να θεωρηθούν ίδια σε ότι αφορά την πρόσθεση και τον πολλαπλασιασμό. ΟΡΙΣΜΟΣ.0 Ένα σύνολο F εφοδιασμένο με τις πράξεις και λέγεται σώμα (fild), όταν: () η δομή (F,, ) είναι μη μηδενικός αντιμεταθετικός δακτύλιος, και () η δομή (F, ) με F = F {0} είναι ομάδα. Ώστε η δομή (F,, ) είναι σώμα όταν: A.., b, c F, ( b) c = (b c) A.. 0 F, F, 0 = 0 = A.3. F, (-α) F, (-α) = (-α) = 0 A.4., b F, b = b A.5., b, c F, ( b) c = (b c) A.6., b, c F, ( b c) = b c ( b c) = b c

27 .5. Δακτύλιοι - Σώματα 4 A.7., b F, b = b A.8. F, F, = = A.9. F, α - F, α - = α - =. Επειδή σε ένα σώμα η δομή (F, ) είναι αντιμεταθετική προσθετική ομάδα και η (F, ) αντιμεταθετική πολλαπλασιαστική ομάδα: οι εξισώσεις x = b και x = b με 0 έχουν μοναδική λύση ισχύουν οι νόμοι απλοποίησης ή διαγραφής:, b, c F, b = c b = c, b, c F, ( b = c 0) b = c Βασική ιδιότητα στα σώματα είναι και η ακόλουθη Αν (F,, ) είναι σώμα και, b F τότε ισχύει η συνεπαγωγή b = 0 ( = 0 ή b = 0) δηλαδή κάθε σώμα είναι ακέραια περιοχή. Πράγματι, αν b 0 θα υπάρχει b - F και τότε b = 0 ( b) b - = 0 b - (b b - ) = 0 = 0 = 0. Για παράδειγμα, οι δομές (Q,, ), (R,, ) και (C,, ) των ρητών, πραγματικών και μιγαδικών αριθμών αντίστοιχα, είναι οι πλέον γνωστές περιπτώσεις σωμάτων, όπως επίσης και η (Β,, ) όπου Β είναι το σύνολο {0, } και οι πράξεις και που ορίζονται στους πίνακες Τα παραπάνω τρία πρώτα σώματα δεν είναι πεπερασμένα ενώ το τέταρτο είναι πεπερασμένο. Ένα πεπερασμένο σώμα είναι ένα σώμα (F,, ) όπου το F περιέχει ένα πεπερασμένο πλήθος στοιχείων. Το πλήθος των στοιχείων του F είναι η τάξη του σώματος. Τα πεπερασμένα σώματα παίζουν σημαντικό ρόλο σε πολλούς κρυπτογραφικούς αλγόριθμους, ενώ τα μη πεπερασμένα σώματα δεν παρουσιάζουν ιδιαίτερο ενδιαφέρον στην κρυπτογραφία. Θα δούμε ότι η τάξη ενός πεπερασμένου σώματος πρέπει να είναι μια δύναμη της μορφής p n, όπου p είναι πρώτος και n ένας θετικός ακέραιος. Το πεπερασμένο σώμα τάξεως p n συμβολίζεται συνήθως με GF(p n ). Δύο ειδικές περιπτώσεις είναι ιδιαίτερου ενδιαφέροντος για τους

28 4. Θεωρία αριθμών Αλγεβρικές δομές. σκοπούς μας. Για n =, έχουμε το πεπερασμένο σώμα GF(p) το οποίο έχει μια διαφορετική δομή από αυτήν των πεπερασμένων σωμάτων με n >..5.. Πεπερασμένα σώματα τάξεως p Για δοθέντα πρώτο p, το πεπερασμένο σώμα τάξεως p, GF(p) ορίζεται ως η αλγεβρική δομή (Ζ p, p, p ), το σύνολο δηλαδή Ζ p = {0,,,, p } εφοδιασμένο με τις αριθμητικές πράξεις, modulo p. Να υπενθυμίσουμε ότι το σύνολο Ζ n = {0,,,, n }, των ακεραίων, εφοδιασμένο με τις αριθμητικές πράξεις, modulo n, είναι ένας αντιμεταθετικός δακτύλιος με μοναδιαίο στοιχείο και ότι κάθε ακέραιος στο Ζ n έχει αντίστροφο αν και μόνον αν ο ακέραιος αυτός είναι σχετικά πρώτος με τον n. Αν ο n είναι πρώτος, τότε όλοι οι μη μηδενικοί ακέραιοι στο Ζ n είναι σχετικά πρώτοι με τον n και επομένως υπάρχει ένα (πολλαπλασιαστικό) αντίστροφο στοιχείο για κάθε ακέραιο στο Z = Ζn {0}:, z, z (mod p). Z n Z n n Στο γεγονός αυτό εξ άλλου στηρίχθηκε, κυρίως, η απόδειξη του Θεωρήματος.0 που λέει ότι η δομή ( Zn, n) είναι μια πεπερασμένη αβελιανή ομάδα τάξεως φ(n) = n (όταν n πρώτος). Όλα τα παραπάνω πιστοποιούν ότι όντως το GF(p) είναι ένα πεπερασμένο σώμα τάξεως p. Συνοψίζοντας σ έναν πίνακα τις ιδιότητες που έχουμε σ ένα σώμα, έχουμε τις παρακάτω ιδιότητες που συνιστούν την modulr αριθμητική μέσα στο GF(p): Ιδιότητα Αντιμεταθετική Προσεταιριστική Επιμεριστική Ουδέτερο στοιχείο Συμμετρικό στοιχείο Παράσταση ( b) mod p = (b ) mod p ( b) mod p = (b ) mod p [( b) c] mod p = [ (b c)] mod p [( b) c] mod p = [ (b c)] mod p [ (b c)] mod p = [( b) ( c)] mod p [( b) c] mod p = [( c) (b c)] mod p (0 ) mod p = mod p ( ) mod p = mod p ( (-)) mod p = 0 mod p ( ( - )) = mod p Το απλούστερο πεπερασμένο σώμα είναι το GF(). Οι αριθμητικές του πράξεις συνοψίζονται εύκολα στους ακόλουθους πίνακες

29 .5.. Πεπερασμένα σώματα τάξεως p Πρέπει να παρατηρήσουμε ότι η πρόσθεση είναι ισοδύναμη με την πράξη του Α- ποκλειστικού-ή (XOR) και ο πολλαπλασιασμός είναι ισοδύναμος με την πράξη του λογικού ΚΑΙ (AND). Επίσης η πρόσθεση είναι ισοδύναμη με την αφαίρεση, αφού, b GF(), b = b (-) = b. ΠΑΡΑΔΕΙΓΜΑ.3 Το πεπερασμένο σώμα GF(7) ή αριθμητική modulo 7 Οι πίνακες για την πρόσθεση και τον πολλαπλασιασμό, modulo 7, εύκολα βρίσκουμε ότι είναι Οι αντίθετοι και αντίστροφοι modulo 7, είναι Πέρα από την αριθμητική ακεραίων έχουμε και την αριθμητική πολυωνύμων μιας μεταβλητής όπου μπορούμε να διακρίνουμε τρεις κατηγορίες: η γνωστή μας κανονική αριθμητική πολυωνύμων (χρήση των βασικών κανόνων της άλγεβρας) αριθμητική πολυωνύμων στην οποία η αριθμητική επί των συντελεστών εκτελείται modulo p, δηλαδή οι συντελεστές των πολυωνύμων θεωρούμε ότι είναι στοιχεία του Ζ p αριθμητική πολυωνύμων στην οποία οι συντελεστές των πολυωνύμων είναι στο Ζ p και τα πολυώνυμα ορίζονται modulo ένα πολυώνυμο q(x) του οποίου ο βαθμός είναι κάποιος ακέραιος n. Ας κάνουμε μια σύντομη αναδρομή στη βασική θεωρία πολυωνύμων. Ένα πολυώνυμο βαθμού n 0 είναι μια παράσταση της μορφής

30 44. Θεωρία αριθμών Αλγεβρικές δομές. n n P( x) = x x x = x n n 0 = 0 όπου οι συντελεστές είναι στοιχεία ενός προκαθορισμένου συνόλου αριθμών A (σύνολο των συντελεστών) με n 0. Με αυτήν την έννοια λέμε ότι το πολυώνυμο είναι ορισμένο επί του A. Το μηδενικού βαθμού πολυώνυμο λέγεται ότι είναι ένα σταθερό πολυώνυμο και είναι απλά ένα στοιχείο του συνόλου των συντελεστών. Αν όλοι οι συντελεστές του πολυωνύμου είναι 0 τότε το πολυώνυμο λέγεται ότι είναι το μηδενικό πολυώνυμο και εξ ορισμού ο βαθμός του είναι -. Το πολυώνυμο P(x) λέγεται μονοειδές (monic) αν ο συντελεστής του μεγιστοβάθμιου όρου του είναι. Σε ότι έχει να κάνει με την άλγεβρα των πολυωνύμων δεν μας ενδιαφέρει ο υπολογισμός ενός πολυωνύμου για κάποια συγκεκριμένη τιμή της μεταβλητής x και για να υπογραμμίσουμε το γεγονός αυτό η μεταβλητή x μερικές φορές αναφέρεται ως ακαθόριστη. Η αριθμητική αυτών των πολυωνύμων περιλαμβάνει τις πράξεις της πρόσθεσης, της αφαίρεσης και του πολλαπλασιασμού. Οι πράξεις αυτές ορίζονται κατά τον πλέον φυσικό τρόπο σαν να ήταν η μεταβλητή x στοιχείο του συνόλου Α. Η διαίρεση ορίζεται παρόμοια, αλλά απαιτεί το Α να είναι σώμα. Χαρακτηριστικές περιπτώσεις σωμάτων που χρησιμοποιούνται είναι αυτές των πραγματικών αριθμών, των ρητών και του Ζ p όπου, p πρώτος. Το σύνολο όλων των ακεραίων δεν υποστηρίζει διαίρεση πολυωνύμων γιατί δεν είναι σώμα. Η πρόσθεση και αφαίρεση εκτελούνται προσθέτοντας ή αφαιρώντας τους α- ντίστοιχους (ομοιόβαθμους) συντελεστές. Έτσι, αν τότε ( ) P x n m = x, Q( x) = b x, m n = 0 = 0 ( ) ( ) ( ) m n. = 0 = m P x Q x = b x x Για τον πολλαπλασιασμό, ορίζουμε όπου n m =, = 0 ( ) ( ) P x Q x c x c = 0b b b b0 με τη διευκρίνιση ότι στον τελευταίο τύπο θέτουμε = 0 για > n και b = 0 για > m. Για παράδειγμα, αν P(x) = 4x 3 x και Q(x) = x x, τότε P(x) Q(x) = 4x 3 x x n

31 .5.. Πεπερασμένα σώματα τάξεως p 45 P(x) Q(x) = 4x 3 x 3 P(x) Q(x) = 8x 5 4x 4 0x 3 x x Στη συνέχεια, ας θεωρήσουμε πολυώνυμα των οποίων οι συντελεστές είναι στοιχεία κάποιου σώματος (F,, ). Είναι εύκολο (και ανιαρό) να δείξουμε ότι το σύνολο όλων αυτών των πολυωνύμων, εφοδιασμένο με τις ίδιες πράξεις (, ), είναι ένας δακτύλιος ο οποίος αναφέρεται ως ένας πολυωνυμικός δακτύλιος F[x]. Όταν κάνουμε αριθμητική με πολυώνυμα επί ενός σώματος, τότε είναι δυνατή η διαίρεση, χωρίς αυτό να σημαίνει ότι αυτή θα είναι τέλεια διαίρεση. Σε σώμα, δοθέντων δύο στοιχείων και b, το πηλίκο /b είναι ένα στοιχείο του σώματος. Σε ένα δακτύλιο όμως (που δεν είναι σώμα), μια διαίρεση, γενικά, θα έχει ως αποτέλεσμα ένα πηλίκο και ένα υπόλοιπο. Αν τώρα, προσπαθήσουμε να εκτελέσουμε διαίρεση πολυωνύμων επί συνόλου συντελεστών το οποίο δεν συνιστά σώμα, τότε διαπιστώνουμε ότι η διαίρεση δεν ορίζεται πάντοτε. Αν, για παράδειγμα, το σύνολο των συντελεστών είναι το σύνολο Ζ των ακεραίων, τότε η διαίρεση (4x )/(3x) δεν ορίζεται γιατί θα απαιτούσε συντελεστή με τιμή 4/3 που δεν είναι στο σύνολο των συντελεστών μας. Η ίδια όμως διαίρεση είναι δυνατή επί του Ζ 7 όπου έχουμε (4x )/(3x) = 6x, που είναι ένα έγκυρο πολυώνυμο επί του Ζ 7. Γενικά, όπως προαναφέραμε, ακόμα και αν το σύνολο των συντελεστών είναι σώμα, η διαίρεση πολυωνύμων δεν είναι αναγκαία τέλεια και θα παράγει ένα πηλίκο και ένα υπόλοιπο: ( ) r( x) = q( x) ( ) Q( x) ( ) = ( ) ( ) ( ) P x Q x P x q x Q x r x (.3) Αν οι βαθμοί των P(x) και Q(x) είναι n και m αντίστοιχα, με m n, τότε ο βαθμός του πηλίκου q(x) είναι n m και ο βαθμός του υπόλοιπου r(x) είναι το πολύ m. Έχοντας κατά νου ότι επιτρέπονται υπόλοιπα, μπορούμε να πούμε ότι είναι δυνατή η διαίρεση πολυωνύμων αν το σύνολο των συντελεστών συνιστά ένα σώμα. Κατ αναλογία με την αριθμητική ακεραίων, μπορούμε να γράφουμε P(x) mod Q(x) για το υπόλοιπο r(x) στην (.): r(x) = P(x) mod Q(x). Αν r(x) = 0, τότε μπορούμε να πούμε ότι το Q(x) διαιρεί το P(x), συμβολικά Q(x) P(x), ή ισοδύναμα, μπορούμε να πούμε ότι το Q(x) είναι ένας παράγοντας του P(x), ή ότι το Q(x) είναι ένας διαιρέτης του P(x). Σε γενικές γραμμές, πολλές από τις ιδιότητες της διαιρετότητας πολυωνύμων είναι όμοιες με τις ιδιότητες της διαιρετότητας των ακέραιων αριθμών και δεν κρίνουμε σκόπιμο να τις αναφέρουμε εδώ. Για παράδειγμα, αν P(x) = x 3 x και Q(x) = x x, τότε εκτελώντας τη διαίρεση κατά τα γνωστά στο R[x], βρίσκουμε πηλίκο q(x) = x και υπόλοιπο r(x) = x 4, γεγονός που μπορούμε να επαληθεύσουμε με την ταυτότητα της διαίρεσης q(x)q(x) r(x) = (x )( x x ) x 4 = x 3 x = P(x).

Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων. Κρυπτογραφία. Θεωρία αριθμών Αλγεβρικές δομές. Χρήστος Ξενάκης

Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων. Κρυπτογραφία. Θεωρία αριθμών Αλγεβρικές δομές. Χρήστος Ξενάκης Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων Κρυπτογραφία Θεωρία αριθμών Αλγεβρικές δομές Χρήστος Ξενάκης Το σύνολο των ακεραίων Ζ = {..., -2, -1, 0, 1, 2,...} Το σύνολο των φυσικών Ν = {0, 1, 2,...}

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 11: Αριθμητική υπολοίπων-δυνάμεις Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 10: Αριθμητική υπολοίπων - Κυκλικές ομάδες: Διαιρετότητα - Ευκλείδειος αλγόριθμος - Κατάλοιπα Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

Διαβάστε περισσότερα

a = a a Z n. a = a mod n.

a = a a Z n. a = a mod n. Αλγεβρα Ι Χειμερινο Εξαμηνο 2017 18 Διάλεξη 1 Ενότητα 1. Πράξεις: Πράξεις στο σύνολο S, ο πίνακας της πράξης, αντιμεταθετικές πράξεις. Προσεταιριστικές πράξεις, το στοιχείο a 1 a 2 a n. Η πράξη «σύνθεση

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 9: Εσωτερική πράξη και κλάσεις ισοδυναμίας - Δομές Ισομορφισμοί Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative

Διαβάστε περισσότερα

Αριθμοθεωρητικοί Αλγόριθμοι

Αριθμοθεωρητικοί Αλγόριθμοι Αλγόριθμοι που επεξεργάζονται μεγάλους ακέραιους αριθμούς Μέγεθος εισόδου: Αριθμός bits που απαιτούνται για την αναπαράσταση των ακεραίων. Έστω ότι ένας αλγόριθμος λαμβάνει ως είσοδο έναν ακέραιο Ο αλγόριθμος

Διαβάστε περισσότερα

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

* * * ( ) mod p = (a p 1. 2 ) mod p.

* * * ( ) mod p = (a p 1. 2 ) mod p. Θεωρια Αριθμων Εαρινο Εξαμηνο 2016 17 Μέρος Α: Πρώτοι Αριθμοί Διάλεξη 1 Ενότητα 1. Διαιρετότητα: Διαιρετότητα, διαιρέτες, πολλαπλάσια, στοιχειώδεις ιδιότητες. Γραμμικοί Συνδυασμοί (ΓΣ). Ενότητα 2. Πρώτοι

Διαβάστε περισσότερα

11. Ποιες είναι οι άμεσες συνέπειες της διαίρεσης;

11. Ποιες είναι οι άμεσες συνέπειες της διαίρεσης; 10. Τι ονομάζουμε Ευκλείδεια διαίρεση και τέλεια διαίρεση; Όταν δοθούν δύο φυσικοί αριθμοί Δ και δ, τότε υπάρχουν δύο άλλοι φυσικοί αριθμοί π και υ, έτσι ώστε να ισχύει: Δ = δ π + υ. Ο αριθμός Δ λέγεται

Διαβάστε περισσότερα

Ε Μέχρι 18 Μαΐου 2015.

Ε Μέχρι 18 Μαΐου 2015. Ε Μέχρι 18 Μαΐου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες άρα

Διαβάστε περισσότερα

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,... KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός

Διαβάστε περισσότερα

s G 1 ). = R, Z 2 Z 3 = Z6. s, t G) s t = st. 1. H = G 4. [G : H] = a G ah = Ha.

s G 1 ). = R, Z 2 Z 3 = Z6. s, t G) s t = st. 1. H = G 4. [G : H] = a G ah = Ha. Αλγεβρα ΙΙ Εαρινο Εξαμηνο 2017 18 Διάλεξη 1 Ενότητα 1. Ομάδες-Πηλίκο: Κρατήσαμε σταθερή μια ομάδα G με ταυτοτικό το ι και μια υποομάδα H της G. Συμβολίσαμε με G 1 το G/H (το σύνολο των αριστερών συμπλόκων

Διαβάστε περισσότερα

9 Πολυώνυμα Διαίρεση πολυωνύμων

9 Πολυώνυμα Διαίρεση πολυωνύμων 4ο Κεφάλαιο 9 Πολυώνυμα Διαίρεση πολυωνύμων Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Ορισμοί Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής ν αx όπου α R, * ν N και x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε

Διαβάστε περισσότερα

Εφαρμοσμένη Κρυπτογραφία Ι

Εφαρμοσμένη Κρυπτογραφία Ι Εφαρμοσμένη Κρυπτογραφία Ι Κωνσταντίνου Ελισάβετ ekonstantinou@aegean.gr http://www.icsd.aegean.gr/ekonstantinou Ασύμμετρα Κρυπτοσυστήματα κλειδί κρυπτογράφησης k1 Αρχικό κείμενο (m) (δημόσιο κλειδί) Αλγόριθμος

Διαβάστε περισσότερα

a b b < a > < b > < a >.

a b b < a > < b > < a >. Θεωρια Δακτυλιων και Modules Εαρινο Εξαμηνο 2016 17 Διάλεξη 1 Ενότητα 1. Επανάληψη: Προσθετικές ομάδες, δακτύλιοι, αντιμεταθετικοί δακτύλιοι, δακτύλιοι με μοναδιαίο στοιχείο, παραδείγματα. Συμφωνήσαμε

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 8: Σχέσεις - Πράξεις Δομές Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο.

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο. Κεφάλαιο Πρότυπα Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο Ορισμοί και Παραδείγματα Παραδοχές Στo βιβλίο αυτό θα κάνουμε τις εξής παραδοχές Χρησιμοποιούμε προσθετικό συμβολισμό

Διαβάστε περισσότερα

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι.

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι. Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη Τσουκνίδας Ι. 2 Περιεχόμενα 1 Εισαγωγή στα πεπερασμένα σώματα 5 1.1 Μάθημα 1..................................... 5 1.1.1

Διαβάστε περισσότερα

f(t) = (1 t)a + tb. f(n) =

f(t) = (1 t)a + tb. f(n) = Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία

Διαβάστε περισσότερα

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}.

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}. Αλγεβρα ΙΙ, Εαρινο Εξαμηνο 2017 18 Ασκησεις που συζητηθηκαν στο φροντιστηριο Φροντιστήριο 1. 1. Δίνεται η ομάδα G = Z 4 Z 8, το στοιχείο a = (1, 2) της G, και η υποομάδα H =< a > της G. Εστω G 1 = G/H.

Διαβάστε περισσότερα

Ε Μέχρι 31 Μαρτίου 2015.

Ε Μέχρι 31 Μαρτίου 2015. Ε Μέχρι 31 Μαρτίου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι ΚΕΦΑΛΑΙΟ : Ημιαπλοί Δακτύλιοι Είδαμε στο κύριο θεώρημα του προηγούμενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισμα απλών προτύπων Εδώ θα χαρακτηρίσουμε όλους

Διαβάστε περισσότερα

Α Δ Ι. Παρασκευή 15 Νοεμβρίου Ασκηση 1. Να ευρεθεί η τάξη τού στοιχείου a τής ομάδας (G, ), όπου. (4) a = ( 1 + i 3)/2, (G, ) = (C, ),

Α Δ Ι. Παρασκευή 15 Νοεμβρίου Ασκηση 1. Να ευρεθεί η τάξη τού στοιχείου a τής ομάδας (G, ), όπου. (4) a = ( 1 + i 3)/2, (G, ) = (C, ), Α Δ Ι Α - Φ 4 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 15 Νοεμβρίου

Διαβάστε περισσότερα

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή )

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή ) Θεωρία Galos Πρόχειρες σημειώσεις 0- (εκδοχή -7-0) Περιεχόμενα 0 Υπενθυμίσεις και συμπληρώματα Ανάγωγα πολυώνυμα Ανάγωγα πολυώνυμα και σώματα Χαρακτηριστική σώματος Απλές ρίζες πολυωνύμων Ασκήσεις 0 Επεκτάσεις

Διαβάστε περισσότερα

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ).

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ). ΕΜ0 - Διακριτά Μαθηματικά Ιανουαρίου 006 Άσκηση - Λύσεις Πρόβλημα [0 μονάδες] Εστω L και L δύο κυκλώματα σε ένα γράφημα G. Εστω a μία ακμή που ανήκει και στο L και στο L και έστω b μία ακμή που ανήκει

Διαβάστε περισσότερα

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

Διαβάστε περισσότερα

Δακτύλιοι και Πρότυπα Ασκήσεις 6. Η ύλη των ασκήσεων αυτών είναι η Ενότητα6, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα.

Δακτύλιοι και Πρότυπα Ασκήσεις 6. Η ύλη των ασκήσεων αυτών είναι η Ενότητα6, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα. Δακτύλιοι και Πρότυπα 0-7 Ασκήσεις Η ύλη των ασκήσεων αυτών είναι η Ενότητα, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα Βρείτε τη ρητή κανονική μορφή και μια κανονική μορφή Jorda του M( ) 0 0 Έστω

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z)

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z) ΚΕΦΑΛΑΙΟ 1: Πρότυπα Στο κεφάλαιο αυτό θα υπενθυμίσουμε τις βασικές έννοιες που αφορούν πρότυπα πάνω από ένα δακτύλιο Θα περιοριστούμε στα πλέον απαραίτητα για αυτά που ακολουθούν στα άλλα κεφάλαια Η κατευθυντήρια

Διαβάστε περισσότερα

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r.

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r. Κεφάλαιο 2 Θεωρία Αριθμών Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι Hardy and Wright 1979 και Graham, Knuth, and Patashnik 1994. 2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί Θεώρημα 2.1 Αν

Διαβάστε περισσότερα

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο ΓΕΝΙΚΑ ΠΕΡΙ ΑΝΙΣΩΣΕΩΝ Έστω f σύνολο Α, g Α ΒΑΘΜΟΥ είναι δύο παραστάσεις μιας μεταβλητής πού παίρνει τιμές στο Ανίσωση με έναν άγνωστο λέγεται κάθε σχέση της μορφής f f g g ή, η οποία αληθεύει για ορισμένες

Διαβάστε περισσότερα

7.Αριθμητική παράσταση καλείται σειρά αριθμών που συνδέονται με πράξεις μεταξύ τους. Το αποτέλεσμα της αριθμητικής παράστασης ονομάζεται τιμή της.

7.Αριθμητική παράσταση καλείται σειρά αριθμών που συνδέονται με πράξεις μεταξύ τους. Το αποτέλεσμα της αριθμητικής παράστασης ονομάζεται τιμή της. ΟΙ ΦΥΣΙΚΟΙ ΑΡΙΘΜΟΙ Α.1.2 1. Οι ιδιότητες της πρόσθεσης των φυσικών αριθμών είναι οι εξής : Αντιμεταθετική ιδιότητα π.χ. α+β=β+α Προσετεριστική ιδιότητα π.χ. α+β+γ=(α+β)+γ=α+(β+γ) 2.Η πραξη της αφαίρεσης

Διαβάστε περισσότερα

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες Χρησιμοποιώντας τανυστικά γινόμενα και εφαρμόζοντας το θεώρημα των Wedderbur-Art ( 33) θα αποδείξουμε δύο θεμελιώδη θεωρήματα που αφορούν κεντρικές απλές άλγεβρες *

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση» ΚΕΦΑΛΑΙΟ 1 Ο : Εξισώσεις - Ανισώσεις 1 1.1 Η ΕΝΝΟΙΑ ΤΗΣ ΜΕΤΑΒΛΗΤΗΣ ΑΛΓΕΒΡΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΟΡΙΣΜΟΙ Μεταβλητή

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ Εισαγωγή Οι αριθμοί που εκφράζουν το πλήθος των στοιχείων ανά αποτελούν ίσως τους πιο σημαντικούς αριθμούς της Συνδυαστικής και καλούνται διωνυμικοί συντελεστές διότι εμφανίζονται

Διαβάστε περισσότερα

Μ Α Θ Η Μ Α Τ Ι Κ Α Γ ΓΥΜΝΑΣΙΟΥ ΖΕΡΒΟΣ ΜΑΝΟΛΗΣ

Μ Α Θ Η Μ Α Τ Ι Κ Α Γ ΓΥΜΝΑΣΙΟΥ ΖΕΡΒΟΣ ΜΑΝΟΛΗΣ Μ Α Θ Η Μ Α Τ Ι Κ Α Γ ΓΥΜΝΑΣΙΟΥ ΖΕΡΒΟΣ ΜΑΝΟΛΗΣ 1 ΜΕΡΟΣ Α ΚEΦΑΛΑΙΟ 1 Ο ΑΛΓΕΒΡΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ 1.1 ΠΡΑΞΕΙΣ ΜΕ ΠΡΑΓΜΑΤΙΚΟΥΣ ΑΡΙΘΜΟΥΣ Α. Οι πραγματικοί αριθμοί και οι πράξεις τους 1. ΕΡΩΤΗΣΗ Τι ονομάζουμε

Διαβάστε περισσότερα

Ορισμένες σελίδες του βιβλίου

Ορισμένες σελίδες του βιβλίου Ορισμένες σελίδες του βιβλίου 7. Θεωρούμε το σύνολο αναφοράς 0,,. Να οριστούν τα σύνολα: Α. των τριψηφίων αριθμών που σχηματίζουν τα στοιχεία του Ω. Β. των τριψηφίων αριθμών με διαφορετικά ψηφία Γ. των

Διαβάστε περισσότερα

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας.

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. 1. Κάθε πολυώνυμο ανάγωγο επί του Z είναι ανάγωγο επί του Q. Σωστό. 2. Κάθε πολυώνυμο ανάγωγο επί του Q είναι ανάγωγο επί

Διαβάστε περισσότερα

Αλγεβρικές Δομές και Αριθμοθεωρία

Αλγεβρικές Δομές και Αριθμοθεωρία Κεφάλαιο 9 Αλγεβρικές Δομές και Αριθμοθεωρία 9.1 Εισαγωγή Θα παρουσιάσουμε κάποια στοιχεία από Θεωρία Αριθμών και ελάχιστα από Θεωρία Ομάδων. Οι γνώσεις αυτές είναι οι ελάχιστες απαραίτητες για την κατανόηση

Διαβάστε περισσότερα

Αριθμητική Ανάλυση & Εφαρμογές

Αριθμητική Ανάλυση & Εφαρμογές Αριθμητική Ανάλυση & Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 2017-2018 Υπολογισμοί και Σφάλματα Παράσταση Πραγματικών Αριθμών Συστήματα Αριθμών Παράσταση Ακέραιου

Διαβάστε περισσότερα

2. Να γράψετε έναν αριθμό που είναι μεγαλύτερος από το 3,456 και μικρότερος από το 3,457.

2. Να γράψετε έναν αριθμό που είναι μεγαλύτερος από το 3,456 και μικρότερος από το 3,457. 1. Ένα κεφάλαιο ενός βιβλίου ξεκινάει από τη σελίδα 32 και τελειώνει στη σελίδα 75. Από πόσες σελίδες αποτελείται το κεφάλαιο; Αν το κεφάλαιο ξεκινάει από τη σελίδα κ και τελειώνει στη σελίδα λ, από πόσες

Διαβάστε περισσότερα

Μαθηματικά Γ Γυμνασίου

Μαθηματικά Γ Γυμνασίου Α λ γ ε β ρ ι κ έ ς π α ρ α σ τ ά σ ε ι ς 1.1 Πράξεις με πραγματικούς αριθμούς (επαναλήψεις συμπληρώσεις) A. Οι πραγματικοί αριθμοί και οι πράξεις τους Διδακτικοί στόχοι Θυμάμαι ποιοι αριθμοί λέγονται

Διαβάστε περισσότερα

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1 Κεφάλαιο 2: Στοιχεία Λογικής - Μέθοδοι Απόδειξης 1. Να αποδειχθεί ότι οι λογικοί τύποι: (p ( (( p) q))) (p q) και p είναι λογικά ισοδύναμοι. Θέλουμε να αποδείξουμε ότι: (p ( (( p) q))) (p q) p, ή με άλλα

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΑΝΔΡΕΣΑΚΗΣ ΔΗΜΗΤΡΗΣ ΦΥΛΛΑ ΕΡΓΑΣΙΑΣ ΦΥΛΛΟ ΕΡΓΑΣΙΑΣ ΕΝΟΤΗΤΑ Α.1.2. ΠΡΑΞΕΙΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ ΚΑΙ ΙΔΙΟΤΗΤΕΣ ΟΝΟΜΑΤΕΠΩΝΥΜΟ

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΑΝΔΡΕΣΑΚΗΣ ΔΗΜΗΤΡΗΣ ΦΥΛΛΑ ΕΡΓΑΣΙΑΣ ΦΥΛΛΟ ΕΡΓΑΣΙΑΣ ΕΝΟΤΗΤΑ Α.1.2. ΠΡΑΞΕΙΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ ΚΑΙ ΙΔΙΟΤΗΤΕΣ ΟΝΟΜΑΤΕΠΩΝΥΜΟ ΦΥΛΛΟ ΕΡΓΑΣΙΑΣ ΕΝΟΤΗΤΑ Α.1.2. ΠΡΑΞΕΙΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ ΚΑΙ ΙΔΙΟΤΗΤΕΣ ΟΝΟΜΑΤΕΠΩΝΥΜΟ ΗΜΕΡΟΜΗΝΙΑ / / ΠΡΟΣΘΕΣΗ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ 12+ 7 = 19 Οι αριθμοί 12 και 7 ονομάζονται ενώ το 19 ονομάζεται.. 3+5 =, 5+3 =...

Διαβάστε περισσότερα

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι:

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι: 13 Ι Π Ι Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι: n N {0}, ( ) + n = = n + ( ) και ( ) + ( ) = (**) Ονομάζουμε επικεφαλής συντελεστή ενός μη μηδενικού πολυωνύμου f, τον συντελεστή f(i)

Διαβάστε περισσότερα

Στοιχεία Θεωρίας Αριθμών & Εφαρμογές στην Κρυπτογραφία

Στοιχεία Θεωρίας Αριθμών & Εφαρμογές στην Κρυπτογραφία Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Σημειώσεις Διαλέξεων Στοιχεία Θεωρίας Αριθμών & Εφαρμογές στην Κρυπτογραφία Επιμέλεια σημειώσεων: Χρήστος Κούτρας Γιώργος

Διαβάστε περισσότερα

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C Κεφάλαιο 1 Εισαγωγικές έννοιες Στο κεφάλαιο αυτό θα αναφερθούμε σε ορισμένες έννοιες, οι οποίες ίσως δεν έχουν άμεση σχέση με τους διανυσματικούς χώρους, όμως θα χρησιμοποιηθούν αρκετά κατά τη μελέτη τόσο

Διαβάστε περισσότερα

Απαντήσεις θεωρίας Κεφάλαιο 1ο. (α μέρος)

Απαντήσεις θεωρίας Κεφάλαιο 1ο. (α μέρος) Μαθηματικά Γ Γυμνασίου Απαντήσεις θεωρίας Κεφάλαιο 1ο. (α μέρος) 1. Πως προσθέτουμε δυο πραγματικούς αριθμούς; Για να προσθέσουμε δύο ομόσημους αριθμούς, προσθέτουμε τις απόλυτες τιμές τους και στο άθροισμά

Διαβάστε περισσότερα

1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης

1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης 1 Αριθμητική κινητής υποδιαστολής και σφάλματα στρογγύλευσης Στη συγκεκριμένη ενότητα εξετάζουμε θέματα σχετικά με την αριθμητική πεπερασμένης ακρίβειας που χρησιμοποιούν οι σημερινοί υπολογιστές και τα

Διαβάστε περισσότερα

Εφαρμοσμένη Κρυπτογραφία Ι

Εφαρμοσμένη Κρυπτογραφία Ι Εφαρμοσμένη Κρυπτογραφία Ι Κωνσταντίνου Ελισάβετ ekonstantinou@aegean.gr http://www.icsd.aegean.gr/ekonstantinou Ησυνάρτησηφ(.) του Euler Για κάθε ακέραιο n> 0, έστω φ(n) το πλήθος των ακεραίων στο διάστημα

Διαβάστε περισσότερα

Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει:

Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει: Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει: Να αναγνωρίζει πότε μια αλγεβρική παράσταση της πραγματικής μεταβλητής x, είναι πολυώνυμο και να διακρίνει τα στοιχεία του: όροι, συντελεστές, σταθερός

Διαβάστε περισσότερα

Μεταθέσεις και πίνακες μεταθέσεων

Μεταθέσεις και πίνακες μεταθέσεων Παράρτημα Α Μεταθέσεις και πίνακες μεταθέσεων Το παρόν παράρτημα βασίζεται στις σελίδες 671 8 του βιβλίου: Γ. Χ. Ψαλτάκης, Κβαντικά Συστήματα Πολλών Σωματιδίων (Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες Χρησιμοποιώντας τανυστικά γινόμενα και εφαρμόζοντας το θεώρημα των Wedderbur-rt ( 33) θα αποδείξουμε δύο θεμελιώδη θεωρήματα που αφορούν κεντρικές απλές άλγεβρες θεώρημα

Διαβάστε περισσότερα

ΠΑΡΑΡΤΗΜΑ Αʹ. Στοιχεία από την Άλγεβρα

ΠΑΡΑΡΤΗΜΑ Αʹ. Στοιχεία από την Άλγεβρα ΠΑΡΑΡΤΗΜΑ Αʹ Στοιχεία από την Άλγεβρα Στο Παράρτημα αυτό, το οποίο παρατίθεται για να συμβάλει στην αυτοδυναμία του βιβλίου, ο αναγνώστης θα μπορεί να προστρέχει για αρωγή σε έννοιες και αποτελέσματα που

Διαβάστε περισσότερα

Εφαρμοσμένη Κρυπτογραφία Ι

Εφαρμοσμένη Κρυπτογραφία Ι Εφαρμοσμένη Κρυπτογραφία Ι Κωνσταντίνου Ελισάβετ ekonstantinou@aegean.gr http://www.icsd.aegean.gr/ekonstantinou Η συνάρτηση φ(.) του Euler Για κάθε ακέραιο n > 0, έστω φ(n) το πλήθος των ακεραίων στο

Διαβάστε περισσότερα

Οι Φυσικοί Αριθμοί. Παρατήρηση: Δεν στρογγυλοποιούνται αριθμοί τηλεφώνων, Α.Φ.Μ., κωδικοί αριθμοί κλπ. Πρόσθεση Φυσικών αριθμών

Οι Φυσικοί Αριθμοί. Παρατήρηση: Δεν στρογγυλοποιούνται αριθμοί τηλεφώνων, Α.Φ.Μ., κωδικοί αριθμοί κλπ. Πρόσθεση Φυσικών αριθμών Οι Φυσικοί Αριθμοί Γνωρίζουμε ότι οι αριθμοί είναι ποσοτικές έννοιες και για να τους γράψουμε χρησιμοποιούμε τα αριθμητικά σύμβολα. Οι αριθμοί μετρούν συγκεκριμένα πράγματα και φανερώνουν το πλήθος της

Διαβάστε περισσότερα

ΠΑΡΑΓΡΑΦΟΣ 1. 2 ΠΡΟΣΘΕΣΗ ΑΦΑΙΡΕΣΗ ΚΑΙ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ

ΠΑΡΑΓΡΑΦΟΣ 1. 2 ΠΡΟΣΘΕΣΗ ΑΦΑΙΡΕΣΗ ΚΑΙ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ ΠΑΡΑΓΡΑΦΟΣ 1. 2 ΠΡΟΣΘΕΣΗ ΑΦΑΙΡΕΣΗ ΚΑΙ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ ΑΣΚΗΣΕΙΣ ΜΕ ΑΘΡΟΙΣΜΑΤΑ ΚΑΙ ΑΦΑΙΡΕΣΕΙΣ ( 1 ) Να υπολογίσετε τις παραστάσεις Α = 3 + 23 + 19 Β = 8 +13 +45-7 Γ = 3 + 0 Α = 3+23 +19 =

Διαβάστε περισσότερα

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ο ΓΕΛ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β ΛΥΚΕΙΟΥ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΣΧΟΛΙΚΟ ΕΤΟΣ -4 ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Επιμέλεια: ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ Α ΓΥΜΝΑΣΙΟΥ ΘΕΤΙΚΟΙ ΚΑΙ ΑΡΝΗΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

ΑΛΓΕΒΡΑ Α ΓΥΜΝΑΣΙΟΥ ΘΕΤΙΚΟΙ ΚΑΙ ΑΡΝΗΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ ΘΕΤΙΚΟΙ ΚΑΙ ΑΡΝΗΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ ΚΕΦΑΛΑΙΟ 7 Ο ΘΕΤΙΚΟΙ ΚΑΙ ΑΡΝΗΤΙΚΟΙ ΑΡΙΘΜΟΙ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ 1. Όταν μπροστα" (αριστερα") απο" ε"ναν αριθμο" γραφει" το συ"μβολο + το"τε ο αριθμο"ς

Διαβάστε περισσότερα

(ii) X P(X). (iii) X X. (iii) = (i):

(ii) X P(X). (iii) X X. (iii) = (i): Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Δείξτε ότι ισχύουν τα ακόλουθα: (i) ω / ω (με άλλα λόγια, το ω δεν είναι φυσικός αριθμός). (ii) Για κάθε n ω, ισχύει ω / n. (iii) Για κάθε n ω, το n

Διαβάστε περισσότερα

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 0 r < d και a = d q +r

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 0 r < d και a = d q +r ιαιρετότητα Στοιχεία Θεωρίας Αριθµών ο a διαιρεί τον b: συµβολισµός: a b Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς a b και a c a (b + c) a b a bc, για κάθε c Z +

Διαβάστε περισσότερα

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο Αλγεβρικές Δομές ΙΙ 1 Ομάδα I Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο C(R) = {a R/ax = xa, για κάθε x R} είναι υποδακτύλιος του R, και λέγεται κέντρο του δακτυλίου R. Ά σ κ η σ η 1.2

Διαβάστε περισσότερα

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Βασική Άλγεβρα. Ασκήσεις (εκδοχή ) Βασική Άλγεβρα Ασκήσεις 05-6 (εκδοχή 8--05) Βασική Άλγεβρα Ασκήσεις Υποδείξεις/Απαντήσεις Περιεχόμενα σελίδα Ασκήσεις Διαιρετότητα στους ακέραιους, ισοτιμίες Ασκήσεις Ακέραιοι odulo, Θεώρημα του Euler

Διαβάστε περισσότερα

( ) ( ) Τοα R σημαίνει ότι οι συντελεστές δεν περιέχουν την μεταβλητή x. αντικ σταση στο που = α. [ ο αριθµ ός πουτο µηδεν ίζει

( ) ( ) Τοα R σημαίνει ότι οι συντελεστές δεν περιέχουν την μεταβλητή x. αντικ σταση στο που = α. [ ο αριθµ ός πουτο µηδεν ίζει μέρος πρώτο v v 1 v 1 Γενική μορφή πολυωνύμου: ( ) 1 1 Όροι του ( ) v v v P = a v + av 1 + av +... + a + a 1 + a, ν Ν, α ν R Τοα R σημαίνει ότι οι συντελεστές δεν περιέχουν την μεταβλητή. P : a, a, a,...,

Διαβάστε περισσότερα

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη Κεφάλαιο 0 Μεταθετικοί ακτύλιοι, Ιδεώδη Το κεφάλαιο αυτό έχει προπαρασκευαστικό χαρακτήρα Θα καθιερώσουµε συµβολισµούς και θα υπενθυµίσουµε ορισµούς και στοιχειώδεις προτάσεις για δακτύλιους και ιδεώδη

Διαβάστε περισσότερα

Περιληπτικά, τα βήματα που ακολουθούμε γενικά είναι τα εξής:

Περιληπτικά, τα βήματα που ακολουθούμε γενικά είναι τα εξής: Αυτό που πρέπει να θυμόμαστε, για να μη στεναχωριόμαστε, είναι πως τόσο στις εξισώσεις, όσο και στις ανισώσεις 1ου βαθμού, που θέλουμε να λύσουμε, ακολουθούμε ακριβώς τα ίδια βήματα! Εκεί που πρεπει να

Διαβάστε περισσότερα

F 5 = (F n, F n+1 ) = 1.

F 5 = (F n, F n+1 ) = 1. Λύσεις Θεμάτων Θεωρίας Αριθμών 1. (α) Να δειχθεί ότι ο πέμπτος αριθμός της μορφής Fermat, δηλαδή ο F 5 2 25 + 1 διαιρείται από το 641. (β) Εστω F n η ακολουθία των αριθμών Fermat, δηλαδή F n 2 2n + 1,

Διαβάστε περισσότερα

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τίτλος Μαθήματος: Αλγεβρικές Δομές ΙΙ Ενότητα: Ιδεώδη και Περιοχές κυρίων Ιδεωδών Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τμήμα: Μαθηματικών 13 Ι Π Ι Για το σύμβολο δεχόμαστε ότι n N {0},

Διαβάστε περισσότερα

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX ΚΕΦΑΛΑΙΟ 3 ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX 3.1 Εισαγωγή Ο αλγόριθμος Simplex θεωρείται πλέον ως ένας κλασικός αλγόριθμος για την επίλυση γραμμικών προβλημάτων. Η πρακτική αποτελεσματικότητά του έχει

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ; ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦΑΛΑΙΟ ο : ( ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ) ΠΑΡΑΤΗΡΗΣΗ : Το κεφάλαιο αυτό περιέχει πολλά θέματα που είναι επανάληψη εννοιών που διδάχθηκαν στο Γυμνάσιο γι αυτό σ αυτές δεν θα επεκταθώ αναλυτικά

Διαβάστε περισσότερα

1 Η εναλλάσσουσα ομάδα

1 Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Όπως είδαμε η συνάρτηση g : S { } είναι ένας επιμορφισμός ομάδων. Ο πυρήνας Ke g {σ S / g σ } του επιμορφισμού συμβολίζεται με A περιέχει όλες τις άρτιες μεταθέσεις

Διαβάστε περισσότερα

2.1 ΠΡΑΞΕΙΣ ΚΑΙ ΟΙ ΙΔΙΟΤΗΤΕΣ ΤΟΥΣ

2.1 ΠΡΑΞΕΙΣ ΚΑΙ ΟΙ ΙΔΙΟΤΗΤΕΣ ΤΟΥΣ ΚΕΦΑΛΑΙΟ : ΟΙ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ. ΠΡΑΞΕΙΣ ΚΑΙ ΟΙ ΙΔΙΟΤΗΤΕΣ ΤΟΥΣ Ρητός ονομάζεται κάθε αριθμός που έχει ή μπορεί να πάρει τη μορφή κλάσματος, όπου, είναι ακέραιοι με 0. Ρητοί αριθμοί : Q /, 0. Έτσι π.χ.

Διαβάστε περισσότερα

A N A B P Y T A ΑΣΚΗΣΕΙΣ ΠΟΛΥΩΝΥΜΩΝ. 1 (α + β + γ) [(α-β) 2 +(α-γ) 2 +(β-γ) 2 ] και τις υποθέσεις

A N A B P Y T A ΑΣΚΗΣΕΙΣ ΠΟΛΥΩΝΥΜΩΝ. 1 (α + β + γ) [(α-β) 2 +(α-γ) 2 +(β-γ) 2 ] και τις υποθέσεις ΑΣΚΗΣΕΙΣ ΠΟΛΥΩΝΥΜΩΝ ΑΣΚΗΣΗ η Αν α +β +γ = αβγ και α + β + γ, να δείξετε ότι το πολυώνυμο P()=(α β) +(β γ) + γ α είναι το μηδενικό πολυώνυμο. Από την ταυτότητα του Euler α +β +γ -αβγ = (α + β + γ)[(α-β)

Διαβάστε περισσότερα

= 7. Στο σημείο αυτό θα υπενθυμίσουμε κάποιες βασικές ιδιότητες του μετασχηματισμού Laplace, δηλαδή τις

= 7. Στο σημείο αυτό θα υπενθυμίσουμε κάποιες βασικές ιδιότητες του μετασχηματισμού Laplace, δηλαδή τις 1. Εισαγωγή Δίνεται η συνάρτηση μεταφοράς = = 1 + 6 + 11 + 6 = + 6 + 11 + 6 =. 2 Στο σημείο αυτό θα υπενθυμίσουμε κάποιες βασικές ιδιότητες του μετασχηματισμού Laplace, δηλαδή τις L = 0 # και L $ % &'

Διαβάστε περισσότερα

Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ

Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΚΑΙ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ (Α ΜΕΡΟΣ: ΣΥΝΑΡΤΗΣΕΙΣ) Επιμέλεια: Καραγιάννης Ιωάννης, Σχολικός Σύμβουλος Μαθηματικών

Διαβάστε περισσότερα

I. ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ. math-gr

I. ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ. math-gr I ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ i e ΜΕΡΟΣ Ι ΟΡΙΣΜΟΣ - ΒΑΣΙΚΕΣ ΠΡΑΞΕΙΣ Α Ορισμός Ο ορισμός του συνόλου των Μιγαδικών αριθμών (C) βασίζεται στις εξής παραδοχές: Υπάρχει ένας αριθμός i για τον οποίο ισχύει i Το σύνολο

Διαβάστε περισσότερα

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ 14 4 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ Ας υποθέσουμε ότι θέλουμε να βρούμε το πηλίκο και το υπόλοιπο της διαίρεσης του με τον Σύμφωνα με το γνωστό αλγόριθμο της διαίρεσης, το πηλίκο θα είναι ένας ακέραιος κ, τέτοιος,

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Bursde a b Θα αποδείξουμε εδώ ότι κάθε ομάδα τάξης pq ( p, q πρώτοι) είναι επιλύσιμη Το θεώρημα αυτό αποδείχτηκε από τον Bursde το 904 ο οποίος χρησιμοποίησε τη νέα

Διαβάστε περισσότερα

ΘΕΩΡΙΑ Α ΓΥΜΝΑΣΙΟΥ. Η διαίρεση καλείται Ευκλείδεια και είναι τέλεια όταν το υπόλοιπο είναι μηδέν.

ΘΕΩΡΙΑ Α ΓΥΜΝΑΣΙΟΥ. Η διαίρεση καλείται Ευκλείδεια και είναι τέλεια όταν το υπόλοιπο είναι μηδέν. ΑΛΓΕΒΡΑ 1 ο ΚΕΦΑΛΑΙΟ ΘΕΩΡΙΑ Α ΓΥΜΝΑΣΙΟΥ 1. Τι είναι αριθμητική παράσταση; Με ποια σειρά εκτελούμε τις πράξεις σε μια αριθμητική παράσταση ώστε να βρούμε την τιμή της; Αριθμητική παράσταση λέγεται κάθε

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ Πίνακας περιεχομένων Κεφάλαιο 1 - ΟΙ ΦΥΣΙΚΟΙ ΑΡΙΘΜΟΙ... 2 Κεφάλαιο 2 ο - ΤΑ ΚΛΑΣΜΑΤΑ... 6 Κεφάλαιο 3 ο - ΔΕΚΑΔΙΚΟΙ ΑΡΙΘΜΟΙ... 10 ΣΩΤΗΡΟΠΟΥΛΟΣ ΝΙΚΟΣ 1 Κεφάλαιο 1 - ΟΙ ΦΥΣΙΚΟΙ ΑΡΙΘΜΟΙ

Διαβάστε περισσότερα

αριθμούς Βασικές ασκήσεις Βασική θεωρία iii) φυσικοί; ii) ακέραιοι; iii) ρητοί;

αριθμούς Βασικές ασκήσεις Βασική θεωρία iii) φυσικοί; ii) ακέραιοι; iii) ρητοί; Πράξεις με πραγματικούς αριθμούς Βασικές ασκήσεις Βασική θεωρία Ρητοί και άρρητοι αριθμοί. α) Ποιοι αριθμοί ονομάζονται: iii) φυσικοί; ii) ακέραιοι; iii) ρητοί; iv) άρρητοι; v) πραγματικοί; β) Να βρείτε

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΣΗΜΕΙΩΣΕΙΣ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ. ρ Χρήστου Νικολαϊδη

ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΣΗΜΕΙΩΣΕΙΣ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ. ρ Χρήστου Νικολαϊδη ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΣΗΜΕΙΩΣΕΙΣ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ ρ Χρήστου Νικολαϊδη Δεκέμβριος Περιεχόμενα Κεφάλαιο : σελ. Τι είναι ένας πίνακας. Απλές πράξεις πινάκων. Πολλαπλασιασμός πινάκων.

Διαβάστε περισσότερα

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Η Γραμμική Άλγεβρα είναι ένα σημαντικό συστατικό στο πρόγραμμα σπουδών, όχι μόνο των Μαθηματικών, αλλά και άλλων τμημάτων, όπως είναι το τμήμα Φυσικής, Χημείας, των τμημάτων του Πολυτεχνείου,

Διαβάστε περισσότερα

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση:

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση: Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση: Να γνωρίζει: την αποδεικτική μέθοδο της μαθηματικής επαγωγής για την οποία πρέπει να γίνει κατανοητό ότι η αλήθεια

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ

ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ ΜΑΘΗΜΑΤΙΚΑ Γ ΓΥΜΝΑΣΙΟΥ Οι πραγματικοί αριθμοί αποτελούνται από τους ρητούς και τους άρρητους αριθμούς, τους φυσικούς και τους ακέραιους αριθμούς. Δηλαδή είναι το μεγαλύτερο σύνολο αριθμών που μπορούμε

Διαβάστε περισσότερα

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Βασική Άλγεβρα. Ασκήσεις (εκδοχή ) Βασική Άλγεβρα Ασκήσεις 0-4 (εκδοχή 5--04) Βασική Άλγεβρα Ασκήσεις Υποδείξεις/Απαντήσεις Περιεχόµενα σελίδα Ασκήσεις ιαιρετότητα στους ακέραιους, ισοτιµίες Ασκήσεις Ακέραιοι odulo, Θεώρηµα του Euler 7

Διαβάστε περισσότερα

Κρυπτογραφία. Κωνσταντίνου Ελισάβετ

Κρυπτογραφία. Κωνσταντίνου Ελισάβετ Κρυπτογραφία Κωνσταντίνου Ελισάβετ ekonstantinou@aegean.gr http://www.icsd.aegean.gr/ekonstantinou Ησυνάρτησηφ(.) του Euler Για κάθε ακέραιο n> 0, έστω φ(n) το πλήθος των ακεραίων στο διάστημα [1, n] που

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2 Ο ΠΟΛΥΩΝΥΜΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ - ΑΣΚΗΣΕΙΣ

ΚΕΦΑΛΑΙΟ 2 Ο ΠΟΛΥΩΝΥΜΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ - ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ Ο ΠΟΛΥΩΝΥΜΑ ΣΤΟΙΧΕΙΑ ΘΕΩΡΙΑΣ - ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ Ο ΠΟΛΥΩΝΥΜΑ 10 ΕΠΑΝΑΛΗΨΕΙΣ ΑΠΟ ΠΡΟΗΓΟΥΜΕΝΕΣ ΤΑΞΕΙΣ α ) Ταυτότητες 1. (a-β)(a+β)=a - b. (a ± b ) = a ± ab + b 3 3 3 3. (a ± b ) = a ± 3a b + 3ab

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

Κεφάλαιο 4 Διανυσματικοί Χώροι

Κεφάλαιο 4 Διανυσματικοί Χώροι Κεφάλαιο Διανυσματικοί Χώροι Διανυσματικοί χώροι - Βασικοί ορισμοί και ιδιότητες Θεωρούμε τρία διαφορετικά σύνολα: Διανυσματικοί Χώροι α) Το σύνολο διανυσμάτων (πινάκων με μία στήλη) με στοιχεία το οποίο

Διαβάστε περισσότερα

ΘΕΩΡΙΑ Β ΓΥΜΝΑΣΙΟΥ. Μια παράσταση που περιέχει πράξεις με μεταβλητές (γράμματα) και αριθμούς καλείται αλγεβρική, όπως για παράδειγμα η : 2x+3y-8

ΘΕΩΡΙΑ Β ΓΥΜΝΑΣΙΟΥ. Μια παράσταση που περιέχει πράξεις με μεταβλητές (γράμματα) και αριθμούς καλείται αλγεβρική, όπως για παράδειγμα η : 2x+3y-8 ΘΕΩΡΙΑ Β ΓΥΜΝΑΣΙΟΥ Άλγεβρα 1 ο Κεφάλαιο 1. Τι ονομάζουμε αριθμητική και τι αλγεβρική παράσταση; Να δώσετε από ένα παράδειγμα. Μια παράσταση που περιέχει πράξεις με αριθμούς, καλείται αριθμητική παράσταση,

Διαβάστε περισσότερα

Αριθμητική Ανάλυση και Εφαρμογές

Αριθμητική Ανάλυση και Εφαρμογές Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08 Πεπερασμένες και Διαιρεμένες Διαφορές Εισαγωγή Θα εισάγουμε την έννοια των διαφορών με ένα

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ 1 ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΠΕΜΠΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΠΕΜΠΤΟ ΜΑΘΗΜΑ, 17-10-13 Μ. Παπαδημητράκης. 1 Την προηγούμενη φορά αναφέραμε (και αποδείξαμε στην περίπτωση n = 2) το θεώρημα που λέει ότι, αν n N, n 2, τότε για κάθε y 0 υπάρχει μοναδική μηαρνητική

Διαβάστε περισσότερα

Να γράψετε 5 φυσικούς αριθμούς ξεκινώντας από τον μικρότερο. Ποιοι αριθμοί λέγονται ρητοί και ποιοι άρρητοι;

Να γράψετε 5 φυσικούς αριθμούς ξεκινώντας από τον μικρότερο. Ποιοι αριθμοί λέγονται ρητοί και ποιοι άρρητοι; Φυσικοί, Ακέραιοι, Ρητοί, Άρρητοι, Πραγματικοί, Απόλυτη Τιμή, Ομόσημοι, Ετερόσημοι, Αντίθετοι, Αντίστροφοι. Να γράψετε 5 φυσικούς αριθμούς ξεκινώντας από τον μικρότερο. Ποιοι αριθμοί λέγονται ακέραιοι;

Διαβάστε περισσότερα

Δηλαδή η ρητή συνάρτηση είναι πηλίκο δύο ακέραιων πολυωνύμων. Επομένως, το ζητούμενο ολοκλήρωμα είναι της μορφής

Δηλαδή η ρητή συνάρτηση είναι πηλίκο δύο ακέραιων πολυωνύμων. Επομένως, το ζητούμενο ολοκλήρωμα είναι της μορφής D ολοκλήρωση ρητών συναρτήσεων Το θέμα μας στην ενότητα αυτή είναι η ολοκλήρωση ρητών συναρτήσεων. Ας θυμηθούμε πρώτα ποιες συναρτήσεις ονομάζονται ρητές. Ορισμός: Μία συνάρτηση ονομάζεται ρητή όταν μπορεί

Διαβάστε περισσότερα

Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ

Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ 1 Συναρτήσεις Όταν αναφερόμαστε σε μια συνάρτηση, ουσιαστικά αναφερόμαστε σε μια σχέση ή εξάρτηση. Στα μαθηματικά που θα μας απασχολήσουν, με απλά λόγια, η σχέση

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 1: Εισαγωγή- Χαρακτηριστικά Παραδείγματα Αλγορίθμων Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ. ΜΕΡΟΣ 1ο ΑΛΓΕΒΡΑ

ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ. ΜΕΡΟΣ 1ο ΑΛΓΕΒΡΑ 1. Τι καλείται μεταβλητή; ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ΜΑΘΗΜΑΤΙΑ Β ΓΥΜΝΑΣΙΟΥ ΜΕΡΟΣ 1ο ΑΛΓΕΒΡΑ Μεταβλητή είναι ένα γράμμα (π.χ., y, t, ) που το χρησιμοποιούμε για να παραστήσουμε ένα οποιοδήποτε στοιχείο ενός συνόλου..

Διαβάστε περισσότερα