Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Πληροφορικής ΠΜΣ στα Πληροφοριακά Συστήματα Κρυπτογραφία και Εφαρμογές Διαλέξεις Ακ.

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

Download "Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Πληροφορικής ΠΜΣ στα Πληροφοριακά Συστήματα Κρυπτογραφία και Εφαρμογές Διαλέξεις Ακ."

Transcript

1 Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Πληροφορικής ΠΜΣ στα Πληροφοριακά Συστήματα Κρυπτογραφία και Εφαρμογές Διαλέξεις Ακ. Έτους Μαρκάκης Ευάγγελος Ντούσκας Θεόδωρος

2 Περίληψη! Θεωρία Αριθµών και Θεωρία Οµάδων " Διαιρετότητα " Αλγόριθµος του Ευκλείδη " Πρώτοι Αριθµοί " Αριθµητική Υπολοίπων " Οµάδες Γραµµικές εξισώσεις modn " Δακτύλιοι - Πεδία # Πεδία Galois " Κινέζικο θεώρηµα υπολοίπων " Υποοµάδες, κυκλικές οµάδες # Θεωρήµατα Fermat, Euler " Ύψωση σε δύναµη 2

3 Θεωρία Αριθµών και Θεωρία Οµάδων: Μέρος 1 Βασικές Έννοιες 3

4 Θεωρία Αριθµών! Μια θεωρία για τους ακεραίους (Ζ) και ειδικά τους φυσικούς (Ν)! Διαιρετότητα " d a : ο d διαιρεί τον a (ο d λέγεται διαιρέτης του a και ο a πολλαπλάσιο του d) " Σηµαίνει: a = kd για κάποιο ακέραιο k # Κάθε ακέραιος διαιρεί το 0. # Αν a > 0 και d a, τότε d a " Κάθε ακέραιος a διαιρείται από τους τετριµµένους (trivial) διαιρέτες 1 και a " Οι µη τετριµµένοι διαιρέτες του a καλούνται παράγοντες (factors) # factors του 20 : 2, 4, 5, και 10 4

5 Θεωρία Αριθµών! Παρατηρήσεις: " a b a bc για κάθε ακέραιο c " a b a b ή b = 0 " a b b c a c " a b a c a (b+c) " a b a c a (bx + cy) για κάθε ακεραίους x, y " a b b a a = b 5

6 Θεωρία Αριθµών! Θεώρηµα διαίρεσης (Division theorem) " Για κάθε ζεύγος ακεραίων a,b µε b 0, υπάρχουν µοναδικοί ακέραιοι q και r τέτοιοι ώστε a = qb + r (0 r < b ) " Η τιµή q = [a/b] είναι το πηλίκο (quotient) της διαίρεσης " Η τιµή r = a mod b είναι το υπόλοιπο (remainder) της διαίρεσης. " b a αν και µόνο αν a mod b = 0 ή r = 0.! Απόδειξη: " Ύπαρξη: είτε induction είτε θεωρώντας το µικρότερο θετικό ακέραιο στην ακολουθία.., a-3b, a-2b, a-b, a, a+b, a+2b,a+3b, " Μοναδικότητα: µε εις άτοπο απαγωγή 6

7 Θεωρία Αριθµών! Κοινοί διαιρέτες " Αν d είναι διαιρέτης του a και του b, τότε ο d είναι κοινός διαιρέτης (common divisor) του a και b. # π.χ., οι διαιρέτες του 30 είναι 1, 2, 3, 5, 6, 10, 15, 30 # και του 24 είναι 1, 2, 3, 4, 6, 8, 12, 24 # Κοινοί διαιρέτες 24 και 30 είναι 1, 2, 3, και 6. # Ο 1 είναι κοινός διαιρέτης για κάθε δύο ακέραιους " Κάθε κοινός διαιρέτης είναι το πολύ min ( a, b ) 7

8 Θεωρία Αριθµών! Μέγιστος κοινός διαιρέτης " gcd(a,b): ο µεγαλύτερος από τους κοινούς διαιρέτες των ακεραίων a και b (το γράφουµε και ΜΚΔ(a, b) ή απλώς (a, b)). # π.χ., gcd(24, 30) = 6, gcd(5, 7) = 1, και gcd(0, 9) = 9. " Αν a και b δεν είναι 0, τότε ο gcd(a, b) είναι ένας ακέραιος µεταξύ 1 και min( a, b ). " Συµβάσεις # gcd(0, 0) = 0 " Ιδιότητες: # gcd(a,b) = gcd(b,a) # gcd(a,b) = gcd(-a, b) # gcd(a,b) = gcd( a, b ) # gcd(a,0) = a # gcd(a, ak) = a για κάθε k є Ζ 8

9 Θεωρία Αριθµών! Μέγιστος κοινός διαιρέτης! Θεώρηµα Αν a και b µη µηδενικοί ακέραιοι, τότε ο gcd(a, b) µπορεί να εκφραστεί ως γραµµικός συνδυασµός των a, b (Bezout s identity). Συγκεκριµένα, είναι ο µικρότερος θετικός ακέραιος του συνόλου {ax +by : x, y є Z} των γραµµικών συνδυασµών των a και b! Πορίσµατα # Για ακέραιους a και b, αν d a και d b τότε d gcd(a, b). # Για ακέραιους a και b, και µη µηδενικό n, gcd(an,bn) = n gcd(a, b). # Για θετικούς ακεραίους n, a, και b, αν n ab και gcd(a, n) = 1, τότε n b. 9

10 Θεωρία Αριθµών! Αλγόριθµος Ευκλείδη " Θα επικεντρωθούµε σε µη αρνητικούς ακεραίους " Στηρίζεται στο: # Λήµµα: Για κάθε µη µηδενικό ακέραιο a και θετικό b: gcd(a, b) = gcd(b, a mod b) " Αλγόριθµος (300 B.C., Στοιχεία του Ευκλείδη, Βιβλίο 7) EUCLID(a, b) if b = 0 return a if a b return EUCLID(b, a mod b) else return EUCLID(a, b mod a) # Παράδειγµα 1 EUCLID(30, 21) = EUCLID(21,9) = EUCLID(9,3) = EUCLID(3,0) = 3 # Παράδειγµα 2 EUCLID(18,12) = EUCLID(12, 6) = EUCLID(6, 0) = 6 10

11 Θεωρία Αριθµών! Αλγόριθµος Ευκλείδη " Η αναδροµή ουσιαστικά ανάγεται σε διαδοχικές διαιρέσεις " a = bq 1 + r 1 0 < r 1 < b " gcd(b, r 1 ) " b = r 1 q 2 + r 2 0 < r 2 < r 1 " gcd(r 1, r 2 ) " r 1 = r 2 q 3 + r 3 0 < r 3 < r 2 " r j-2 = r j-1 q j + r j 0 < r j < r j-1 " gcd(r j-1, r j ) " r j-1 = r j q j+1 " return r j 11

12 Θεωρία Αριθµών! Παραδείγµα 3! a = 1742, b = 494! 1742 = ! 494 = ! 260 = ! 234 = 9 26! (1742, 494) = 26! Παραδείγµα 4! a = 132, b = 35! 132 = ! 35 = ! 27 = ! 8 = ! 3 = ! 2 = 2 1! (132, 35) = 1 " Ποια η πολυπλοκότητα του αλγορίθµου? (Input = O(log 2 (a) + log 2 (b)) " Ο(log 2 (b)) διαιρέσεις αν a b (Finck 1841, Lamé 1844) " Worst case: όταν ένας από τους a, b είναι αριθµός Fibonacci We might call it the granddaddy of all algorithms because it is the oldest nontrivial algorithm that has survived to the present day, (D. Knuth) 12

13 Θεωρία Αριθµών! Εκτενής Αλγόριθµος Ευκλείδη (Extended Euclid Algorithm) " Ο Αλγόριθµος του Ευκλείδη µπορεί να επεκταθεί ώστε # να προσδιορίζει το gcd(a,b), και # να προσδιορίζει ένα ζεύγος ακεραίων x, y που ικανοποιούν τη σχέση gcd(a,b) =ax+by # Η ιδέα είναι να κάνουµε την αντίστροφη διαδικασία του αλγορίθµου του Ευκλείδη 13

14 Θεωρία Αριθµών! Παραδείγµα 3! a = 1742, b = 494! 1742 = ! 494 = ! 260 = ! 234 = 9 26! (1742, 494) = 26! 26 = = ( ) = = 2 ( ) = ! Παραδείγµα 4! a = 132, b = 35! 132 = ! 35 = ! 27 = ! 8 = ! 3 = ! 2 = 2 1! (132, 35) = 1! 1 = 3-2 = 3 - (8-2 3) = = 3 (27-3 8) - 8 = = (35-27) = = 13 ( ) =

