Definition
If is a primitive element of a finite field, then the Zech logarithm relative to the base is defined by the equation
or equivalently by
The choice of base is usually dropped from the notation when it's clear from context.
To be more precise, is a function on the integers modulo the multiplicative order of, and takes values in the same set. In order to describe every element, it is convenient to formally add a new symbol, along with the definitions
where is an integer satisfying .
Using the Zech logarithm, finite field arithmetic can be done in the exponential representation:
These formulas remain true with our conventions with the symbol, with the caveat that subtraction by is undefined. In particular, the addition and subtraction formulas need to treat as a special case.
This can be extended to arithmetic of the projective line by introducing another symbol satisfying and other rules as appropriate.
Read more about this topic: Zech's Logarithms
Famous quotes containing the word definition:
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)