Οµάδες. Κεφάλαιο Καρτεσιανό γινόµενο. Σχέσεις. 1.2 Απεικονίσεις

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

Download "Οµάδες. Κεφάλαιο Καρτεσιανό γινόµενο. Σχέσεις. 1.2 Απεικονίσεις"

Transcript

1 Κεφάλαιο 1 Οµάδες Σύνοψη. Στο παρόν κεφάλαιο περιέχονται οι ϐασικές έννοιες που απαιτούνται για τον ορισµό της οµάδας : καρτεσιανό γινόµενο, απεικονίσεις, διµελείς πράξεις. Επίσης, δίνονται οι ϐασικές ιδιότητες της διαιρετότητας των ακέραιων αριθµών και εισάγεται η έννοια των µεταθέσεων. Προαπαιτούµενη γνώση. ιαβάζεται από οποιονδήποτε αναγνώστη που κατέχει ένα ϐασικό υπόβαθρο µαθηµατικών γνώσεων. 1.1 Καρτεσιανό γινόµενο. Σχέσεις Εστω X και Y δύο µη κενά σύνολα. Από τα στοιχεία x X και y Y σχηµατίζουµε στοιχεία (x, y). Τα στοιχεία αυτά τα ονοµάζουµε διατεταγµένα Ϲεύγη αν ισχύει (x, y) = (x, y ) x = x, y = y. Το σύνολο των διατεταγµένων Ϲευγών (x, y), µε x X και y Y, συµβολίζεται µε X Y και ονοµάζεται καρτεσιανό γινόµενο των X και Y. Εστω X 1,..., X n, n 2, µη κενά σύνολα. Από τα στοιχεία x i X i, i = 1,..., n, δηµιουργούµε στοιχεία (x 1,..., x n ) που τα αποκαλούµε διατεταγµένες n-άδες αν ισχύει (x 1,..., x n ) = (y 1,..., y n ) x i = y i, i = 1,..., n. Ονοµάζουµε γενικευµένο καρτεσιανό γινόµενο των συνόλων X 1,..., X n και το συµβολίζουµε X 1... X n το σύνολο των διατεταγµένων n-άδων (x 1,..., x n ), όπου x i X i, 1,..., n. ηλαδή, X 1... X n = {(x 1,..., x n ) : x i X i, i = 1,..., n}. Κάθε υποσύνολο R του καρτεσιανού γινοµένου X Y καλείται διµελής σχέση στο σύνολο X Y ή διµελής σχέση µεταξύ των συνόλων X και Y. Αν X = Y, µία διµελής σχέση στο X είναι ένα υποσύνολο R του καρτεσιανού γινοµένου X X. 1.2 Απεικονίσεις Μία απεικόνιση ενός µη κενού συνόλου X σε ένα µη κενό σύνολο Y είναι µία διαδικασία (κανόνας, µηχανισµός) f, η οποία σε κάθε στοιχείο x X αντιστοιχεί 13

2 14 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ ένα µοναδικό στοιχείο y του Y. Το y ονοµάζεται εικόνα του x µέσω της f. Συµβολίζουµε µε f : X Y µία απεικόνιση από το X στο Y, ενώ για να δείξουµε ότι η απεικόνιση f : X Y στέλνει το στοιχείο x X στο στοιχείο y Y γράφουµε f(x) = y ή x y. Το X ονοµάζεται σύνολο αφετηρίας (ή πεδίο ορισµού), ενώ το Y ονοµάζεται σύνολο άφιξης (ή σύνολο τιµών). Συµβολίζουµε µε Id X : X X την ταυτοτική απεικόνιση επί του συνόλου X. ηλαδή, Id X (x) = x για κάθε x X. ύο απεικονίσεις f, g : X Y είναι ίσες αν και µόνο αν f(x) = g(x) για όλα τα x X. Να παρατηρήσουµε ότι µία απεικόνιση f : X Y είναι µία σχέση f µεταξύ των συνόλων X και Y, δηλαδή, f X Y τέτοια, ώστε 1. Για κάθε x X, (x, f(x)) f και 2. Αν (x, f(x)), (x, f(x )) f, τότε f(x) = f(x ). Θεωρούµε τις απεικονίσεις f : X Y και g : Y Z. Η σύνθεση των απεικονίσεων f και g είναι η απεικόνιση gf : X Z που ορίζεται ως εξής : (gf)(x) = g(f(x)) για όλα τα x X. Αν h : Z T είναι µία τρίτη απεικόνιση είναι εύκολο να επαληθεύσουµε ότι h(gf) = (hg)f. Με άλλα λόγια, η σύνθεση απεικονίσεων έχει την προσεταιριστική ιδιότητα. Εστω A X και f : X Y µία απεικόνιση. Ονοµάζουµε εικόνα του A µέσω της f, και τη συµβολίζουµε f(a), το σύνολο f(a) = {f(x) Y : x X}. Για κάθε σύνολο X συµβολίζουµε µε P(X) το δυναµοσύνολό του, δηλαδή, το σύνολο όλων των υποσυνόλων του X. Κάθε απεικόνιση f : X Y ορίζει µια απεικόνιση P f : P(X) P(Y ) µε τύπο P f (A) = f(a) για κάθε A P(X). Η απεικόνιση P f έχει τις παρακάτω ιδιότητες, για A 1, A 2 P(X) : 1. A 1 A 2 = P f (A 1 ) P f (A 2 ) 2. P f (A 1 A 2 ) = P f (A 1 ) P f (A 2 ) 3. P f (A 1 A 2 ) P f (A 1 ) P f (A 2 ). Αν B Y ονοµάζουµε αντίστροφη εικόνα του B µέσω της απεικόνισης f, και τη συµβολίζουµε µε f 1 (B), το σύνολο f 1 (B) = {x X : f(x) B}. Η f : X Y ορίζει µια απεικόνιση Pf α : P(Y ) P(X) µε τύπο Pα f (B) = f 1 (B) για κάθε B P(Y ). Η απεικόνιση Pf α διατηρεί τις σχέσεις,,. ηλαδή, η Pf α έχει τις επόµενες ιδιότητες, για B 1, B 2 P(Y ) :

3 1.2. ΑΠΕΙΚΟΝΙΣΕΙΣ B 1 B 2 = P α f (B 1) P α f (B 2) 2. P α f (B 1 B 2 ) = P α f (B 1) P α f (B 2) 3. P α f (B 1 B 2 ) = P α f (B 1) P α f (B 2). Μία απεικόνιση f : X Y λέγεται ένα προς ένα (1 1) (ή εµφύτευση (injection) ) αν για κάθε x 1, x 2 X x 1 x 2 = f(x 1 ) f(x 2 ) ή ισοδύναµα, η f : X Y είναι ένα προς ένα (1 1) αν για κάθε x 1, x 2 X f(x 1 ) = f(x 2 ) = x 1 = x 2. Η απεικόνιση f : X Y ονοµάζεται επί (ή έφεση (surjection) ) αν f(x) = Y. ηλαδή, η f : X Y είναι επί αν για κάθε y Y υπάρχει x X έτσι, ώστε f(x) = y. Η απεικόνιση f : X Y λέγεται ένα προς ένα και επί (ή αµφίεση (bijection) ) αν η f είναι ταυτόχρονα 1 1 και επί. Είναι εύκολο να αποδειχθούν οι παρακάτω ισχυρισµοί και αφήνονται ως ασκήσεις. Εστω f : X Y και g : Y Z δύο απεικονίσεις. Τότε, 1. Αν οι f, g είναι 1 1 απεικονίσεις, τότε η gf είναι Αν οι f, g είναι επί απεικονίσεις, τότε η gf είναι επί. 3. Αν η gf είναι 1 1 απεικόνιση, τότε η f είναι Αν η gf είναι επί απεικόνιση, τότε η g είναι επί. Εστω f : X Y µία 1 1 και επί απεικόνιση. Ισχυριζόµαστε ότι υπάρχει µοναδική απεικόνιση g : Y X έτσι, ώστε gf = Id X και fg = Id Y. Η µοναδική απεικόνιση g ονοµάζεται αντίστροφη της f και συµβολίζεται µε f 1. Πρώτα από όλα, για κάθε y Y υπάρχει µοναδικό x X έτσι, ώστε f(x) = y. Πράγµατι, επειδή η f είναι επί υπάρχει x X µε f(x) = y. Εστω ότι υπάρχει x X τέτοιο, ώστε f(x ) = y. Αφού η f είναι 1 1, έχουµε ότι x = x. Ετσι, αν σε κάθε στοιχείο y Y αντιστοιχίσουµε το µοναδικό x X για το οποίο ισχύει f(x) = y, ορίζεται µία απεικόνιση g : Y X δηλαδή, g(y) = x f(x) = y. Προφανώς, η g ικανοποιεί τις σχέσεις gf = Id X και fg = Id Y. Η µοναδικότητα της αντίστροφης προκύπτει από το επόµενο αποτέλεσµα. Πρόταση 1.1 Εστω f : X Y µία απεικόνιση. Αν υπάρχει απεικόνιση h : Y X τέτοια, ώστε hf = Id X και fh = Id Y, τότε η f είναι 1 1 και επί. Συγκεκριµένα, η h είναι η αντίστροφη της f.

4 16 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ Απόδειξη. Πρώτα, ϑα δείξουµε ότι η f είναι 1 1. Πράγµατι, f(x 1 ) = f(x 2 ) = h(f(x 1 )) = h(f(x 2 )) = (hf)(x 1 ) = (hf)(x 2 ) = Id X (x 1 ) = Id X (x 2 ) = x 1 = x 2. Εστω y Y. Το στοιχείο h(y) = x απεικονίζεται από την f στο y, επειδή f(x) = f(h(y)) = (fh)(y) = Id Y (y) = y. Με άλλα λόγια, η f είναι επί. Συνεπώς, η f είναι αντιστρέψιµη και µάλιστα, f 1 = h. Πράγµατι, h = Id X h = (f 1 f)h = f 1 (fh) = f 1 Id Y = f 1. Πόρισµα Η σύνθεση gf δύο 1 1 και επί απεικονίσεων f και g είναι 1 1 και επί. Η αντίστροφή της είναι f 1 g Η αντίστροφη απεικόνιση f 1 µιας 1 1 και επί απεικόνισης f είναι και αυτή 1 1 και επί και µάλιστα, (f 1 ) 1 = f. 1.3 ιµελείς Πράξεις Εστω E ένα µη κενό σύνολο. Μία (διµελής) πράξη πάνω στο σύνολο E είναι µία απεικόνιση : E E E. Οπότε, σε κάθε Ϲεύγος (x, y) E E αντιστοιχεί ένα στοιχείο (x, y) E. Συνήθως για την εικόνα (x, y) χρησιµοποιούµε τον συµβολισµό x y. Παραδείγµατα Στο σύνολο των ϕυσικών αριθµών N = {1, 2,...} η συνηθισµένη πρόσθεση, ο συνηθισµένος πολλαπλασιασµός, καθώς και η απεικόνιση ελάχιστο κοινό πολλαπλάσιο (εκπ) είναι διµελείς πράξεις. [, ] : N N, (m, n) εκπ(m, n) 2. Εστω E ένα µη κενό σύνολο. Στο δυναµοσύνολο P(E) του E οι απεικονίσεις : P(E) P(E) P(E), και : P(E) P(E) P(E), είναι διµελείς πράξεις. (A, B) A B (A, B) A B Εστω X ένα µη κενό υποσύνολο του E. Θα λέµε ότι η πράξη : E E E είναι εσωτερική στο X (ή το X είναι κλειστό ως προς την ) αν x y X για κάθε x, y X. Για παράδειγµα, το σύνολο των άρτιων ϕυσικών αριθµών είναι κλειστό ως προς την πρόσθεση, ενώ το σύνολο των περιττών αριθµών δεν είναι κλειστό ως προς την πρόσθεση. Εστω η (διµελής) πράξη : E E E. Αν η είναι προσεταιριστική, δηλαδή, (x y) z = x (y z) για όλα τα x, y, z E, το Ϲεύγος (E, ) ονοµάζεται ηµιοµάδα. Η προσεταιριστική ιδιότητα έχει την παρακάτω συνέπεια.

