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)
“The power of perpetuating our property in our families is one of the most valuable and interesting circumstances belonging to it, and that which tends the most to the perpetuation of society itself.”
—Edmund Burke (1729–1797)