Ουδέτερο στοιχείο

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

 Έστω (S, ∗) ένα σύνολο S εφοδιασμένο με μία δυαδική πράξη ∗. Ένα στοιχείο e του S ονομάζεται «εξ αριστερών ουδέτερο στοιχείο» αν ισχύει ότι e ∗ s = s για όλα τα s στο S και «εκ δεξιών ουδέτερο στοιχείο» αν ισχύει ότι s ∗ e = s για όλα τα s στο S. αν το e είναι και εξ αριστερών και εκ δεξιών ουδέτερο στοιχείο, τότε συνιστά ένα «αμφίπλευρο ουδέτερο στοιχείο».Το ουδέτερο στοιχείο της πρόσθεσης ονομάζεται «ουδέτερο στοιχείο ως προς την πρόσθεση» (συχνά συμβολίζεται με το 0) και το ουδέτερο στοιχείο του πολλαπλασιασμού ονομάζεται «ουδέτερο στοιχείο ως προς τον πολλαπλασιασμό» (συχνά συμβολίζεται με το 1). Σημειωτέον, ότι με τους όρους «πρόσθεση» και «πολλαπλασιασμός» δεν εννούνται μόνον οι συμβατικές μορφές αυτών των πράξεων, καθώς η υπό εξέταση πράξη μπορεί να έχει οριστεί διαφορετικά. Επί παραδείγματι, στην περίπτωση μιας ομάδας το ουδέτερο στοιχείο αποδίδεται συμβολικά ως e {\displaystyle e} . Η διάκριση των ουδέτερων στοιχείων πρόσθεσης και πολλαπλασιασμού γίνεται, συνήθως, για σύνολα που είναι εφοδιασμένα με αμφότερες τις δυαδικές πράξεις, όπως ισχύει για τους δακτυλίους, τις ακέραιες περιοχές και τα σώματα. Στο παράδειγμα S = {e,f} με τις ισότητες που δίνονται παραπάνω, το S συνιστά μια ημιομάδα. Με το παράδειγμα αυτό καταδεικνύεται η πιθανότητα το (S, ∗) να έχει πολλά εξ αριστερών ουδέτερα στοιχεία. Μάλιστα, κάθε στοιχείο μπορεί να είναι εξ αριστερών ουδέτερο στοιχείο. Σε ένα αντίστοιχο παράδειγμα, μπορούν να υπάρχουν πολλά εκ δεξιών ουδέτερα στοιχεία. Αν όμως συμβαίνει να υπάρχουν και εξ αριστερών και εκ δεξιών ουδέτερα στοιχεία, τότε πρέπει να είναι ίσα, οπότε προκύπτει ένα αμφίπλευρο ουδέτερο στοιχείο. Για να καταστεί αυτό εμφανές, έστωσαν l εξ αριστερών ουδέτερο στοιχείο και r εκ δεξιών ουδέτερο στοιχείο· τότε ισχύει ότι l = l ∗ r = r. Στην υπό εξέταση περίπτωση δεν μπορούν να υπάρξουν περισσότερα από ένα αμφίπλευρα ουδέτερα στοιχεία, καθώς για δύο τέτοια στοιχεία, e και f, η πράξη e ∗ f θα ισούταν με αμφότερα τα e και f. Είναι, επίσης, πιθανόν το (S, ∗) να μην έχει ουδέτερο στοιχείο, όπως συμβαίνει με τον πολλαπλασιασμό στους άρτιους ακεραίους. Ένα, ακόμα, παράδειγμα είναι το εξωτερικό γινόμενο διανυσμάτων, όπου η απουσία του ουδέτερου στοιχείου οφείλεται στο ότι η κατεύθυνση οποιουδήποτε μη μηδενικού διανυσματικού γινομένου είναι πάντοτε κάθετη στα πολλαπλασιαζόμενα στοιχεία· συνεπώς, δεν είναι εφικτό να προκύψει ένα μη μηδενικό διάνυσμα στην ίδια κατεύθυνση με το αρχικό (όπως θα συνέβαινε αν το αρχικό διάνυσμα είχε πολλαπλασιαστεί με το ουδέτερο στοιχείο της πράξης). Ακόμα ένα τέτοιο παράδειγμα είναι η προσθετική ημιομάδα των θετικών φυσικών αριθμών. Αλγεβρικές ταυτότητες Αντίθετος αριθμός Μονοειδές Beauregard, Raymond A.; Fraleigh, John B. (1973), A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields, Boston: Houghton Mifflin Company, ISBN 0-395-14017-X, https://archive.org/details/firstcourseinlin0000beau Fraleigh, John B. (1976), A First Course In Abstract Algebra (2nd έκδοση), Reading: Addison-Wesley, ISBN 0-201-01984-1 Herstein, I. N. (1964), Topics In Algebra, Waltham: Blaisdell Publishing Company, ISBN 978-1114541016 McCoy, Neal H. (1973), Introduction To Modern Algebra, Revised Edition, Boston: Allyn and Bacon M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, (ISBN 3-11-015248-7), p. 14–15 Α. Kαλογεροπούλου, Μ. Γκίκας, Δ. Καραγιαννάκης, Μ. Λάμπρου. «Αγγλοελληνικό λεξικό μαθηματικών όρων», Εκδόσεις Τροχαλία, 1992, λήμματα «identity» (σελ 68), «additive» (σελ. 14)