Αβελιανή ομάδα

Απεικόνιση της αβελιανής ομάδας(2,2,2,2).

Στα μαθηματικά, αβελιανή ομάδα ή αντιμεταθετική ομάδα είναι μια ομάδα $(A,\circ )$ στην οποία, πέρα από τις συνήθεις ιδιότητες, η πράξη της ικανοποιεί και την αντιμεταθετική ιδιότητα, δηλαδή για κάθε στοιχεία $a,b\in A$, έχουμε $a\circ b=b\circ a$.

Οι αβελιανές ομάδες πήραν την ονομασία τους από τον Νορβηγό μαθηματικό Νιλς Χένρικ Άμπελ (Nils Henrik Abel) διότι ο Abel ήταν ο πρώτος που βρήκε ότι η μεταθετικότητα των στοιχείων μίας ομάδας ενός πολυωνύμου σχετίζεται με τον υπολογισμό των ριζών του. Η χρήση της λέξης «αβελιανή» έχει γίνει τόσο κοινή στα Μαθηματικά, ώστε καθιερώθηκε να γράφεται με μικρό «α».

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

Ορισμός

Μια αβελιανή ομάδα $(A,\circ )$ είναι μία ομάδα με σύνολο $A$ και δυαδική πράξη $\circ$, η οποία ικανοποιεί την αντιμεταθετική ιδιότητα:

Για κάθε $a,b\in A$, ισχύει ότι $a\circ b=b\circ a$.

Επομένως, συνολικά η αβελιανή ομάδα $(A,\circ )$ ικανοποιεί τις εξής ιδιότητες:

• Κλειστότητα: Για κάθε $a,b\in A$, ισχύει ότι $a\circ b\in A$.
• Προσεταιριστική ιδιότητα: Για κάθε $a,b,c\in A$, ισχύει ότι $a\circ (b\circ c)=(a\circ b)\circ c$.
• Ύπαρξη ουδέτερου στοιχείου: Υπάρχει ένα στοιχείο $e\in A$, ώστε για κάθε $a\in A$, $a\circ e=e\circ a=a$.
• Ύπαρξη αντιστρόφου στοιχείου: Για κάθε $a\in A$, υπάρχει $b\in A$ ώστε $a\circ b=b\circ a=e$.
• Αντιμεταθετική ιδιότητα: Για κάθε $a,b\in A$, ισχύει ότι $a\circ b=b\circ a$.

Παραδείγματα

• Το σύνολο των πραγματικών αριθμών μαζί με την πρόσθεση $(\mathbb {R} ,+)$, καθώς $a+b=b+a$ για οποιουσδήποτε πραγματικούς αριθμούς $a,b\in \mathbb {R}$.
• Κάθε κυκλική ομάδα $(G,\cdot )$ είναι αβελιανή.

• Ως κυκλικές ομάδες, οι ακέραιοι $\mathbb {Z}$ φτιάχνουν μια αβελιανή ομάδα με πράξη την πρόσθεση, και το ίδιο και οι ακέραιοι με υπόλοιπο $n$ με πράξη την πρόσθεση, $\mathbb {Z} _{n}$.
• Κάθε δακτύλιος μαζί με την πρόσθεση.
• Κάθε ομάδα με $4$ στοιχεία είναι αβελιανή.
• Κάθε ομάδα $(G,\circ )$ με $g^{2}=e$ για κάθε $g\in G$, είναι αβελιανή.

Ιδιότητες

• Ο πίνακας Cayley μίας αβελιανής ομάδας είναι συμμετρικός ως προς την διαγώνιο, καθώς $a\circ b=b\circ a$.
• Κάθε υποομάδα μία αβελιανής ομάδας είναι κανονική.
• Έστω $\phi :G\to H$ ένας μονομορφισμός μεταξύ δύο ομάδων $(G,\circ )$ και $(H,\cdot )$. Αν η $(H,\cdot )$ είναι αβελιανή, τότε είναι και η $(G,\circ )$.

Δείτε επίσης

• Αβελιανή κατηγορία
• Πεπερασμένα παραγόμενες αβελιανές ομάδες
• Επιλύσιμες ομάδες

Πηγές

• Cox, David (2004). Galois Theory. Wiley-Interscience. ISBN 9781118031339. MR 2119052. 
• Fuchs, László (1970). Infinite Abelian Groups. Pure and Applied Mathematics. 36–I. Academic Press. MR 0255673. 
• Fuchs, László (1973). Infinite Abelian Groups. Pure and Applied Mathematics. 36-II. Academic Press. MR 0349869. 
• Griffith, Phillip A. (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7. 
• Herstein, I. N. (1975). Topics in Algebra (2nd έκδοση). John Wiley & Sons. ISBN 0-471-02371-X. 
• Hillar, Christopher; Rhea, Darren (2007). «Automorphisms of finite abelian groups». American Mathematical Monthly 114 (10): 917–923. doi:10.1080/00029890.2007.11920485. Bibcode: 2006math......5185H. http://www.math.tamu.edu/~chillar/files/autabeliangrps.pdf. Ανακτήθηκε στις 2023-12-27. 
• Jacobson, Nathan (2009). Basic Algebra I (2nd έκδοση). Dover Publications isbn = 978-0-486-47189-1. 
• Rose, John S. (2012). A Course on Group Theory. Dover Publications. ISBN 978-0-486-68194-8.  Unabridged and unaltered republication of a work first published by the Cambridge University Press, Cambridge, England, in 1978.

• Robinson, Abraham; Zakon, Elias (1960). «Elementary Properties of Ordered Abelian Groups». Transactions of the American Mathematical Society 96 (2): 222–236. doi:10.2307/1993461. https://www.ams.org/journals/tran/1960-096-02/S0002-9947-1960-0114855-0/S0002-9947-1960-0114855-0.pdf.