5 1.3. ΙΜΕΛΕΙΣ ΠΡΑΞΕΙΣ 17 Πρόταση 1.2 (Γενικευµένος προσεταιριστικός νόµος) Αν µία πράξη πάνω στο E είναι προσεταιριστική, τότε µε οποιοδήποτε τρόπο και αν «πολλαπλασιάσουµε» τα n στοιχεία του g 1,..., g n, διατηρώντας την σειρά τους, παίρνουµε το ίδιο στοιχείο. Απόδειξη. Θα χρησιµοποιήσουµε επαγωγή στο n. Για n = 2 ή 3 προφανώς ισχύει. Υποθέτουµε ότι αληθεύει για όλα τα m < n. Εστω g ένα «γινόµενο» που σχηµατίζεται από τα στοιχεία g 1,..., g n παρµένα µε αυτή τη σειρά. Τότε, το g γράφεται στη µορφή u v, όπου u, v είναι οι όροι της τελευταίας πράξης που γίνεται για το σχηµατισµό του g. Το u σχηµατίζεται από τα στοιχεία g 1,..., g κ (1 κ n 1) και το v σχηµατίζεται από τα στοιχεία g κ+1,..., g n. Αν κ = n 1, έχουµε ότι v = g n και το u είναι ένα «γινόµενο» που σχηµατίζεται από τα στοιχεία g 1,..., g n 1, άρα, από την επαγωγική µας υπόθεση u = g 1 g 2... g n 1. Συνεπώς, g = g 1... g n 1 g n. ιαφορετικά, σύµφωνα µετην επαγωγική υπόθεση, u = g 1 g 2... g κ και v = g κ+1... g n, µε 1 κ n 2. Εποµένως, g = u v = (g 1 g 2... g κ ) (g κ+1... g n ) (επαγωγική υπόθεση) = (g 1 g 2... g κ ) [(g κ+1... g n 1 ) g n ] (προσεταιριστική ιδιότητα) = [(g 1 g 2... g κ ) (g κ+1... g n 1 )] g n (επαγωγική υπόθεση) = (g 1 g 2... g n 1 ) g n = g 1... g n. Παρόµοια σύµβολα µε το είναι επίσης τα,, +,, κτλ. και για διαφο- ϱετικές πράξεις πάνω στο ίδιο σύνολο E χρησιµοποιούµε διαφορετικά σύµβολα. Συνήθως, για κάθε πράξη χρησιµοποιείται µία ονοµασία, όπως πολλαπλασιασµός, πρόσθεση κτλ. Στη Θεωρία Οµάδων κυρίως χρησιµοποιείται η ονοµασία «πολλαπλασιασµός» και η πολλαπλασιαστική γραφή (µε παράλειψη του συµβόλου της πράξης) ab, µε a, b E, διαφορετικά αναφέρεται σαφώς. Μία πράξη πάνω στο σύνολο E ονοµάζεται µεταθετική αν ab = ba για όλα τα a, b E. Ενα στοιχείο e E ονοµάζεται δεξιό ουδέτερο (αντιστ. αριστερό ουδέτερο) ως προς την πράξη αν ae = a (αντιστ. ea = a) για κάθε a E. Το στοιχείο e E ονοµάζεται ουδέτερο αν ταυτόχρονα είναι δεξιό και αριστερό ουδέτερο. Ετσι, σε ένα σύνολο E εφοδιασµένο µε πράξη, το e E είναι ουδέτερο στοιχείο αν : ae = a = ea για κάθε a E. Κάνοντας χρήση της προηγούµενης ιδιότητας είναι εύκολο να αποδειχθεί ότι αν το ουδέτερο στοιχείο υπάρχει, τότε είναι και µοναδικό. Πράγµατι, έστω ότι υπάρχουν δύο ουδέτερα στοιχεία e 1, e 2. Τότε, e 1 = e 1 e 2 (αφού το e 2 είναι ουδέτερο στοιχείο) = e 2 (αφού το e 1 είναι ουδέτερο στοιχείο). Εστω µία πράξη πάνω στο σύνολο E µε ουδέτερο στοιχείο e. Ενα στοιχείο x (αντιστ. x ) καλείται δεξιό αντίστροφο (αντιστ. αριστερό αντίστροφο) ενός στοιχείου x E, αν xx = e (αντιστ. x x = e). Ενα στοιχείο x καλείται αντίστροφο του x αν είναι ταυτόχρονα δεξιό και αριστερό αντίστροφο του x. ηλαδή, το x είναι αντίστροφο του x αν xx = e = x x.

6 18 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ Παραδείγµατα Στο σύνολο R ορίζουµε την πράξη µε τύπο x y = (x 1)y 2 + xy (x 1). Η πράξη είναι καλά ορισµένη, επειδή η έκφραση (x 1)y 2 + xy (x 1) είναι πολυωνυµική. Θα δείξουµε ότι ο 1 R είναι το ουδέτερο στοιχείο ως προς την πράξη. Αν υπάρχει το ουδέτερο στοιχείο e R, τότε ϑα πρέπει να ισχύει x e = x = e x για κάθε x R. Εκτελώντας τις πράξεις, ϐλέπουµε ότι το e πρέπει να ικανοποιεί τις παρακάτω σχέσεις ταυτόχρονα e 2 + e 2 = 0, e 2 1 = 0, e 1 = 0. Οι τελευταίες σχέσεις µάς δίνουν e = 1 άρα, το 1 R είναι το ουδέτερο στοιχείο για την πράξη. 2. Στο R ορίζουµε την πράξη µε x y = x + y + x 2 y 2. Να εξετάσουµε αν υπάρχει ουδέτερο στοιχείο ως προς την πράξη. ηλαδή, αν υπάρχει e R έτσι, ώστε για κάθε x R να ισχύει : x e = e x = x. Με πράξεις παίρνουµε την εξίσωση e 2 x 2 + e = 0 για κάθε x R. Από εδώ προκύπτει ότι e = 0. Η επόµενη πρόταση µάς λέει ότι όταν το αντίστροφο υπάρχει και η πράξη είναι προσεταιριστική, τότε το αντίστροφο είναι µοναδικό. Μία ηµιοµάδα E µε ουδέτερο στοιχείο e ονοµάζεται µονοειδές. Πρόταση 1.3 Εστω E ένα µονοειδές µε ουδέτερο στοιχείο e. Αν για το στοιχείο x E υπάρχει x E τέτοιο, ώστε xx = e = x x, τότε το x είναι µοναδικό. Απόδειξη. Εστω x και x δύο αντίστροφα του στοιχείου x. Τότε, x = x e = x (xx ) = (x x)x = ex = x. Παράδειγµα 1.1 Στο σύνολο R ορίζουµε µια πράξη µε x y = x + y + x 2 y 2. Να εξετασθεί ποια στοιχεία του R έχουν αντίστροφο ή αντίστροφα. Στο Παραδείγµατα 1.2(2) δείξαµε ότι το 0 είναι το ουδέτερο στοιχείο της πράξης. Κατόπιν εξετάζουµε ποια στοιχεία x R έχουν x R τέτοια, ώστε Κάνοντας τις πράξεις καταλήγουµε στη x x = 0 = x x. x 2 (x ) 2 + x + x = 0. ( ) (Παρατηρούµε ότι η πράξη είναι µεταθετική.) Για τη διερεύνηση της παραπάνω εξίσωσης δουλεύουµε ως εξής :

7 1.3. ΙΜΕΛΕΙΣ ΠΡΑΞΕΙΣ Αν x = 0, τότε η εξίσωση ( ) δίνει x = Αν x 0, τότε η ( ) είναι εξίσωση δευτέρου ϐαθµού ως προς x και διακρίνουµε τις περιπτώσεις : (αʹ) Αν > 0, τότε x < και η ( ) έχει δύο ϱίζες πραγµατικές και άνισες, δηλαδή, για κάθε x R µε x 0 και x < αντίστροφα. (Γιατί συµβαίνει αυτό ;) έχουµε δύο (ϐʹ) Αν = 0, τότε x = και η ( ) έχει µία ϱίζα πραγµατική και έχει αντίστροφο το x = 3 2. (γʹ) Αν < 0, τότε η ( ) δεν έχει πραγµατικές ϱίζες και άρα, κάθε x R µε x > δεν έχει αντίστροφο. Ενα Ϲεύγος (G, ) αποτελούµενο από ένα µη κενό σύνολο G και µια πράξη µε (x, y) x y, τέτοια, ώστε 1. Η πράξη είναι προσεταιριστική. : G G G 2. Υπάρχει e G τέτοιο, ώστε g e = g = e g για κάθε g G. 3. Για κάθε g G, υπάρχει g G τέτοιο, ώστε g g = e = g g. ονοµάζεται οµάδα. Επιπλέον, αν η πράξη είναι µεταθετική, τότε η οµάδα (G, ) ονοµάζεται αβελιανή. Στην περίπτωση που ο πληθικός αριθµός του συνόλου G είναι πεπερασµένος, δηλαδή, G <, η G ονοµάζεται πεπερασµένη οµάδα. Παραδείγµατα Τα σύνολα Z, Q, R και C των ακέραιων, των ϱητών, των πραγµατικών και των µιγαδικών αριθµών εφοδιασµένα µε τη συνηθισµένη πρόσθεση αποτελούν αβελιανές οµάδες. εν είναι οµάδες αν είναι εφοδιασµένα µε το γνωστό πολλαπλασιασµό. 2. Τα σύνολα Q = Q \ {0}, R = R \ {0} και C = C \ {0} εφοδιασµένα µε το συνηθισµένο πολλαπλασιασµό αποτελούν αβελιανές οµάδες. 3. Το πεπερασµένο σύνολο V = {e, x, y, z} εφοδιασµένο µε την πράξη e x y z e e x y z x x e z y y y z e x z z y x e είναι αβελιανή οµάδα η οποία ονοµάζεται τετραδική οµάδα Klein, προς τιµή του Γερµανού µαθηµατικού Felix Klein.

8 20 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ 4. Εστω n ϑετικός ακέραιος µε n 2. Το σύνολο των αντιστρέψιµων n n πινάκων µε στοιχεία από το R εφοδιασµένο µε τον συνηθισµένο πολλαπλασιασµό αποτελεί µη αβελιανή οµάδα. Η οµάδα αυτή ονοµάζεται γενική γραµµική οµάδα και συµβολίζεται µε GL(n, R). Η ονοµασία αβελιανή οµάδα είναι προς τιµή του Νορβηγού µαθηµατικού Abel. Στην περίπτωση που έχουµε µια αβελιανή οµάδα, χρησιµοποιούµε συνήθως την προσθετική γραφή +, δηλαδή, x + y, το αντίστροφο του x το συµβολίζουµε µε x και καλείται συµµετρικό ή αντίθετο και το ουδέτερο στοιχείο συµβολίζεται µε 0 G (ή απλά 0). Στην περίπτωση πολλαπλασιαστικής γραφής χρησιµοποιούµε 1 G (ή απλά 1) αντί του e και το αντίστροφο του x το συµβολίζουµε µε x 1. Λήµµα 1.1 Εστω G µία (πολλαπλασιαστική) οµάδα. 1. Ισχύουν οι νόµοι διαγραφής : ca = cb = a = b και ac = bc = a = b. 2. Για κάθε a, b G, (ab) 1 = b 1 a 1 και (a 1 ) 1 = a. 3. Οι εξισώσεις ax = b και xa = b έχουν µοναδικές λύσεις a 1 b και ba 1, αντίστοιχα. Απόδειξη. 1. Εστω ca = cb. Τότε, c 1 (ca) = c 1 (cb). Επειδή ισχύει η προσεταιριστική ιδιότητα (c 1 c)a = (c 1 c)b. Εποµένως, 1 G a = 1 G b και έτσι, a = b. Οµοια, αποδεικνύουµε ac = bc = a = b. 2. Επειδή (ab)(b 1 a 1 ) = a(bb 1 )a 1 = a1 G a 1 = 1 G = b 1 1 G b = b 1 (a 1 a)b = (b 1 a 1 )(ab), το b 1 a 1 είναι αντίστροφο στοιχείο του ab. Λόγω του ότι η G είναι οµάδα, το αντίστροφο κάθε στοιχείου της G είναι µοναδικό και έτσι, έχουµε ότι (ab) 1 = b 1 a 1. Οµοια δουλεύουµε για να δείξουµε ότι (a 1 ) 1 = a για κάθε a G. 3. Εστω xa = b. Τότε, (xa)a 1 = ba 1 x(aa 1 ) = ba 1 x1 G = ba 1 x = ba 1. Εποµένως, το στοιχείο ba 1 είναι µία λύση της εξίσωσης. Εστω x 1, x 2 G τέτοια, ώστε x 1 a = b = x 2 a. Από το Λήµµα 1.1(1) έπεται ότι x 1 = x 2. Οµοια επιχειρήµατα εφαρµόζουµε και για τη δεύτερη εξίσωση.

