Θεωρία Ομάδων — Ομάδες, Υποομάδες και Ομομορφισμοί

Η θεωρία ομάδων εξηγεί πότε ένα σύνολο και μια πράξη ταιριάζουν μεταξύ τους με σταθερό τρόπο. Μια ομάδα έχει τέσσερα βασικά συστατικά: κλειστότητα, προσεταιριστικότητα, ουδέτερο στοιχείο και αντίστροφο για κάθε στοιχείο. Μια υποομάδα είναι μια μικρότερη ομάδα μέσα σε μια μεγαλύτερη, και ένας ομομορφισμός είναι μια απεικόνιση που διατηρεί την πράξη.

Αν θυμάσαι μόνο ένα παράδειγμα, χρησιμοποίησε τους ακεραίους με την πρόσθεση. Δείχνει τον ορισμό της ομάδας, δίνει μια καθαρή υποομάδα και κάνει την ιδέα του ομομορφισμού εύκολη στον έλεγχο.

Ορισμός ομάδας: τα τέσσερα αξιώματα

Μια ομάδα είναι ένα σύνολο $G$ μαζί με μια πράξη, που συχνά γράφεται πολλαπλασιαστικά ως $ab$, έτσι ώστε να ισχύουν τέσσερις συνθήκες:

1. Κλειστότητα: αν $a,b \in G$, τότε $ab \in G$.
2. Προσεταιριστικότητα: $(ab)c = a(bc)$ για όλα τα $a,b,c \in G$.
3. Ουδέτερο στοιχείο: υπάρχει ένα στοιχείο $e \in G$ τέτοιο ώστε $ea = ae = a$ για κάθε $a \in G$.
4. Αντίστροφα: για κάθε $a \in G$, υπάρχει ένα στοιχείο $a^{-1} \in G$ τέτοιο ώστε $aa^{-1} = a^{-1}a = e$.

Αυτός είναι ο πλήρης ορισμός. Αν έστω και μία συνθήκη αποτύχει, το σύνολο με αυτή την πράξη δεν είναι ομάδα.

Γιατί έχει σημασία ο ορισμός

Ο ορισμός σου δίνει ένα σύστημα όπου μπορείς να συνδυάζεις στοιχεία, να αναιρείς αυτό που έκανες και να εμπιστεύεσαι ότι η αναομαδοποίηση δεν αλλάζει το αποτέλεσμα. Γι’ αυτό οι ομάδες εμφανίζονται στις συμμετρίες, στη modular αριθμητική, στις μεταθέσεις και στην άλγεβρα πινάκων.

Αν σκεφτείς μια πράξη ως μια επιτρεπτή κίνηση, τότε μια ομάδα είναι ένα σύστημα όπου οι επιτρεπτές κινήσεις μπορούν να συνδυαστούν, υπάρχει μια κίνηση που δεν κάνει τίποτα και κάθε κίνηση μπορεί να αντιστραφεί.

Παράδειγμα: γιατί το $(\mathbb{Z}, +)$ είναι ομάδα

Πάρε το σύνολο όλων των ακεραίων $\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}$ με πράξη την πρόσθεση.

Αυτό είναι ομάδα:

• Η κλειστότητα ισχύει επειδή το άθροισμα δύο ακεραίων είναι πάλι ακέραιος.
• Η προσεταιριστικότητα ισχύει επειδή $(a+b)+c = a+(b+c)$ για ακεραίους.
• Το ουδέτερο στοιχείο είναι το $0$ επειδή $a+0 = 0+a = a$.
• Το αντίστροφο του $a$ είναι το $-a$ επειδή $a + (-a) = 0$.

Άρα το $(\mathbb{Z}, +)$ είναι ομάδα.

Αυτό το παράδειγμα είναι το σωστό σημείο εκκίνησης, γιατί κάνει επίσης συγκεκριμένες τις υποομάδες και τους ομομορφισμούς.

Ορισμός υποομάδας με τους άρτιους ακεραίους

Μια υποομάδα είναι ένα υποσύνολο μιας ομάδας που είναι και το ίδιο ομάδα κάτω από την ίδια πράξη.

Μέσα στο $(\mathbb{Z}, +)$, θεώρησε τους άρτιους ακεραίους:

$$2\mathbb{Z} = \{\dots,-4,-2,0,2,4,\dots\}$$

Αυτό είναι υποομάδα του $\mathbb{Z}$ ως προς την πρόσθεση επειδή:

• το άθροισμα δύο άρτιων ακεραίων δίνει άλλον έναν άρτιο ακέραιο
• το $0$ είναι άρτιο, άρα το ουδέτερο στοιχείο παραμένει εκεί
• το αρνητικό ενός άρτιου ακεραίου είναι πάλι άρτιο

Άρα το $2\mathbb{Z}$ δεν είναι απλώς ένα υποσύνολο. Διατηρεί τους ίδιους αλγεβρικούς κανόνες με τη μεγαλύτερη ομάδα.

Αυτή είναι η βασική ιδέα της υποομάδας: είναι ένας μικρότερος κλειστός κόσμος όπου η ίδια πράξη εξακολουθεί να λειτουργεί.

Ορισμός ομομορφισμού: διατήρηση της πράξης

Ένας ομομορφισμός είναι μια συνάρτηση μεταξύ ομάδων που διατηρεί την πράξη.

Αν $f : G \to H$ είναι ομομορφισμός, τότε

$$f(ab) = f(a)f(b)$$

για όλα τα $a,b \in G$.