15 Θεωρία Αριθµών! Πρώτοι αριθµοί " Ένας ακέραιος a 2 του οποίου οι µόνοι διαιρέτες είναι οι τετριµµένοι (1 και a) είναι πρώτος αριθµός (prime) " Οι πρώτοι αριθµοί διαδραµατίζουν ειδικό ρόλο στην θεωρία αριθµών και στην κρυπτογραφία. # Πρώτοι 20 primes: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71 " Ακέραιος a > 1 που δεν είναι πρώτος αναφέρεται ως σύνθετος (composite) " Ο 1 δεν είναι ούτε prime ούτε composite 15

16 Θεωρία Αριθµών! Πρώτοι αριθµοί " Κάποιοι µεγάλοι πρώτοι: # ( ) (1585 ψηφία, βρέθηκε το 1987) # ( ψηφία, βρέθηκε το 1996) # (σχεδόν 13 εκατοµ. ψηφία, Αύγουστος 2008) # Mersenne primes: πρώτοι της µορφής 2 m - 1 Δεν είναι όλοι οι αριθµοί αυτής της µορφής πρώτοι # Fermat primes: πρώτοι της µορφής 2 2n +1 Οµοίως δεν είναι όλοι οι αριθµοί αυτής της µορφής πρώτοι 16

17 Θεωρία Αριθµών! Θεµελιώδες Θεώρηµα Αριθµητικής: Κάθε ακέραιος µπορεί να γραφτεί µε µοναδικό τρόπο ως γινόµενο από δυνάµεις πρώτων αριθµών n = p 1 e 1 p 2 e 2...p r e r " όπου p i πρώτοι, p 1 < p 2 < < p r, και e i θετικοί ακέραιοι " Το 6000 γράφεται µοναδικά " Απόδειξη µε επαγωγή (strong induction) " Πόρισµα: Αν p πρώτος και p ab, $ p a ή p b (δεν ισχύει όταν p δεν είναι πρώτος)! Θεώρηµα Ευκλείδη: Υπάρχουν άπειροι το πλήθος πρώτοι αριθµοί! Απόδειξη: Έστω ότι είναι πεπερασµένοι το πλήθος, π.χ. p 1, p 2,,p n. Θεωρήστε τον αριθµό p 1 p 2 p n

18 Θεωρία Αριθµών! Ο gcd(a,b) θα µπορούσε να προκύψει από την παραγοντοποίηση των a, b σε πρώτους! Έστω # # a = p 1 e 1 p 2 e 2...p r e r b = p 1 f 1 p 2 f 2...p r f r! Τότε gcd (a, b) = min{ e p 1, f } 1 min{ e 1 p 2, f } 2 min{ e 2...p r, f r } r " Θα ήταν αποδοτική µέθοδος αν µπορούσαµε να υπολογίσουµε τους παράγοντες p i # Καµία µέθοδος µέχρι σήµερα δεν τους δίνει σε πολυωνυµικό χρόνο " Ο αλγόριθµος του Ευκλείδη παραµένει ο πιο γρήγορος αλγόριθµος 18

19 Θεωρία Αριθµών! Πυκνότητα πρώτων αριθµών! Πολύ σηµαντική η γρήγορη εύρεση πρώτων στην κρυπτογραφία! Πόσο πυκνοί είναι οι πρώτοι µέσα στο Ν?! Θεώρηµα: Για κάθε n 1, υπάρχει πρώτος αριθµός µεταξύ n και 2n! Αρχική απόδειξη: Chebyshev (1850)! Απλούστερη απόδειξη: Erdos (1932), σε ηλικία 19 χρόνων!! Chebyshev said it and Erdos said it again there is always a prime between n and 2n! Prime Number Theorem: Έστω Π(Ν) ο αριθµός των πρώτων µέχρι το Ν. Π(Ν) Ν/lοgΝ 19

20 Θεωρία Αριθµών! Relatively prime numbers " Δύο ακέραιοι a, b είναι πρώτοι µεταξύ τους (relatively prime) αν gcd(a, b) = 1. # Π.χ., 8 και 15 είναι relatively prime, οι διαιρέτες του 8 είναι ο 1, 2, 4, και 8, οι διαιρέτες του 15 είναι οι 1, 3, 5, και 15. # Από τον αλγόριθµο του Ευκλείδη µπορούµε να αποφασίζουµε σε πολυωνυµικό χρόνο αν 2 αριθµοί είναι σχετικά πρώτοι µεταξύ τους (θα µας χρειαστεί αργότερα) " Παρατήρηση: # gcd(a, p) = 1 και gcd(b, p) = 1, $ gcd(ab, p) = 1. 20