9 1.4. ΣΥΝΟΛΑ ΜΕ ΥΟ ΙΜΕΛΕΙΣ ΠΡΑΞΕΙΣ 21 Στο παρακάτω αποτέλεσµα δίνουµε µια ικανή και αναγκαία συνθήκη για το πότε µία ηµιοµάδα είναι οµάδα. Μερικοί συγγραφείς δίνουν το αποτέλεσµα αυτό και σαν ορισµό. Πρόταση 1.4 Ενα σύνολο G εφοδιασµένο µε µία προσεταιριστική πράξη είναι οµάδα αν και µόνο αν ισχύουν τα παρακάτω : 1. Υπάρχει ένα στοιχείο e G (δεξιό ουδέτερο) τέτοιο, ώστε ge = g για κάθε g G. 2. Για κάθε g G υπάρχει g G (δεξιό αντίστροφο) τέτοιο, ώστε gg = e. Απόδειξη. Αν G είναι οµάδα, τότε προφανώς ισχύουν οι (1) και (2) της πρότασης. Εποµένως, αρκεί να αποδειχθεί ότι το υπό του (1) δεξιό ουδέτερο e είναι και αριστερό ουδέτερο και το υπό του (2) δεξιό αντίστροφο g είναι και αριστερό αντίστροφο του g. Εστω g το δεξιό αντίστροφο του g. Ετσι, g g = (g g)e = (g g)(g g ) = g (gg )(g ) = g eg = (g e)g = g g = e και εποµένως, eg = (gg )g = g(g g) = ge = g. Στην διατύπωση της Πρότασης 1.4 µπορούµε να αντικαταστήσουµε το δεξιό ουδέτερο και το δεξιό αντίστροφο µε αριστερό ουδέτερο και αριστερό αντίστρο- ϕο, αντίστοιχα. Εστω g ένα στοιχείο της (πολλαπλασιαστικής) οµάδας G και n ακέραιος αριθµός. Η n-οστή δύναµη g n του g ορίζεται επαγωγικά ως εξής : 1. g 0 = 1 G, g 1 = g και g 1 είναι το αντίστροφο του g 2. g n+1 = g n g, αν n > 0 και 3. g n = (g n ) 1, αν n < 0. Με την ϐοήθεια της µαθηµατικής επαγωγής µπορούµε να δείξουµε ότι ι- σχύουν τα εξής : Εστω m και n ακέραιοι και g ένα στοιχείο µιας οµάδας G. Τότε, g m g n = g n+m και (g m ) n = g mn = (g m ) n. 1.4 Σύνολα µε δύο διµελείς πράξεις Στην Παράγραφο 1.3 ορίσαµε τις έννοιες ηµιοµάδα, µονοειδές και οµάδα. Κάθε µία από αυτές είναι ένα Ϲεύγος (G, ), όπου το G είναι σύνολο και µία διµελής πράξη στο G. Η διαφορά µεταξύ της ηµιοµάδας, του µονοειδούς και της οµάδας οφείλεται στις διαφορετικές ιδιότητες που ικανοποιεί η πράξη. Στην παρούσα παράγραφο ϑα ορίσουµε δύο νέες έννοιες το δακτύλιο και το σώµα. ακτύλιος µε µονάδα (ή απλά δακτύλιος) είναι ένα µη κενό σύνολο S εφοδιασµένο µε δύο διµελείς πράξεις, την πρόσθεση και τον πολλαπλασιασµό, + : S S S, (x, y) x + y και : S S S, (x, y) x y για όλα τα x, y S, έτσι, ώστε (S, +) είναι αβελιανή οµάδα, (S, ) είναι µονοειδές και, επιπλέον, ισχύουν οι ιδιότητες

10 22 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ 1. (x + y) z = x z + y z 2. x (y + z) = x y + x z για όλα τα x, y, z S. Ο δακτύλιος λέγεται µεταθετικός αν x y = y x για όλα τα x, y S. Να σηµειώσουµε ότι όταν αναφερόµαστε στο µονοειδές (S, ) του δακτυλίου S, ϑα γράφουµε xy αντί του x y. Το µηδέν 0 S (ή απλά 0) του δακτυλίου S ορίζεται να είναι το ουδέτερο στοιχείο της (S, +) και η µονάδα 1 S (ή απλά 1) του δακτυλίου S ορίζεται να είναι το ουδέτερο στοιχείο του (S, ). Να παρατηρήσουµε ότι x0 S = 0 S = 0 S x για όλα τα x S. Λέµε ότι ο δακτύλιος S είναι µη τετριµµένος αν 0 S 1 S. Ενα στοιχείο x S ονοµάζεται αντιστρέψιµο, αν υπάρχει y S έτσι, ώστε xy = yx = 1 S. Αν ένα τέτοιο στοιχείο y S υπάρχει, τότε από την Πρόταση 1.3, το y είναι µοναδικό στοιχείο και έτσι, µπορούµε να γράφουµε y = x 1. Λήµµα 1.2 Εστω U(S) το σύνολο των αντιστρέψιµων στοιχείων του δακτυλίου S. Τότε, U(S) είναι οµάδα. Απόδειξη. Αφού 1 S U(S), έχουµε ότι U(S). Εστω x, y U(S). Τότε, (xy)(y 1 x 1 ) = xyy 1 x 1 = x1 S x 1 = xx 1 = 1 S = y 1 y = y 1 1 S y = y 1 x 1 xy = (y 1 x 1 )(xy). Εποµένως, xy U(S). Με άλλα λόγια, το U(S) είναι κλειστό ως προς τον πολλαπλασιασµό. Επειδή (S, ) είναι µονοειδές, έχουµε ότι ισχύει η προσεταιριστική ιδιότητα. Το 1 S είναι το ουδέτερο στοιχείο της U(S). Εστω x U(S). Τότε, xx 1 = 1 S = x 1 x. Επειδή (x 1 ) 1 = x, έχουµε ότι x 1 U(S). Συνεπώς, το U(S) είναι οµάδα. Παραδείγµατα Εστω S ένας δακτύλιος µε 0 S = 1 S. Τότε, ο S = {0 S }. Πράγµατι, έστω x S. Τότε, x1 S = x, αφού το 1 S είναι το ουδέτερο στοιχείο του (S, ). Επειδή 0 S = 1 S, έχουµε ότι x = x0 S. Αλλά, x0 S = 0 S και έτσι, x = 0 S. 2. Το σύνολο των ακέραιων αριθµών Z εφοδιασµένο µε τις συνήθεις πράξεις της πρόσθεσης και του πολλαπλασιασµού των ακέραιων αριθµών αποτελεί µεταθετικό δακτύλιο. Τα µόνα αντιστρέψιµα στοιχεία του είναι το +1 και 1. Ετσι, U(Z) = {+1, 1}. 3. Το σύνολο M n n (Z) των n n πινάκων µε ακέραια στοιχεία εφοδιασµένο µε τις συνήθεις πράξεις της πρόσθεσης και του πολλαπλασιασµού των πινάκων είναι µη µεταθετικός δακτύλιος. Τα αντιστρέψιµα στοιχεία του είναι όλοι οι n n πίνακες µε ακέραια στοιχεία που έχουν ορίζουσα ±1. Με άλλα λόγια, U(M n n (Z)) = GL(n, Z).

11 1.5. ΟΜΟΜΟΡΦΙΣΜΟΙ ΟΜΑ ΩΝ 23 Σώµα είναι ένας µεταθετικός δακτύλιος F µε U(F) = F, όπου F = F \ {0 F }. Ετσι, για παράδειγµα, τα σύνολα Q, R και C των ϱητών, των πραγµατικών και των µιγαδικών αριθµών, αντίστοιχα, εφοδιασµένα µε τις συνήθεις πράξεις της πρόσθεσης και του πολλαπλασιασµού αριθµών είναι σώµατα. Μία πιο συνθετική έννοια, που ϑα τη χρειασθούµε αργότερα, είναι η έννοια του διανυσµατικού χώρου πάνω από σώµα. Εστω F σώµα. ιανυσµατικός χώρος πάνω από το F είναι µία τριάδα (V, +, ), όπου V είναι ένα µη κενό σύνολο και απεικονίσεις + : V V V, (x, y) x + y, και : F V V, (λ, x) λ x για όλα τα x, y V και λ F έτσι, ώστε (V, +) είναι αβελιανή οµάδα και η απεικόνιση ικανοποιεί τις ιδιότητες 1. α (β x) = (αβ) x για όλα τα α, β F και x V F x = x για όλα τα x V. 3. (α + β) x = α x + β x για όλα τα α, β F και x V. 4. α (x + y) = α x + α y για όλα τα α F και x, y V. Για παράδειγµα το σύνολο των πραγµατικών αριθµών R εφοδιασµένο µε τις συνήθεις πράξεις της πρόσθεσης και του πολλαπλασιασµού µπορεί να ϑεωρηθεί διανυσµατικός χώρος πάνω από το σώµα R. 1.5 Οµοµορφισµοί οµάδων Εστω G και H οµάδες. οµάδων αν Μία απεικόνιση f : G H καλείται οµοµορφισµός f(xy) = f(x)f(y) για κάθε x, y G. Αν η f είναι 1 1, τότε ο οµοµορφισµός f ονοµάζεται µονοµορφισµός. Αν η f είναι επί, ο οµοµορφισµός f ονοµάζεται επιµορφισµός. Αν f είναι 1 1 και επί, τότε ο οµοµορφισµός f ονοµάζεται ισοµορφισµός. Στην περίπτωση αυτή λέµε ότι οι οµάδες G και H είναι ισόµορφες και το συµβολίζουµε G = H. Ενας οµοµορφισµός f : G G ονοµάζεται ενδοµορφισµός. Αν, επιπλέον, ο ενδοµορφισµός f είναι 1 1 και επί, ο f ονοµάζεται αυτοµορφισµός. Παραδείγµατα Για τυχαίες οµάδες G και H, υπάρχει πάντα ένας ο- µοµορφισµός από την G στην H, ο τετριµµένος οµοµορφισµός, f : G H, f(g) = 1 H, g G. 2. Εστω G µία οµάδα. Η απεικόνιση Id G : G G, µε Id G (x) = x για κάθε x G, είναι ένας οµοµορφισµός, αφού Id G (xy) = Id G (x)id G (y) για όλα τα x, y G. Προφανώς, ο Id G είναι αυτοµορφισµός. 3. Εστω m N, µε m 2. Η απεικόνιση f m : Z Z, µε f m (x) = mx για κάθε x Z, είναι ένας ενδοµορφισµός της προσθετικής οµάδας (Z, +) στον εαυτό της. Η f m είναι 1 1, αλλά, δεν είναι επί.

12 24 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ 4. Εστω V = {e, x, y, z} η τετραδική οµάδα Klein. Ορίζουµε την απεικόνιση f : V V ως εξής : f(e) = f(x) = e και f(y) = f(z) = x. Η f είναι ενδοµορφισµός, αλλά, η f δεν είναι ούτε επί ούτε Εστω R το σώµα των πραγµατικών αριθµών και U(R) η πολλαπλασιαστική οµάδα του R. ηλαδή, U(R) = (R, ). Η απεικόνιση det : GL(n, R) U(R) που στέλνει το g GL(n, R) στην ορίζουσά του det g είναι οµοµορφισµός οµάδων. Επιπλέον, η det είναι επί. 6. Κάθε διανυσµατικός χώρος V πάνω από το R σχηµατίζει µία προσθετική οµάδα V +. Για κάθε a R, η απεικόνιση λ a : V + V + µε λ a (v) = a v για όλα τα v V +, είναι οµοµορφισµός οµάδων. Αν το a 0, τότε λ a είναι αυτοµορφισµός. Λήµµα Εστω f : G H ένας οµοµορφισµός οµάδων. Τότε, (αʹ) f(1 G ) = 1 H (ϐʹ) f(x 1 ) = (f(x)) 1 για κάθε x G. 2. Εστω f : G H και g : H N οµοµορφισµοί οµάδων. Τότε, η σύνθεση gf : G N είναι ο οµοµορφισµός. 3. Εστω f ένας αυτοµορφισµός της οµάδας G. Τότε, η f 1 είναι αυτοµορφισµός της G. Απόδειξη. 1. Θέτοντας x = y = 1 G, f(1 G )f(1 G ) = f(1 G 1 G ) = f(1 G ) = 1 H f(1 G ). Από το Λήµµα 1.1 (1), f(1 G ) = 1 H. Για να δείξουµε ότι f(x 1 ) = (f(x)) 1 για κάθε x G, αρκεί να δείξουµε ότι Επειδή η f είναι οµοµορφισµός f(x)f(x 1 ) = 1 H = f(x 1 )f(x). f(x)f(x 1 ) = f(xx 1 ) = f(1 G ) = 1 H = f(1 G ) = f(x 1 x) = f(x 1 )f(x).

