Α Δ Ι. Παρασκευή 13 Δεκεμβρίου 2013

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

Download "Α Δ Ι. Παρασκευή 13 Δεκεμβρίου 2013"

Transcript

1 Α Δ Ι Α - Φ 7 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : Παρασκευή 13 Δεκεμβρίου 2013 Ασκηση 1. Βρείτε όλα τα σύμπλοκα (πλευρικές κλάσεις) της υποομάδας H G της ομάδας G και περιγράψτε την ομάδα πηλίκο στις ακόλουθες περιπτώσεις: (1) H = 4Z Z. (2) Η = 4Z 2Z. (3) H = [18] 36 Z 36. Λύση. Όλες οι εμπλεκόμενες ομάδες είναι προσθετικές, και άρα ο συμβολισμός μας εδώ θα είναι προσθετικός. Επίσης όλες οι ομάδες είναι κυκλικές και ιδιαίτερα αβελιανές¹. (1) Το αριστερό σύμπλοκο (αριστερή πλευρική κλάση) της 4Z που περιέχει το m Z είναι της μορφής m + 4Z Για m = 0 το σύμπλοκο που περιέχει το 0: είναι το 4Z = {, 12, 8, 4, 0, 4, 8, 12, } Για να προσδιορίσουμε ένα διαφορετικό αριστερό σύμπλοκο, επιλέγουμε κάποιο στοιχείο του Z που δεν ανήκει στο 4Z, για παράδειγμα το 1 Z αλλά 1 / 4Z. Συνεπώς για m = 1 έχουμε το αριστερό σύμπλοκο 1 + 4Z = {, 11, 7, 3, 1, 5, 9, 13, } Για m = 2 έχουμε το αριστερό σύμπλοκο 2 + 4Z = {, 10, 6, 2, 2, 6, 10, 14, } Για m = 3 έχουμε το αριστερό σύμπλοκο 3 + 4Z = {, 9, 5, 1, 3, 7, 11, 15, } Είναι φανερό ότι αυτά τα τέσσερα σύμπλοκα εξαντλούν το Z και άρα αποτελούν τη διαμέριση του Z στα αριστερά σύμπλοκα της 4Z, δηλαδή Z = (4Z) (1 + 4Z) (2 + 4Z) (3 + 4Z) Όμως αφού η Z είναι αβελιανή ομάδα έχουμε ότι το αριστερό σύμπλοκο m+4z ταυτίζεται με το δεξιό σύμπλοκο 4Z + m. Άρα η διαμέριση του Z σε δεξιά σύμπλοκα είναι η ίδια. Η ομάδα πηλίκο Z/4Z είναι προφανώς η κυκλική ομάδα Z 4 = { [0] 4 = 4Z, [1] 4 = 1 + 4Z, [2] 4 = 2 + 4Z, [3] 4 = 3 + 4Z } ¹ Σχόλιο: Έστω G μια αβελιανή ομάδα και H G. Τότε τα αριστερά σύμπλοκα της H στην G συμπίπτουν με τα δεξιά σύμπλοκα της H στην G. Από εδώ και στο εξής, όταν έχουμε μια αβελιανή ομάδα G θα υπολογίζουμε τα αριστερά σύμπλοκα της H, γνωρίζοντας ότι αυτά συμπίπτουν με τα δεξιά. Επίσης υπενθυμίζουμε ότι η συλλογή όλων των διακεκριμμένων (αριστερών) συμπλόκων μιας υποομάδας αποτελεί μια διαμέριση της ομάδας, και άρα εκ κατασκευής η ένωση όλων των διακεκριμμένων (αριστερών) συμπλόκων της H στην G, είναι μια ξένη ένωση η οποία συμπίπτει με την ομάδα G.

2 2 (2) Τα σύμπλοκα της 4Z στην 2Z είναι της μορφής m + 4Z με m 2Z. Έχουμε: Για m = 0 έχουμε το σύμπλοκο Για m = 2 έχουμε το σύμπλοκο 4Z = {, 12, 8, 4, 0, 4, 8, 12, } 2 + 4Z = {, 10, 6, 2, 2, 6, 10, 14, } Τα παραπάνω δυο σύμπλοκα που βρήκαμε εξαντλούν το 2Z και άρα αποτελούν τη διαμέριση του 2Z στα σύμπλοκα της 4Z. Άρα 2Z = (4Z) (2 + 4Z) Η ομάδα πηλίκο 2Z/4Z είναι μια ομάδα τάξης 2: 2Z/4Z = { 4Z, 2 + 4Z } και άρα, όπως γνωρίζουμε, είναι μια κυκλική ομάδα τάξης 2 με γεννήτορα την κλάση 2 + 4Z. (3) Τα σύμπλοκα της [18] 36 στην Z 36 είναι της μορφής [m] + [18] 36 όπου [m] Z 36. Εδώ [m] συμβολίζει [m] 36. Θα έχουμε: Για [m] = [0] έχουμε το σύμπλοκο (την κλάση) [18] = {[0], [18]} Για [m] = [1] έχουμε το σύμπλοκο (την κλάση) [1] + [18] = {[1], [19]} Για [m] = [2] έχουμε το σύμπλοκο (την κλάση) [2] + [18] = {[2], [20]} Για [m] = [3] έχουμε το σύμπλοκο (την κλάση) [3] + [18] = {[3], [21]} Για [m] = [4] έχουμε το σύμπλοκο (την κλάση) [4] + [18] = {[4], [22]} Για [m] = [5] έχουμε το σύμπλοκο (την κλάση) [5] + [18] = {[5], [23]} Για [m] = [6] έχουμε το σύμπλοκο (την κλάση) [6] + [18] = {[6], [24]} Για [m] = [7] έχουμε το σύμπλοκο (την κλάση) [7] + [18] = {[7], [25]} Για [m] = [8] έχουμε το σύμπλοκο (την κλάση) [8] + [18] = {[8], [26]} Για [m] = [16] έχουμε το σύμπλοκο (την κλάση) [16] + [18] = {[16], [34]} Για [m] = [17] έχουμε το σύμπλοκο (την κλάση) [17] + [18] = {[17], [35]}