21 Θεωρία Αριθµών Euler's phi function Ορισµός: Για κάθε n Ν ορίζουµε τη συνάρτηση του Euler φ(n) ως το πλήθος των αριθµών από 1 µέχρι n που είναι σχετικά πρώτοι µε το n Ιδιότητες: " Για πρώτο αριθµό p: φ(p)=p-1 " φ(p α )=p α - p α-1 = p α (1-1/p) " φ(mn) = φ(m)φ(n), αν gcd(m,n) = 1 Πόρισµα: Για κάθε n Ν ϕ(n) = n $ 1 1 ' & ) % p( (όπου το p αναφέρεται σε όλους τους πρώτους που διαιρούν το n) p n 21

22 Θεωρία Αριθµών Euler's phi function " Απλοποίηση υπολογισµών # Π.χ., φ(45)=24, εφόσον οι πρώτοι παράγοντες του του 45 είναι οι 3 και 5 φ(45)=45*(1-1/3)(1-1/5)=45*(2/3)(4/5)=24 # φ(1512) = φ(2 3 *3 3 *7) = φ(2 3 )* φ(3 3 ) * φ(7) = ( ) * ( )*(7-1)=4 * 18 * 6 = 432 # Υπάρχουν 432 ακέραιοι µεταξύ 1 και 1512 που είναι σχετικά πρώτοι µε το

23 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Διαίρεση, υπόλοιπα και ισοδυναµία " Δύο ακέραιοι είναι ισοδύναµοι modulo n αν ταυτίζονται ή αφήνουν το ίδιο υπόλοιπο όταν διαιρούνται µε το n " Το συµβολίζουµε a b (mod n) # Από θεώρηµα διαίρεσης: a=q 1 n+r 1 # Από θεώρηµα διαίρεσης: b=q 2 n+r 2 # a b (mod n) iff r 1 =r 2 " Με άλλα λόγια # a b (mod n) iff n (a-b) " Εποµένως για κάθε θετικό n το σύνολο των ακεραίων κατανέµεται σε n κλάσεις ισοδυναµίας σε σχέση µε τα υπόλοιπά τους, τις κλάσεις 0, 1, 2,..., n-1 23

24 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Διαίρεση, υπόλοιπα και ισοδυναµία " Κάθε κλάση αντιστοιχεί σε ένα από τα n πιθανά υπόλοιπα, r = 0,1,2,, n-1 της διαίρεσης µε το n " Συνήθως θα συµβολίζουµε µια κλάση ισοδυναµίας modulo n, µε βάση τον αντιπρόσωπό της από το {0,1,2,,n-1} # [a] n = {a + kn : k є Z} = {b є Z b a (mod n) } = {, a-2n, a-n, a, a+n, a+2n, } # [0] n = {..., -3n, -2n, -n, 0, n, 2n, 3n, } # [1] n = {..., 1-3n, 1-2n, 1-n, 1, 1+n, 1+2n, 1+3n, } # [n-1] n = {..., -1-2n, 1-n, -1, n-1, 2n-1, 3n-1, } 24

25 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Διαίρεση, υπόλοιπα και ισοδυναµία " Αν n=1 % όλοι οι ακέραιοι " Αν n=2 % [0] 2 είναι οι ζυγοί % [1] 2 είναι οι µονοί " Το σύνολο των διαφορετικών κλάσεων mod n δηλώνεται ως Z n = {[a] n : 0 a n-1} ή αλλιώς Z n = {0, 1,..., n-1} " Αναφερόµαστε στο Z n και ως το σύνολο ακεραίων mod n 25

26 Θεωρία Οµάδων και Αριθµητική Υπολοίπων Θεωρία Οµάδων " Μια οµάδα (group) (S, ) είναί ένα σύνολο S µαζί µε ένα τελεστή :S S S, έτσι ώστε να ισχύουν: # Κλειστότητα: Για κάθε a, b S, (a b) S # Προσεταιριστική ιδιότητα: Για κάθε a, b, c S, (a b) c = a (b c) # Ύπαρξη µοναδιαίου (ή ουδέτερου) στοιχείου (Identity): υπάρχει στοιχείο e S, έτσι ώστε e a = a e = a για κάθε a S. Το συµβολίζουµε και µε e # Ύπαρξη αντιστρόφου (Inverse): για κάθε a S, υπάρχει στοιχείο a -1 S, που καλείται αντίστροφος του a, τέτοιο ώστε a a -1 = a -1 a = e " Αν σε µια οµάδα (S, ) ικανοποιείται και η αντιµεταθετική ιδιότητα (a b = b a για όλα τα a, b S), τότε την αποκαλούµε αβελιανή (abelian) οµάδα 26

27 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Ιδιότητες οµάδων " Απλοποίηση: για κάθε a, b, c S: # a b = a c % b = c (επειδή υπάρχει αντίστροφος) " Μοναδική λύση σε γραµµικές εξισώσεις: για κάθε a, b S: # η εξίσωση a x = b έχει µοναδική λύση στο S την x = a -1 b " Το µοναδιαίο στοιχείο είναι µοναδικό # Αν υπήρχαν 2 µοναδιαία, e, e τότε e = e e = e " Ο αντίστροφος είναι µοναδικός # Έστω ότι υπήρχαν 2 αντίστροφοι y 1, y 2 για ένα στοιχείο x # Τότε: y 1 = y 1 e = y 1 (x y 2 ) = (y 1 x) y 2 = e y 2 = y 2! Μια οµάδα (S, ) είναι πεπερασµένη αν το σύνολο S έχει πεπερασµένο πλήθος στοιχείων " Τότε ο πληθικός αριθµός S ονοµάζεται τάξη (order) της οµάδας 27

28 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Παραδείγµατα " Το σύνολο των ακεραίων Z µε τον τελεστή πρόσθεσης (δηλαδή η δοµή (Z, +)) είναι αβελιανή οµάδα : # 0 είναι το µοναδιαίο στοιχείο # Ο αντίστροφος του a είναι ο a # Ισχύει η προσεταιριστική ιδιότητα, και η αντιµεταθετικότητα " Αντίθετα η δοµή (Z, *) δεν είναι οµάδα # γιατί ο αντιστροφος του α Ζ δεν υπάρχει πάντα στο Z " Τα σύνολα Z n ={0, 1,..., n-1} αποτελούν οµάδες µε πρόσθεση και πολλαπλασιασµό; 28

29 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Πράξεις και ισοτιµίες mod n " Αν a a (modn) και b=b (modn) τότε # a + b a + b (modn) # a * b a * b (modn) " Εποµένως ορίζουµε την πρόσθεση και τον πολλαπλασιασµό modulo n, ως + n και * n, µε # a modn + n b modn = (a+b) modn 12mod5+11mod5=2mod5+1mod5=3mod5 =23mod5=(12+11)mod5 # a modn * n b modn = (a*b) modn " Οι πράξεις εκτελούνται ως συνήθως, αλλά το αποτέλεσµα ανάγεται στην ισοδύναµη κλάση (στον αντιπρόσωπο) 29

30 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Τι είναι λοιπόν η αριθµητική υπολοίπων (Modular arithmetic); " Είναι αριθµητική σε ακεραίους # µόνο που εργαζόµαστε modulo n, " Έτσι στο Z n κάθε πράξη + n, * n, εκτελείται κανονικά ως απλή πρόσθεση ή πολλαπλασιασµός αλλά το αποτέλεσµα x αντικαθίσταται από ένα στοιχείο στο {0, 1,..., n - 1} # Για παράδειγµα, στο Z 25 ισχύουν: # 13+16=4, εφόσον 13+16=29=4mod25, και # 13 16=8 εφόσον 13 16=208=8mod25. Πρόσθεση στο Ζ 6 30

31 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! H δοµή (Ζ n, + n ) είναι πεπερασµένη αβελιανή οµάδα τάξεως n " Η πράξη + n είναι προσεταιριστική " Είναι αντιµεταθετική " Υπάρχει µοναδιαίο στοιχείο και είναι το 0 # a + n 0 = 0 + n a = a " Καθε στοιχείο a є Ζ n έχει αντίθετο το -a ( n-a modn) # a + n -a = 0 # Π.χ. στο Ζ 13-4 = 9 31

32 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! H δοµή (Ζ n, * n ) είναι οµάδα? " Προσεταιριστικότητα και αντιµεταθετικότητα ισχύουν " Ύπαρξη µοναδιαίου: το 1 " Ύπαρξη αντιστρόφου ως προς πολλαπλασιασµό? " Π.χ. Έχει αντίστροφο το 4 στο Z 6? " Δεδοµένου ενός a Z n για να υπάρχει αντίστροφος, θα πρέπει να έχει λύση η εξίσωση ax 1(mod n) " Θεώρηµα: gcd(a,n) = 1 αν και µόνο αν x έτσι ώστε ax 1(mod n) 32

33 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! H δοµή (Ζ* n, * n ) " Ας θεωρήσουµε το σύνολο Z * n ={a Z n gcd(a, n) = 1}. " Τα στοιχεία του Z * n είναι τα στοιχεία του Z n που είναι σχετικά πρώτοι µε το n " Αν ο p είναι πρώτος, τότε Z * p ={a 1 a p 1} = Z p \{0} " Παραδείγµατα: Z * 14 ={1, 3, 5, 9, 11, 13} # Z * 21 ={1, 2, 4, 5, 8, 10, 11, 13, 16, 17, 19, 20} # Z * 7 ={1, 2, 3, 4, 5, 6} # Προσέξτε ότι ο 7 είναι πρώτος, ενώ ο 21 όχι. 33

34 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! H δοµή (Ζ* n, * n ) είναι πεπερασµένη αβελιανή οµάδα (συµβολίζεται και ως U(Ζ n )) " Κλειστότητα: αν gcd(a,n) =1 και gcd(b, n) = 1 τότε και gcd(ab, n) = 1, το ab δεν µπορεί να έχει κοινούς διαιρέτες µε το n " Προσεταιριστικότητα, αντιµεταθετικότητα, και ύπαρξη ουδέτερου στοιχείου (του 1), όπως και πρίν " Πώς κατασκευάζουµε τον πολλαπλασιαστικό αντίστροφο? # έστω a στοιχείο του Z * n (άρα gcd(a,n) = 1) # Τρέξε τον εκτενή αλγόριθµο Ευκλείδη ΕΑΕ(a, n). # Θα µας δώσει x, y τέτοια ώστε ax + ny = 1 # Άρα ax 1 (mod n), # Ο x είναι ο πολλαπλασιαστικός αντίστροφος του a " Η τάξη του Z * n είναι φ(n) 34

35 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Εφεξής " Όταν αναφερόµαστε σε κάποιο Z n, οι πράξεις + n και n θα συµβολίζονται συνήθως µε + και * (ή ) " Ο multiplicative inverse του a δηλώνεται ως a -1 mod n. " Η διαίρεση στο (Z * n, *) ορίζεται από την εξίσωση a/b ab -1 (mod n) # Παράδειγµα στο Z * 15 # Ισχύει (mod 15), επειδή (mod 15) # οπότε 4/ (mod 15) 35

36 Θεωρία Οµάδων και Αριθµητική Υπολοίπων Γραµµικές Εξισώσεις Υπολοίπων Έστω ότι θέλουµε να λύσουµε την εξίσωση ax b (mod n), a>0, n>0 " Έχουµε ήδη αποδείξει ότι η ax 1 (mod n) έχει λύση αν και µόνο αν gcd(a, n) = 1. Θεώρηµα: Αν d = gcd(a, n), τότε η εξίσωση ax b (mod n) έχει λύση αν και µόνο αν d b. Αν x 0 µία λύση, τότε όλες οι λύσεις είναι της µορφής x = x 0 + t(n/d), t Z " Υπάρχουν ακριβώς d λύσεις mod n, µε αντιπροσώπους x 0, x 1 = x 0 + (n/d), x 2 = x 0 + 2(n/d),, x d-1 = x 0 + (d-1)(n/d) " Όλες οι λύσεις είναι ισοδύναµες mod n/d 36

37 Θεωρία Οµάδων και Αριθµητική Υπολοίπων! Γραµµικές Εξισώσεις Υπολοίπων Πορίσµατα: " Η ax b (mod n) είτε έχει d διακριτές λύσεις modulo n, όπου d = gcd(a, n), ή καµία " Για κάθε n > 1, αν gcd(a, n) = 1, τότε η εξίσωση ax b (mod n) έχει µοναδική λύση modulo n. 37

38 Θεωρία Αριθµών και Θεωρία Οµάδων: Μέρος 2 Υπόβαθρο για το AES 38

39 Αριθµητική Υπολοίπων Μια δοµή (S,, ) ονοµάζεται δακτύλιος (ring) αν # Η (S, ) είναι αβελιανή οµάδα # Η προσεταιριστική: Για κάθε a, b, c є S, (a b) c=a (b c) # Η είναι επιµεριστική ως προς : a (b c)=(a b) (a c) και (a b) c=(a c) (b c), για κάθε a, b, c є S # Αν η ικανοποιεί την αντιµεταθετική ιδιότητα τότε η δοµή αναφέρεται ως αντιµεταθετικός δακτύλιος # Αν η έχει µοναδιαίο στοιχείο αναφέρεται ως δακτύλιος µε µοναδιαίο στοιχείο. Τα µοναδιαία στοιχεία θα τα συµβολίζουµε µε e και e για τις και αντίστοιχα. 39

40 Αριθµητική Υπολοίπων! Παράδειγµα 1: Ο Δακτύλιος (Z 8, + 8, * 8 ) " Είναι αντιµεταθετικός δακτύλιος * a a a

41 Αριθµητική Υπολοίπων! Παράδειγµα 2: Ο Δακτύλιος πινάκων nxn (Π nxn, +, *) " Το (Π nxn, +) είναι αβελιανή οµάδα " Δεν ισχύει η αντιµεταθετική ιδιότητα ως προς πολλαπλασιασµό πινάκων " Δεν έχουν αντίστροφο όλοι οι nxn πίνακες (µόνο αυτοί που έχουν µη µηδενική ορίζουσα). 41

42 Αριθµητική Υπολοίπων Μία δοµή (S,, ) λέγεται σώµα ή πεδίο (field) αν " Η (S, ) είναι αβελιανή οµάδα " Η (S- e, ) είναι αβελιανή οµάδα " Ισχύει η επιµεριστική ιδιότητα της ως προς " Δηλαδή είναι ένας δακτύλιος όπου η είναι αντιµεταθετική και έχει αντίστροφο και µοναδιαίο 42

43 Αριθµητική Υπολοίπων Ιδιότητες πεδίου: " Για κάθε a, b στο S οι εξισώσεις a x = b και a x = b (a 0) έχουν µοναδική λύση στο S " Για κάθε a, b, c στο S ισχύουν οι κανόνες απλοποίησης και διαγραφής a c = b c $ a = b a c = b c $ a = b iff c e " Για κάθε a, b στο S ισχύει η συνεπαγωγή a b = e $ (a = e ή b = e ) 43

44 Αριθµητική Υπολοίπων Παραδείγµατα: Οι κάτωθι δοµές είναι πεδία # (Q, +, *) των ρητών # (R, +, *) των πραγµατικών # (C, +, *) των µιγαδικών # ({0,1}, + 2, * 2 ) των δυαδικών (είναι και πεπερασµένο) * Ερώτηση: Υπάρχουν άλλα πεδία µε πεπερασµένο αριθµό στοιχείων? 44

45 Πεδία Galois! Evariste Galois ( )! Θεωρία Galois " Αρχικό πρόβληµα: εύρεση αναλυτικού τύπου πολυωνύµων 5ου ή µεγαλύτερου βαθµού! Για κάθε πρώτο αριθµό p, η δοµή (Z p, + p, * p ) είναι πεπερασµένο πεδίο " (Z p, + p ) είναι αβελιανή οµάδα " (Z p*, * p ) είναι αβελιανή οµάδα " Συµβολίζεται µε GF(p) (πεδίο Galois τάξης p)! Θεώρηµα: Αν p πρώτος, το πεδίο Galois GF(p) είναι το µοναδικό πεπερασµένο πεδίο µε p στοιχεία.! Αν p δεν είναι πρώτος? 45

46 Πεδία Galois! Πολυώνυµα στο πεδίο Galois GF(p)! Ζ p [x] = Το σύνολο όλων των πολυωνύµων µε συντελεστές από το GF(p). π.χ. f(x)=a 0 +a 1 x+ +a k x k µε a i GF(p) (ο βαθµός συµβολίζεται ως deg(f))! Πρόσθεση και πολλαπλασιασµός πολυωνύµων γίνεται ως συνήθως αλλά στο τέλος παίρνουµε τους συντελεστές mod p. Στο GF(3) (2x 2 + x)2x = x 3 + 2x 2! To Ζ p [x] µε πρόσθεση και πολλαπλασιασµό mod p είναι δακτύλιος! Παρατήρηση: υπάρχουν p k+1 πολυώνυµα βαθµού έως k στο Ζ p [x] 46

47 Πεδία Galois! Πολυώνυµα στο πεδίο Galois GF(p) " Για p=2 οι συντελεστές a i είναι από το δυαδικό σύστηµα " Πρόσθεση και πολλαπλασιασµός στο GF(2): XOR και AND * ! Αρκετές ιδιότητες των ακεραίων του Ζ p ισχύουν για τα πολυώνυµα του Ζ p [x]! Θα λέµε ότι f(x) g(x) αν υπάρχει q(x) Ζ p [x] έτσι ώστε g(x) = q(x)f(x)! Για πολυώνυµα f(x), g(x), h(x) θα λέµε ότι g(x) h(x) (mod f(x)) αν f(x) (g(x)-h(x)) 47

48 Πεδία Galois! Πολυώνυµα στο πεδίο Galois GF(p)! Θεώρηµα της διαίρεσης για πολυώνυµα: Έστω πολυώνυµα f(x), g(x) Ζ p [x] µε deg(f) = n. Υπάρχουν µοναδικά πολυώνυµα q(x), r(x) Ζ p [x] έτσι ώστε: g(x) = q(x)f(x) + r(x) και deg(r) n-1 " r(x) είναι το υπόλοιπο της διαίρεσης, g(x) r(x) (mod f(x)) " Παράδειγµα: έστω g(x) = x 6 + x 4 + x 3 + x +1, f(x) = x 3 + x +1 " g(x) = f(x) x 3 + x+1 48

49 Πεδία Galois! Πολυώνυµα στο πεδίο Galois GF(p)! H αντίστοιχη έννοια των πρώτων αριθµών στο Ζ p [x] είναι τα αµείωτα ή ανάγωγα (irreducible) πολυώνυµα.! Ορισµός: Ένα πολυώνυµο f(x) µε συντελεστές από ένα σώµα F ονοµάζεται ανάγωγο (ή αµείωτο) στο F αν δεν είναι δυνατόν να βρεθούν δύο πολυώνυµα µε συντελεστές από το F, µε µικρότερο (αλλά θετικό) βαθµό, τέτοια ώστε το γινόµενό τους να είναι το f(x) " Το αν ένα πολυώνυµο είναι ανάγωγο εξαρτάται από το σώµα στο οποίο το θεωρούµε " Π.χ. g(x) = 2x 2 +x δεν είναι αµείωτο στο GF(3) " To g(x)=x 2 +1 αµείωτο στο GF(3) " To g(x) = x είναι ανάγωγο στο R αλλά όχι ανάγωγο στο GF(2) διότι: g(x) = (x +1)(x 3 + x 2 + x +1) στο GF(2) 49

50 Πεδία Galois! Πολυώνυµα στο πεδίο Galois GF(p)! Δεδοµένου ενός πολυωνύµου f(x) µε deg(f) = n, Ζ p [x]/(f(x)) = όλα τα πολυώνυµα του Ζ p [x] βαθµού n-1 : p(x)=a 0 +a 1 x+ +a n-1 x n-1 όπου a i GF(p) (= όλα τα πιθανά υπόλοιπα όταν διαιρούµε µε f(x) )! Το Ζ p [x]/(f(x)) " περιέχει ακριβώς p n πολυώνυµα " είναι δακτύλιος µε πρόσθεση και πολ/µό πολυωνύµων mod f(x) (αν στον πολ/µό προκύψει πολυώνυµο βαθµού n, το ανάγουµε mod f(x) ) " Είναι πεδίο αν και µόνο αν το f(x) είναι ανάγωγο " Εύρεση αντιστρόφου γίνεται µε εκτενή αλγόριθµο Ευκλείδη όπως και στο Ζ p 50

51 Πεδία Galois! Θεώρηµα: " (i) Κάθε πεπερασµένο πεδίο έχει τάξη της µορφής p n, όπου p πρώτος και n θετικός ακέραιος " (ii) Για κάθε πρώτο p και θετικό ακέραιο n, υπάρχει ένα µοναδικό πεπερασµένο πεδίο τάξης p n, το οποίο συµβολίζουµε µε GF(p n ) και ταυτίζεται µε το Ζ p [x]/(f(x)), για κάποιο αµείωτο πολυώνυµο f(x) βαθµού n. # Αν υπαρχουν πολλά αµείωτα πολυώνυµα βαθµού n, δεν έχει σηµασία ποιο επιλέγουµε. Τα πεδία που προκύπτουν είναι όλα ισοµορφικά µεταξύ τους! GF(p n ): πολυώνυµα βαθµού αυστηρά µικρότερου του n µε συντελεστές στο GF(p) και πράξεις πρόσθεση και πολ/µο mod f(x): " Οι συντελεστές ανάγονται mod p " Τα πολυώνυµα µετά τον πολ/µό ανάγονται mod f(x) 51

52 Πεδία Galois! Πεπερασµένα πεδία µορφής GF(p n ) " Π.χ., για p=3 (άρα a i =0,1,2), και n=2 έχουµε 9 πολυώνυµα: # # x x+1 x+2 # 2x 2x+1 2x+2 " H αριθµητική επί των συντελεστών γίνεται modulo 3! Πεπερασµένα πεδία µορφής GF(2 n ) " Θα µας απασχολήσουν κυρίως τέτοια πεδία (π.χ. στο AES) " Υπάρχει πεπερασµένο πεδίο µε 4 στοιχεία GF(4) = GF(2 2 ) " Υπάρχει πεπερασµένο πεδίο µε 8 στοιχεία GF(8) = GF(2 3 ) " Δεν υπάρχει πεπερασµένο πεδίο µε 6 στοιχεία # επειδή το 6 δεν είναι δύναµη κανενός πρώτου αριθµού. 52

53 Πεδία Galois! Πεπερασµένο πεδίο GF(2 3 ) ή GF(8) τα πολυώνυµα είναι 0 1 x x+1 x 2 x 2 +1 x 2 +x x 2 +x+1 Κάθε πολυώνυµο αντιστοιχεί σε ένα binary string µε τους συντελεστές Από πίνακα: πολυώνυµο 6 + πολυώνυµο 3 = πολυώνυµο 5 Ισοδύναµα: (x 2 +x) + (x+1) = x

54 Πεδία Galois! Πεπερασµένο πεδίο GF(2 3 ) ή GF(8) τα πολυώνυµα είναι 0 1 x x+1 x 2 x 2 +1 x 2 +x x 2 +x+1 Κάθε πολυώνυµο αντιστοιχεί σε ένα binary string µε τους συντελεστές Πολλαπλασιασµός modulo αµείωτου πολυωνύµου: f(x) = x 3 +x+1 Χρήση πινάκων για αποθήκευση όλων των πιθανών αποτελεσµάτων Πως βρίσκουµε αµείωτο πολυώνυµο;

55 Πεδία Galois! Πεπερασµένο πεδίο GF(2 3 ) ή GF(8) Πως βρίσκουµε αµείωτο πολυώνυµο; " Εµπειρικά " Ένα πολυώνυµο f(x) βαθµού k ονοµάζεται µονοειδές (monic) στο GF(p) αν o συντελεστής a k =1 " Γενικά ψάχνουµε για µονοειδή αµείωτα πολυώνυµα βαθµού n=3 " O σταθερός όρος πρέπει να είναι 1 55

56 Πεδία Galois! Πεπερασµένο πεδίο GF(2 3 ) ή GF(8) Πως βρίσκουµε αµείωτο πολυώνυµο; " Εφόσον οι συντελεστές a i µπορεί να είναι µόνο 0 και 1, υποψήφια: αµείωτα είναι τα p 1 (x)=x 3 +x+1 και p 2 (x)=x 3 +x 2 +1 Μπορούµε να επιλέξουµε π.χ. το p 1 (x) # p 0 (x) = x # p 1 (x) = x 3 + x + 1 # p 2 (x) = x 3 + x # p 3 (x) = x 3 + x 2 + x + 1 # Αλλά: # p 0 (x) = (x+1)(x 2 +x+1) # p 3 (x) = (x+1)(x 2 +1) 56

57 Πεδία Galois! Πεπερασµένα πεδία GF(2 m ) Αµείωτα πολυώνυµα για διάφορα m Αµείωτο πολυώνυµο m(x) = x 8 +x 4 +x 3 +x+1 Χρησιµοποιείται στα ΑΕS S-boxes! Υπολογίζεται ο πολλαπλασιαστικός αντίστροφος για κάθε byte εισόδου A(x)! Δηλαδή υπολογίζεται το πολυώνυµο G(x) τέτοιο ώστε Α(x)G(x)=1 (mod m(x)) 57

58 Θεωρία Αριθµών και Θεωρία Οµάδων: Μέρος 3 Υπόβαθρο για την Κρυπτογραφία Δηµοσίου Κλειδιού 58

59 Αριθµητική Υπολοίπων Σύστηµα γραµµικών εξισώσεων - Chinese Remainder Theorem " Γύρω στο 100 µ.χ. " Πρόβληµα: Υπάρχει ακέραιος x έτσι ώστε σε µία παρέλαση από x στρατιώτες, όταν στοιχίζονται σε 1. Tριάδες, περισσεύει 1 στην τελευταία γραµµή 2. Τετράδες, περισσεύουν 3 στο τέλος 3. Πεντάδες, περισσεύουν 3 στο τέλος

60 Αριθµητική Υπολοίπων Chinese Remainder Theorem Θεώρηµα: Έστω n 1, n 2,..., n k θετικοί ακέραιοι σχετικά πρώτοι µεταξύ τους, δηλ. gcd(n i, n j ) = 1, i j. Τότε για οποιουσδήποτε ακεραίους a 1, a 2,..., a k, το σύστηµα x a 1 (mod n 1 ), x a 2 (mod n 2 ),, x a k (mod n k ), έχει µοναδική λύση modulo n, όπου n=n 1 n 2 n k. Πόρισµα: Αν n 1, n 2,..., n k, θετικοί ακέραιοι σχετικά πρώτοι µεταξύ τους, τότε για όλους τους ακέραιους x και a, x a(mod n i ) για i = 1, 2,..., k αν και µόνο αν x a(mod n) όπου n=n 1 n 2 n k. 60

61 Αριθµητική Υπολοίπων Chinese Remainder Theorem Απόδειξη # Έστω n 1, n 2,..., n k σχετικά πρώτοι µεταξύ τους # Έστω a 1, a 2,..., a k ακέραιοι # i έστω c i = n/n i. # gcd(c i, n i ) = 1 $ o c i έχει αντίστροφο mod n i. # Έστω d i o αντίστροφος, άρα c i d i = 1(mod n i ) # Ο ακέραιος x * =a 1 c 1 d 1 +a 2 c 2 d 2 + +a k c k d k ικανοποιεί όλες τις εξισώσεις, # Πολυπλοκότητα: πολυωνυµική µέσω του εκτενούς αλγορίθµου Ευκλείδη 61

62 Αριθµητική Υπολοίπων Κινέζικο θεώρηµα υπολοίπων - Παράδειγµα # Ποιο x ικανοποιεί τις ακόλουθες εξισώσεις x 2 (mod 5) x 3 (mod 13) # a 1 =2, n 1 =5, a 2 =3, n 2 =13 # Υπολογίζουµε n=n 1 *n 2 =5*13=65, c 1 = 65/5 = 13, c 2 = 5 # Επειδή (mod 5) και (mod 13), έχουµε d 1 =2, d 2 =8 Οι αντίστροφοι των c 1 και c 2 µπορούν να προκύψουν απο ΕΑΕ # Τότε x = a 1 c 1 d 1 +a 2 c 2 d 2 x (mod 65) = 42 (mod 65) Άρα όλες οι λύσεις εiναι της µορφής x(t)=42+65t, t Z 62

63 Θεωρία Οµάδων! Υποοµάδες " Αν (S, ) είναι οµάδα, S S, και (S, ) είναι οµάδα, τό (S, ) θα αναφέρεται ως υποοµάδα του (S, ). # Π.χ., οι άρτιοι ακέραιοι είναι υποοµάδα των ακεραίων στην πρόσθεση. " Θεώρηµα: # Ένα µη κενό και κλειστό υποσύνολο µιας πεπερασµένης οµάδας είναι υποοµάδα # Π.χ., το σύνολο ({0, 2, 4, 6}, +) είναι υποοµάδα του (Z 8, +) εφόσον είναι µη κενό και κλειστό ως προς + (κλειστό ως προς + 8 ). " Θεώρηµα Lagrange: # Αν (S, ) είναι πεπερασµένη οµάδα και (S, ) υποοµάδα του (S, ), τότε S είναι διαιρέτης του S. 63

64 Θεωρία Οµάδων! Υποοµάδες " Έστω υποοµάδα πεπερασµένης οµάδας (S, ) και στοιχείο a σε αυτήν " Έστω όλα τα στοιχεία που παράγονται από το a µε τη χρήση του τελεστή της οµάδας. # a (1) = a # a (2) = a a # # a (k) = a a a a #. " Π.χ., από a=2 και οµάδα (Z 6, +) παράγεται η ακολουθία 2, 4, 0, 2, 4, 0, 2, 4, 0,.... " Από a=5 και οµάδα (Z* 6, *) παράγεται η ακολουθία 5,1,5,1,5,1,

65 Θεωρία Οµάδων! Υποοµάδες " Στην οµάδα (Z n, +) έχουµε a (k) = ka mod n, " Στην οµάδα (Z * n, *) έχουµε a(k) = a k mod n. " Για πεπερασµένες οµάδες, η ακολουθία {a (k) : k 1} είναι περιοδική " Έστω a τα διαφορετικά στοιχεία που παράγονται στην ακολουθία {a (k) : k 1} " Θεώρηµα: Η δοµή ( a, ) είναι υποοµάδα (άσκηση) " Ο a αναφέρεται ως γεννήτορας της a και η ( a, ) ως κυκλική οµάδα µε γεννήτορα a " Κυκλικές υποοµάδες στο (Z 6, +) # 0 = {0}, 1 = {0,1,2,3,4,5}, 2 = {0,2,4} " Κυκλικές υποοµάδες στο (Ζ* 7, *): # 1 = {1}, 2 = {1,2,4}, 3 = {1,2,3,4,5,6} = Ζ* 7 (δηλαδή το Ζ* 7 είναι κυκλική οµάδα) 65

66 Θεωρία Οµάδων! Υποοµάδες! Πότε είναι κυκλική η οµάδα (Ζ* n, *)? " Θεώρηµα 1: Αν p πρώτος, η (Ζ* p, *) είναι κυκλική οµάδα " Θεώρηµα 2: Αν n = p r όπου p περιττός πρώτος και r N, η (Ζ* n, *) είναι κυκλική οµάδα " Θεώρηµα 3: H οµάδα (Ζ* n, *) είναι κυκλική αν και µόνο αν n = 1, 2, 4, p r, 2p r, όπου p περιττός πρώτος και r N 66

67 Θεωρία Οµάδων! Υποοµάδες " Τάξη ή ord(a): ο µικρότερος ακέραιος t τέτοιος ώστε a (t) =e " Θεώρηµα # Τάξη στοιχείου = µέγεθος της υποοµάδας που δηµιουργεί (ord(a)= a ) " Πόρισµατα # Η ακολουθία a (1), a (2),... είναι περιοδική µε περίοδο t = ord(a) # a (k) = a (m) αν και µόνο αν k m (mod t) # a (k) = a (k mod t), όπου t = ord(a), για κάθε ακέραιο k 67

68 Θεωρία Οµάδων! Δυνάµεις Στοιχείων σε υπόλοιπα " Θεώρηµα: Αν (S, ) πεπερασµένη οµάδα, τότε για κάθε a S, a ( S ) = e, όπου e το ουδέτερο στοιχείο " Απόδειξη µε χρήση θεωρήµατος Lagrange " Πόρισµα 1: Μικρό Θεώρηµα Fermat. # Αν p πρώτος, τότε a p-1 =1 (mod p) για κάθε a є Z* p " Πόρισµα 2: Θεώρηµα Euler # Για κάθε ακέραιο n>1 a φ(n) =1 (mod n) για κάθε a є Z* n (δηλ. για κάθε a µε gcd(a, n) = 1) 68

69 Αριθµητική Υπολοίπων! Ύψωση σε δύναµη " Έστω ότι θέλουµε να υπολογίσουµε το a b mod n. " Μπορεί να γίνει µε b πολλαπλασιασµούς " Εκθετική πολυπλοκότητα " Μέθοδος επαναλαµβανόµενου τετραγωνισµού: # Αλγόριθµος που υπολογίζει το a b µε Ο(logb) πολλαπλασιασµούς # Στηρίζεται στη χρήση της δυαδικής αναπαράστασης του b [b k-1,..., b 1, b 0 ] από MSB σε LSB (k ψηφία) # Δηλαδή b = b b b b k-2 2 k-2 + b k-1 2 k-1 = b i 2 i # Αριθµός ψηφίων του ακεραίου b: k = log 2 (b+1) = Ο(logb) " Ο αλγόριθµος υπολογίζει διαδοχικά τα a c mod n όπου το c παίρνει ως τιµές δυνάµεις του 2 (doublings) 69

70 Αριθµητική Υπολοίπων Ύψωση σε δύναµη µε επαναλαµβανόµενο τετραγωνισµό (repeated squaring) MODULAR-EXPONENTIATION(a, b, n) 1 x a 2 y 1 3 Let [b k-1,, b 1, b 0 ] be the binary representation of b 4 for i 0 to k-1 5 do 6 if b i = 1 then y = y x mod n 7 x = x 2 mod n //next power of 2 8 return y 70

Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Πληροφορικής ΠΜΣ στα Πληροφοριακά Συστήματα Κρυπτογραφία και Εφαρμογές Διαλέξεις Ακ.

Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Πληροφορικής ΠΜΣ στα Πληροφοριακά Συστήματα Κρυπτογραφία και Εφαρμογές Διαλέξεις Ακ. Οικονομικό Πανεπιστήμιο Αθηνών Τμήμα Πληροφορικής ΠΜΣ στα Πληροφοριακά Συστήματα Κρυπτογραφία και Εφαρμογές Διαλέξεις Ακ. Έτους 2011-2012 Μαριάς Ιωάννης Μαρκάκης Ευάγγελος marias@aueb.gr markakis@gmail.com

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Πρόβληµα 2 (15 µονάδες)

Πρόβληµα 2 (15 µονάδες) ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΕΦΑΡΜΟΓΕΣ, 2013-2014 ΔΙΔΑΣΚΩΝ: Ε. Μαρκάκης Πρόβληµα 1 (5 µονάδες) 2 η Σειρά Ασκήσεων Προθεσµία Παράδοσης: 19/1/2014 Υπολογίστε

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

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

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

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

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

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

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

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

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

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

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA Αριθµοθεωρητικοί Αλγόριθµοι και το Κρυπτοσύστηµα RSA Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Υπολογισµός Μέγιστου Κοινού ιαιρέτη Αλγόριθµος του Ευκλείδη Κλάσεις Ισοδυναµίας και Αριθµητική modulo

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

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ 1

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

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

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

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

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

2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ Η θεωρία αριθμών και οι αλγεβρικές δομές τα τελευταία χρόνια χρησιμοποιούνται όλο και περισσότερο στην κρυπτολογία. Αριθμο-θεωρητικοί αλγόριθμοι χρησιμοποιούνται σήμερα

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

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

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

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

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Διαιρετότητα Ορισμός

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

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

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

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

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. Η πράξη «σύνθεση

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

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ 1

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

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ 1

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

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ Υπολογιστική

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

Πρόβληµα 2 (12 µονάδες)

Πρόβληµα 2 (12 µονάδες) ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑ: ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΕΦΑΡΜΟΓΕΣ, 2015-2016 ΔΙΔΑΣΚΟΝΤΕΣ: Ε. Μαρκάκης, Θ. Ντούσκας Λύσεις 2 ης Σειράς Ασκήσεων Πρόβληµα 1 (12 µονάδες) 1) Υπολογίστε τον

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

