ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι Τµηµα Β Ασκησεις - Φυλλαδιο 8 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi06/asi06.html Πέµπτη Απριλίου 06 Ασκηση. Θεωρούµε τα ακόλουθα στοιχεία της S 6 : ( ( 5 6 5 6 σ =, τ =, µ = 5 6 6 5 Λύση. ( 5 6. 5 6 ( Να προσδιοριστούν οι τροχιές της χ στις οποίες διαµερίζεται το σύνολο {,,,, 5, 6}, όταν χ = σ, τ, και µ. ( Να προσδιοριστούν οι τάξεις o(σ, o(τ, και o(µ. ( Να προσδιοριστεί η ανάλυση σε ξένους κύκλους των σ, σ, σ, σ, σ 5, σ 6 (Τι παρατηρείτε;. ( Να υπολογιστούν τα στοιχεία : σ τ σ, σ τ σ, τ σ τ, µ τ µ, µ τ 7 µ. (5 Να επιλυθεί ως προς x η εξίσωση : x σ x = ( 5 6 (δηλαδή να ϐρεθεί, αν υπάρχει, µετάθεση τ S 6 έτσι ώστε : τ σ τ = ( 5 6. (6 Να δειχθεί ότι η ως προς x εξίσωση : x σ x = τ δεν διαθέτει λύση (δηλαδή δεν υπάρχει µετάθεση ρ S 6 έτσι ώστε : ρ σ ρ = τ. ( Για τη µετάθεση σ έχουµε: [] σ = {,,, 5, 6, } Άρα η σ έχει µόνο µια τροχιά αφού είναι ο κύκλος σ = ( 5 6. Για τη µετάθεση τ έχουµε: [] τ = {,,, } και [5] τ = {5, 6} Άρα η τ έχει δυο τροχιές και τ = ( (5 6. Για τη µετάθεση µ έχουµε: [] µ = {, 5}, [] µ = {}, [] µ = {, } και [6] µ = {6} Άρα η µ έχει τέσσερις τροχιές και µ = ( 5(. ( Υπενθυµίζουµε από τη Θεωρία ότι ένας κύκλος µήκους k έχει τάξη k και η τάξη µιας µετάθεσης που είναι γινόµενο ξένων κύκλων είναι το ελάχιστο κοινό πολλαπλάσιο των µηκών των κύκλων. Άρα επειδή σ = ( 5 6 & τ = ( (5 6 & µ = ( 5( έχουµε: o(σ = 6 & o(τ = [, ] = & o(µ = [, ] =
( Εχουµε: σ = ( 5 6 σ = σ σ = ( 5 6 ( 5 6 = ( 6( 5 σ = σ σ = ( 5 6 ( 6( 5 = ( 6(5 ( σ = σ σ = ( 6( 5 ( 6( 5 = ( 5( 6 σ 5 = σ σ = ( 5( 6 ( 5 6 = ( 6 5 σ 6 = ι Παρατηρούµε λοιπόν ότι η µετάθεση σ είναι κύκλος, αλλά η µετάθεση σ δεν είναι κύκλος. Άρα η δύναµη κύκλου δεν είναι γενικά κύκλος. Από την άλλη πλευρά παρατηρούµε οτι η δύναµη σ 5 του κύκλου σ είναι κύκλος. ( Εχουµε: σ τ σ = ( 5 6 ( (5 6 ( 6 5 = ( 6( 5 σ τ σ = ( 6 5 ( (5 6 ( 5 6 = ( 6 ( 5 τ σ τ = ( (5 6 ( 5 6 (5 6( = ( 6 5 µ τ µ = ( 5( ( (5 6 ( (5 6 = ( 6( 5 Επειδή µ = ι έχουµε ότι µ = µ και επειδή τ = ι έπεται ότι τ 7 = τ = τ. Άρα έχουµε: µ τ 7 µ = µ τ µ = ( 5( (5 6( ( 5( = ( 5 ( 6 (5 Εχουµε: x σ x = ( 5 6 = (x( x( x( x(5 x(6 x( = ( 5 6 = x( =, x( =, x( =, x(5 =, x(6 = 5, x( = 6 Άρα λύση της εξίσωσης x σ x = ( 5 6 είναι η µετάθεση x = ( 6 5. (6 Από το ερώτηµα (5 έχουµε ότι η µετάθεση x σ x είναι πάντοτε κύκλος. Οµως η µετάθεση τ δεν είναι κύκλος και άρα η εξίσωση : x σ x = τ δεν διαθέτει λύση. Ασκηση. ( Εστω σ ένα στοιχείο της συµµετρικής οµάδας S n, n. Να δειχθεί ότι η τάξη του σ είναι αν και µόνον αν η µετάθεση σ είναι γινόµενο αντιµεταθέσεων ξένων ανά δύο. ( Εστω τ ένα στοιχείο της συµµετρικής οµάδας S 7 για το οποίο γνωρίζουµε ότι : τ = ( 5 6 7. Να ϐρεθεί η µετάθεση τ και να γραφεί ως γινόµενο ξένων κύκλων και αντιµεταθέσεων. Λύση. ( Γνωρίζουµε ότι για κάθε σ S n, έχουµε : σ = c c c t ( όπου τα c i, i t είναι κύκλοι τής S n αποσυνδετοί (ξένοι ανά δύο. Γνωρίζουµε ακόµα ότι η τάξη τού σ ισούται µε το Ελάχιστο Κοινό Πολλαπλάσιο των τάξεων o(c i, i t των κύκλων. Αλλά η τάξη οποιουδήποτε κύκλου c τής S n συµπίπτει µε το µήκος του l(c. Γι αυτό o(σ = ΕΚΠ{l(c, l(c,..., l(c t } = [l(c, l(c,..., l(c t ] Γενικά αποδεικνύεται ότι αν ρ είναι ένας κύκλος µήκους k και m, τότε η µετάθεση ρ m είναι κύκλος αν και µόνον αν (k, m =, ϐλέπε το Φυλλάδιο 8 των Προτεινόµενων Ασκήσεων.
Επιπλέον, αν η µετάθεση σ δεν είναι το ταυτοτικό στοιχείο τής S n, τότε στην προηγούµενη ανάλυση ( µπορούµε να ϑεωρήσουµε µόνο κύκλους µήκους. Εποµένως : o(σ = = ΕΚΠ{l(c, l(c,..., l(c t } = = i, i t : l(c i = = i, i t : c i = αντιµετάθεση. Αντίστροφα αν η µετάθεση σ είναι γινόµενο αντιµεταθέσεων (ξένων αποσυνδετών ανά δύο, τότε η τάξη του είναι το ελάχιστο κοινό πολλαπλάσιο των µηκών τους, δηλαδή. ( Επειδή τ τ και επειδή η τάξη της τ ως κύκλου µήκους 7 είναι ίση µε 7, έπεται ότι ϑα έχουµε : 7 = o(τ o(τ. Από το (, ϑα έχουµε τ = τ τ τ r, όπου οι κύκλοι τ i είναι ξένοι ανά δύο µεταξύ τους, και o(τ = ΕΚΠ{l(c, l(c,..., l(c r } και l(c + l(c + + l(c r = 7. Επειδή 7 o(τ, αναγκαστικά ϑα έχουµε ότι η τ είναι κύκλος µήκους 7 και άρα o(τ = 7. Τότε τ = ι τ = τ 7 τ = τ 8 = τ τ = ( 5 6 7 ( 5 6 7 = ( 6 5 7 Τέλος η τ γράφεται ως γινόµενο αντιµεταθέσεων ως εξής : τ = ( 6 5 7 = ( 7 ( 5 ( ( ( 6 ( Ασκηση. Θεωρούµε τις µεταθέσεις της συµµετρικής οµάδας S 8 : ( ( 5 6 7 8 5 6 7 8 τ = και σ = 5 7 8 6 6 8 7 5 ( Να γραφούν οι µεταθέσεις σ και τ ως γινόµενα ξένων κύκλων. ( Να προσδιοριστούν οι τάξεις των µεταθέσεων τ και σ. ( Να υπολογιστεί η µετάθεση σ 06. ( Να εξεταστεί αν, υπάρχει µετάθεση ρ S 8 τέτοια, ώστε : ρ τ ρ = σ. Αν υπάρχει, να ϐρείτε µια τέτοια µετάθεση. Λύση. ( Θα έχουµε : ( Θα έχουµε : ( Επειδή 0 = 6 5 +, ϑα έχουµε : τ = ( ( 5(6 7 8 & σ = ( 6( 8(5 7 o(τ = [,, ] = 6 & o(σ = [,, ] = 6 σ 0 = σ 6 5+ = σ 6 5 σ = (σ 6 5 σ = ι σ = σ Επειδή ξένοι κύκλοι αντιµετατίθενται, ϑα έχουµε : ( Επειδή σ = ( ( 6( 8(5 7 = ( 6 ( 8 (5 7 = (5 7 = (5 7 (5 7 = (5 7 τ = ( ( 5(6 7 8 & σ = ( 6( 8(5 7 = (5 7( 6( 8 οι σ, τ έχουν την ίδια ανάλυση σε ξένους κύκλους (έναν κύκλο µήκους και δύο κύκλους µήκους. Άρα υπάρχει µετάθεση ρ S 8 έτσι ώστε : ρτρ = σ. Πράγµατι ϑεωρούµε την µετάθεση : ( 5 6 7 8 ρ = ( 7 ( 5 6 = 7 5 6 8 Τότε υπολογίζουµε εύκολα : ρτρ = ρ( ( 5(6 7 8ρ = ρ( ρ ρ( 5ρ ρ(6 7 8ρ = = (ρ( ρ( (ρ( ρ( ρ(5 (ρ(6 ρ(7 ρ(8 = (7 5 ( 6 ( 8 = σ
Ασκηση. Θεωρούµε τη συµµετρική οµάδα S n, n. Να δειχθούν τα εξής : ( Κάθε κύκλος στην S n µπορεί να γραφεί ως γινόµενο το πολύ n αντιµεταθέσεων. ( Κάθε µετάθεση στην S n η οποία δεν είναι κύκλος, µπορεί να γραφεί ως γινόµενο το πολύ n αντιµεταθέσεων. ( Κάθε περιττή µετάθεση στην S n µπορεί να γραφεί ως γινόµενο n + αντιµεταθέσεων. ( Κάθε άρτια µετάθεση στην S n µπορεί να γραφεί ως γινόµενο n + 8 αντιµεταθέσεων. Λύση. ( Κάθε κύκλος γ = ( c c... c l, l n γράφεται ως γινόµενο l αντιµεταθέσεων, αφού γ = ( c c l ( c c l ( c c i ( c c ( c c. ( Αν σ S n δεν είναι κύκλος, τότε σ = γ γ γ ρ, όπου οι γ i είναι αποσυνδετοί (ξένοι κύκλοι µε µήκη l(γ i και όπου το άθροισµα των µηκών ρ i= l(γ i είναι n και όπου το ρ. Αφού κάθε κύκλος γ i είναι σύνθεση l(γ i αντιµεταθέσεων, η σ είναι σύνθεση ρ i= (l(γ i = ρ i= l(γ i ρ n ρ n. Εποµένως, κάθε µετάθεση τής S n γράφεται ως γινόµενο το πολύ n αντιµεταθέσεων. ( Αν τώρα η σ είναι περιττή τότε γράφεται ως γινόµενο s n αντιµεταθέσεων, όπου ο s είναι περιττός. Εποµένως n + = s + (n + s, όπου ο n + s είναι ϑετικός και άρτιος. Συµπληρώνουµε την ανάλυση τής σ µε τις s ( το πλήθος αντιµεταθέσεις µε την άρτια δύναµη n+ s, η οποία ισούται µε την ταυτοτική απεικόνιση. Ετσι η σ γράφεται ως γινόµενο n + αντιµεταθέσεων. ( Αν τέλος η σ είναι άρτια τότε γράφεται ως γινόµενο s n αντιµεταθέσεων, όπου ο s είναι άρτιος. Εποµένως n + 8 = s + (n + 8 s, όπου ο n + 8 s είναι ϑετικός και άρτιος. Συµπληρώνουµε την ανάλυση τής σ µε τις s ( το πλήθος αντιµεταθέσεις µε την άρτια δύναµη n+8 s, η οποία ισούται µε την ταυτοτική απεικόνιση. Ετσι η σ γράφεται ως γινόµενο n + 8 αντιµεταθέσεων. Ασκηση 5. ( Να δείξετε ότι κάθε µετάθεση σ A n, n, µπορεί να γραφεί ως γινόµενο -κύκλων. ( Να ϐρεθούν τα αριστερά σύµπλοκα (αριστερές πλευρικές κλάσεις της κυκλικής υποοµάδας H = ( στην εναλλάσσουσα οµάδα A. Λύση. ( Παρατηρούµε ότι για n =, στην εναλλάσσουσα οµάδα A όλα τα στοιχεία της, εκτός του ταυτοτικού, είναι κύκλοι µήκους, και η ταυτοτική µετάθεση είναι γινόµενο κύκλων µήκους : A = { ( = ( ( (, (, ( } Αν n, τότε επειδή κάθε στοιχείο της A n, ως άρτια µετάθεση, γράφεται σαν γινόµενο άρτιου πλήθους αντιµεταθέσεων, αρκεί να δείξουµε ότι το γινόµενο δυο αντιµεταθέσεων (a b, (c d είναι γινόµενο κύκλων µήκους. ιακρίνουµε δύο περιπτώσεις: (αʹ Αν οι αντιµεταθέσεις (a b και (c d είναι ξένες µεταξύ τους, τότε (a b (c d = (a c b (a c d (ϐʹ Εστω ότι οι αντιµεταθέσεις (a b και (c d έχουν ένα κοινό στοιχείο. Αν λοιπόν a = c τότε (a b (a d = (a d b Σηµειώνουµε ότι αν έχουν δυο κοινά στοιχεία τότε το γινόµενο τους είναι η ταυτοτική µετάθεση. Συνεπώς το γινόµενο δύο αντιµεταθέσεων είναι γινόµενο κύκλων µήκους και άρα κάθε στοιχείο της εναλλάσσουσας οµάδας A n, n, είναι γινόµενο κύκλων µήκους. ( Επειδή η µετάθεση ( είναι ένας κύκλος µήκους τρία, έπεται ότι η τάξη της H είναι και εποµένως ο δείκτης της H στην A ϑα είναι [A : H] = = Ετσι ϑα έχουµε αριστερά σύµπλοκα (πλευρικές κλάσεις. (αʹ Θα έχουµε το σύµπλοκο (H = H = { (, (, ( }
5 (ϐʹ Ο -κύκλος ( δεν ανήκει στην H και άρα ϑα έχουµε το σύµπλοκο ( H = { ( (, ( (, ( ( } = { (, ( (, ( } (γʹ Ο -κύκλος ( δεν ανήκει στην ένωση συµπλόκων H ( H και άρα ϑα έχουµε το σύµπλοκο ( H = { ( (, ( (, ( ( } = { (, ( (, ( } (δʹ Ο -κύκλος ( δεν ανήκει στην ένωση συµπλόκων H ( H ( H και άρα ϑα έχουµε το σύµπλοκο ( H = { ( (, ( (, ( ( } = { (, ( (, ( } Εποµένως τα αριστερά σύµπλοκα της H στην A είναι : H, ( H, ( H, ( H Ασκηση 6. ( Να υπολογιστεί ο πίνακας Cayley της εναλλάσσουσας υποοµάδας A της (S,. ( Να δειχθεί ότι, αν n, η εναλλάσσουσα υποοµάδα A n της (S n, δεν είναι αβελιανή. Λύση. Η εναλλάσσουσα οµάδα A είναι υποοµάδα της συµµετρικής οµάδας S η οποία αποτελείται από τις άρτιες µεταθέσεις : A = { (, (, (, (, (, (, (, (, (, ( (, ( (, ( ( } Ο πίνακας Cayley της οµάδας A δίνεται παρακάτω : ( ( ( ( ( ( ( ( ( (( (( (( ( ( ( ( ( ( ( ( ( ( (( (( (( ( ( ( (( ( (( ( ( (( ( ( ( ( ( ( (( ( (( ( ( ( ( (( ( ( ( ( ( ( (( ( (( (( ( ( ( ( ( ( ( ( (( ( (( ( ( (( ( ( ( ( ( ( ( ( ( (( ( ( (( ( (( ( ( ( ( ( ( ( ( (( (( ( (( ( ( ( ( ( ( (( ( ( ( ( (( ( (( ( ( ( ( ( ( (( ( ( (( ( (( ( ( ( ( (( (( ( ( ( ( ( ( ( ( ( (( (( (( (( ( ( ( ( ( ( ( ( (( ( (( (( (( ( ( ( ( ( ( ( ( (( (( ( Για n, ϑεωρούµε τις ακόλουθες µεταθέσεις: ( 5 n σ = ( = A 5 n n & τ = ( = Τότε ( 5 n 5 n σ τ = ( ( = ( ( ( ( = ( ( = τ σ και άρα η εναλλάσσουσα υποοµάδα A n, n, της S n δεν είναι αβελιανή. A n Ασκηση 7. Να δείξετε ότι η εναλλάσουσα οµάδα A έχει υποοµάδες τάξης,,, και, αλλά δεν έχει υποοµάδα τάξης 6. Λύση. ( Προφανώς η A έχει υποοµάδες τάξης, και. Το στοιχείο (( παράγει µια κυκλική οµάδα τάξης, το στοιχείο ( παράγει µια υποοµάδα τάξης, και το σύνολο { (, ( (, ( (, (( } είναι µια υποοµάδα τάξης (η οποία είναι ισόµορφη µε την οµάδα του Klein, επειδή κάθε στοιχείο της, εκτός του ουδετέρου, έχει τάξη. Επειδή 6 = A, αυτό δείχνει ότι δεν ισχύει το αντίστροφο του Θεωρήµατος του Lagrange.
6 ( Υποθέτουµε ότι H είναι µια υποοµάδα της A µε o(h = 6. Τότε προφανώς ο δείκτης [A : H] = A H = 6 = και εποµένως η H έχει διακεκριµµένα αριστερά σύµπλοκα στην A. Θα δείξουµε ότι κάθε στοιχείο της A το οποίο είναι της µορφής g, όπου g A, ανήκει στην H: M := { g A g A } H ( Πράγµατι : έστω g A. Αν g H, τότε g H διότι η H είναι υποοµάδα της A. Αν g / H, τότε τα σύµπλοκα (H = H και gh, δεν συµπίπτουν, διότι διαφορετικά αν H = gh, τότε g H που είναι άτοπο. Άρα επειδή τα σύµπλοκα (H = H και gh είναι διαφορετικά και επειδή η H έχει διακεκριµµένα αριστερά σύµπλοκα στην A, έπεται ότι τα σύµπλοκα H και gh αποτελούν µια διαµέριση της A, και άρα : A = H gh & H gh = Το σύµπλοκο g H ϑα συµπίπτει µε ένα εκ των H και gh. Αν g H = gh, τότε (g g = g g = g H. Επειδή η H είναι υποοµάδα, ϑα έχουµε g H το οποίο είναι άτοπο. Συµπεραίνουµε ότι : g H = H κάτι το οποίο σηµαίναι ότι g H. Άρα η έγκλειση ( ισχύει. Οµως το πλήθος των στοιχείων του συνόλου M των τετραγώνων στοιχείων της A είναι όπως µπορούµε να δούµε εύκολα, π.χ. από τον πίνακα Cayley, ϐλέπε την Άσκηση 6 της A : M = { (, (, (, (, (, (, (, (, ( } δηλαδή όλοι οι -κύκλοι και η ταυτοτική µετάθεση. Άρα M = 9 και εποµένως δεν µπορεί να ισχύει η σχέση (, διότι H = 6. Στο άτοπο καταλήξαµε υποθέτοντας ότι η A έχει µια υποοµάδα τάξης 6. Άρα η εναλλάσσουσα οµάδα A δεν έχει υποοµάδα τάξης 6. Ασκηση 8. Να ϐρεθεί το διάγραµµα Hasse της εναλλάσσουσας οµάδας A. Λύση. Σύµφωνα µε το Θεώρηµα του Lagrange, υποοµάδες H της A τάξης n είναι πιθανόν να υπάρχουν, µόνον αν n = H, δηλαδή αν n =, 6,,,,. Υπενθυµίζουµε την περιγραφή των στοιχείων της A από την Άσκηση 6: A = { (, (, (, (, (, (, (, (, (, ( (, ( (, ( ( } Προφανώς όλοι οι οκτώ το πλήθος -κύκλοι έχουν τάξη και τα τρία στοιχεία ( (, ( (, ( ( έχουν τάξη. Ιδιαίτερα δεν υπάρχουν στοιχεία τάξης ή 6. ( Υποοµάδες τάξης της A : Προφανώς η µόνη υποοµάδα τάξης είναι η A. ( Υποοµάδες τάξης 6 της A : Οπως δείξαµε στην Άσκηση 7 δεν υπάρχει υποοµάδα τάξης 6 της A. ( Υποοµάδες τάξης της A : Επειδή δεν υπάρχουν στοιχεία ταξης στην A, έπεται ότι δεν υπάρχει κυκλική υποοµάδα τάξης στην A. Τότε όπως γνωρίζουµε, όλα τα στοιχεία, εκτός του ταυτοτικού, µιας υποοµάδας τάξης ϑα έχουν τάξη. Τα µόνα στοιχεία τάξης είναι τα γινόµενα των αντιµεταθέσεων ( (, ( (, ( (, και τότε εύκολα ϐλέπουµε, όπως στην Άσκηση 7, ότι το σύνολο V = {(, ( (, ( (, ((} είναι µια υποοµάδα τάξης (η οποία είναι ισόµορφη µε την οµάδα του Klein. Προφανώς δεν υπάρχει άλλη υποοµάδα τάξης στην A. ( Υποοµάδες τάξης της A : Αυτές, αν υπάρχουν, αναγκαστικά ϑα είναι κυκλικές µε γεννήτορες στοιχεία τάξης. Εχουµε οκτώ στοιχεία τάξης, για τα οποία ισχύει ότι : ( (, ( (, ( (, ( ( Εποµένως υπάρχουν τέσσερις διαφορετικές υποοµάδες τάξης : (, (, (, (
7 (5 Υποοµάδες τάξης της A : Αυτές, αν υπάρχουν, αναγκαστικά ϑα είναι κυκλικές µε γεννήτορες στοιχεία τάξης. Εχουµε στοιχεία τάξης, τα ( (, ( (, ( (, τα οποία παράγουν τις ακόλουθες υποοµάδες τάξης : ( (, ( (, ( ( Επειδή δεν υπάρχουν άλλα στοιχεία τάξης, έπεται ότι οι παραπάνω υποοµάδες είναι όλες οι υποο- µάδες τάξης. Παρατηρούµε ότι οι παραπάνω υποοµάδες τάξης είναι υποοµάδες της υποοµάδας V τάξης. (6 Υποοµάδες τάξης της A : Προφανώς η µόνη υποοµάδα τάξης είναι η τετριµµένη {ι}. Συνοψίζουµε : υπάρχουν, εκτός της τετριµµένης υποοµάδας {ι}, και της A, υποοµάδες τάξης οι οποίες παράγονται από -κύκλους, η οµάδα του Klein η οποία αποτελείται, εκτός της ταυτοτικής µετάθεσης, από γινόµενα -κύκλων, και οι υποοµάδες της οµάδας του Klein οι οποίες παράγονται από τα στοιχεία τάξης. Μεταξύ αυτών των υποοµάδων, οι µόνες µη-τετριµµένες ακµές οι οποίες υπάρχουν στο διάγραµµα Hasse των υποοµάδων της A αντιπροσωπεύουν τις εγκλείσεις των τριών υποοµάδων τάξης στην οµάδα του Klein V. Το διάγραµµα Hasse των υποοµάδων τής A A V ( ( ( ( (( (( (( {ι} Ασκηση 9. Για κάθε υποοµάδα H της S n, έστω a(h = A n H το πλήθος των άρτιων µεταθέσεων της H. Να δειχθεί ότι : είτε a(h = o(h, είτε a(h = o(h Λύση. Εστω H S n. Θεωρούµε τα ακόλουθα υποσύνολα τής H: H + := {σ H σ = άρτια} = A H & H =: H \ H + = {σ H σ = περιττή} Το H + είναι πάντοτε, αφού η H είναι υποοµάδα τής S n και το ουδέτερο στοιχείο τής S n είναι άρτια µετάθεση (µετάταξη. Αν H + = H, τότε το πλήθος των άρτιων µετατάξεων (µεταθέσεων τής H ισούται µε o(h: a(h = πλήθος άρτιων µετατάθέσεων της H = H + = o(h
8 Αν το H + είναι γνήσιο υποσύνολο τής H, τότε το σύνολο H δεν είναι κενό και η H ως σύνολο είναι η αποσυνδετή (ξένη ένωση των H + και H, δηλαδή H = H + H και H + H =. Γι αυτό και o(h = H = H + + H. Θα δείξουµε ότι H + = H, κατασκευάζοντας δύο απεικονίσεις Φ: H + H και Ψ: H H +, έτσι ώστε : Ψ Φ = Id H + και Φ Ψ = Id H. Εστω τ ένα τυχαίο στοιχείο τού συνόλου H, ιδιαίτερα η τ είναι µια περιττή µετάθεση. Με ϐάση το στοιχείο τ, ϑεωρούµε τις αντιστοιχίες Φ : H + H, Φ(α = τ α & Ψ : H H +, Ψ(β = τ β Η Φ είναι όντως απεικόνιση, αφού όταν α H +, δηλαδή η α είναι µια άρτια µετάθεση (µετάταξη, τότε η σύνθεση τ α είναι περιττή, δηλαδή τ α H, αφού η τ είναι περιττή. Η Ψ είναι όντως απεικόνιση, αφού όταν β H, δηλαδή η β είναι µια περιττή µετάθεση (µετάταξη, τότε η σύνθεση τ β είναι άρτια, δηλαδή τ β H +, αφού η τ είναι περιττή (διότι η τ είναι περιττή. Επιπλέον, για κάθε α H + είναι Ψ Φ(α = Ψ(τ α = τ (τ α = α Ωστε η Ψ Φ ίση µε την ταυτοτική απεικόνιση επί τού H +. Τέλος, για κάθε β H είναι Φ Ψ(β = Φ(τ β = τ (τ β = β Ωστε η Φ Ψ ίση µε την ταυτοτική απεικόνιση επί τού H. Συνεπώς, η Φ είναι αντιστρέψιµη και γι αυτό H + = H. Τώρα o(h = H + + H = H + και άρα : a(h = πλήθος άρτιων µετατάθέσεων της H = H + = o(h Ασκηση 0. Να δειχθεί ότι το πρόσηµο ɛ(σ µιας µετάθεσης σ της S n ισούται πάντοτε µε το πρόσηµο ɛ(σ της σ : ε(σ = ε(σ Λύση. Εστω σ = τ τ τ m όπου τ i είναι αντιµεταθέσεις. Θυµίζουµε ότι κάθε µετάθεση γράφεται ως γινόµενο αντιµεταθέσεων, δείτε Άσκηση 7 παρακάτω. Τότε η αντίστροφη µετάθεση σ έχει τόσες αντιµεταθέσεις όσες έχει και η σ αφού σ = τ m τ m τ Εποµένως αν η σ είναι άρτια τότε και η σ είναι άρτια και αν η σ είναι περιττή τότε και η σ είναι περιττή. Συνεπώς ɛ(σ = = ɛ(σ ή ɛ(σ = = ɛ(σ και άρα το πρόσηµο ɛ(σ µιας µετάθεσης σ S n ισούται πάντοτε µε το πρόσηµο ɛ(σ της σ. ιαφορετική Απόδειξη: Επειδή η απεικόνιση ε: S n {, } είναι οµοµορφισµός οµάδων, ϑα έχουµε : σ σ = ι = ε(σ σ = ε(ι = = ε(σ ε(σ = απ όπου έπεται ότι οι αριθµοί ε(σ και ε(σ είναι οµόσηµοι, και άρα : ε(σ = ε(σ. Ασκηση. Εστω ότι σ και τ είναι δύο στοιχεία της S n, n. Να δειχθεί ότι ( το στοιχείο σ τ σ τ είναι πάντοτε στοιχείο της εναλλάσσουσας υποοµάδας A n, ( το στοιχείο σ τ σ ανήκει στην A n, αν και µόνο αν, το στοιχείο τ ανήκει στην A n. Υπενθυµίζουµε ότι το πρόσηµο ε(σ µιας µετάθεσης σ Sn, ορίζεται να είναι ε(σ =, αν η µετάθεση σ είναι άρτια, και ε(σ =, αν η µετάθεση σ είναι περιττή. Επιπλέον η απεικόνιση S n σ ε(σ {, }, ορίζει έναν επιµορφισµό οµάδων ε: S n {, } = Z, µε πυρήνα την εναλλάσσουσα (υποοµάδα A n.
9 Λύση. ( Εστω σ = ρ ρ ρ m και τ = µ µ µ k όπου ρ i, µ j είναι αντιµεταθέσεις για κάθε i m και j k. Τότε έχουµε: σ τ σ τ = ρ ρ m µ µ k ρ m ρ µ k µ όπου σ = ρ m ρ και τ = µ k µ. Άρα το πλήθος των αντιµεταθέσεων της µετάθεσης σ τ σ τ είναι m + k + m + k = (m + k. Εποµένως στσ τ A n. ( Χρησιµοποιώντας τη παραπάνω ανάλυση σε αντιµεταθέσεις για τις σ και τ έχουµε: σ τ σ = ρ ρ m µ µ k ρ m ρ και άρα το πλήθος των αντιµεταθέσεων της µετάθεσης σ τ σ είναι m + k + m = m + k. Άρα η µετάθεση σ τ σ είναι άρτια αν και µόνο αν το k είναι άρτιος αριθµός, δηλαδή η µετάθεση τ είναι άρτια. Συνεπώς έχουµε ότι στσ A n αν και µόνο αν τ A n. ιαφορετική Απόδειξη: ( Επειδή ηξ απεικόνιση ε: S n {, } είναι οµοµορφισµός οµάδων και Ker(ε = A n, Θα έχουµε : ε(στσ τ = ε(σε(τε(σ ε(τ = ε(σε(τε(σ ε(τ = ε(σε(σ ε(τε(τ = και άρα στσ τ A n. ( Παρόµοια : ε(στσ = ε(σε(τε(σ = ε(σε(τε(σ = ε(σε(σ ε(τ = ε(τ και άρα : στσ A n αν και µόνον αν τ A n. Ασκηση. ( Να ϐρεθεί το κέντρο Z(S n της συµµετρικής οµάδας S n. ( Να ϐρεθεί το κέντρο Z(A n της εναλλάσσουσας οµάδας A n. Λύση. ( (αʹ Αν n, τότε η S n είναι αβελιανή και εποµένως Z(S n = S n. (ϐʹ Εστω n, και σ Z(S n, όπου σ ι. Επειδή n και σ ι, υπάρχουν στοιχεία i, j {,,, n}, όπου i j, έτσι ώστε σ(i = j. Επειδή n, υπάρχει k {,,, n}, έτσι ώστε i k και k j. Τότε η µετάθεση σ (j k στέλνει το i στο j η µετάθεση (j k σ στέλνει το i στο k Άρα σ (j k (j k σ. Αυτό όµως είναι άτοπο διότι σ Z(S n. Στο άτοπο καταλήξαµε υποθέτοντας ότι υπάρχει µη-ταυτοτική µετάθεση σ Z(S n. Άρα : Z(S n = {ι}. Εποµένως Z(S n = S n, n & Z(S n = {ι}, n ( (αʹ Αν n, τότε η A έχει τάξη και άρα είναι αβελιανή. Εποµένως Z(A n = A n. (ϐʹ Εστω n, και σ Z(A n, όπου σ ι. Επειδή n και σ ι, υπάρχουν στοιχεία i, j {,,, n}, όπου i j έτσι ώστε σ(i = j. Επειδή n, υπάρχουν στοιχεία k, l {,,, n}, έτσι ώστε i k και k j, i l και j l. Τότε η µετάθεση σ (j k l στέλνει το i στο j η µετάθεση (j k l σ στέλνει το i στο k Άρα σ (j k (j k σ. Αυτό όµως είναι άτοπο διότι σ Z(A n. Στο άτοπο καταλήξαµε υποθέτοντας ότι υπάρχει µη-ταυτοτική µετάθεση σ Z(A n. Άρα : Z(A n = {ι}. Εποµένως Z(A n = A n, n & Z(A n = {ι}, n Υπενθυµίζουµε ότι το κέντρο Z(G µιας οµάδας G ορίζεται να είναι η υποοµάδα Z(G = { g G gh = hg, h G }.
0 Ασκηση. ( Να δειχθεί ότι κάθε στοιχείο της S n, n, µπορεί να γραφεί ως γινόµενο αντιµεταθέσεων της µορφής ( i, για κάποιο i {,,, n}. ( Να δειχθεί ότι κάθε στοιχείο της S n, n, µπορεί να γραφεί ως γινόµενο (δυνάµεων των µεταθέσεων (, (,, (n, n. Λύση. ( Γνωρίζουµε ότι κάθε στοιχείο της S n είναι γινόµενο αντιµεταθέσεων αφού κάθε µετάθεση σ S n αναλύεται κατά µοναδικό τρόπο σε γινόµενο κύκλων ξένων µεταξύ τους ανα δύο και κάθε κύκλος (µήκους m: (a a a m a m γράφεται ως γινόµενο m αντιµεταθέσεων: (a a a m a m = (a a m (a a m (a a (a a Οµως για µια αντιµετάθεση (i j µε i j έχουµε και άρα (i j = ( i ( j ( i (a a a m a m = ( a ( a m ( a ( a ( a ( a Εποµένως κάθε στοιχείο της (S n,, n, είναι γινόµενο αντιµεταθέσεων της µορφής ( i. ( Από το (, αρκεί να δείξουµε ότι κάθε αντιµετάθεση ( k της S n, µπορεί να γραφεί ως γινόµενο (δυνάµεων των µεταθέσεων (, (,, (n, n. Ισχυριζόµαστε ότι, k : ( k = (k k ( ( ( (k k Πράγµατι, εργαζόµενοι µε επαγωγή στο k, ο ισχυρισµός είναι προφανής αν k =. Υποθέτουµε ότι η παραπάνω σχέση είναι αληθής. Τότε : ( k + = (k k + ( k(k k + = (k k + (k k ( ( ( (k k(k k + και εποµένως ο ισχυρισµός είναι αληθής για κάθε k. Ασκηση. Να υπολογιστεί η οµάδα συµµετριών του ϱόµβου: Λύση. Ενας ϱόµβος έχει δύο άξονες ανάκλασεις και µια στροφή 80 γύρω από το κέντρο του ϱόµβου. Παρακάτω παραθέτουµε τις συµµετρίες του ϱόµβου: Στροφή 80 :
Τη παραπάνω διαδικασία περιγράφει η µετάθεση σ = ( ( S όπου η τάξη της είναι (σ =. Ανάκλαση ως προς τον άξονα που διέρχεται από το και το : Την ανάκλαση ως προς τον άξονα - περιγράφει η µετάθεση τ = ( S και (τ =. Ανάκλαση ως προς τον άξονα που διέρχεται από το και το : Την ανάκλαση ως προς τον άξονα - περιγράφει η µετάθεση ρ = ( S και o(ρ =. Ο πίνακας πολλαπλασιασµού της οµάδας συµµετριών του ϱόµβου είναι ο ακόλουθος: ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( (
Μια οµάδα που είναι «ισόµορφη» µε την οµάδα συµµετριών του ϱόµβου είναι η οµάδα V του Klein, δηλαδή το ευθύ γινόµενο Z Z : Z Z = { ([0], [0], ([0], [], ([], [0], ([], [] } που έχει πίνακα: Η αντιστοιχία + ([0], [0] ([], [0] ([0], [] ([], [] ([0], [0] ([0], [0] ([], [0] ([0], [] ([], [] ([], [0] ([], [0] ([0], [0] ([], [] ([0], [] ([0], [] ([0], [] ([], [] ([0], [0] ([], [0] ([], [] ([], [] ([0], [] ([], [0] ([0], [0] ( ([0], [0], ( ( ([], [0], ( ([0], [], ( ([], [] µεταξύ των στοιχείων της οµάδας των συµµετριών του ϱόµβου και των στοιχείων της Z Z δείχνει πράγµατι ότι η οµάδα συµµετριών του ϱόµβου είναι η Z Z.