3 3 Είναι φανερό ότι τα παραπάνω σύμπλοκα (κλάσεις) εξαντλούν το Z 36 και άρα αποτελούν τη διαμέριση του Z 36 στα σύμπλοκα (κλάσεις) της [18] 36. Συνεπώς: Z 36 = ( [18] ) ( [1] + [18] ) ( [17] + [18] ) είναι κυκλική τάξης 36 με γεννήτορα την κλάση [1] + [18]. Ασκηση 2. Έστω H μια κανονική (ορθόθετη) υποομάδα μιας ομάδας G. Αν x, y G, να δείξετε ότι: xy H yx H ( ) Ισχύει η παραπάνω ισοδυναμία αν η H δεν είναι κανονική υποομάδα της G; Αν ισχύει να το αποδείξετε, και αν δεν ισχύει να δώσετε αντιπαράδειγμα. Λύση. Υπενθυμίζουμε ότι αφού η H είναι κανονική (ορθόθετη) υποομάδα της G έχουμε g G ότι gh = Hg. Συνεπώς, xy H y x 1 H = Hx 1 yx H. Επομένως αν H είναι κανονική υποομάδα της G, τότε δείξαμε ότι ισχύει η σχέση ( ). Θεωρούμε την συμμετρική ομάδα S 3 και την κυκλική υποομάδα H = (2 3) της S 3 η οποία παράγεται από την αντιμετάθεση (2 3). Τότε η H δεν είναι κανονική υποομάδα της S 3 διότι για παράδειγμα (1 2 3)H = {(1 2 3)ι, (1 2 3)(2 3)} = {(1 2 3), (1 2)} {(1 2 3), (1 3)} = {ι(1 2 3), (2 3)(1 2 3)} = H(1 2 3) Θεωρούμε τα στοιχεία x = (1 3 2) S 3 και y = (1 2) S 3. Τότε: xy = (1 3 2)(1 2) = (2 3) H & yx = (1 2)(1 3 2) = (1 3) / H Άρα αν η υποομάδα H δεν είναι κανονική, τότε η ισοδυναμία (*) δεν ισχύει. Ασκηση 3. Έστω G μια ομάδα και H μια πεπερασμένη υποομάδα της G με την ιδιότητα ότι η H είναι η μοναδική υποομάδα της G με τάξη o(h). Να δείξετε ότι η H είναι κανονική (ορθόθετη). Λύση. Από την υπόθεση μας έχουμε ότι αν K G είναι μια άλλη υποομάδα της G με τάξη o(k) = o(h) τότε K = H. Για κάθε g G θεωρούμε την υποομάδα² g 1 Hg της G. Τότε, όπως μπορούμε να δούμε εύκολα, η απεικόνιση f : H g 1 Hg, h f(h) = g 1 hg είναι «1-1» και «επί» και άρα o(h) = o(g 1 Hg). Συνεπώς επειδή από την υπόθεση υπάρχει μόνον μια υποομάδα της G με τάξη την τάξη της Η, έπεται ότι και άρα η H είναι κανονική. H = g 1 Hg, g G Ασκηση 4. Έστω η διεδρική ομάδα D 4 τάξης 8, την οποία θεωρούμε ως υποομάδα της S 4 : D 4 = { Id 4, ρ, ρ 2, ρ 3, σ, σρ, σρ 2, σρ 3 }, όπου ρ = ( ) και σ = ( 2 4 ) και έστω η υποομάδα H = { Id 4, σρ } της D 4. (1) Βρείτε όλα τα αριστερά σύμπλοκα (αριστερές πλευρικές κλάσεις) της υποομάδας H στην D 4. (2) Βρείτε όλα τα δεξιά σύμπλοκα (δεξιές πλευρικές κλάσεις) της υποομάδας H στην D 4. ²Η υποομάδα g 1 Hg καλείται η g-συζυγής υποομάδα της G η οποία αντοστοιχεί στην H.

4 4 Λύση. (3) Είναι H κανονική (ορθόθετη) υποομάδα της D 4 ; (1) Τα αριστερά σύμπλοκα της υποομάδας H = { Id 4, σρ } της D 4 είναι τα εξής: Id 4 H = H ρh = {ρ, ρσρ} = {ρ, σρ 3 } ρ 2 H = {ρ 2, ρ 2 σρ} = {ρ 2, σ} ρ 3 H = {ρ 3, ρ 3 σρ} = {ρ 3, σρ 2 } Τα παραπάνω σύμπλοκα που βρήκαμε εξαντλούν την ομάδα D 4 και άρα αποτελούν τη διαμέριση της D 4 στα αριστερά σύμπλοκα της H = {Id 4, σρ}. Άρα έχουμε D 4 = {Id 4, σρ} {ρ, σρ 3 } {ρ 2, σ} {ρ 3, σρ 2 } (2) Τα δεξιά σύμπλοκα της υποομάδας H = {Id 4, σρ} της D 4 είναι τα εξής: ΗId 4 = H Ηρ = {ρ, σρ 2 } Hρ 2 = {ρ 2, σρ 3 } Hρ 3 = {ρ 3, σρ 4 } = {ρ 3, σ} Τα παραπάνω σύμπλοκα αποτελούν τη διαμέριση της D 4 στα δεξιά σύμπλοκα της H = {Id 4, σρ}. Άρα D 4 = {Id 4, σρ} {ρ, σρ 2 } {ρ 2, σρ 3 } {ρ 3, σ} (3) Τα αριστερά σύμπλοκα της υποομάδας H = {Id 4, σρ} της D 4 είναι διαφορετικά από τα δεξιά σύμπλοκα, για παράδειγμα ρ 3 H Hρ 3, και άρα η H δεν είναι κανονική υποομάδα της D 4. Ασκηση 5. Να βρεθεί ο δείκτης της υποομάδας H στην ομάδα G στις ακόλουθες περιπτώσεις: (1) H = [3] 24 Z 24. (2) H = (2 3) S 3. (3) H = (1 3) D 4. Σε ποιές από τις παραπάνω περιπτώσεις η υποομάδα H είναι κανονική (ορθόθετη) υποομάδα της G; Λύση. Yπενθυμίζουμε ότι αν H G είναι μια κανονική υποομάδα μιας πεπερασμένης ομάδας G, τότε o(g/h) = [G : H] = o(g) o(h). Επίσης υπενθυμίζουμε ότι αν a G, όπου G είναι μια προσθετική ομάδα, τότε για κάθε k Z: o(ka) = o(a). (k,o(a)) Με βάση τα παραπάνω, υπολογίζουμε τους ζητούμενους δείκτες: [ Z24 : [3] 24 ] o(z 24 ) = = = 24 o( [3] 24 ) 8 = 3 (3,24) [ S3 : (2 3) ] = o(s 3 ) o( (23) ) = 6 2 = 3 [ D4 : (1 3) ] o(d 4 ) = = 8 o( (13) ) 2 = 4 Η ομάδα Z 24 είναι αβελιανή και άρα η H = [3] 24 είναι κανονική. Για τις άλλες δυο περιπτώσεις υπολογίζοντας τα αριστερά και δεξιά σύμπλοκα της H στην G διαπιστώνουμε ότι δεν είναι κανονικές υποομάδες. Ασκηση 6. Έστω G μια ομάδα και H = {H i i I} μια οικογένεια κανονικών υποομάδων της G. Να δείξετε ότι η τομή i I H i της οικογένειας H είναι μια κανονική υποομάδα της G.