Διαιρετότητα Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία. Ακέραια διαίρεση. Διαιρετότητα. ΜΚΔ: χρήσιμες ιδιότητες

Διαιρετότητα Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία. Ακέραια διαίρεση. Διαιρετότητα. ΜΚΔ: χρήσιμες ιδιότητες Διαιρετότητα Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών H διαιρετότητα

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

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία

Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Υπολογιστική Θεωρία Αριθμών και Κρυπτογραφία Εισαγωγή στη Θεωρία Αριθμών Άρης Παγουρτζής Στάθης Ζάχος Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ 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 Αν

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

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 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 +

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

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

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

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

ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ PRIMES P. Από τα αριστερά προς τα δεξία Saxena, Kayal και Agrawal. Επιµέλεια : Γεωργίου Κωνσταντίνος.

ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ PRIMES P. Από τα αριστερά προς τα δεξία Saxena, Kayal και Agrawal. Επιµέλεια : Γεωργίου Κωνσταντίνος. ΚΡΥΠΤΟΓΡΑΦΙΑ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ PRIMES P Επιµέλεια : Γεωργίου Κωνσταντίνος Ιούνιος 003 Από τα αριστερά προς τα δεξία Saena, Kayal και Agawal Η ασχολία της ανθρωπότητας µε τους πρώτους αριθµούς Παράδοση

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

