1

Βασική Άλγεβρα
Ομάδα 4
Υποδείξεις - απαντήσεις
1.
a. Δείξτε ότι αν a, b    {1} , τότε a  b  ab    {1} .
b. Δείξτε ότι το σύνολο G    {1} με πράξη G  G  G , (a, b)  a  b, όπου a  b  a  b  ab ,
είναι μια αβελιανή ομάδα.
c. Στην προηγούμενη ομάδα
i. να λυθεί η εξίσωση 1 a  2  0 ,
ii. να βρεθεί η τάξη του 2 και η τάξη του 2 .

a. Αν a  b  ab  1 , τότε a  b  ab  1  0  (a  1)(b  1)  0  a  1 ή b  1.

b. Από το προηγούμενο ερώτημα, η δοθείσα απεικόνιση G  G  G είναι πράξη στο G. Παρατηρούμε τα

εξής.

 Για κάθε a, b  G ,
a  (b  c)  a  (b  c  bc)  a  b  c  bc  a (b  c  bc)  a  b  c  ab  ac  bc  abc,
(a  b)  c  (a  b  ab)  c  a  b  ab  c  (a  b  ab)c  a  b  c  ab  ac  bc  abc
και επομένως a  (b  c)  (a  b)  c .
 0  G και για κάθε a  G ισχύει 0  a  0  a  0a  a  a  0.
a
 Αν a  G , τότε a  1 και θέτοντας a  έχουμε α΄ διαφορο του 1 και
a 1
a a a (1  a )  a  a 2
a  a  a   a( )  0 και όμοια a  a  0 .
1 a 1 a 1 a

Συνεπώς το σύνολο G με τη δοθείσα πράξη είναι ομάδα. [Το ουδέτερο στοιχείο είναι το 0 και το
a
αντίστροφο a 1 του a είναι το ]. Είναι αβελιανή αφού για κάθε a, b  G,
a 1
a  b  a  b  ab  b  a  ba  b  a .

1 2 1 2 5
c. 1  a  2  0  a  11  0  21  11  21     .
1  1 1  2 1  11  2 6

H τάξη του 2 είναι άπειρη. Πράγματι, μια άμεση επαγωγή δίνει 2m  0 για κάθε m   0 : Για m  1 είναι
σαφές. Έστω ότι 2m  0 για κάποιο m   0 . Τότε 2m1  2  2m  2  2m  2  2m  0.

Η τάξη του 2 είναι ίση με 2 αφού 2  0 και (2) 2  (2)  (2)  2  (2)  (2)(2)  0.
 2

2. Έστω G ομάδα και a, b  G . Δείξτε τα εξής.

a. Τα στοιχεία aba και a 2b έχουν την ίδια τάξη.
b. Αν υπάρχουν σχετικοί πρώτοι m, n   με a m  b m και a n  b n , τότε a  b .

a. Ξέρουμε ότι για κάθε x, y  G τα στοιχεία x και y 1 xy έχουν την ίδια τάξη. Άρα τα στοιχεία
a 2b, a 1 (a 2b)a  aba έχουν την ίδια τάξη.

b. Υπάρχουν ακέραιοι a, b με 1  ma  nb . Συνεπώς a  a1  (a m ) x (a n ) y  (b m ) x (b n ) y  b1  b.

3. Βρείτε την τάξη του [7]  U (50 ) και τους θετικούς ακέραιους n με 7 n  1mod 50 .

Με πράξεις εύκολα διαπιστώνουμε ότι η τάξη του [7]  U (50 ) είναι 4 και επομένως οι θετικοί ακέραιοι n
για τους οποίους ισχύει [7]n  [1] είναι τα θετικά πολλαπλάσια του 4.

4. Έστω   (23)(1345672)  S7 .
a. Βρείτε τις αναλύσεις των  ,  1 ,  15 σε γινόμενα κύκλων ξένων ανά δύο.
b. Ποια είναι η τάξη του  22 ;
c. Για ποια k   η τάξη του  k ισούται με 2;

a. Κατά τα γνωστά βρίσκουμε σ  (12)(34567). Άρα σ 1  ((12)(34567))1  (34567)1 (12)1  (37654)(12).