Τα ακριβή σύμβολα εξαρτώνται από τις ομάδες που εμπλέκονται. Αν η πράξη είναι η πρόσθεση, η ίδια συνθήκη συχνά γράφεται ως

$$f(a+b) = f(a) + f(b)$$

Το νόημα είναι το ίδιο: πρώτα συνδυάζεις και μετά απεικονίζεις, ή πρώτα απεικονίζεις και μετά συνδυάζεις. Ένας ομομορφισμός κάνει αυτές τις δύο διαδρομές να συμφωνούν.

Λυμένο παράδειγμα: η απεικόνιση ισοτιμίας από το $\mathbb{Z}$ στο $\mathbb{Z}_2$

Όρισε $f : \mathbb{Z} \to \mathbb{Z}_2$ με

$$f(n) = \text{το υπόλοιπο του } n \text{ mod } 2$$

Εδώ $\mathbb{Z}_2 = \{0,1\}$ με πρόσθεση modulo $2$.

Αυτή η συνάρτηση καταγράφει αν ένας ακέραιος είναι άρτιος ή περιττός. Για να ελέγξεις ότι είναι ομομορφισμός, σύγκρινε τις δύο πλευρές:

$$f(a+b)$$

είναι η ισοτιμία του αθροίσματος, ενώ

$$f(a) + f(b)$$

προσθέτει τις δύο ισοτιμίες mod $2$.

Αυτά συμπίπτουν για όλους τους ακεραίους $a$ και $b$, άρα

$$f(a+b) = f(a) + f(b)$$

στο $\mathbb{Z}_2$.

Για παράδειγμα, αν $a=3$ και $b=5$, τότε

$$f(3) = 1,\qquad f(5) = 1,\qquad f(3+5) = f(8) = 0$$

και

$$f(3)+f(5) = 1+1 = 0 \pmod{2}$$

Άρα η απεικόνιση διατηρεί την πράξη της ομάδας.

Συνηθισμένα λάθη στη θεωρία ομάδων

Να ξεχνάς ότι η πράξη είναι μέρος των δεδομένων

Το να λες «οι ακέραιοι σχηματίζουν ομάδα» είναι ελλιπές, εκτός αν η πράξη είναι σαφής. Οι ακέραιοι σχηματίζουν ομάδα ως προς την πρόσθεση, αλλά όχι ως προς τον πολλαπλασιασμό, επειδή οι περισσότεροι ακέραιοι δεν έχουν πολλαπλασιαστικά αντίστροφα μέσα στο $\mathbb{Z}$.

Να υποθέτεις ότι κάθε υποσύνολο είναι υποομάδα

Ένα υποσύνολο πρέπει να διατηρεί το ουδέτερο στοιχείο, να είναι κλειστό ως προς την πράξη και να περιέχει αντίστροφα. Για παράδειγμα, οι θετικοί ακέραιοι δεν είναι υποομάδα του $(\mathbb{Z}, +)$ επειδή δεν περιέχουν το $0$ και δεν περιέχουν προσθετικά αντίστροφα.

Να αντιμετωπίζεις τους ομομορφισμούς σαν αυθαίρετες συναρτήσεις

Ένας ομομορφισμός δεν είναι απλώς οποιαδήποτε απεικόνιση μεταξύ συνόλων. Όλος ο ρόλος του είναι να διατηρεί την πράξη. Αν αυτή η συνθήκη αποτύχει, τότε δεν είναι ομομορφισμός ομάδων.

Να μπερδεύεις τη σημειογραφία ανάμεσα σε διαφορετικές ομάδες

Σε μία ομάδα η πράξη μπορεί να είναι η πρόσθεση, σε άλλη ο πολλαπλασιασμός και σε άλλη η σύνθεση. Ο κανόνας του ομομορφισμού πρέπει να χρησιμοποιεί τη σωστή πράξη σε κάθε πλευρά.

Πού χρησιμοποιείται η θεωρία ομάδων

Η θεωρία ομάδων χρησιμοποιείται κάθε φορά που ένα πρόβλημα έχει επαναλαμβανόμενη και αντιστρέψιμη δομή. Συνηθισμένα παραδείγματα περιλαμβάνουν τις συμμετρίες σχημάτων, τη modular αριθμητική, τις μεταθέσεις, τη γραμμική άλγεβρα και τμήματα της φυσικής.

Δεν χρειάζεσαι προχωρημένα παραδείγματα για να ωφεληθείς από αυτήν. Ακόμη και σε βασικό επίπεδο, η θεωρία ομάδων σε βοηθά να αναγνωρίζεις πότε διαφορετικά προβλήματα μοιράζονται την ίδια υποκείμενη δομή.

Δοκίμασε ένα παρόμοιο πρόβλημα

Ξεκίνα με το $(\mathbb{Z}, +)$. Έλεγξε αν τα πολλαπλάσια του $3$ σχηματίζουν υποομάδα. Έπειτα εξέτασε την απεικόνιση $g(n) = n \bmod 3$ από το $\mathbb{Z}$ στο $\mathbb{Z}_3$ και επαλήθευσε αν

$$g(a+b) = g(a) + g(b)$$

ισχύει modulo $3$.

Αν θέλεις ένα ακόμη βήμα, δοκίμασε τις ίδιες ερωτήσεις με τις περιστροφές ενός ισόπλευρου τριγώνου. Εκεί συχνά η θεωρία ομάδων αρχίζει να μοιάζει περισσότερο με εργαλείο παρά με ορισμό.