Παράρτηµα Α Εισαγωγή Οµάδες. (x y) z= x (y z).

Παράρτηµα Α Εισαγωγή Οµάδες. (x y) z= x (y z). Παράρτηµα Α 11.1 Εισαγωγή Οπως έχει αναφερθεί ήδη προοδευτικά στο δεύτερο µέρος του παρόντος συγγράµµατος χρησιµοποιούνται ϐασικές έννοιες άλγεβρας. Θεωρούµε ότι οι έννοιες αυτές είναι ήδη γνωστές από

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

Κρυπτογραφία. Έλεγχος πρώτων αριθών-παραγοντοποίηση. Διαφάνειες: Άρης Παγουρτζής Πέτρος Ποτίκας

Κρυπτογραφία. Έλεγχος πρώτων αριθών-παραγοντοποίηση. Διαφάνειες: Άρης Παγουρτζής Πέτρος Ποτίκας Κρυπτογραφία Έλεγχος πρώτων αριθών-παραγοντοποίηση Διαφάνειες: Άρης Παγουρτζής Πέτρος Ποτίκας Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ Κρυπτογραφία

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 2 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 3 Μαρτίου 2016 Αν (G, ) είναι

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

Όνοµα: Λιβαθινός Νικόλαος 2291

Όνοµα: Λιβαθινός Νικόλαος 2291 ΠΡΩΤΗ ΆΣΚΗΣΗ ΣΤΗΝ ΚΡΥΠΤΟΓΡΑΦΙΑ Όνοµα: Λιβαθινός Νικόλαος 9 Ηµεροµηνία: 3/5/003 Άσκηση ώστε όλες τις υποοµάδες των Z και Ζ 5 * Προκειµένου να δώσουµε τις υποοµάδες θα πρέπει αρχικά να ορίσουµε τα σύνολα

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