13 1.5. ΟΜΟΜΟΡΦΙΣΜΟΙ ΟΜΑ ΩΝ Για κάθε x, y G, έχουµε ότι (gf)(xy) = g(f(xy)) = g(f(x)f(y)) = g(f(x))g(f(y)) = (gf)(x)(gf)(y). Εποµένως, η σύνθεση οµοµορφισµών οµάδων είναι οµοµορφισµός. 3. Αρκεί να δείξουµε ότι η f 1 είναι ενδοµορφισµός. Εστω y 1, y 2 G. Τότε, υπάρχουν µοναδικά x 1, x 2 G έτσι, ώστε f(x i ) = y i και f 1 (y i ) = x i, i = 1, 2. Επειδή η f είναι αυτοµορφισµός f 1 (y 1 y 2 ) = f 1 (f(x 1 )f(x 2 )) = f 1 (f(x 1 x 2 )) = x 1 x 2 = f 1 (y 1 )f 1 (y 2 ). Συνεπώς, η f 1 είναι αυτοµορφισµός της G. Με End(G) συµβολίζουµε το σύνολο των ενδοµορφισµών της οµάδας G. Το End(G) µε πράξη τη σύνθεση απεικονίσεων είναι ηµιοµάδα µε ουδέτερο στοιχείο την ταυτοτική απεικόνιση. Το σύνολο των αυτοµορφισµών της οµάδας G συµβολίζεται µε Aut(G). Το Aut(G) είναι υποσύνολο του End(G) και είναι κλειστό ως προς την πράξη της σύνθεσης απεικονίσεων. Εύκολα διαπιστώνουµε ότι αποτελεί οµάδα, την οµάδα αυτοµορφισµών της G. Παραδείγµατα Εστω V ένας διανυσµατικός χώρος πεπερασµένης διάστασης n, µε n 2, πάνω από το C. Συµβολίζουµε µε GL(V ) το σύνολο των αυτοµορφισµών του V. Το σύνολο GL(V ) εφοδιασµένο µε πράξη την σύνθεση απεικονίσεων είναι (µη αβελιανή) οµάδα. Εστω GL(n, C) η γενική γραµµική οµάδα ϐαθµού n πάνω από το C. Οι δύο οµάδες GL(V ) και GL(n, C) είναι ισόµορφες µεταξύ τους. Πράγµατι, διαλέγοντας µία ϐάση B του V, κάθε αυτοµορφισµός f του V συνδέεται µε ένα στοιχείο M B (f) GL(n, C). Η αντιστοιχία M : GL(V ) GL(n, C), µε M(f) = M B (f), είναι ισοµορφισµός οµάδων. 2. Ενα γράφηµα αποτελείται από ένα σύνολο κορυφών V (Γ) και από ένα σύνολο ακµών E(Γ). Κάθε ακµή συνδέεται µε ένα µη διατεταγµένο Ϲεύγος κορυφών µε την συνάρτηση ENDS, ENDS(e) = {v, w}, όπου v, w V. Σε αυτή την περίπτωση, λέµε ότι τα v και w είναι γειτονικά (adjacent). Επιτρέπουµε στα γραφήµατα να υπάρχουν πολλαπλές ακµές καθώς, να υπάρχουν ϐρόχοι (loops), δηλαδή, ακµές στις οποίες η αρχή και το τέλος είναι η ίδια κορυφή. Γραφήµατα που δεν υπάρχουν πολλαπλές ακµές και ϐρόχοι ονοµάζονται απλά. Αυτοµορφισµός ενός γραφήµατος Γ είναι µία 1 1 και επί απεικόνιση α πάνω στο σύνολο κορυφών V (Γ) που

14 26 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ στέλνει κορυφές σε κορυφές και ακµές σε ακµές έτσι, ώστε αν ENDS(e) = {v, w}, τότε ENDS(α(e)) = {α(v), α(w)}. Η οµάδα αυτοµορφισµών του γραφήµατος Γ συµβολίζεται µε Aut(Γ). Ετσι, αν Γ = K n, το πλήρες απλό γράφηµα ϐαθµού n, τότε Aut(K n ) = S n. Ας δούµε ένα µη τετριµµένο παράδειγµα. Πρώτα από όλα, να δώσουµε το ορισµό του κύκλου. Ο κύκλος µε n κορυφές είναι το γράφηµα C n µε σύνολο κορυφών το {0,..., n 1} και το i είναι γειτονικό µε το j αν και µόνο αν j i ±1 (mod n). (Παραπέµπουµε τον αναγνώστη στην Παράγραφο 1.7 για τον ορισµό της (mod n) και ϐασικές ιδιότητές της.) Αν g S n που απεικονίζει το i στο (i + 1) (mod n), τότε g Aut(C n ). Εποµένως, η Aut(C n ) περιέχει το σύνολο R = {g m : 0 m n 1}. Είναι εύκολο να δειχθεί ότι η µετάθεση h που απεικονίζει το i στο i (mod n) είναι αυτοµορφισµός του C n. Παρατηρώντας ότι h(0) = 0, το h σταθεροποιεί µία κορυφή του C n. Από την άλλη πλευρά κανένα µη τετριµµένο στοιχείο του R δεν έχει σταθερά σηµεία. Συνεπώς, το h δεν είναι δύναµη του g και έτσι, h / R. Είναι εύκολο να δειχθεί ότι ο πληθικός αριθµός του Aut(C n ) είναι µεγαλύτερος ή ίσος του 2n. Στην πραγµατικότητα είναι ακριβώς 2n. 3. Εστω X ένα µη κενό σύνολο. Μετρική πάνω στο X είναι µία απεικόνιση που ικανοποιεί τις ιδιότητες : d : X X R (αʹ) d(x, y) 0 για όλα τα x, y X. x = y. (ϐʹ) d(x, y) = d(y, x) για όλα τα x, y X. (γʹ) d(x, z) d(x, y) + d(y, z) για όλα τα x, y, z X. Η ισότητα ισχύει αν και µόνο αν Ενα µη κενό σύνολο X εφοδιασµένο µε µία µετρική d ονοµάζεται µετρικός χώρος και συµβολίζεται µε (X, d). Μία ισοµετρία µετρικού χώρου (X, d) είναι µία 1 1 και επί απεικόνιση f : X X που διατηρεί την απόσταση, δηλαδή, d(f(x), f(y)) = d(x, y) για όλα τα x, y X. Το σύνολο των ισο- µετριών του (X, d) συµβολίζεται µε Isom(X, d). Είναι εύκολο να δειχθεί ότι το σύνολο Isom(X, d) µε πράξη τη σύνθεση απεικονίσεων αποτελεί οµάδα. Εστω (X, d) µετρικός χώρος και Y ένα υποσύνολο του X. Ονοµάζουµε συµµετρία του Y µία ισοµετρία f του (X, d) η οποία σταθεροποιεί το Y σαν σύνολο, δηλαδή, f(y ) = Y. Το σύνολο των συµµετριών του Y συµβολίζεται µε Sym(Y ). Οπότε, Sym(Y ) = {f Isom(X) : f(y ) = Y }. Είναι εύκολο να δειχθεί ότι Sym(Y ) είναι οµάδα µε πράξη τη σύνθεση απεικονίσεων. 1.6 Σχέσεις Ισοδυναµίας Εστω I ένα µη κενό σύνολο, ονοµάζεται σύνολο δεικτών, και υποθέτουµε ότι για κάθε i I έχουµε ένα µη κενό σύνολο X i. Τότε, λέµε ότι έχουµε µία οικογένεια συνόλων και την συµβολίζουµε µε X = {X i : i I}. ιαµελισµό (ή διαµέριση) ενός συνόλου X ονοµάζουµε µία οικογένεια {X i : i I} από µη κενά υποσύνολα του X έτσι, ώστε

15 1.6. ΣΧΕΣΕΙΣ ΙΣΟ ΥΝΑΜΙΑΣ X είναι η ένωση των X i, i I, 2. X i X j = για i j. Τα υποσύνολα X i ονοµάζονται µέρη του διαµελισµού του X. Εστω {X i : i I} ένας διαµελισµός του X. Τότε, ορίζεται µία σχέση R πάνω στο X, δηλαδή, R X X ως εξής : το (x, y) R αν και µόνο αν x, y X i για κάποιο i I. Η σχέση R ικανοποιεί τρεις ιδιότητες : ανακλαστική, συµµετρική και µεταβατική, οι οποίες προκύπτουν άµεσα από τον ορισµό. ηλαδή, 1. (Ανακλαστική) (x, x) R για κάθε x X. 2. (Συµµετρική) Αν (x, y) R, τότε (y, x) R. 3. (Μεταβατική) Αν (x, y) R και (y, z) R, τότε (x, z) R. Μία σχέση R πάνω στο σύνολο X ονοµάζεται σχέση ισοδυναµίας στο X αν είναι ανακλαστική, συµµετρική και µεταβατική. Εστω R µία σχέση ισοδυναµίας στο µη κενό σύνολο X. Θα γράφουµε x y (mod R), και ϑα διαβάζουµε το x είναι ισότιµο µε το y κατά µέτρο R, αντί του (x, y) R. Για κάθε x X, ορίζεται το [x] R = {y X : y x (mod R)}. Το [x] R ονοµάζεται κλάση ισοδυναµίας του x. Επειδή η R είναι σχέση ισοδυνα- µίας, έχουµε ότι x [x] R και έτσι, [x] R. Ενα οποιοδήποτε στοιχείο α της κλάσης ισοδυναµίας [x] R το λέµε αντιπρόσωπο της κλάσης [x] R. Λήµµα 1.4 Εστω X ένα µη κενό σύνολο, R µία σχέση ισοδυναµίας στο X και x, y X. Τότε, [x] R = [y] R αν και µόνο αν y x (mod R) αν και µόνο αν [x] R [y] R. Απόδειξη. Εστω [x] R = [y] R. Επειδή κάθε κλάση ισοδυναµίας είναι µη κενό σύνολο, έχουµε ότι [x] R [y] R. Αντίστροφα, υποθέτουµε ότι [x] R [y] R. Ισχυριζόµαστε ότι [x] R = [y] R. Εστω a [x] R και έστω z [x] R [y] R. Τότε, x a (mod R), z x (mod R) και z y (mod R). Λόγω του ότι η R είναι µεταβατική, z a (mod R). Επειδή η R είναι συµµετρική και µεταβατική, έχουµε ότι a y (mod R). Συνεπώς, a [y] R. Άρα, [x] R [y] R. Εναλλάσσοντας το x µε το y στην παραπάνω απόδειξη, έχουµε ότι [y] R [x] R και εποµένως, [x] R = [y] R. Εστω x y (mod R). Τότε, x [x] R [y] R και άρα, [x] R = [y] R. Αντίστροφα, έστω [x] R = [y] R. Επειδή y [y] R, έχουµε ότι y [x] R, δηλαδή, x y (mod R). Συµβολίζουµε µε X/R το σύνολο των κλάσεων ισοδυναµίας [x] R, x X. Το σύνολο X/R ονοµάζεται το σύνολο πηλίκο του X ως προς τη σχέση R. Πρόταση Κάθε σχέση ισοδυναµίας R σε ένα µη κενό σύνολο X ορίζει ένα διαµελισµό του συνόλου X. 2. Κάθε διαµελισµός D = (X i ) i I του µη κενού συνόλου X ορίζει µία σχέση ισοδυναµίας R D στο X τέτοια, ώστε το σύνολο πηλίκο X/R D συµπίπτει µε το D.

16 28 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ 3. Υπάρχουν τόσες σχέσεις ισοδυναµίας πάνω σε ένα µη κενό σύνολο X όσοι είναι και οι διαµελισµοί του συνόλου X. Απόδειξη. 1. Εστω R µία σχέση ισοδυναµίας στο X και έστω X/R το σύνολο πηλίκο του X ως προς τη σχέση R. Επειδή x [x] R, έχουµε ότι X = x X [x] R. Από το Λήµµα 1.4 συµπεραίνουµε ότι το X/R αποτελεί διαµελισµό του X. 2. Οπως είδαµε προηγουµένως, η σχέση R D που ορίζεται ως εξής : x y (mod R D ) αν και µόνο αν x, y X i για κάποιο i I είναι σχέση ισοδυνα- µίας στο X. Η κλάση ισοδυναµίας [x] RD του τυχαίου x X ισούται µε το X i, η οποία περιέχει το x, επειδή [x] RD = {y X : x y (mod R D )} = {y X : y X i } = X i. Συνεπώς, το σύνολο πηλίκο X/R D συµπίπτει µε το D. 3. Εστω E(X) το σύνολο όλων των σχέσεων ισοδυναµιών στο X και (X) το σύνολο όλων των διαµελισµών του X. Ισχυριζόµαστε ότι E(X) = (X), δηλαδή, υπάρχει 1 1 και επί απεικόνιση f από το E(X) στο (X). Ο- ϱίζουµε την απεικόνιση f : E(X) (X) µε τύπο f(r) = X/R η οποία στέλνει τη σχέση R στον αντίστοιχο δια- µελισµό (σύνολο πηλίκο) X/R. Θα δείξουµε ότι η f είναι 1 1 και επί. Πράγµατι, ορίζουµε την απεικόνιση g : (X) E(X) µε τύπο g(d) = R D. Από την Πρόταση 1.5(1) και την Πρόταση 1.5(2) προκύπτει ότι gf = Id E(X), fg = Id (X) και έτσι, η f είναι 1 1 και επί. Παράδειγµα 1.2 Να ϐρεθούν όλες οι σχέσεις ισοδυναµίας στο σύνολο X = {a, b, c}. Σύµφωνα µε όσα αναφέραµε προηγουµένως αρκεί να ϐρούµε όλους τους διαµελισµούς του X. Οι δυνατοί διαµελισµοί του X είναι πέντε, οι εξής : (1) X, (2) {a, b}, {c} (3) {a, c}, {b} (4) {b, c}, {a} (5) {a}, {b}, {c}, Η σχέση ισοδυναµίας που ορίζει ο διαµελισµός (1) είναι : R (1) = {(a, a), (b, b), (c, c), (a, b), (a, c), (b, a), (c, a), (b, c), (c, b)}.