5 Λύση. Γνωρίζουμε ότι η τομή i I H i μιας οικογένειας υποομάδων H = {H i i I} μιας ομάδας G είναι υποομάδα της G. Έστω x G και h i I H i. Τότε h H i, i I, και επειδή κάθε H i είναι κανονική υποομάδα της G, θα έχουμε x 1 hx H i, i I. Άρα x 1 hx i I H i. Έτσι δείξαμε ότι x G, h i I H i : x 1 hx i I H i Επομένως i I H i G. 5 Ασκηση 7. Έστω G μια πεπερασμένη ομάδα και H μια κανονική υποομάδα της G. Αν ( [G : H], o(h) ) = 1 τότε να δείξετε ότι³: x G : x o(h) = e = x H Λύση. Έστω o(h) = m και [G : H] = n. Επειδή η H είναι μια κανονική υποομάδα της G, ορίζεται η ομάδα πηλίκο G/H τάξης o(g/h) = [G : H] = n Έστω x G έτσι ώστε x o(h) = e, δηλαδή x m = e. Τότε έχουμε: (xh) m = x m H = eh = H = o(xh) m = o(h) (1) Όμως o(xh) n = o(g/h) (2) Από τις σχέσεις (1) και (2) έπεται ότι και άρα έχουμε το ζητούμενο. o(xh) (m, n) = 1 = o(xh) = 1 = xh = eh = x H Ασκηση 8. Αν G είναι μια ομάδα, να δείξετε ότι τα ακόλουθα είναι ισοδύναμα: (1) Η ομάδα G είναι αβελιανή. (2) Η ομάδα πηλίκο G/Z(G) είναι κυκλική. Αν Η είναι μια υποομάδα της G έτσι ώστε H Z(G), τότε όπως γνωρίζουμε η H είναι κανονική υποομάδα της G. Αν η ομάδα πηλίκο G/H είναι κυκλική, είναι η G αβελιανή; Λύση. (1) (2) Αν η G είναι αβελιανή, τότε προφανώς θα έχουμε G = Z(G). Ώς συνέπεια θα έχουμε ότι η ομάδα πηλίκο θα είναι η τετριμμένη G/Z(G) = {ez(g)} = ez(g) και επομένως η ομάδα πηλίκο G/Z(G) είναι κατά τετριμμένο τρόπο κυκλική. (2) (1) Αν η G/Z(G) είναι κυκλική, έστω gz(g) ένας γεννήτοράς της: G/Z(G) = gz(g). Εστω x G. Θεωρούμε το στοιχείο xz(g) G/Z(G) και τότε xz(g) = (gz(g)) k = g k Z(G) = x 1 g k Z(G) = x 1 g k = z Z(G) = x = g k z 1 Επομένως δείξαμε ότι: x G, k Z & z x Z(G) : x = g k z x Έστω τώρα x, y G, και όπως παραπάνω μπορούμε να γράψουμε: x = g k z x & y = g l z y όπου k, l Z & z x, z y Z(G) Τότε, επειδή τα στοιχεία z x και z y ανήκουν στο κέντρο της G, θα έχουμε: xy = g k z x g l z y = g k g l z x z y = g k+l z x z y = g l+k z y z x = g l g k z y z x = g l z y g k z x = yx ³Όπως ήδη γνωρίζουμε, χωρίς καμμία προϋπόθεση, ισχύει και η αντίστροφη συνεπαγωγή: για κάθε πεπερασμένη ομάδα H και για κάθε στοιχείο της x H: x o(x) = e.

6 6 Άρα xy = yx, x, y G, και άρα η G είναι αβελιανή. Έστω Η μια υποομάδα της G έτσι ώστε H Z(G), και επομένως, όπως γνωρίζουμε, η H είναι κανονική υποομάδα της G. Αν η ομάδα πηλίκο G/H είναι κυκλική, τότε η παραπάνω απόδειξη δείχνει ότι η ομάδα G είναι αβελιανή (αντικαθιστούμε στην παραπάνω απόδειξη την υποομάδα Z(G) με την υποομάδα H Z(G)). Ασκηση 9. Θεωρούμε την κανονική (ορθόθετη) υποομάδα Z της προσθετικής ομάδας R. Να βρεθούν όλα τα στοιχεία πεπερασμένης τάξης της ομάδας πηλίκο R/Z. Λύση. Υπενθυμίζουμε ότι R/Z = { x + Z R x R } όπου x + Z = y + Z x y Z Έστω στοιχείο x+z R/Z με x+z 0+Z = Z και έστω ότι η τάξη του x+z είναι πεπερασμένη. Τότε υπάρχει n 1 έτσι ώστε n (x + Z) = Z = nx + Z = Z = nx = m Z n 0 = x = m n Q Επομένως δείξαμε ότι o(x + Z) < = x Q (1) Αντίστροφα τώρα, έστω p q + Z R/Z με p, q Z και q 0. Τότε q ( p q + Z) = pq q + Z = p + Z = Z = o(p + Z) < (2) q Από τις σχέσεις (1) και (2) έπεται ότι Q/Z = { r + Z R/Z r Q } = { x + Z R/Z o(x + Z) < } δηλαδή τα στοιχεία πεπερασμένης τάξης της R/Z είναι ακριβώς τα στοιχεία της ομάδας πηλίκο Q/Z η οποία είναι υποομάδα της ομάδας R/Z. Ασκηση 10. Έστω ότι φ : G L είναι ένας ομομορφισμός ομάδων. (1) Να δειχθεί ότι αν, H είναι μια υποομάδα τής G, τότε η εικόνα φ(h) είναι μια υποομάδα τής L. (2) Να δειχθεί ότι αν, K είναι μια υποομάδα τής L, τότε η προεικόνα φ 1 (K) = {g G φ(g) K} είναι μια υποομάδα τής G. Λύση. (1) Παρατηρούμε ότι το σύνολο φ(h) δεν είναι το κενό σύνολο, αφού το H, επειδή είναι μια υποομάδα τής G. Αν l 1, l 2 φ(h), τότε υπάρχουν h 1, h 2 H με φ(h 1 ) = l 1 και φ(h 2 ) = l 2. Παρατηρούμε ότι l 1 l 1 2 = φ(h 1 )φ(h 2 ) 1 = φ(h 1 )φ(h 1 2 ) = φ(h 1h 1 2 ). Επειδή τα h 1, h 2 ανήκουν στην υποομάδα H, συμπεραίνουμε ότι και το h 1 h 1 2 H. Επομένως, το στοιχείο l 1 l 1 2 = φ(h 1 h 1 2 ) ανήκει στο φ(h) και έτσι το φ(h) είναι υποομάδα τής L. (2) Παρατηρούμε ότι το φ 1 (K) δεν είναι το κενό σύνολο, αφού το ουδέτερο στοιχείο e L τής L είναι και το ουδέτερο τής υποομάδας K και επειδή φ(e G ) = e L έπεται φ 1 (K) φ 1 ({e L }). Έστω ότι g 1, g 2 συμπεράνουμε ότι το φ 1 (K) είναι υποομάδα τής G. Έχουμε: φ 1 (K). Θα δείξουμε ότι και το g 1 g 1 2 φ 1 (K) από όπου θα φ(g 1 g 1 2 ) = φ(g 1)φ(g 1 2 ) = φ(g 1)φ(g 2 ) 1.