Κεφάλαιο 2. Μαθηματικό Υπόβαθρο. 2.1 Θεωρία Αριθμών Διαιρετότητα

Κεφάλαιο 2. Μαθηματικό Υπόβαθρο. 2.1 Θεωρία Αριθμών Διαιρετότητα Κεφάλαιο 2 Μαθηματικό Υπόβαθρο Σε αυτό το κεφάλαιο Θα παρουσιάσουμε ορισμένα στοιχεία από την Θεωρία Αριθμών, την Θεωρία Ομάδων και την Θεωρία Πιθανοτήτων. Θα περιοριστούμε στις ελάχιστες γνώσεις που μας

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

Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ

Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ Μαθηματικά Πληροφορικής 2ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.

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

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια) Εξαντλητική μέθοδος

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια) Εξαντλητική μέθοδος Μορφές αποδείξεων Μαθηματικά Πληροφορικής ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 8 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2014/nt2014.html https://sites.google.com/site/maths4edu/home/14

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις Επαναληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις Επαναληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Ασκησεις Επαναληψης ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt015/nt015.html Τρίτη Ιουνίου 015 Ασκηση 1. (1) Να λυθεί η γραµµική

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

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

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Ασκησεις - Επανάληψης ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt015b/nt015b.html Πέµπτη 1 Ιανουαρίου 016 Ασκηση 1. (1) Να λυθεί

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

