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

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

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

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

Ορισμός  
Μια αβελιανή ομάδα  είναι μία ομάδα με σύνολο  και δυαδική πράξη , η οποία ικανοποιεί την αντιμεταθετική ιδιότητα:
Για κάθε , ισχύει ότι .

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

Παραδείγματα 
 Το σύνολο των πραγματικών αριθμών μαζί με την πρόσθεση , καθώς  για οποιουσδήποτε πραγματικούς αριθμούς .
 Κάθε κυκλική ομάδα  είναι αβελιανή.

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

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

Έστω . Τότε,

Αφού  και , έχουμε ότι  και  και άρα από την (), έχουμε
.

Ιδιότητες 

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

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

Δείτε επίσης 

 Πεπερασμένα παραγόμενες αβελιανές ομάδες
 Επιλύσιμες ομάδες

Παραπομπές 

Αβελιανη