Algebraic Property
If f : M → N is any function, then we have f idM = f = idN f (where "" denotes function composition). In particular, idM is the identity element of the monoid of all functions from M to M.
Since the identity element of a monoid is unique, one can alternately define the identity function on M to be this identity element. Such a definition generalizes to the concept of an identity morphism in category theory, where the endomorphisms of M need not be functions.
Read more about this topic: Identity Function
Famous quotes containing the words algebraic and/or property:
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“Let the amelioration in our laws of property proceed from the concession of the rich, not from the grasping of the poor. Let us understand that the equitable rule is, that no one should take more than his share, let him be ever so rich.”
—Ralph Waldo Emerson (1803–1882)