Re: [HM] idempotent

Julio Gonzalez Cabillon (jgc@chasque.apc.org)
Thu, 19 Nov 1998 18:53:43 -0200

At 08:00 PM 15/11/1998 -0500, Randy K. Schwartz wrote:
|
| I note on Jeff Miller's web page "Earliest Known Uses...", the
| following entry:
|
| IDEMPOTENT and NILPOTENT were used by Benjamin Peirce (1809-1880) in
| 1870 in American Journal of Mathematics (1881): "When an
| expression...raised to a square or higher power...gives itself as the
| result, it may be called idempotent" (OED2).
| ...
| (2) As far as I can tell, the currently universally accepted
| definition of idempotent is that which would be obtained from Pierce's
| by striking the phrase "or higher power".
| In using the conjunction "or", did Pierce mean to categorize as
| an idempotent any element satisfying, say, (e)(e)(e) = e ? And if so,
| when and how did the narrower usage come about?

Dear Randy,

"When an expression raised to the square or any higher power
vanishes, it may be called _nilpotent_; but when, raised to
a square or higher power, it gives itself as the result, it
may be called _idempotent_.

The defining equation of nilpotent and idempotent expressions
are respectively A^n = 0, and A^n = A; but with reference to
idempotent expressions, it will always be assumed that they
are of the form

A^2 = A ,

unless it be otherwise distinctly stated."

Excerpted from "Linear Associative Algebra", a memoir read by Benjamin
Peirce before the National Academy of Sciences in Washington, 1870.
I thought it might be worth recalling also that Benjamin opens this
famous memoir with the following colourful definition:

"Mathematics is the science which draws necessary conclusions".

With best regards,
Julio Gonzalez Cabillon