Οι κύκλοι (12), (34567) αντιμετατίθενται επειδή είναι ξένοι. Άρα  15  ((12)(34567))15  (12)15 (34567)15 .
Ξέρουμε ότι κάθε κύκλος μήκος k έχει τάξη k . Άρα (12)15  ((12) 2 )7 (12)  (12) , (34567)15  ((34567)5 )3  1,
και  15  (12).

b. Από την παράσταση σ  (12)(34567) (γινόμενο ξένων κύκλων) έχουμε σ  εκπ (2,5)  10 και επομένως
 10
 22    5.
μκδ(  , 22) μκδ(10, 22)

10
c.  k  2   2  μκδ(10, k )  5  k  5mod10. (Δείξτε την τελευταία ισοδυναμία).
μκδ(10, k )
 3

5. Έστω   (12)(34567)  S7 .
a. Βρείτε όλες τις   S7 με  3   .
b. Δείξτε ότι δεν υπάρχει   S7 με  2   .

a. Θα δείξουμε ότι υπάρχει μοναδική   S7 με  3   την οποία θα βρούμε.


Έστω   S7 με  3   . Λαμβάνοντας τάξεις παίρνουμε  εκπ(2,5)=10  10  . Καταγράφοντας
μκδ( ,3)
τις τάξεις των στοιχείων της S7 όπως στη λύση της άσκησης 6.20c, βλέπουμε ότι το μοναδικό πολλαπλάσιο
του 10 που εμφανίζεται είναι το 10 (επιβεβαιώστε το). Άρα  10  1. Επειδή 1  3(3)  10 παίρνουμε
  ( 3 ) 3 10   3   7 .

Έχουμε ( 7 )3   21   .

Συνεπώς η μετάθεση    7  (12)(35746) είναι η μοναδική μετάθεση στην S7 που ικανοποιεί  3   .

b. 1ος τρόπος. Η   (12)(34567) είναι περιττή μετάθεση ενώ για κάθε   S7 η  2 είναι άρτια. Επειδή
δεν υπάρχει μετάθεση που να είναι και άρτια και περιττή, έχουμε το ζητούμενο.

2ος τρόπος. [Η άσκηση δόθηκε πριν δούμε τη θεωρία των άρτιων και περιττών μεταθέσεων στην τάξη]. Όπως ακριβώς
στην απόδειξη του ερωτήματος a συμπεραίνουμε ότι αν   S7 με  2   , τότε   10. Τότε όμως
 2  5  10   , άτοπο.

6. Η άσκηση αυτή είναι μια αναδιατύπωση του βασικού βήματος στην απόδειξη της μοναδικότητας της
παράστασης μια μετάθεσης ως γινόμενο ξένων ανά δύο κύκλων που είδαμε στην τάξη. Έστω   S n .
Ξέρουμε ότι για κάθε i  {1,..., n} υπάρχει κύκλος της μορφής (i  (i )  2 (i ) ...) (το είδαμε στην
απόδειξη της ύπαρξης του παραπάνω θεωρήματος).
Έστω ότι    1 2 ... m , όπου οι  i είναι κύκλοι μήκους τουλάχιστον 2 και ξένοι ανά δύο. Τότε
υπάρχει i0  {1,..., n} με  1 (i0 )  i0 . Δείξτε τα εξής.
a.  j (i0 )  i0 για κάθε j  1 και κατά συνέπεια  (i0 )   1 (i0 ) .
b. Εφαρμόζοντας διαδοχικά το προηγούμενο αποτέλεσμα έχουμε  1  (i0  (i0 )  2 (i0 ) ...) .

a. Επειδή  1 (i0 )  i0 και οι κύκλοι  i είναι ξένοι ανά δύο, έχουμε  j (i0 )  i0 για κάθε j  1. Συνεπώς
 (i0 )   1 2 ... m (i0 )   1 (i0 ).

b. Επειδή  1 (i0 )  i0 και η  1 είναι 1-1 παίρνουμε  1 ( 1 (i0 ))   1 (i0 ) . Από το a συμπεραίνουμε (για  1 (i0 )
στη θέση του i0 ) ότι  ( 1 (i0 ))   1 ( 1 (i0 )) , δηλαδή  2 (i0 ))   12 (i0 )) . Μετά από πεπερασμένες επαναλήψεις
του επιχειρήματος προκύπτει το ζητούμενο.