17 1.6. ΣΧΕΣΕΙΣ ΙΣΟ ΥΝΑΜΙΑΣ 29 Η σχέση ισοδυναµίας που ορίζει ο διαµελισµός (4) είναι : R (4) = {(a, a), (b, b), (c, c), (b, c), (c, b)}. Η σχέση ισοδυναµίας που ορίζει ο διαµελισµός (5) είναι : R (5) = {(a, a), (b, b), (c, c)}. Οµοια, δουλεύουµε και στις άλλες περιπτώσεις. Εστω X ένα µη κενό σύνολο εφοδιασµένο µε µία πράξη. Μία σχέση ισοδυναµίας R στο X ονοµάζεται συµβιβαστή ως προς την πράξη αν ισχύει : x 1 y 1 (mod R) x 2 y 2 (mod R) = x 1 x 2 y 1 y 2 (mod R). Που χρησιµοποιείται η έννοια «συµβιβαστή» ; Εστω R µία σχέση ισοδυναµίας του X συµβιβαστή µε την πράξη. Ορίζουµε την απεικόνιση : X/R X/R X/R µε [x] R [y] R = [x y] R. Η απεικόνιση είναι καλά ορισµένη. Πράγµατι, έστω [x] R = [x ] R και [y] R = [y ] R. Τότε, x x (mod R) και y y (mod R). Επειδή η R είναι συµβιβαστή, έχουµε ότι x y x y (mod R) και έτσι, [x y] R = [x y ] R. Παραδείγµατα Εστω X το σύνολο των διατεταγµένων Ϲευγών (a, b), όπου a Z και b Z = Z \ {0}. Στο σύνολο X ορίζουµε µία σχέση R ως εξής : (a, b) (c, d) (mod R) ad = bc. Είναι εύκολο να δείξουµε ότι η R είναι σχέση ισοδυναµίας στο X. Η µελέτη της σχέσης R µάς δίνει µία κατασκευή των ϱητών αριθµών Q. Ορίζουµε στο X την πράξη : : X X X µε (a, b) (c, d) = (ad + bc, bd) για όλα τα (a, b), (c, d) X. Τότε, η R είναι συµβιβαστή µε την πράξη. Συνεπώς, το σύνολο πηλίκο X/R εφοδιάζεται µε την επαγόµενη πράξη [(a, b)] R [(c, d)] R = [(a, b) (c, d)] R. Συµβολίζοντας µε [(a, b)] R = a b, έχουµε ότι X/R = Q και η επαγόµενη πράξη είναι η πρόσθεση των ϱητών αριθµών. 2. Εστω M n n (R) το σύνολο των n n πινάκων µε πραγµατικά στοιχεία. Ορίζουµε στο M n n (R) την σχέση R ως εξής : A B (mod R) αν και µόνο αν υπάρχει P GL(n, R) έτσι, ώστε B = P 1 AP. Είναι απλό να δείξουµε ότι η R είναι σχέση ισοδυναµίας. Ετσι, η οµοιότητα των πινάκων είναι σχέση ισοδυναµίας. Η κλάση [A] R αποτελείται από τους «συζυγείς» πίνακες του A.

18 30 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ 1.7 ιαιρετότητα Κάποιες έννοιες από τη στοιχειώδη Θεωρία Αριθµών παίζουν σηµαντικό ϱόλο στη Θεωρία Οµάδων, ειδικότερα στη Θεωρία των πεπερασµένων οµάδων. Συγκεκρι- µένα, οι πρώτοι αριθµοί, η ευκλείδεια διαίρεση, ισοτιµίες και οι πρωταχικές ϱίζες χρησιµοποιούνται συχνά. Θεώρηµα 1.1 (Αλγόριθµος ιαίρεσης) Εστω a, b Z µε b 0. Τότε, υπάρχουν µοναδικοί ακέραιοι αριθµοί c και d έτσι, ώστε a = bc + d και 0 d < b. Ο αλγόριθµος διαίρεσης είναι συνέπεια του γεγονότος ότι οι ϑετικοί ακέραιοι είναι καλά διατεταγµένοι. Για την απόδειξή του, παραπέµπουµε τον αναγνώστη στο [1]. Θα λέµε ότι ο b διαιρεί τον a αν d = 0 στον αλγόριθµο διαίρεσης και γράφουµε b a, διαφορετικά γράφουµε b a. Οι ϐασικές ιδιότητες της διαίρεσης είναι 1. Για κάθε a Z \ {0}, a a, a 0, 1 a και 1 a. 2. Αν c > 0 και a c, τότε c a. 3. Αν a b και a c, τότε a (bx + cy) για όλα τα x, y Z. Ως άµεση συνέπεια του Θεωρήµατος 1.1 και της παραπάνω ιδιότητας (3) έχου- µε το ακόλουθο σηµαντικό αποτέλεσµα. Για µια πλήρης απόδειξή του, παραπέµπουµε τον αναγνώστη στο [1]. Θεώρηµα 1.2 (Αλγόριθµος του Ευκλείδη) Εστω a, b Z και έστω τουλάχιστον ένας από τους a, b είναι διαφορετικός από το 0. Τότε, υπάρχει µοναδικός ακέραιος αριθµός c τέτοιος, ώστε c > 0, c a, c b και αν d a, d b, τότε d c. Ο µοναδικός ϕυσικός αριθµός c που προκύπτει από τον Θεώρηµα 1.2 ονο- µάζεται µέγιστος κοινός διαιρέτης των a και b και συµβολίζεται µκδ(a, b). Μερικές ϐασικές ιδιότητες του µέγιστου κοινού διαιρέτη 1. µκδ(a, b) = µκδ(b, a). 2. µκδ(a, 0) = a. 3. Αν a b και b c, τότε ab (c µκδ(a, b)). 4. µκδ(a, a + b) b. 5. Αν µκδ(a, m) = µκδ(b, m) = 1, τότε µκδ(ab, m) = Αν µκδ(a, b) = d, τότε a/d, b/d Z και µκδ(a/d, b/d) = 1. Εστω a 1,..., a n ακέραιοι αριθµοί από τους οποίους ένας τουλάχιστον είναι διαφορετικός από το 0. Συµβολίζουµε µε S το σύνολο των ϑετικών κοινών διαι- ϱετών των a 1,..., a n. Αφού το 1 S, το S είναι µη κενό. Αν a κ 0 και δ S, τότε δ a κ και έτσι, δ a κ. Συνεπώς, το S είναι πεπερασµένο σύνολο. Το µέγιστο στοιχείο του S είναι ένας ϑετικός ακέραιος που λέγεται µέγιστος

19 1.7. ΙΑΙΡΕΤΟΤΗΤΑ 31 κοινός διαιρέτης των a 1,..., a n και συµβολίζεται µε µκδ(a 1,..., a n ). Παρατηρούµε ότι το σύνολο των ϑετικών διαιρετών του a Z είναι ίδιο µε αυτό του a. Συνεπώς, µκδ(a 1,..., a n ) = µκδ( a 1,..., a n ), δηλαδή, ο µέγιστος κοινός διαι- ϱέτης είναι ανεξάρτητος των προσήµων. Σηµειώνουµε ότι µκδ(0, a 1,..., a n ) = µκδ(a 1,..., a n ) και έτσι, µπορούµε να υποθέσουµε ότι κανένας από τους α- κέραιους a 1,..., a n δεν είναι 0. Αν µκδ(a 1,..., a n ) = 1, τότε οι ακέραιοι a 1,..., a n ονοµάζονται πρώτοι µεταξύ τους. Αν, επιπλέον, µκδ(a i, a j ) = 1, µε i j, τότε λέµε ότι οι a i, a j είναι πρώτοι µεταξύ τους ανά δύο. Είναι εύκολο να αποδειχθεί ότι αν a 1,..., a n είναι µη µηδενικοί ακέραιοι και d = µκδ(a 1,..., a n ), τότε υ- πάρχουν ακέραιοι κ 1,..., κ n έτσι, ώστε d = κ 1 a κ n a n. Εστω a 1,..., a n µη µηδενικοί ακέραιοι. Τότε, µπορούµε να δείξουµε, και αφήνεται ως άσκηση, ότι ο ϑετικός ακέραιοις d είναι ο µέγιστος κοινός διαιρέτης των a 1,..., a n αν και µόνο αν ισχύουν τα παρακάτω 1. d a 1,..., d a n και 2. Αν δ είναι ϑετικός ακέραιος µε δ a 1,..., δ a n, τότε δ d. Επιπλέον, αν d είναι ένας ϑετικός κοινός διαιρέτης των a 1,..., a n µε d = κ 1 a κ n a n, όπου κ 1,..., κ n Z, τότε d = µκδ(a 1,..., a n ). Να σηµειώσουµε ότι οι ακέραιοι a 1,..., a n είναι πρώτοι µεταξύ τους αν και µόνο αν υπάρχουν κ 1,..., κ n Z τέτοιοι, ώστε 1 = κ 1 a κ n a n. Ενας ϑετικός ακέραιος p > 1 ονοµάζεται πρώτος αν οι µόνοι ϑετικοί διαιρέτες του είναι οι ακέραιοι 1 και p. Ενας ϑετικός ακέραιος n ο οποίος δεν είναι πρώτος ονοµάζεται σύνθετος. Στην περίπτωση αυτή, υπάρχουν ακέραιοι κ, λ έτσι, ώστε n = κλ, 1 < κ λ < n. Λήµµα 1.5 Κάθε ϑετικός ακέραιος αριθµός 2 έχει τουλάχιστον έναν πρώτο διαιρέτη. Απόδειξη. Εστω a ένας ϑετικός ακέραιος 2 και a το σύνολο των ϑετικών διαιρετών δ του a. Επειδή a a, έχουµε ότι a και εποµένως, το a έχει ελάχιστο στοιχείο που το συµβολίζουµε µε p. Ισχυριζόµαστε ότι ο p είναι πρώτος. Υποθέτουµε ότι ο p είναι σύνθετος. Τότε, υπάρχουν κ, λ Z έτσι, ώστε p = κλ και 1 < κ λ < p. Ετσι, έχουµε ότι κ p και p a και άρα, κ a. Με άλλα λόγια, κ a και έτσι, κ < p, που είναι άτοπο. Εποµένως, ο ακέραιος p είναι πρώτος. Χρησιµοποιώντας το Λήµµα 1.5 αποδεικνύεται ότι υπάρχουν άπειροι πρώτοι αριθµοί. Το αποτέλεσµα αυτό αποδείχθηκε πρώτα από τον Ευκλείδη. Τέλος, διατυπώνουµε ένα από τα σηµαντικότερα αποτελέσµατα της στοιχειώδους Θεωρίας Αριθµών γνωστό ως Θεµελιώδες Θεώρηµα της Αριθµητικής (για µία απόδειξή του, δες, για παράδειγµα, [2]). Θεώρηµα 1.3 Κάθε ϑετικός ακέραιος αναλύεται σε γινόµενο πρώτων κατά ένα και µόνο τρόπο, αν παραβλέψουµε την τάξη των παραγόντων στο γινόµενο. Στην παρακάτω παρατήρηση-σχόλιο ϑα συνδυάσουµε τις έννοιες : «σχέση ισοδυναµίας» και «διαιρετότητα».

20 32 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ Παρατήρηση-Σχόλιο 1.1 (Ισοτιµίες) Εστω n ϕυσικός αριθµός, n 2. Ορίζουµε µία σχέση b (mod n) στο Z ως εξής : a b (mod n) αν και µόνο αν n (a b). Η έννοια αυτή εισήχθηκε από τον Gauss το 1801 και είναι ο ϑεµελιώδης λίθος των εννοιών (αριστερή ή δεξιά) πλευρική κλάση, (αριστερό ή δεξιό) σύστηµα αντιπροσώπων και οµάδα πηλίκο. Είναι εύκολο να δειχθεί ότι η (mod n) είναι σχέση ισοδυναµίας. Για να περιγράψουµε τις κλάσεις ισοδυναµίας ϑα αποδείξουµε ότι : a b (mod n) αν και µόνο αν οι a και b δίνουν το ίδιο υπόλοιπο όταν διαιρεθούν µε το n. Πράγµατι, έστω κ, λ, µ, ν Z έτσι, ώστε a = κn + µ, b = λn + ν, όπου 0 µ, ν < n. Προφανώς, n (a b) αν και µόνο αν n (µ ν). Επειδή µ ν < n, έχουµε ότι n (a b) αν και µόνο αν µ = ν. Για κάθε a Z συµβολίζουµε µε [a] n την κλάση ισοδυναµίας του a και την ονοµάζουµε κλάση ισοτιµίας του a (mod n). Προφανώς, a b (mod n) αν και µόνο αν [a] n = [b] n. Συµβολίζουµε µε Z n = Z/ (mod n) το σύνολο των κλάσεων ισοτιµίας (mod n). Από την παραπάνω παρατήρηση, έχουµε ότι Z n = {[0] n,..., [n 1] n }. Χρησιµοποιώντας τις ϐασικές ιδιότητες της διαιρετότητας είναι απλό να δείξου- µε ότι η σχέση ισοδυναµίας (mod n) είναι συµβιβαστή µε την πρόσθεση και τον πολλαπλασιασµό των ακέραιων αριθµών. Ετσι, στο σύνολο πηλίκο Z n ορίζονται οι πράξεις 1. [a] n + [b] n = [a + b] n και 2. [a] n [b] n = [ab] n για όλα τα [a] n, [b] n Z n. Πρόταση 1.6 Εστω [a] n Z n \ {[0] n }. Τότε, υπάρχει [b] n Z n τέτοιο, ώστε [a] n [b] n = [1] n αν και µόνο αν µκδ(a, n) = 1. Απόδειξη. Εστω [a] n Z n \ {[0] n } και υποθέτουµε ότι υπάρχει [b] n Z n έτσι, ώστε [a] n [b] n = [1] n. Άρα, ab 1 (mod n) και έτσι, ab 1 = κn για κάποιο κ Z. ηλαδή, ab + ( κ)n = 1 και εποµένως, µκδ(a, n) = 1. Αντίστροφα, αν µκδ(a, n) = 1, τότε υπάρχουν r, s Z έτσι, ώστε ar + ns = 1. Επειδή [1] n = [ar + ns] n = [ar] n + [ns] n = [ar] n = [a] n [r] n, έχουµε ότι [a] n [r] n = [1] n. Με άλλα λόγια, υπάρχει [r] n Z n έτσι, ώστε [a] n [r] n = [1] n. Συµβολίζουµε µε U n = U(Z n ) = {[a] n Z n : [a] n [b] n = [1] n για κάποιο [b] n Z n }. Είναι απλό να δείξουµε ότι U n είναι µία αβελιανή οµάδα. Αν ο n είναι p πρώτος, τότε U p = {[1] p,..., [p 1] p }. Χρησιµοποιώντας την αβελιανή οµάδα U p, ϑα δώσουµε µία ικανή και αναγκαία συνθήκη για το πότε ένας ϕυσικός αριθµός p είναι πρώτος. Το αποτέλεσµα αυτό είναι γνωστό στη ϐιβλιογραφία ως Θεώρηµα Wilson. Θεώρηµα 1.4 (Θεώρηµα Wilson) Ενας ακέραιος p > 1 είναι πρώτος αν και µόνο αν (p 1)! 1 (mod p).

