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:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)