7 Παρατηρούμε ότι το στοιχείο φ(g 1 )φ(g 2 ) 1 = φ(g 1 g 1 2 ) ανήκει στην K, διότι τα φ(g 1) και φ(g 2 ) είναι στοιχεία τής K και η K είναι μια υποομάδα τής L. Επομένως, το g 1 g 1 2 ανήκει στο φ 1 (K) και γι αυτό το φ 1 (K) είναι μια υποομάδα τής G. 7 Ασκηση 11. Σε καθεμιά από τις επόμενες περιπτώσεις να εξεταστεί αν, η απεικόνιση που ορίζεται είναι ομομορφισμός ομάδων και όταν είναι, τότε να υπολογιστεί ο πυρήνας του. (1) φ : Z Z, φ(z) = z 1. (2) φ : R R, φ(r) = r και όπου η πράξη τής R = R \ {0} είναι ο πολλαπλασιασμός πραγματικών αριθμών. (3) φ : R GL 2 (R), φ(r) = (4) φ : G G, φ(g) = g 1. (5) φ : Z 6 Z 2, φ([z] 6 ) = [z] 2. (6) φ : Z 7 Z 2, φ([z] 7 ) = [z] 2. ( ) 1 r. 0 1 Λύση. (1) H φ δεν είναι ομομορφισμός ομάδων διότι φ(0) = 1 0⁴. (2) Η απεικόνιση φ είναι ομομορφισμός διότι: φ(rs) = rs = r s = φ(r)φ(s) Έστω φ(r) = r = 1, τότε προφανώς r = ±1. Επομένως Ker(φ) = {1, 1}. (3) Η απεικόνιση φ είναι ομομορφισμός διότι: ( ) ( ) ( ) 1 r + s 1 r 1 s φ(r + s) = = = φ(r)φ(s) Άρα η απεικόνιση φ είναι ομομορφισμός ομάδων και Ker(φ) = { r R φ(r) = I 2 } = { r R ( 1 r 0 1 ) = ( ) } = {r R r = 0} = {0} (4) Αν g 1, g 2 G, τότε θα έχουμε: φ(g 1 g 2 ) = (g 1 g 2 ) 1 = g 1 2 g 1 1 & φ(g 1 )φ(g 2 ) = g 1 1 g 1 2 Επειδή g 1 2 g 1 1 = g 1 1 g 1 2 αν και μόνον αν (g 1 g 2 ) 1 = (g 2 g 1 ) 1 αν και μόνον αν g 1 g 2 = g 2 g 1, έπεται ότι η απεικόνιση φ είναι ομομορφισμός αν και μόνον αν η ομάδα G είναι αβελιανή. Υποθέτοντας ότι η G είναι αβελιανή, θα έχουμε ότι η φ είναι ισομορφισμός διότι η φ είναι αντιστρέψιμη και η αντίστροφή της ψ : G G, ψ 1 (g) = g 1 συμπίπτει με την φ: ψ = φ. Πράγματι: (φ ψ)(g) = φ(ψ(g)) = φ(g 1 ) = (g 1 ) 1 = g & (ψ φ)(g) = ψ(φ(g)) = ψ(g 1 ) = (g 1 ) 1 = g και άρα φ ψ = Id G = ψ φ, και άρα ψ = φ 1 = φ. (5) Η απεικόνιση φ είναι καλά ορισμένη διότι: [z] 6 = [w] 6 = 6 z w = 2 z w = [z] 2 = [w] 2 = φ([z] 6 ) = φ([w] 6 ) και είναι ομομορφισμός διότι Τέλος φ([z] 6 + [w] 6 ) = φ([z + w] 6 ) = [z + w] 2 = [z] 2 + [w] 2 = φ([z] 6 ) + φ([w] 6 ) Ker(φ) = { [z] 6 Z 6 φ([z] 6 ) = [0] 2 } = { [z]6 Z 6 [z] 2 = [0] 2 } = { [z]6 Z 6 2 z } = { [0] 6, [2] 6, [4] 6 } (6) Η απεικόνιση φ δεν είναι καλά ορισμένη διότι: [0] 7 = [7] 7, αλλά φ([0] 7 ) = [0] 2 [1] 2 = [7] 2 = φ([7] 7 ), και άρα δεν τίθεται θέμα αν η φ είναι ομομορφισμός. ⁴Εδώ χρησιμοποιούμε ότι ένας ομομορφισμός στέλνει το ουδέτερο στοιχείο της πρώτης ομάδας στο ουδέτερο στοιχείο της δεύτερης ομάδας.

8 8 Ασκηση 12. Δώστε παράδειγμα μη-τετριμμένου ομομορφισμού, η δικαιολογήστε γιατί δεν υπάρχει μη-τετριμμένος ομομορφισμός, f: G H, όπου: (1) f : Z 12 Z 5. (2) f : Z 12 Z 4. (3) f : Z 2 Z 4 Z 2 Z 5. (4) f : Z 3 Z. (5) f : Z 3 S 3. (6) f : Z S 3. (7) f : Z Z 2Z. (8) f : 2Z Z Z. (9) f : D 4 S 3. (10) f : S 3 S 4. (11) f : S 4 S 3. (12) f : V 4 V 4. Λύση. (1) Έστω f: Z 12 Z 5 ένας ομομορφισμός. Τότε f([1] 12 ) = [x] 5 για κάποιο στοιχείο [x] 5 Z 5. Τότε επειδή οι πιθανές τάξεις του [x] 5 είναι 1 ή 5, και επειδή προφανώς η τάξη του f([1] 12 ) διαιρεί την τάξη του στοιχείου [x] 5, θα έχουμε o ( f([1] 12 ) ) o([1] 12 ) = 1 ή 5 12 Άρα η μόνη δυνατή επιλογή είναι o ( f([1] 12 ) ) = 1 και άρα f([1] 12 ) = [0] 5. Συνεπώς ο μόνος ομομορφισμός από το Z 12 στο Z 5 είναι ο τετριμμένος ομομορφισμός. (2) Ορίζουμε την απεικόνιση Αν [k] 12 = [λ] 12 τότε f : Z 12 Z 4, [κ] 12 f([k] 12 ) = [3k] 4 12 k λ = k λ = 12r = k = 12r + λ = 3k = 3 12r + 3λ = 3k = 4(9r) + 3λ = [3k] 4 = [3λ] 4 Άρα η f είναι καλά ορισμένη και εύκολα διαπιστώνουμε ότι είναι και ομομορφισμός ομάδων. (3) Ορίζουμε την απεικόνιση f : Z 2 Z 4 Z 2 Z 5, ([x] 2, [y] 4 ) f([x] 2, [y] 4 ) = ([x] 2, [y] 5 ) Τότε η f είναι ομομορφισμός ομάδων που δεν είναι ο τετριμμένος. (4) Έστω f: Z 3 Z, f([1]) = x, ένας ομομορφισμός. Τότε 0 = f([0]) = f([3]) = 3f([1]) = 3x = 3x = 0 = x = 0 Επομένως δεν υπάρχει μη-τετριμμένος ομομορφισμός από το Z 3 στο Z. (5) Ορίζουμε την απεικόνιση f : Z 3 S 3, [1] 3 f([1] 3 ) = (1 2 3) και άρα f([0] 3 ) = (1), f([2] 3 ) = (1 3 2). Τότε η f είναι ομομορφισμός ομάδων. (6) Θεωρούμε την απεικόνιση g h=f g Z S 3 f Z 3 όπου η g στέλνει όλους τους ακέραιους n [n] 3 και η f είναι ο ομομορφισμός που ορίσαμε στο (5). Τότε η h είναι ομομορφισμός ομάδων ως σύνθεση ομομορφισμών και ορίζεται ως εξής: (1) αν [n] 3 = [0] 3 h(n) = (1 2 3) αν [n] 3 = [1] 3 (1 3 2) αν [n] 3 = [2] 3