21 1.7. ΙΑΙΡΕΤΟΤΗΤΑ 33 Απόδειξη. Υποθέτουµε ότι ο p είναι πρώτος. Αν p = 2, η παραπάνω ισοτιµία αληθεύει και έτσι, υποθέτουµε ότι p > 2. Θυµίζουµε ότι [1] p,..., [p 1] p U p. ηλαδή, οι κλάσεις [1] p,..., [p 1] p έχουν αντίστροφο. Εστω κ N µε 2 κ p 1. Τότε, κ 2 1(modp) p (κ 1)(κ + 1). Επειδή ο p είναι πρώτος, p (κ 1) ή p (κ + 1). Επειδή κ p 1, έχουµε ότι p (κ 1). Επίσης, η σχέση p (κ + 1) είναι ισοδύναµη µε κ = p 1. Άρα, κ 2 1 (mod p) κ = p 1 και έτσι, [κ 2 ] p = [1] p κ = p 1. Συνεπώς, οι µοναδικές κλάσεις του U p που έχουν ως αντίστροφο στοιχείο τον εαυτό τους είναι οι κλάσεις [1] p και [p 1] p. Τότε, οι υπόλοιπες κλάσεις [2] p,..., [p 2] p χωρίζονται σε (p 3)/2 Ϲεύγη ([a] p, [b] p ) µε [a] p [b] p και [a] p [b] p = [1] p. Οπότε, [2] p... [p 2] p = [1] p, δηλαδή, 2... (p 2) 1 (mod p) και εποµένως, (p 1)! 1 (mod p). Αντίστροφα, υποθέτουµε ότι n είναι ϕυσικός > 1 και ότι ικανοποιεί την ισοτιµία (n 1)! 1 (mod n). Αν ο n είναι σύνθετος, τότε υπάρχει ϕυσικός διαιρέτης d του n, µε 1 < d < n. Οπότε, d (n 1)!. Καθώς d n και n (n 1)! + 1, έχουµε ότι d (n 1)! + 1. Τέλος, από τις σχέσεις d (n 1)! και d (n 1)! + 1, έχουµε ότι 1 < d 1 που είναι άτοπο και άρα, ο n είναι πρώτος. Εστω n ένας ϕυσικός, µε n 2, και a, b Z. Μία ισοτιµία της µορφής ax b (mod n), όπου x ακέραιος, ονοµάζεται γραµµική ισοτιµία. Θα λέµε ότι ο ακέραιος x 0 επαληθεύει την παραπάνω γραµµική ισοτιµία αν ax 0 b (mod n). Στην περίπτωση αυτή, λέµε ότι [x 0 ] n είναι µία λύση της γραµµικής ισοτιµίας. Πρόταση Εστω µκδ(a, n) = 1. Τότε, η γραµµική ισοτιµία ax b (mod n) έχει ακριβώς µία λύση στο Z n. 2. Η γραµµική ισοτιµία ax b (mod n) έχει λύση αν και µόνο αν µκδ(a, n) b. Αν ο ακέραιος x 0 επαληθεύει τη γραµµική ισοτιµία, τότε υπάρχουν ακριβώς d = µκδ(a, n) λύσεις, οι x 0, x 0 + n d, x n d,..., x 0 + (d 1) n d (mod n). Απόδειξη. 1. Επειδή ο µκδ(a, n) = 1, από την Πρόταση 1.6 έχουµε ότι η κλάση ισοδυναµίας [a] n είναι αντιστρέψιµη. Άρα, υπάρχει ακέραιος c έτσι, ώστε ac 1 (mod n). Πολλαπλασιάζοντας και τα δύο µέλη της γραµµικής ισοτιµίας µε c παίρνουµε x bc (mod n). Λόγω της µοναδικότητας του αντιστρόφου, η [bc] n είναι η µοναδική λύση. 2. Θέτουµε d = µκδ(a, n). Εστω x 0 ακέραιος τέτοιος, ώστε ax 0 b (mod n). Υπάρχει c Z έτσι, ώστε ax 0 b = cn. Καθώς d a και d n παίρνουµε d b. Αντίστροφα, υποθέτουµε ότι d b. Τότε, b d Z. Παρατηρούµε ότι ένας

22 34 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ ακέραιος x επαληθεύει την ax b (mod n) αν και µόνο αν επαληθεύει την a d x b d (mod n d ). Επειδή µκδ( a d, n d ) = 1, από την Πρόταση 1.7(1), η πα- ϱαπάνω γραµµική ισοτιµία έχει µοναδική λύση την x x 0 (mod n d ). Άρα, το σύνολο των ακέραιων που επαληθεύουν την ax b (mod n) αποτελείται από όλους τους ακέραιους της µορφής x 0 + κ( n d ) µε κ Z. Εχουµε ότι x 0 + κ 1 n d x 0 + κ 2 n d (mod n) n (κ 1 κ 2 ) n d d (κ 1 κ 2 ) κ 1 κ 2 (mod d). Ετσι, όλες οι λύσεις της ax b (mod n) είναι x 0, x 0 + n d, x n d,..., x 0 + (d 1) n d (mod n). 1.8 Μεταθέσεις Εστω X ένα µη κενό σύνολο. Μία 1 1 και επί απεικόνιση σ : X X ονο- µάζεται µετάθεση του συνόλου X. Το σύνολο των µεταθέσεων του X εφοδιασµένο µε την πράξη της σύνθεσης απεικονίσεων αποτελεί οµάδα και συµβολίζεται µε Sym(X). Το ουδέτερο στοιχείο της είναι η ταυτοτική απεικόνιση Id X, ενώ το αντίστροφο της σ Sym(X) είναι η 1 1 και επί απεικόνιση σ 1. Η οµάδα Sym(X) ονοµάζεται η συµµετρική οµάδα του συνόλου X. Το επόµενο αποτέλεσµα µάς λέει ότι η οµάδα Sym(X) ουσιαστικά δεν εξαρτάται από το σύνολο X, αλλά από τον πληθικό του αριθµό X. Λήµµα 1.6 Εστω X και Y δύο µη κενά σύνολα. Αν X = Y, τότε η Sym(X) είναι ισόµορφη µε την Sym(Y ). Απόδειξη. Εστω X και Y δύο µη κενά σύνολα µε X = Y. Τότε, υπάρχει µία 1 1 και επί απεικόνιση φ από το X στο Y. Εστω f η απεικόνιση από το Sym(X) στο Sym(Y ) µε f(σ) = φσφ 1 για κάθε σ Sym(X). Ισχυριζόµαστε ότι η f είναι ισοµορφισµός. Πράγµατι, f(στ) = φ(στ)φ 1 = (φσφ 1 )(φτφ 1 ) = f(σ)f(τ). Με άλλα λόγια, η f είναι οµοµορφισµός. Εστω f(σ) = f(τ). Τότε, φσφ 1 = φτφ 1 = φ 1 (φσφ 1 ) = φ 1 (φτφ 1 ) = (φ 1 φ)σφ 1 = (φ 1 φ)τφ 1 = Id X σφ 1 = Id X τφ 1 = (σφ 1 )φ = (τφ 1 )φ = σ(φ 1 φ) = τ(φ 1 φ) = σid X = τid X = σ = τ. Ετσι, η f είναι 1 1. Εστω α Sym(Y ). Τότε, λόγω του ότι f(φ 1 αφ) = α, η f είναι επί. Συνεπώς, η f είναι ισοµορφισµός.

23 1.8. ΜΕΤΑΘΕΣΕΙΣ 35 Μεγάλο ενδιαφέρον παρουσιάζουν οι συµµετρικές οµάδες Sym(X), όπου X είναι ένα πεπερασµένο σύνολο, δηλαδή, X = n, µε n N. Σύµφωνα µε το Λήµµα 1.6, εκλέγουµε το σύνολο X = {1,..., n}. Στην περίπτωση αυτή γράφουµε S n αντί Sym(X). Η οµάδα S n ονοµάζεται η συµµετρική οµάδα ϐαθµού n. Μία µετάθεση σ S n µπορεί να γραφεί σαν ένας 2 n πίνακας ( ) n σ =, σ 1 σ 2... σ n όπου σ i = σ(i), i = 1,..., n. Επειδή η σ είναι 1 1 και επί, όλα τα σ 1,..., σ n είναι διαφορετικά µεταξύ τους. Να σηµειώσουµε ότι αν i 1,..., i n είναι µια τυχαία διάταξη των 1,..., n, τότε ( ) ( ) n i1 i σ = = 2... i n, σ 1 σ 2... σ n σ i1 σ i2... σ in όπου σ iκ = σ(i κ ). Με άλλα λόγια, δεν έχει σηµασία η διάταξη των αριθµών της πάνω γραµµής, αρκεί κάτω από κάθε αριθµό να γράφουµε την εικόνα του µέσω της απεικόνισης σ. Η παραπάνω παρατήρηση µάς ϐοηθάει στον «πολλαπλασιασµό» δύο µεταθέσεων σ, τ S n. Θυµίζουµε ότι ο «πολλαπλασιασµός» στην S n είναι η σύνθεση των απεικονίσεων. Εστω σ, τ S n. Τότε, ( ) ( ) n n στ = σ 1 σ 2... σ n τ 1 τ 2... τ n = = ( τ1 τ 2... τ n σ τ1 σ τ2... σ τn ( n σ τ1 σ τ2... σ τn ) ( n ). τ 1 τ 2... τ n ) Η αντίστροφη της µετάθεσης σ S n είναι η ( σ 1 σ1 σ = 2... σ n n ), αφού σσ 1 = Id X = σ 1 σ. Παράδειγµα 1.3 Θεωρούµε τις µεταθέσεις ( ) ( σ =, τ = ). Τότε, στ = = = ( ( ( ) ( ) ( ). ) )

24 36 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ ηλαδή, στ(1) = σ(τ(1)) = σ(3) = 1, στ(2) = σ(τ(2)) = σ(4) = 3 κτλ. και ( ) ( ) σ 1 = = Είναι εύλογο να ϱωτήσουµε ποιος είναι ο πληθικός αριθµός του συνόλου S n. Για να κατασκευάσουµε µία µετάθεση σ S n, µπορούµε µε n τρόπους να επιλέξουµε το σ(1), αφού αυτό ϑα είναι κάποιο από τα 1, 2,..., n. Από τη στιγµή που το σ(1) έχει ορισθεί και η σ πρέπει να είναι 1 1, το σ(2) το επιλέγουµε από το σύνολο {1, 2,..., n} \ {σ(1)}. Άρα, υπάρχουν n(n 1) τρόποι για να επιλέξουµε τα σ(1), σ(2). Συνεχίζοντας µε αυτό το τρόπο, ϐρίσκουµε ότι η σ µπορεί να κατασκευασθεί µε n(n 1) = n! τρόπους. Ετσι, η S n περιέχει n! µεταθέσεις. Σύνεπως, S n = n!. Το πρόσηµο της σ S n ορίζεται ε(σ) = 1 i<j n σ i σ j i j, όπου το γινόµενο εκτείνεται στα (n 1) + (n 2) = n(n 1) 2 σε πλήθος Ϲεύγη (1, 2), (1, 3),..., (1, n), (2, 3),..., (2, n),..., (n 1, n). Παράδειγµα 1.4 Εστω οι µεταθέσεις της S 3 ( ) ( σ =, τ = Τότε, το πρόσηµό τους είναι ε(σ) = 1 i<j 3 σ i σ j i j ). = σ 1 σ σ1 σ σ2 σ = = 1 και ε(τ) = 1 i<j 3 τ i τ j i j = τ 1 τ τ1 τ τ2 τ = = 1. Πρόταση 1.8 Το πρόσηµο κάθε µετάθεσης σ S n είναι +1 ή 1. Απόδειξη. Αφού η σ είναι 1 1 και επί, υπάρχουν µοναδικοί ϕυσικοί αριθµοί λ και m από τους 1, 2,..., n, έτσι, ώστε σ λ = i και σ m = j. Αν λ < m, ο παράγοντας σ λ σ m = i j εµφανίζεται στον αριθµητή, ενώ αν λ > m ϑα έχουµε στον αριθµητή τον παράγοντα σ m σ λ = (i j). Εποµένως, σ λ σ m = +1 ή σ m σ λ i j = 1. Συνεπώς, για κάθε παράγοντα i j του παρανοµαστή, υπάρχει παράγοντας του αριθµητή ίσος µε i j ή (i j). Με τη ϐοήθεια της Πρότασης 1.8 ορίζουµε στο σύνολο S n µία σχέση R ως εξής : σ τ (mod R) αν και µόνο αν ε(σ) = ε(τ). Είναι ϕανερό ότι η R είναι σχέση ισοδυναµίας στο S n. Η κλάση ισοδυναµίας [σ] R της µετάθεσης σ αποτελείται από όλες τις µεταθέσεις που έχουν το ίδιο πρόσηµο µε τη σ. Από την i j

