Identity element: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(→‎Examples: added: empty set for union)
mNo edit summary
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{subpages}}
In [[algebra]], an '''identity element''' or '''neutral element''' with respect to a [[binary operation]] is an element which leaves the other operand unchanged, generalising the concept of [[zero]] with respect to [[addition]] or [[one]] with respect to [[multiplication]].
In [[algebra]], an '''identity element''' or '''neutral element''' with respect to a [[binary operation]] is an element which leaves the other operand unchanged, generalising the concept of [[zero]] with respect to [[addition]] or [[one]] with respect to [[multiplication]].


Line 9: Line 10:
==Examples==
==Examples==
* Existence of an identity element is one of the properties of a [[group (mathematics)|group]] or [[monoid]].
* Existence of an identity element is one of the properties of a [[group (mathematics)|group]] or [[monoid]].
* An [[identity matrix]] is the identity element for [[matrix multiplication]].
* An [[identity matrix]] is the identity element for [[matrix multiplication]]; a [[zero matrix]] is the identity element for [[matrix addition]].
* The [[empty set]] is the identity element for set [[union]].
* The [[empty set]] is the identity element for set [[union]].


==See also==
==See also==
* [[Identity (mathematics)]]
* [[Identity (mathematics)]][[Category:Suggestion Bot Tag]]

Latest revision as of 06:01, 31 August 2024

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In algebra, an identity element or neutral element with respect to a binary operation is an element which leaves the other operand unchanged, generalising the concept of zero with respect to addition or one with respect to multiplication.

Formally, let be a binary operation on a set X. An element I of X is an identity for if

holds for all x in X. An identity element, if it exists, is unique.

Examples

See also