9 9 (7) Ορίζουμε την απεικόνιση f : Z Z 2Z, (m, n) f(m, n) = 2m Τότε η f είναι ομομορφισμός ομάδων που δεν είναι ο τετριμμένος. (8) Ορίζουμε την απεικόνιση f : 2Z Z Z, 2k f(2k) = (2k, 0) Τότε εύκολα διαπιστώνουμε ότι η f είναι ομομορφισμός ομάδων. (9) Ορίζουμε την απεικόνιση f: D 4 S 3 ως εξής: f(1) = (1) f ( ( ) ) = (1 2) f ( (1 2)(3 4) ) = (1) f ( (1 4)(2 3) ) = (1) f ( (1 3)(2 4) ) = (1) Τότε η f είναι ομομορφισμός ομάδων. (10) Ορίζουμε την απεικόνιση και f ( ( ) ) = (1 2) f ( (1 3) ) = (1 2) f ( (2 4) ) = (1 2) f : S 3 S 4, σ f(σ) = μ όπου η μετάθεση μ ορίζεται ως εξής: σ(i), 1 i 3 μ(i) = 4, i = 4 Τότε έπεται άμεσα ότι η f είναι ομομορφισμός ομάδων. (11) Ορίζουμε την απεικόνιση (1), σ A 4 f : S 4 S 3, σ f(σ) = (1 2), σ S 4 \ A 4 Τότε έχουμε ότι η f είναι ομομορφισμός ομάδων. (12) Υπενθυμίζουμε ότι V 4 = {e, a, b, c}, όπου a 2 = b 2 = c 2 και c = ab. Ορίζουμε την απεικόνιση e, x = e b, x = a f : V 4 V 4, x f(x) = a, x = b c, x = c Τότε έχουμε ότι η f είναι ομομορφισμός ομάδων. Ασκηση 13. Έστω G μια ομάδα. Τότε τα ακόλουθα είναι ισοδύναμα: (1) Η G είναι αβελιανή. (2) Η απεικόνιση f : G G, f(x) = x 1 είναι ομομορφισμός. (3) Η απεικόνιση g : G G, f(x) = x 2 είναι ομομορφισμός. (4) Η απεικόνιση h : G G G, h(x, y) = xy είναι ομομορφισμός. Λύση. (1) (2) Υποθέτουμε ότι η ομάδα G είναι αβελιανή και έστω x, y G. Τότε: και άρα η f είναι ομομορφισμός ομάδων. f(xy) = (xy) 1 = y 1 x 1 = x 1 y 1 = f(x)f(y)

10 10 (2) (1) Έστω ότι η απεικόνιση f είναι ομομορφισμός ομάδων και έστω x, y G. Τότε: f(xy) = (xy) 1 = (xy) 1 = x 1 y 1 = (xy) 1 = (yx) 1 = xy = yx f(x)f(y) = x 1 y 1 Συνεπώς η ομάδα G είναι αβελιανή. (1) (3) Υποθέτουμε ότι η ομάδα G είναι αβελιανή και έστω x, y G. Τότε: g(xy) = (xy) 2 = xy xy = xx yy = x 2 y 2 = g(x)g(y) Άρα η g είναι ομομορφισμός ομάδων. (3) (1) Υποθέτουμε αντίστροφα ότι η απεικόνιση g είναι ομομορφισμός ομάδων και έστω x, y G. Τότε: g(xy) = (xy) 2 = xyxy = xyxy = x 2 y 2 = xyxy = xxyy = yx = xy g(x)g(y) = x 2 y 2 Άρα η ομάδα G είναι αβελιανή. (1) (4) Έστω ότι η ομάδα G είναι αβελιανή και έστω x, y G. Τότε: h ( (x 1, y 1 ) (x 2, y 2 ) ) = h(x 1 x 2, y 1 y 2 ) = x 1 x 2 y 1 y 2 = x 1 y 1 x 2 y 2 = h(x 1, y 1 )h(x 2, y 2 ) και άρα η h είναι ομομορφισμός ομάδων (4) (1) Υποθέτουμε ότι η απεικόνιση h είναι ομομορφισμός ομάδων και έστω x, y G. Τότε έχουμε: Επομένως η ομάδα G είναι αβελιανή. h ( (x, e) (e, y) ) = h(xe, ey) = h(x, y) = xy h ( (e, y) (x, e) ) = h(e, y)h(x, e) = ey ex = yx = xy = yx Ασκηση 14. (1) Πόσοι ομομορφισμοί ομάδων Z Z υπάρχουν; (2) Πόσοι μονομορφισμοί ομάδων Z Z υπάρχουν; (3) Πόσοι επιμορφισμοί ομάδων Z Z υπάρχουν; (4) Πόσοι ομομορφισμοί ομάδων Z Z 2 υπάρχουν; (5) Πόσοι ομομορφισμοί ομάδων Z 2 Z υπάρχουν; Λύση. (1) Θα δείξουμε ότι μια απεικόνιση f: Z Z είναι ομομορφισμός αν και μόνο αν υπάρχει k Z έτσι ώστε f = f k : Z Z, f k (n) = nk. Καταρχήν για κάθε k Z η f k είναι ομομορφισμός αφού f k (n 1 + n 2 ) = k(n 1 + n 2 ) = kn 1 + kn 2 = f k (n 1 ) + f k (n 2 ) Έστω f: Z Z ένας ομομοφισμός ομάδων και θέτουμε f(1) = k Z. Έστω n Z. Τότε έχουμε n > 0: f(n) = f( ) = f(1) + + f(1) = n f(1) = nk = f k (n) n = 0: f(0) = 0 = 0 k = f k (0) n < 0: f(n) = f( ( n)) = f( n) = ( n)k = kn = f k (n) Συνεπώς για κάθε n Z έχουμε f(n) = f(n 1) = nf(1) = nk = f = f k

11 Επειδή f k = f λ αν και μόνο αν k = λ τότε υπάρχουν Z το πλήθος ομομομορφισμοί από το Z Z και δίνονται από τους ομομοριφισμούς f k με k Z. Δηλαδή η απεικόνιση Z { ομομορφισμοί : Z Z }, k f k είναι 1-1 και επί. (2) Έστω f: Z Z ένας μονομορφισμός. Άρα από το (1) έχουμε ότι f = f k, k Z, δηλαδή f k (n) = kn για κάθε n Z. Τότε f k (n) = 0 = kn = 0 = k = 0 ή n = 0 και άρα k 0. Επίσης για k 0 η f είναι μονομορφισμός. Προφανώς αν k = 0 τότε Ker f = Z και άρα η f δεν είναι μονομορφισμός. Συνοψίζοντας έχουμε: (3) Για παράδειγμα έστω ο ομομορφισμός f: μονομορφισμός f = f k, k 0 φ : Z Z, 1 φ(1) = 5 Τότε για κάθε z Z έχουμε φ(z) = 5z και άρα η εικόνα της φ είναι φ(z) = 5Z Επομένως η εικόνα της φ δεν είναι όλο το Z και άρα η φ δεν είναι επί. Γενικά λοιπόν παρατηρούμε ότι αν ορίσουμε φ : Z Z, 1 φ(1) = a τότε φ(z) = az = a. Για να είναι η φ επιμορφισμός θέλουμε να ισχύει η ισότητα: a = Z. Αυτό όμως συμβαίνει αν και μόνο αν το a = ±1. Συνεπώς έχουμε δύο επιμορφισμούς από το Z στο Z: (αʹ) f 1 : Z Z, 1 1, δηλαδή f 1 (n) = n, n Z. (βʹ) f 1 : Z Z, 1 1, δηλαδή f 1 (n) = n, n Z. Παρατηρείστε από το (2) ότι αυτοί είναι και οι μόνοι ισομορφισμοί από το Z στο Z. (4) Θεωρούμε τις παρακάτω δυο απεικονίσεις f 1 : Z Z 2, 1 f 1 (1) = [0] f 2 : Z Z 2, 1 f 2 (1) = [1] Η απεικόνιση f 1 είναι ο τετριμμένος ομομορφισμός και για κάθε n Z έχουμε: [0] αν n άρτιος f 2 (n) = nf 2 (1) = n[1] = [n] = [1] αν n περιτός Συνεπώς έχουμε 2 ομομορφισμούς από το Z στο Z 2. (5) Έστω f: Z 2 Z ένας ομομορφισμός. Άρα f([0]) = 0 και f([1]) = x για κάποιο x Z. Τότε f([0]) = f([2]) = f([1] + [1]) = f([1]) + f([1]) = x + x = 2x = 2x = 0 = x = 0 Επομένως f([1]) = 0 και άρα ο μοναδικός ομομορφισμός Z 2 Z είναι ο μηδενικός. 11 Ασκηση 15. Να δείξετε ότι: (1) Υπάρχουν μονομορφισμοί ομάδων f: G G οι οποίοι δεν είναι ισομορφισμοί. (2) Υπάρχουν επιμορφισμοί ομάδων f: G G οι οποίοι δεν είναι ισομορφισμοί.