Θεωρια Αριθµων Προβληµατα

Θεωρια Αριθµων Προβληµατα Θεωρια Αριθµων Προβληµατα Μιχάλης Κολουντζάκης Τµήµα Μαθηµατικών και Εφαρµοσµένων Μαθηµατικών Πανεπιστήµιο Κρήτης Βούτες 700 3 Ηράκλειο 6 Απριλίου 205 Πολλές από τις παρακάτω ασκήσεις είναι από το ϐιβλίο

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις Επαναληψης

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις Επαναληψης ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις Επαναληψης ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 22 Μαΐου 2013 Ασκηση 1. (1) Να λυθεί η γραµµική

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

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα. Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Εισαγωγή στην Αλγεβρα Τελική Εξέταση 15 Φεβρουαρίου 2017 1. (Οµάδα Α) Εστω η ακολουθία Fibonacci F 1 = 1, F 2 = 1 και F n = F n 1 + F n 2, για n

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

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

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

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

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 5 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Παρασκευή 16 & Τετάρτη 21 Νοεµβρίου

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

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.

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

Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ

Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ Μαθηματικά Πληροφορικής 4ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.

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

β) 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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 7 Φεβρουαρίου 03 Ασκηση. είξτε ότι

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

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδες Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2014/asi2014.html, https://sites.google.com/site/maths4edu/home/algdom114

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

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

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

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

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας)

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας) Τµήµα Μαθηµατικών, Πανεπιστηµίου Κρήτης Εξεταστική περίοδος Σεπτεµβρίου ακαδηµαϊκού έτους 29-2 Τρίτη, 3 Αυγούστου 2 Εφαρµοσµένη Άλγεβρα ιδάσκων: Α. Τόγκας Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις

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

Κρυπτογραφία. Θεωρία Αριθμών 2/4/2014. Θεωρία Αριθμών

Κρυπτογραφία. Θεωρία Αριθμών 2/4/2014. Θεωρία Αριθμών Κρυπτογραφία Θεωρία Αριθμών Παύλος Εφραιμίδης v1.8, 02/04/2014 1 Θεωρία Αριθμών Θεωρία Αριθμών Ένας όμορφος κλάδος των μαθηματικών Απέκτησε μεγάλη πρακτική αξία χάρη στη Σύγχρονη Κρυπτογραφία Η Υπολογιστική

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

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 (το σύνολο των αριστερών συμπλόκων

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

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E.

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E. Ι. ΠΡΑΞΕΙΣ A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ Ορισµός Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E. Παραδείγµατα:. Η ισότητα x y = x y είναι µια πράξη επί του *. 2. Η ισότητα

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

f(n) = a n f(n + m) = a n+m = a n a m = f(n)f(m) f(a n ) = b n f : G 1 G 2, f(a n a m ) = f(a n+m ) = b n+m = b n b m = f(a n )f(a m )

f(n) = a n f(n + m) = a n+m = a n a m = f(n)f(m) f(a n ) = b n f : G 1 G 2, f(a n a m ) = f(a n+m ) = b n+m = b n b m = f(a n )f(a m ) 302 14. Ταξινόµηση Κυκλικών Οµάδων και Οµάδες Αυτοµορφισµών Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες ως προς τη σχέση ισοµορφίας. Ε- πίσης ϑα αποδείξουµε ένα σηµαντικό κριτήριο ισοµορφίας

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

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

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

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

Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο. Ασκήσεις

Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο. Ασκήσεις Εισαγωγή στη Θεωρία Αριθµών για το Λύκειο Σηµειώσεις Προετοιµασίας για Μαθηµατικούς ιαγωνισµούς Ασκήσεις Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Νοέµβριος 2012 1 Ασκησεις στη Θεωρια Αριθµων 1 Μαθηµατική

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

(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 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

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

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

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

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

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

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

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

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 4 1 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 4 1 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 4 1 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Πέµπτη 27 εκεµβρίου 2012 Ασκηση

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

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας)

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας) Τµήµα Μαθηµατικών, Πανεπιστηµίου Κρήτης Εξεταστική περίοδος Ιουνίου ακαδηµαϊκού έτους 29-21 Παρασκευή, 1 Ιουνίου 21 Εφαρµοσµένη Άλγεβρα ιδάσκων: Α. Τόγκας Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις

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