25 1.8. ΜΕΤΑΘΕΣΕΙΣ 37 Πρόταση 1.8 προκύπτει ότι υπάρχουν µόνο δύο κλάσεις ισοδυναµίας : η A n, που αποτελείται από όλες τις µεταθέσεις µε πρόσηµο +1, και η Π n, που αποτελείται από τις µεταθέσεις µε πρόσηµο 1. Ετσι, το σύνολο πηλίκο S n /R = {A n, Π n }. Μία µετάθεση σ A n ονοµάζεται άρτια, ενώ λέγεται περιττή αν σ Π n. Παράδειγµα 1.5 Η µετάθεση ρ S n ( ) n ρ = n είναι περιττή, ενώ η ταυτοτική Id X S n είναι άρτια. Προφανώς, ε(id X ) = i j i j = +1, ενώ ε(ρ) = 1 i<j n σ i σ j i j = i<j n n n n n. (n 1) n (n 1) n = = 1. Πρόταση 1.9 Η απεικόνιση ε από την S n στην πολλαπλασιαστική οµάδα {+1, 1} είναι οµοµορφισµός οµάδων. Απόδειξη. Εστω σ, τ S n. Θα δείξουµε ότι ε(στ) = ε(σ)ε(τ). Από τον ορισµό του προσήµου ε(στ) = 1 i<j n (στ) i (στ) j i j = σ τi σ τj 1 i<j n i j = 1 i<j n σ τi σ τj i j τi τ j τ i τ j = σ τi σ τj 1 i<j n τ i τ j 1 i<j n τ i τ j i j = 1 i<j n Ισχυριζόµαστε ότι σ τi σ τj τ i τ j 1 i<j n ε(τ). σ τi σ τj τ i τ j = 1 κ<λ n σ κ σ λ κ λ. Εστω ο παράγοντας σκ σ λ κ λ µε κ < λ. Επειδή τ S n, υπάρχουν µοναδικοί p, q {1,..., n} έτσι, ώστε τ p = κ και τ q = λ. Αν p < q, τότε στp σ τq τ p τ q = σκ σ λ κ λ. Αν στq στp p > q, τότε τ q τ p = στp στq τ p τ q = σκ σ λ κ λ. Αντίστροφα, έστω ο παράγοντας στ i στ j τ i τ, j µε i < j. Θέτουµε τ i = κ και τ j = λ. Λόγω του ότι τ S n, έχουµε ότι κ λ. Αν κ < λ, τότε στ i στ j τ i τ j = σκ σ λ κ λ. Αν κ > λ, τότε στ i στ j τ i τ j = στ j στ i τ j τ i = σ λ σ κ λ κ. Συνεπώς, ε(στ) = ε(σ)ε(τ) για όλα τα σ, τ S n και έτσι, η ε είναι οµοµορφισµός οµάδων. ύο µεταθέσεις σ και τ της S n λέµε ότι µετατίθενται αν στ = τσ. Επίσης, λέµε ότι οι µεταθέσεις σ και τ της S n είναι ξένες µεταξύ τους αν {i X : σ(i) i} {j X : τ(j) j} =.

26 38 ΚΕΦΑΛΑΙΟ 1. ΟΜΑ ΕΣ Παράδειγµα 1.6 Εστω σ, τ S 6 µε ( σ = ), τ = Τότε, οι σ και τ είναι ξένες µεταξύ τους και στ = τσ. ( Το Παράδειγµα 1.6 είναι µία απλή εφαρµογή του επόµενου γενικού αποτελέσµατος. Πρόταση 1.10 Εστω σ, τ S n. Αν οι σ, τ είναι ξένες µεταξύ τους, τότε οι σ και τ µετατίθενται. Απόδειξη. Εστω x X = {1,..., n} µε σ(x) = x. Ισχυριζόµαστε ότι (στ)(x) = (τ σ)(x). Πράγµατι, αν τ(x) = x, τότε, προφανώς, (στ)(x) = (τ σ)(x) = x. Εποµένως, υποθέτουµε ότι τ(x) x. Τότε, (τ τ)(x) τ(x). Επειδή οι σ και τ είναι ξένες µεταξύ τους, έχουµε ότι (στ)(x) = σ(τ(x)) = τ(x) = τ(σ(x)) και έτσι, (στ)(x) = (τσ)(x) µε σ(x) = x. Εστω x X µε σ(x) x. Τότε, επειδή οι σ και τ είναι ξένες µεταξύ τους, έχουµε ότι τ(x) = x. Συνεπώς, εναλλάσοντας τους ϱόλους των σ και τ, έχουµε την προηγούµενη περίπτωση. Μία µετάθεση σ S n ονοµάζεται κυκλική µε µήκος κ ή κ-κύκλος αν για ένα υποσύνολο {x 1, x 2,..., x κ } του X ισχύει σ(x i ) = x i+1, για i = 1,..., κ 1, και σ(x κ ) = x 1, ενώ για κάθε άλλο x X µε x x i, i = 1,..., κ, ισχύει σ(x) = x. Το πλήθος κ των στοιχείων του συνόλου {x 1, x 2,..., x κ } λέγεται µήκος της σ. Συνήθως ένας κ-κύκλος γράφεται ( ) x1 x σ = (x 1 x 2... x κ ) = 2... x κ x κ+1... x n. x 2 x 3... x 1 x κ+1... x n Να παρατηρήσουµε ότι (x 1 x 2... x κ ) = (x 2 x 3... x κ x 1 ) =... = (x κ x 1... x κ 1 ). Για παράδειγµα, στην S 6, η κυκλική µετάθεση ( ) = (123456) = (234561) =... = (612345) Μια ειδική περίπτωση µετάθεσης είναι η µετάβαση. Μετάβαση είναι ένα στοιχείο της S n που αλλάζει το i µε το j, i j, και όλα τα άλλα στοιχεία του συνόλου {1,..., n} τα αφήνει αµετάβλητα. Συνήθως συµβολίζεται µε (ij). ηλαδή, η µετάβαση είναι ένας 2-κύκλος. Επειδή οι κύκλοι είναι µεταθέσεις, µπορούν να πολλαπλασιασθούν όπως ακριβώς οι µεταθέσεις. Το γινόµενο δύο κύκλων δεν είναι απαραίτητα ένας κύκλος. Πράγµατι, στην S 6, το γινόµενο (1456)(215) δεν είναι κύκλος. Οι κύκλοι µήκους 1 στην S n είναι η ταυτοτική µετάθεση Id X = (1) = (2) =... = (n). Να σηµειώσουµε ότι για κάθε 2-κύκλο (ij) ισχύει (ij) 2 = (ij) (ij) = (1). ).

Αθανάσιος Ι. Πάπιστας Καθηγητής Τµήµα Μαθηµατικών Αριστοτέλειο Πανεπιστήµιο Θεσσαλονίκης. Μαθήµατα Θεωρίας Οµάδων

Αθανάσιος Ι. Πάπιστας Καθηγητής Τµήµα Μαθηµατικών Αριστοτέλειο Πανεπιστήµιο Θεσσαλονίκης. Μαθήµατα Θεωρίας Οµάδων Αθανάσιος Ι. Πάπιστας Καθηγητής Τµήµα Μαθηµατικών Αριστοτέλειο Πανεπιστήµιο Θεσσαλονίκης Μαθήµατα Θεωρίας Οµάδων 2 Μαθήµατα Θεωρίας Οµάδων Συγγραφή Αθανάσιος Ι. Πάπιστας Κριτικός Αναγνώστης Βασίλειος Μεταφτσής

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

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

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

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

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

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

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

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

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

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

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012

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

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

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

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

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

Αλγεβρικές οµές Ι. Α.Ι. Πάπιστας Τµήµα Μαθηµατικών Αριστοτέλειο Πανεπιστήµιο Θεσσαλονίκης

Αλγεβρικές οµές Ι. Α.Ι. Πάπιστας Τµήµα Μαθηµατικών Αριστοτέλειο Πανεπιστήµιο Θεσσαλονίκης Αλγεβρικές οµές Ι Α.Ι. Πάπιστας Τµήµα Μαθηµατικών Αριστοτέλειο Πανεπιστήµιο Θεσσαλονίκης 2 Περιεχόµενα 1 Οµάδες 5 1.1 Μια σύντοµη ιστορική αναδροµή στο «Λογισµό της συµµετρίας» 5 1.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. Ταξινόµηση Κυκλικών Οµάδων και Οµάδες Αυτοµορφισµών Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες ως προς τη σχέση ισοµορφίας. Ε- πίσης ϑα αποδείξουµε ένα σηµαντικό κριτήριο ισοµορφίας

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

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

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

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

Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή

Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή Κεφάλαιο 1 Σχέσεις Ισοδυναµίας, Πράξεις και Μονοειδή 11 Συνοπτική Θεωρία Στην παρούσα ενότητα υπενθυµίζουµε εν συντοµία ϐασικές έννοιες και αποτελέσµατα αναφορικά µε : (α) τις σχέσεις µερικής διάταξης

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

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 ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Επιλυση Ασκησεων - Φυλλαδιο 1 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2016/asi2016.html Πέµπτη 25 Φεβρουαβρίου 2016

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

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. x R y ή x R y ή x y(r) [x] R = { y X y R x } X. Μέρος Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. x R y ή x R y ή x y(r) [x] R = { y X y R x } X. Μέρος Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις 202 Μέρος 4. Θεωρητικά Θέµατα Ι. Θεωρία Οµάδων 1. Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις 1.1. Σχέσεις ισοδυναµίας. Εστω X ένα µη-κενό σύνολο. Ορισµός 1.1. Μια σχέση ισοδυναµίας επί του X είναι ένα

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

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

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

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

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

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

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

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα Κεφάλαιο 1 Εισαγωγικές Εννοιες Σ αυτό το κεφάλαιο ϑα αναφερθούµε συνοπτικά σε ϐασικές έννοιες για σύνολα και απεικονίσεις. Επιπλέον, ϑα αναφερθούµε στη µέθοδο της επαγωγής, η οποία αποτελεί µία από τις

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

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

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

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

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

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

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

Σχέσεις Ισοδυναµίας και Πράξεις

Σχέσεις Ισοδυναµίας και Πράξεις Κεφάλαιο 1 Σχέσεις Ισοδυναµίας και Πράξεις Στο παρόν Κεφάλαιο ϑα αναπτύξουµε τα ϐασικά στοιχεία από τη ϑεωρία σχέσεων µερικής διάταξης, σχέσεων ισοδυναµίας και διαµερίσεων οι οποίες ορίζονται επί ενός

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Προτεινοµενες Ασκησεις - Φυλλαδιο 1

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

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

f(x) = e x g(y) = log e y f(x 1 ) = f(x) 1 f(x k ) = f(x) k

f(x) = e x g(y) = log e y f(x 1 ) = f(x) 1 f(x k ) = f(x) k 287 13. Οµοµορφισµοί Οµάδων Στην παρούσα ενότητα ϑα µελετήσουµε απεικονίσεις µεταξύ οµάδων οι οποίες ϑα µας επιτρέψουν τη σύγκριση και την ταξινόµηση διάφορων κλάσεων οµάδων, ως προς τις δοµικές τους ιδιότητες.

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

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 202 Μέρος 4. Θεωρητικά

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

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

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

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

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

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

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

G = a. H = g n. a m = a nq+r = a nq a r = (a n ) q a r = a r = (a n ) q a m. h = a m = a nq = (a n ) q a n

G = a. H = g n. a m = a nq+r = a nq a r = (a n ) q a r = a r = (a n ) q a m. h = a m = a nq = (a n ) q a n 236 5. Ταξινόµηση Κυκλικών Οµάδων και των Υποοµάδων τους Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες, τις υποοµάδες τους, και τους γεννήτο- ϱές τους. Οι ταξινοµήσεις αυτές ϑα ϐασιστούν στην

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

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1)

Κεφάλαιο 4. Ευθέα γινόµενα οµάδων. 4.1 Ευθύ εξωτερικό γινόµενο οµάδων. i 1 G 1 G 1 G 2, g 1 (g 1, e 2 ), (4.1.1) Κεφάλαιο 4 Ευθέα γινόµενα οµάδων Στο Παράδειγµα 1.1.2.11 ορίσαµε το ευθύ εξωτερικό γινόµενο G 1 G 2 G n των οµάδων G i, 1 i n. Στο κεφάλαιο αυτό ϑα ασχοληθούµε λεπτοµερέστερα µε τα ευθέα γινόµενα οµάδων

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