12 12 Λύση. (1) Θεωρούμε την απεικόνιση f k : Z Z, n f k (n) = kn Όπως είδαμε στην Άσκηση 14, η απεικόνιση f k είναι ένας ομομορφισμός ομάδων, και επιπλέον για k 0, 1, 1 η f k είναι μονομορφισμός αλλά όχι ισομορφισμός. (2) Έστω η απεικόνιση f : C C, z f(z) = z n Είναι φανερό ότι η f είναι ομομορφισμός ομάδων. Έστω w = a + bi = r cos θ + ir sin θ C. Τότε υπάρχει ο μιγαδικός αριθμός ( θ z = n r cos n + i sin θ ) C n έτσι ώστε f(z) = z n = w και άρα η f είναι επιμορφισμός. Όμως Ker f = {z C f(z) = 1} = U n δηλαδή η f δεν είναι μονομορφισμός και άρα έχουμε ότι η f δεν είναι ισομορφισμός. Ασκηση 16. Έστω H και K δύο κανονικές υποομάδες μιας ομάδας G. (1) Να δείξετε ότι HK = KH και το υποσύνολο HK είναι μια κανονική υποομάδα της G. (2) Να δείξετε ότι η υποομάδα H K είναι κανονική υποομάδα της H και της K. (3) Αν H K = {e}, τότε να δείξετε ότι: hk = kh, h H, k K, και υπάρχει ένας ισομορφισμός: HK = H K Λύση. (1) Παρατηρούμε ότι επειδή η H είναι κανονική υποομάδα της G, θα έχουμε gh = Hg, g G. Ιδιαίτερα: k K : kh = Hk = KH = HK Προφανώς e = ee HK διότι e H K. Έστω h 1 k 1, h 2 k 2 HK, όπου h 1, h 2 H και k 1, k 2 K. Τότε (h 1 k 1 )(h 2 k 2 ) 1 = h 1 k 1 k 1 2 h 1 2 h 1 Kh 1 2 h 1 KH = h 1 HK = HK Επομένως η HK είναι υποομάδα της G. Επιπλέον, επειδή g G: g 1 Hg = H και g 1 Kg = K, θα έχουμε: g 1 HKg = g 1 (HK)g = g 1 (HeK)g = g 1 (Hgg 1 K)g = (g 1 Hg)(g 1 Kg) = HK και επομένως η HK είναι κανονική υποομάδα της G. (2) Έστω h H. Τότε για κάθε g H K, το στοιχείο h 1 gh ανήκει στην H διότι g H, και επίσης ανήκει και στην K διότι η K είναι κανονική υποομάδα της G και g K. Άρα h H: h 1 (H K(h H K και άρα η H K είναι κανονική υποομάδα της H. Παρόμοια δείχνουμε ότι η H K είναι κανονική υποομάδα της K. (3) Έστω h H και k K. Τότε Τότε όμως θα έχουμε: H G = kh 1 k 1 H & K G = hk 1 h 1 K kh 1 k 1 H & h H = hkh 1 k 1 H hkh 1 K & k 1 K = hkh 1 k 1 K Άρα: hkh 1 k 1 H K = {e} = hkh 1 k 1 = e = hk = kh Ορίζουμε απεικόνιση f : HK H K, f(hk) = (h, k)

13 η οποία είναι ομομορφισμός. Πράγματι: έστω g 1, g 2 HK. Τότε g 1 = h 1 k 1 και g 2 = h 2 k 2 για κάποια h 1, h 2 H και k 1, k 2 K, και χρησιμοποιώντας ότι hk = kh, h H, k K, θα έχουμε: f(g 1 g 2 ) = f(h 1 k 1 h 2 k 2 ) = f(h 1 h 2 k 1 k 2 ) = (h 1 h 2, k 1 k 2 ) = f(h 1, k 1 )f(h 2, k 2 ) = f(g 1 )f(g 2 ) Άρα η απεικόνιση f είναι ένας ομομορφισμός ομάδων. Προφανώς η f είναι επιμορφισμός, διότι αν (h, k) H K, τότε f(hk) = (h, k). Τέλος έστω g 1 = h 1 k 1, g 2 = h 2 k 2 HK. Τότε f(g 1 ) = f(g 2 ) = f(h 1 k 1 ) = f(h 2 k 2 ) = h 1 k 1 = h 2 k 2 = h 1 2 h 1 = k 2 k 1 1 H K = {e} Τότε όμως h 1 2 h 1 = e = k 2 k 1 1 και άρα h 1 = h 2 και k 1 = k 2, δηλαδή g 1 = h 1 k 1 = h 2 k 2 = g 2. Επομένως η f είναι 1-1 και άρα η f είναι ισομορφισμός ομάδων. 13 Ασκηση 17. Έστω G μια άπειρη ομάδα. Τότε τα ακόλουθα είναι ισοδύναμα: (1) Η G είναι κυκλική. (2) Κάθε υποομάδα H {e} της G είναι ισόμορφη με την G. Λύση. (1) (2) Έστω ότι η G είναι κυκλική, δηλαδή υπάρχει στοιχείο a G έτσι ώστε G = a. Τότε οι υποομάδες της G είναι οι ακόλουθες: {e}, a, a 2, a 3,, a n, Έστω H {e} υποομάδα της G. Τότε H = a k για κάποιο k 1 και άρα η H είναι άπειρη κυκλική. Όμως από τη Θεωρία γνωρίζουμε ότι κάθε δυο άπειρες κυκλικές ομάδες είναι ισομόρφες. Άρα έχουμε ότι H G. Διαφορετικά θα δείξουμε κατευθείαν το ζητούμενο ισομορφισμό. Ορίζουμε την απεικόνιση Έχουμε f : G = a H = a k, a m f(a m ) = a mk = (a k ) m Ομομορφισμός Ομάδων: Έστω a m, a n G. Τότε f(a m a n ) = f(a m+n ) = a (m+n)k = a mk+nk = a mk a nk = f(a m )f(a n ) και άρα η f είναι ομομορφισμός ομάδων. Ένα προς ένα: Αν f(a m ) = f(a n ) τότε a mk = a nk = a mk nk = e Επειδή o(a) = έπέται ότι mk nk = (m n)k = 0 και άρα m = n ή k = 0. Αν k = 0 τότε έχουμε άτοπο διότι H {e}. Συνεπώς έχουμε a m = a n, δηλαδή η f είναι ένα προς ένα. Επί: Τα στοιχεία της H είναι της μορφής a kλ με λ 1. Τότε έχουμε το στοιχείο a λ G και f(a λ ) = a λk. Επομένως η f είναι επί. Άρα δείξαμε πράγματι ότι: H G. (2) (1) Επειδή η G είναι άπειρη υπάρχει στοιχείο a G με a e. Θεωρούμε τη κυκλική υποομάδα H = a της G που παράγεται από το στοιχείο a. Τότε από την υπόθεση μας έπεται ότι H G και άρα η ομάδα G είναι κυκλική.

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

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

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

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

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

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

Α Δ Ι Ε Υ Μ. Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης

Α Δ Ι Ε Υ Μ. Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Α Δ Ι Ε Υ Μ Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 28 Ι 2014 Το παρόν κείμενο

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

Α Δ Ι. Παρασκευή 29 Νοεμβρίου 2013 & K =

Α Δ Ι. Παρασκευή 29 Νοεμβρίου 2013 & K = Α Δ Ι Α - Φ 5 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 29 Νοεμβρίου 2013 Ασκηση

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

Α Δ Ι. Παρασκευή 20 Δεκεμβρίου GL n (R) / SL n (R)

Α Δ Ι. Παρασκευή 20 Δεκεμβρίου GL n (R) / SL n (R) Α Δ Ι Α - Φ 8 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 20 Δεκεμβρίου

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

Παρασκευή 6 Δεκεμβρίου 2013

Παρασκευή 6 Δεκεμβρίου 2013 Α Δ Ι Α - Φ 6 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi20/asi20.html, https://sites.google.com/site/mathsedu/home/algdom Παρασκευή 6 Δεκεμβρίου 20

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

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

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

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

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

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

Φυλ. Ασκ. 5, Θεωρία Ομάδων Ασκήσεις στα: Ευθέα Γινόμενα Ομάδων, Θεώρημα Jordan Hölder, Συνθετικές και Κυρίαρχες Σειρές, Επιλύσιμες Ομάδες

Φυλ. Ασκ. 5, Θεωρία Ομάδων Ασκήσεις στα: Ευθέα Γινόμενα Ομάδων, Θεώρημα Jordan Hölder, Συνθετικές και Κυρίαρχες Σειρές, Επιλύσιμες Ομάδες Φυλ. Ασκ. 5, Θεωρία Ομάδων Ασκήσεις στα: Ευθέα Γινόμενα Ομάδων, Θεώρημα Jordan Hölder, Συνθετικές και Κυρίαρχες Σειρές, Επιλύσιμες Ομάδες Εσωτερικά και Εξωτερικά ευθέα Γινόμενα Α 1. Έστω η κυκλική ομάδα

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

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

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

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

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

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

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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Θεωρία Sylow. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Θεωρία Sylow. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Θεωρία Ομάδων Ενότητα: Θεωρία Sylow Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 2 Θεωρία Sylow 21 Τα Θεωρήματα Sylow Ορισμός 211 Μια ομάδα (G, ) τάξης p α, όπου

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

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

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

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

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

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

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

(m, n) = 1 τότε Aut(H K) = Aut(H) Aut(K). Z(GL(2, R)), Z(SL(2, R)), Z(GL(n, R)), Z(SL(n, R)). } a b 0 c {( ) 1 b A = 0 1 {( ) a 0 D = 0 c T = } : b R

(m, n) = 1 τότε Aut(H K) = Aut(H) Aut(K). Z(GL(2, R)), Z(SL(2, R)), Z(GL(n, R)), Z(SL(n, R)). } a b 0 c {( ) 1 b A = 0 1 {( ) a 0 D = 0 c T = } : b R Ασκήσεις στην Θεωρία Ομάδων 2 Μαίου 2014 Άσκηση 1 Δίνεται μια ομάδα G τάξης n και a 1, a 2,..., a n G. Δείξτε ότι υπάρχουν k, m N τέτοια ώστε 1 k m n και a k a 2...a m = 1. Άσκηση 2 Δίνεται μια ομάδα G

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

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

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

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

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

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

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

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

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

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

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

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

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

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. Ταξινόµηση Κυκλικών Οµάδων και των Υποοµάδων τους Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες, τις υποοµάδες τους, και τους γεννήτο- ϱές τους. Οι ταξινοµήσεις αυτές ϑα ϐασιστούν στην

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

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

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

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

Αλγεβρικες οµες Ι. Εκπαιδευτικο Υλικο Μαθηµατος

Αλγεβρικες οµες Ι. Εκπαιδευτικο Υλικο Μαθηµατος Αλγεβρικες οµες Ι Εκπαιδευτικο Υλικο Μαθηµατος Ακαδηµαϊκο Ετος 2012-2013 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html 22

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

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

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

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

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

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

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

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. Ταξινόµηση Κυκλικών Οµάδων και Οµάδες Αυτοµορφισµών Στην παρούσα ενότητα ϑα ταξινοµήσουµε τις κυκλικές οµάδες ως προς τη σχέση ισοµορφίας. Ε- πίσης ϑα αποδείξουµε ένα σηµαντικό κριτήριο ισοµορφίας

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

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

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

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

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

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

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

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

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

(a + b) n = a k b n k, k. (a + b) p = a p + b p. k=0. n! k! (n k)! k =

(a + b) n = a k b n k, k. (a + b) p = a p + b p. k=0. n! k! (n k)! k = ΒΑΣΙΚΗ ΑΛΓΕΒΡΑ Συμπληρωματικές Ασκήσεις Χειμερινό Εξάμηνο 2016 Χρήστος Α. Αθανασιάδης Συμβολίζουμε με Z m το δακτύλιο των ακεραίων modulo m, με ā Z m την κλάση (mod m) του a Z και με M n (R) το δακτύλιο

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

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

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

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

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. Οµοµορφισµοί Οµάδων Στην παρούσα ενότητα ϑα µελετήσουµε απεικονίσεις µεταξύ οµάδων οι οποίες ϑα µας επιτρέψουν τη σύγκριση και την ταξινόµηση διάφορων κλάσεων οµάδων, ως προς τις δοµικές τους ιδιότητες.

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

834. Θεωρία Ομάδων Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 2013

834. Θεωρία Ομάδων Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 2013 834. Θεωρία Ομάδων Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 2013 Περιεχόμενα 1 Βασικές Έννοιες 1 1.1 Ορισμοί - παραδείγματα.............................. 1 1.2 Υποομάδες και Σύμπλοκα..............................

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

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

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

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

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

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

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

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

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

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

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

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

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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Επεκτάσεις Ομάδων. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

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

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

834. Θεωρία Ομάδων Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 2013

834. Θεωρία Ομάδων Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 2013 834. Θεωρία Ομάδων Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 2013 Περιεχόμενα 1 Βασικές Έννοιες 1 1.1 Ορισμοί - παραδείγματα.............................. 1 1.2 Υποομάδες και σύμπλοκα..............................

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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Ευθέα Γινόμενα Ομάδων. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

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

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

Α Δ Ι. Παρασκευή 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 Ασκηση

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

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

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

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

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

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

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

Α Δ Ι Θ Θ Α Ε Ι Μ : 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

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

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

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

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

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

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

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

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. Είναι φανερό ότι σε

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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Δράση Ομάδας επί ενός Συνόλου. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

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

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

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

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

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

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

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

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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Επιλύσιμες Ομάδες. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

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

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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Το Θεώρημα Jordan Hölder. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Το Θεώρημα Jordan Hölder. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Θεωρία Ομάδων Ενότητα: Το Θεώρημα Jordan Hölder Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 3 Το Θεώρημα Jordan Hölder 31 Προκαταρκτικές Έννοιες 311 Υποορθόθετες

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

bca = e. H 1j = G 2 H 5j = {f G j : f(0) = 1}

bca = e. H 1j = G 2 H 5j = {f G j : f(0) = 1} Αλγεβρα Ι, Χειμερινο Εξαμηνο 2017 18 Ασκησεις που συζητηθηκαν στο φροντιστηριο Το [Α] συμβολίζει το φυλλάδιο ασκήσεων που θα βρείτε στην ιστοσελίδα του μαθήματος επιλέγοντας «Άλλες Ασκήσεις». 1. Πόσες

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

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

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

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

Α Δ Ι. Παρασκευή 17 Ιανουαρίου 2014

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

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

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

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

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

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

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

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

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

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

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

Νίκος Μαρμαρίδης. Εισαγωγή στη Θεωρία Ομάδων

Νίκος Μαρμαρίδης. Εισαγωγή στη Θεωρία Ομάδων Νίκος Μαρμαρίδης Εισαγωγή στη Θεωρία Ομάδων Λ 2013 Περιεχόμενα 1 Δράση Ομάδας επί ενός Συνόλου 5 11 Δράσεις και μετατακτικές Αναπαραστάσεις 5 12 Τροχιές και Σταθερωτές 10 121 Το Θεώρημα Burnside 12 13

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

Κεφάλαιο 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. Στο κεφάλαιο αυτό ϑα ασχοληθούµε λεπτοµερέστερα µε τα ευθέα γινόµενα οµάδων

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

Α Δ Ι. Παρασκευή 24 Ιανουαρίου 2014

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

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

Αλγεβρικες οµες Ι. Θεωρητικα Θεµατα

Αλγεβρικες οµες Ι. Θεωρητικα Θεµατα Αλγεβρικες οµες Ι Θεωρητικα Θεµατα Ακαδηµαϊκο Ετος 2012-2013 ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html 4 εκεµβρίου 2012

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

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

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τίτλος Μαθήματος: Αλγεβρικές Δομές ΙΙ Ενότητα: Ομομορφισμοί και Πηλικοδάκτυλιοι Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τμήμα: Μαθηματικών 14 Ο Π Ιδιαιτέρως, αν τα f(x), g(x) είναι σχετικώς

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

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

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

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

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

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

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

< a 42 >=< a 54 > < a 28 >=< a 36 >

< a 42 >=< a 54 > < a 28 >=< a 36 > Ασκήσεις Βασικής Άλγεβρας και Λύσεις τους 4 Δεκεμβρίου 2013 1 Ασκήσεις και Λύσεις. 2013-14 1. (αʹ Εστω m, n δύο φυσικοί αριθμοί, τέτοιοι ώστε M K (m, n + 5 = MK (m + 5, n = 1. Αποδείξτε ότι MK (mn, m +

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

ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι

ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι Χρησιμοποιώντας το θεώρημα του Weddebu για ημιαπλούς δακτυλίους, αναπτύσσουμε εδώ τις πρώτες προτάσεις από τη θεωρία των αναπαραστάσεων και αρακτήρων πεπερασμένων

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

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

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

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

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

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

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

(β ) ((X c Y ) (X c Y c )) c

(β ) ((X c Y ) (X c Y c )) c Λύσεις Ασκήσεων στα Θεμέλια των Μαθηματικών II Ρωμανός-Διογένης Μαλικιώσης Παρασκευή, 29 Οκτωβρίου 2010 Άσκηση 1. Απλοποιήστε τις ακόλουθες εκφράσεις (α ) (D c F ) c (D F ) (β ) ((X c Y ) (X c Y c )) c

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

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 Οµάδες και Υποοµάδες 2.1 Συνοπτική Θεωρία Στην παρούσα ενότητα υπενθυµίζουµε εν συντοµία την έννοια της οµάδας και ιδιαίτερα του πίνακα Cayley µιας οµάδας, την έννοια της υποοµάδας και ιδιαίτερα

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

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. 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 είναι ένα

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

Δακτύλιοι και Πρότυπα Ασκήσεις 3. Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος. N ( a)

Δακτύλιοι και Πρότυπα Ασκήσεις 3. Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος. N ( a) 11 Δακτύλιοι και Πρότυπα 2016-17 Ασκήσεις 3 Η ύλη των ασκήσεων αυτών είναι η Ενότητα3, Ελεύθερα πρότυπα Στις παρακάτω ασκήσεις κάθε δακτύλιος είναι μη τετριμμένος μεταθετικός δακτύλιος 1 Δείξτε ότι το

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

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

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

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

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

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

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

ιδασκοντες: 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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Στο κεφάλαιο αυτό μελετάμε δακτυλίους του Art χρησιμοποιώντας το ριζικό του Jacobso. Ως εφαρμογή αποδεικνύουμε ότι κάθε δακτύλιος του Art είναι και της Noether. 4.1. Δακτύλιοι

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

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

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

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

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

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

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

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

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

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

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

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

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

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί.

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί. Γραμμική Άλγεβρα Ι, 07-8 Ασκήσεις7: Γραμμικές Απεικονίσεις Βασικά σημεία Ορισμός και παραδείγματα γραμμικών απεικονίσεων Σύνθεση γραμμικών απεικονίσεων, ισομορφισμοί Κάθε γραμμική απεικόνιση f : V W, όπου

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

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

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

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

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

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

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

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Σχολη Θετικων Επιστηµων Τµηµα Μαθηµατικων Αλγεβρικες οµες ΙΙ ιδάσκουσα : Θέµατα προηγουµένων ετών 1 Θέµατα Πολλαπλής Επιλογής Στις ερωτήσεις πολλαπλής επιλογής, εάν

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

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

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

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

Κεφάλαιο 9. Οµάδες συγκεκριµένης τάξης. 9.1 Οµάδες τάξης pq. Z p 2 και Z p Z p.

Κεφάλαιο 9. Οµάδες συγκεκριµένης τάξης. 9.1 Οµάδες τάξης pq. Z p 2 και Z p Z p. Κεφάλαιο 9 Οµάδες συγκεκριµένης τάξης Στο κεφάλαιο αυτό ϑα εφαρµόσουµε τη ϑεωρία που αναπτύχθηκε στα προηγούµενα κεφάλαια για να περιγράψουµε οµάδες τάξης pq, όπου p, q είναι διακεκριµένοι πρώτοι αριθµοί,

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

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

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

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

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

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

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

Δακτύλιοι και Πρότυπα Ασκήσεις 2. όπου a (4 i) (1 2 i), b i. Στη συνέχεια βρείτε κάθε τέτοιο d. b. Δείξτε ότι [ i] (4 i)

Δακτύλιοι και Πρότυπα Ασκήσεις 2. όπου a (4 i) (1 2 i), b i. Στη συνέχεια βρείτε κάθε τέτοιο d. b. Δείξτε ότι [ i] (4 i) 6 Δακτύλιοι και Πρότυπα 016-17 Ασκήσεις Η ύλη των ασκήσεων αυτών είναι η Ενότητα, Περιοχές κυρίων ιδεωδών. 1. Θεωρούμε το δακτύλιο [ i]. a. Βρείτε ένα d [ i] με ( a, b) d, όπου a (4 i) (1 i), b 16 1 i.

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

g (v + W ) = gv + W gv = 0.

g (v + W ) = gv + W gv = 0. Ασκήσεις #1 Σε ότι ακολουθεί, G είναι πεπερασμένη ομάδα και V είναι C-διανυσματικός χώρος πεπερασμένης διάστασης. 1. Δείξτε ότι η απεικόνιση G G G που ορίζεται θέτοντας g x = gxg 1 για g, x G αποτελεί

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

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

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

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

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

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

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

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

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

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