Α Δ Ι. Παρασκευή 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 Νοεμβρίου

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

Γραμμική Αλγεβρα ΙΙ Διάλεξη 1 Εισαγωγή Χρήστος Κουρουνιώτης Πανεπισ τήμιο Κρήτης 19/2/2014 Χ.Κουρουνιώτης (Παν.Κρήτης) Διάλεξη 1 19/2/ / 13

Γραμμική Αλγεβρα ΙΙ Διάλεξη 1 Εισαγωγή Χρήστος Κουρουνιώτης Πανεπισ τήμιο Κρήτης 19/2/2014 Χ.Κουρουνιώτης (Παν.Κρήτης) Διάλεξη 1 19/2/ / 13 Γραμμική Άλγεβρα ΙΙ Διάλεξη 1 Εισαγωγή Χρήστος Κουρουνιώτης Πανεπιστήμιο Κρήτης 19/2/2014 Χ.Κουρουνιώτης (Παν.Κρήτης) Διάλεξη 1 19/2/2014 1 / 13 Εισαγωγή Τι έχουμε μάθει; Στο πρώτο μάθημα Γραμμικής Άλγεβρας

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους

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

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3/ΣΕΜΦΕ/ y x= ( ) ( ) .( ) , τότε

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3/ΣΕΜΦΕ/ y x= ( ) ( ) .( ) , τότε ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3/ΣΕΜΦΕ/008-09.(i) S =, : 0 =, :, με + 0 {( ) } {( ) ( )( ) } {(, ):, με 0, 0 } {(, ):, με 0, 0} = + + = 0 + = 0 = (ii). 3 {( ) ( )} ( ) ( ) {(, ):, με 0 ή. } { = } S=, :, με = + =, :,

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

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

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

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 2 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Επιλυση Ασκησεων - Φυλλαδιο 2 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 24 Μαρτίου 2017

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uo.gr/abelga/numbertheory/nt2014/nt2014.html https://stes.google.com/ste/maths4edu/home/14

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

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, η οποία

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

Γραµµική Αλγεβρα. Ενότητα 3 : ιανυσµατικοί Χώροι και Υπόχωροι. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Γραµµική Αλγεβρα. Ενότητα 3 : ιανυσµατικοί Χώροι και Υπόχωροι. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής Γραµµική Αλγεβρα Ενότητα 3 : και Υπόχωροι Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 7

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 7 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 7 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uo.gr/abelga/numbertheory/nt2016/nt2016.html Πέµπτη 7 εκεµβρίου 2016 Ασκηση 1. Για κάθε

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

Αλγεβρικές Δομές ΙΙ. 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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt014/nt014.html https://sites.google.com/site/maths4edu/home/14

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

1 Οι πραγµατικοί αριθµοί

1 Οι πραγµατικοί αριθµοί 1 Οι πραγµατικοί αριθµοί 1.1 Σύνολα αριθµών Το σύνολο των ϕυσικών αριθµών N = {1, 2, 3,...} Το σύνολο των ακεραίων Z = {... 3, 2, 1, 0, 1, 2, 3,...}. Οι ακέραιοι διαµερίζονται σε άρτιους και περιττούς

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

Δ/νση Β /θµιας Εκπ/σης Φλώρινας Κέντρο ΠΛΗ.ΝΕ.Τ. Πολυώνυµα ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ

Δ/νση Β /θµιας Εκπ/σης Φλώρινας Κέντρο ΠΛΗ.ΝΕ.Τ. Πολυώνυµα ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ ΠΟΛΥΩΝΥΜΑ ΑΚΕΡΑΙΑ ΠΟΛΥΩΝΥΜΑ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ Ορισµός Ονοµάζουµε ακέραιο πολυώνυµο του x κάθε έκφραση της µορφής : α ν x ν + α ν-1 x ν-1 + α ν-2 x ν-2 + +α 1 x + α 0 όπου α ν, α ν-1, α ν-2,, α 1, α 0 C και

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 4

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 4 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 4 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 7 Απριλίου 2017 Ασκηση 1.

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

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Τάξη στοιχείων και Οµάδων - Κυκλικές (Υπο-)Οµάδες Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 222 3.1. ύναµη

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

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

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

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

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

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

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

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

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

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

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 17 Οκτωβρίου 2012 Ασκηση 1.

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

L = F +. Είναι, 1 F, άρα και 1 L. Επεκτείνουµε τις πράξεις του F έτσι ώστε

L = F +. Είναι, 1 F, άρα και 1 L. Επεκτείνουµε τις πράξεις του F έτσι ώστε ΕΠΕΚΤΑΣΕΙΣ ΣΩΜΑΤΟΣ Προκαταρκτικά Σώµα = Αντιµεταθετικό σώµα, χαρακτηριστικής µηδενός Τα σώµατα αυτά καλούνται και αριθµητικά σώµατα Θα τα συµβολίζουµε µε τα γράµµατα F, F, L κλπ Έστω ότι κάποια ανάγκη

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

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

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

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

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

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

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 3

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 3 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 3 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2017/asi2017.html Παρασκευή 31 Μαρτίου 2017 Υπενθυµίζουµε

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

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

Κεφάλαιο 4 ιανυσµατικοί Χώροι Κεφάλαιο 4 ιανυσµατικοί Χώροι 4 ιανυσµατικοί χώροι - Βασικοί ορισµοί και ιδιότητες ιανυσµατικοί Χώροι Ένας ιανυσµατικός Χώρος V (δχ) είναι ένα σύνολο από µαθηµατικά αντικείµενα (αριθµούς, διανύσµατα, πίνακες,

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

3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009

3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009 3 o Καλοκαιρινό Μαθηµατικό σχολείο Ε.Μ.Ε. Λεπτοκαρυά Πιερίας 2009 ιαιρετότητα και Ισοτιµίες Β και Γ Λυκείου Αλέξανδρος Γ. Συγκελάκης ags@math.uoc.gr Ιούλιος 2009 1 ιαιρετοτητα και Ισοτιµιες ΠΡΟΛΟΓΟΣ Το

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

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)

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

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Υποοµάδες και το Θεώρηµα του Lagrange Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 210 2. Υποοµάδες και το Θεώρηµα

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

f : G G G = 7 12 = 5 / N. x 2 +1 (x y) z = (x+y+xy) z = x+y+xy+z+(x+y+xy)z = x+y+z+xy+yz+xz+xyz.

f : G G G = 7 12 = 5 / N. x 2 +1 (x y) z = (x+y+xy) z = x+y+xy+z+(x+y+xy)z = x+y+z+xy+yz+xz+xyz. Σ.Παπαδόπουλος 1 1 Βασικές έννοιες ομάδας Εστω G ένα σύνολο με G. Μία πράξη στο G είναι μία συνάρτηση f : G G G. Αντί f(x, y) γράφουμε x y και αν δεν υπάρχει περίπτωση σύγχυσης xy. Είναι φανερό ότι σε

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

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

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

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

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

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt01b/nt01b.html Πέµπτη 1 Οκτωβρίου 01 Ασκηση 1. είξτε ότι

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

Basik 'Algebra Tm ma Majhmatik n Panepist mio Ajhn n Aj na 2013

Basik 'Algebra Tm ma Majhmatik n Panepist mio Ajhn n Aj na 2013 Basik 'Algebra Tm ma Majhmatik n Panepist mio Ajhn n Aj na 2013 Perieqìmena 1 Ακέραιοι 1 1.1 Διαιρετότητα.................................. 1 1.2 Ισοτιμίες..................................... 10 1.3

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

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή KΕΦΑΛΑΙΟ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ ιατεταγµένα σώµατα-αξίωµα πληρότητας Ένα σύνολο Σ καλείται διατεταγµένο σώµα όταν στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι

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

Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά

Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Τµηµα Μαθηµατικων Αλγεβρικές οµές ΙΙ 1. Εστω ότι R Z 3 [x]. Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες 30 λεπτά (αʹ) Να αποδείξετε ότι ο R είναι περιοχή

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

Αλγεβρικές Δομές Ι. 1 Ομάδα I

Αλγεβρικές Δομές Ι. 1 Ομάδα I Αλγεβρικές Δομές Ι 1 Ομάδα I Ά σ κ η σ η 1.1 Έστω G μια προσθετική ομάδα S ένα μη κενό σύνολο και M(S G το σύνολο όλων των συναρτήσεων f : S G. Δείξτε ότι το σύνολο M(S G είναι ομάδα με πράξη την πρόσθεση

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