Οµάδες Μεταθέσεων. Κεφάλαιο Συνοπτική Θεωρία. S(X ) = { f : X X f : απεικόνιση «1-1» και «επί» }

Οµάδες Μεταθέσεων. Κεφάλαιο Συνοπτική Θεωρία. S(X ) = { f : X X f : απεικόνιση «1-1» και «επί» } Κεφάλαιο 4 Οµάδες Μεταθέσεων 4.1 Συνοπτική Θεωρία Οι οµάδες µεταθέσεων επί ενός συνόλου και ιδιαίτερα επί του πεπερασµένου συνόλου { 12 n } αποτελούν µια από τις ϐασικότερες κλάσεις οµάδων. Στην παρούσα

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

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

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ Λυσεις Ασκησεων - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai018/lai018html Παρασκευή 3 Νοεµβρίου 018 Ασκηση

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 1 Εισαγωγη : Πραξεις επι Συνολων και Σωµατα Αριθµων

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

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

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

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

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Αλγεβρικές Δομές Ι Ενότητα: Οµοµορφισµοί Οµάδων Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 287 13. Οµοµορφισµοί Οµάδων Στην παρούσα ενότητα

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

Ασκησεις Βασικης Αλγεβρας

Ασκησεις Βασικης Αλγεβρας Ασκησεις Βασικης Αλγεβρας Αποστολος Μπεληγιαννης Απόστολος Μπεληγιάννης Καθηγητής Τµήµα Μαθηµατικών Πανεπιστήµιο Ιωαννίνων Ασκήσεις Βασικής Αλγεβρας Ιωαννινα εκεµβριος 2015 Ασκήσεις Βασικής Αλγεβρας Συγγραφή

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 1

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 1 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β (ΠΕΡΙΤΤΟΙ Ασκησεις - Φυλλαδιο 1 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii18/laii18html Παρασκευή 9 Μαρτίου 18 Ασκηση 1 Θεωρούµε

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

Α Δ Ι. Δευτέρα 13 Ιανουαρίου 2014

Α Δ Ι. Δευτέρα 13 Ιανουαρίου 2014 Α Δ Ι Α - Φ 9 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Δευτέρα 13 Ιανουαρίου

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

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθος Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://wwwmathuoigr/ abeligia/linearalgebrai/laihtml

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

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 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: Πρότυπα. 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: Πρότυπα Στο κεφάλαιο αυτό θα υπενθυμίσουμε τις βασικές έννοιες που αφορούν πρότυπα πάνω από ένα δακτύλιο Θα περιοριστούμε στα πλέον απαραίτητα για αυτά που ακολουθούν στα άλλα κεφάλαια Η κατευθυντήρια

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

Πρώτα και Μεγιστοτικά Ιδεώδη

Πρώτα και Μεγιστοτικά Ιδεώδη Κεφάλαιο 10 Πρώτα και Μεγιστοτικά Ιδεώδη Στο παρόν Κεφάλαιο ϑα µελετήσουµε ειδικούς τύπους ιδεωδών σε έναν δακτύλιο και την επίδραση που έχουν οι επιπλέον ιδιότητες τις οποίες ικανοποιούν τα ιδεώδη αυτά

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

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

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

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

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

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

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

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

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

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

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

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

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

Α Δ Ι Θ Θ Α Ε Ι Μ : https://sites.google.com/site/maths4edu/home/algdom114

Α Δ Ι Θ Θ Α Ε Ι Μ :  https://sites.google.com/site/maths4edu/home/algdom114 Α Δ Ι Θ Θ Α Ε 2013-2014 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html, https://sites.google.com/site/maths4edu/home/algdom114 12 Μαρτίου 2014 19:26

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

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

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

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

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

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

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

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

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

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

Α Δ Ι. Παρασκευή 25 Οκτωβρίου Ασκηση 1. Στο σύνολο των πραγματικών αριθμών R ορίζουμε μια σχέση R R R ως εξής:

Α Δ Ι. Παρασκευή 25 Οκτωβρίου Ασκηση 1. Στο σύνολο των πραγματικών αριθμών R ορίζουμε μια σχέση R R R ως εξής: Α Δ Ι Α - Φ 1 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 25 Οκτωβρίου 2013 Ασκηση

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

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

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

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

Ι. ΠΡΑΞΕΙΣ. Ορισµός 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. Η ισότητα

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

Οµάδες Πηλίκα και τα Θεωρήµατα Ισοµορφισµών

Οµάδες Πηλίκα και τα Θεωρήµατα Ισοµορφισµών Κεφάλαιο 6 Οµάδες Πηλίκα και τα Θεωρήµατα Ισοµορφισµών Στο παρόν Κεφάλαιο ϑα µελετήσουµε τις ϐασικές ιδιότητες της οµάδας πηλίκο µιας οµάδας ως προς µια κανονική υποµάδα, ϑα αποδείξουµε τα ϐασικά ϑεωρήµατα

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3 ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 13 Μαρτίου 2013 Ασκηση 1. Αφού ϐρείτε την

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

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

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

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

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Είδαµε στο προηγούµενο κεφάλαιο ότι κάθε ηµιαπλός δακτύλιος είναι δακτύλιος του Art. Επειδή υπάρχουν παραδείγµατα δακτυλίων του Art που δεν είναι ηµιαπλοί, πχ Z 2, > 1, τίθεται

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

Κεφάλαιο 8. Η οµάδα S n. 8.1 Βασικές ιδιότητες της S n

Κεφάλαιο 8. Η οµάδα S n. 8.1 Βασικές ιδιότητες της S n Κεφάλαιο 8 Η οµάδα S n Στο κεφάλαιο αυτό ϑα µελετήσουµε την οµάδα µεταθέσεων ή συµµετρική οµάδα S n εφαρµόζοντας τη ϑεωρία που αναπτύχθηκε στα προηγούµενα κε- ϕάλαια. Η σηµαντικότητα της S n εµφανίστηκε

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β (ΑΡΤΙΟΙ Ασκησεις - Φυλλαδιο 1 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii19/laii19html Παρασκευή 1 Μαρτίου 19 Υπενθυµίσεις

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

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β)

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β) Κεφάλαιο 3β Ελεύθερα Πρότυπα (µέρος β) Ο σκοπός µας εδώ είναι να αποδείξουµε το εξής σηµαντικό αποτέλεσµα. 3.3.6 Θεώρηµα Έστω R µια περιοχή κυρίων ιδεωδών, F ένα ελεύθερο R-πρότυπο τάξης s < και N F. Τότε

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

Υποοµάδες. Κυκλικές οµάδες

Υποοµάδες. Κυκλικές οµάδες Κεφάλαιο 2 Υποοµάδες. Κυκλικές οµάδες Σύνοψη. ίνεται ο ορισµός της υποοµάδας µιας οµάδας, αποδεικνύεται το Θεώρηµα Cayley, εισάγονται οι έννοιες του συνόλου γεννητόρων µιας οµάδας και του δείκτη υποοµάδας

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

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

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai017/lai017html Παρασκευή 17 Νοεµβρίου 017

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

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

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β ΠΕΡΙΤΤΟΙ Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii8/laii8html Παρασκευή 4 Ιουνίου

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

Id A A, a Id A (a) := a, τ : A A, a b, όπου b είναι εκείνο το στοιχείο του A µε σ(b) = a. 7. Οµάδες µεταθέσεων (µετατάξεων)

Id A A, a Id A (a) := a, τ : A A, a b, όπου b είναι εκείνο το στοιχείο του A µε σ(b) = a. 7. Οµάδες µεταθέσεων (µετατάξεων) 250 7. Οµάδες µεταθέσεων µετατάξεων 7.1. Οι πρώτες έννοιες. Ας είναι A ένα µη κενό σύνολο και S A το σύνολο των «ένα προς ένα» και «επί» απεικονίσεων από το σύνολο A στον εαυτό του. Πρόταση 7.1. Το σύνολο

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

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

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

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

ακτύλιοι : Βασικές Ιδιότητες και Παραδείγµατα

ακτύλιοι : Βασικές Ιδιότητες και Παραδείγµατα Κεφάλαιο 7 ακτύλιοι : Βασικές Ιδιότητες και Παραδείγµατα Στο παρόν Κεφάλαιο ϑα µελετήσουµε την ϑεµελιώδη έννοια του δακτυλίου, ϑα αναπτύξουµε τις ϐασικές ιδιότητες δακτυλίων και ϑα αναλύσουµε µια σειρά

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai8/lai8html Παρασκευή 6 Οκτωβρίου 8 Υπενθυµίζουµε

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

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

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

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii9/laii9html Παρασκευή 9 Μαρτίου 9 Ασκηση Εστω (E,,

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

Οµάδες και Υποοµάδες. Κεφάλαιο Συνοπτική Θεωρία Η Εννοια της Οµάδας - Βασικές Ιδιότητες Οµάδων

Οµάδες και Υποοµάδες. Κεφάλαιο Συνοπτική Θεωρία Η Εννοια της Οµάδας - Βασικές Ιδιότητες Οµάδων Κεφάλαιο 2 Οµάδες και Υποοµάδες 2.1 Συνοπτική Θεωρία Στην παρούσα ενότητα υπενθυµίζουµε εν συντοµία την έννοια της οµάδας και ιδιαίτερα του πίνακα Cayley µιας οµάδας, την έννοια της υποοµάδας και ιδιαίτερα

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

Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί

Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί Κεφάλαιο 0 Προκαταρκτικές Εννοιες: Σύνολα και Αριθµοί Στο παρόν εισαγωγικό Κεφάλαιο, υπενθυµίζουµε, κατά κύριο λόγο χωρίς αποδείξεις, ϐασικές γνώσεις από : τη στοιχειώδη ϑεωρία συνόλων και απεικονίσεων,

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

Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι. Ενότητα: Πινάκες και Γραµµικές Απεικονίσεις. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι. Ενότητα: Πινάκες και Γραµµικές Απεικονίσεις. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πινάκες και Γραµµικές Απεικονίσεις Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 7 Πινακες και Γραµµικες Απεικονισεις Στα προηγούµενα

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii018/laii018html ευτέρα 3 Απριλίου 018 Αν C = x

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

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

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

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

Κεφάλαιο 1. Βασικές Εννοιες. 1.1 Ορισµός οµάδας - Παραδείγµατα

Κεφάλαιο 1. Βασικές Εννοιες. 1.1 Ορισµός οµάδας - Παραδείγµατα Κεφάλαιο 1 Βασικές Εννοιες 1.1 Ορισµός οµάδας - Παραδείγµατα Συχνά στα µαθηµατικά µας ενδιαφέρει να εξετάσουµε αν κάποια ϕαινόµενα που ισχύουν σε αριθµητικά συστήµατα ισχύουν σε ένα γενικότερο περιβάλλον,

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

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

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

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

Κεφάλαιο 7 Βάσεις και ιάσταση

Κεφάλαιο 7 Βάσεις και ιάσταση Κεφάλαιο 7: Βάσεις και ιάσταση Σελίδα από 9 Κεφάλαιο 7 Βάσεις και ιάσταση n Στο Κεφάλαιο 5 είδαµε την έννοια της βάσης στο και στο Κεφάλαιο 6 µελετήσαµε διανυσµατικούς χώρους. Στο παρόν κεφάλαιο θα ασχοληθούµε

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

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

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Προτεινοµενες Ασκησεις - Φυλλαδιο 9 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt2015/nt2015.html Παρασκευή 29 Μαίου 2015 Ασκηση 1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Γραμμική Άλγεβρα ΙΙ Ενότητα: Η Κανονική Μορφή Jordan - II Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 52 9 Η Κανονική Μορφή Jordan - II

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/linearalgebrai/lai2018/lai2018.html Παρασκευή 23 Νοεµβρίου

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

= s 2m 1 + s 1 m 2 s 1 s 2

= s 2m 1 + s 1 m 2 s 1 s 2 ΑΝΤΙΜΕΤΑΘΕΤΙΚΗ ΑΛΓΕΒΡΑ ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ, 203 ΣΗΜΕΙΩΣΕΙΣ ΧΑΡΑ ΧΑΡΑΛΑΜΠΟΥΣ ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ, ΑΠΘ Οι σηµειώσεις αυτές είναι ϐασισµένες στις διαλέξεις του µαθήµατος. Καταγράϕηκαν αρχικά ηλεκτρονικά από τη κ.

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

Τρίτη 4 εκεµβρίου m + 4Z

Τρίτη 4 εκεµβρίου m + 4Z ιδασκοντες: Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 6 Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τρίτη 4 εκεµβρίου 202 Ασκηση. Βρείτε

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

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

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

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

Η οµή των Κυκλικών Οµάδων

Η οµή των Κυκλικών Οµάδων Κεφάλαιο 4 Η οµή των Κυκλικών Οµάδων Στο παρόν Κεφάλαιο ϑα µελετήσουµε την κλάση των κυκλικών οµάδων, η οποία είναι η απλούστερη µη τετριµµένη κλάση οµάδων. Ιδιαίτερα ϑα ταξινοµήσουµε τις κυκλικές οµάδες

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