On Carmichael polynomials (Q1273709): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q677137
Property / reviewed by
 
Property / reviewed by: Ian F. Blake / rank
Normal rank
 

Revision as of 14:59, 20 February 2024

scientific article
Language Label Description Also known as
English
On Carmichael polynomials
scientific article

    Statements

    On Carmichael polynomials (English)
    0 references
    0 references
    3 October 1999
    0 references
    Fermat's little theorem states that if \(l\) is a prime then \(l \mid a^l -a\) for all integers \(a\). A Carmichael number is a composite number such that \(n \mid a^n -a\) for all integers \(a\). It has recently been established that there are infinitely many such numbers. This paper considers the analogous situation with polynomials over the finite field \(F_q\), \(A = F_q [t]\). The role of the multiplicative group in the integer case is now played by the Carlitz module for the polynomial case. For any commutative \(A\)-algebra \(K\) let \(F^i\) be the \(q^i\) power Frobenius mapping. Let \(A\{ F \}\) be the \(A\)-submodule of \(A[x]\) generated by \(F^i ,i=0,1,2 \dots\). The Carlitz module \({\mathcal C}\) is then the unique \(F_q\)-linear ring homomorphism \(\phi: A \rightarrow A\{F\}\) given by: \[ \phi (1) = F^0 ,\quad\phi (t) = tF^0 +F^1 . \] A monic irreducible polynomial \(m \in A\) is called a Carmichael polynomial if it satisfies \(\phi (m-1)(\bar{a}) = (\bar{0}) \in {\mathcal C} (A/(m))\) for all \(a \in A\), where \(\bar{a}\) is the canonical image of \(a\) in \({\mathcal C} (A/(m))\). The paper shows that there exists infinitely many Carmichael polynomials for each \(q\). Using Carlitz modules of higher level \(n\), it is also shown that there exists Carmichael polynomials of level \(n\) for each \(q\) and \(n\).
    0 references
    Carmichael polynomials
    0 references
    finite fields
    0 references
    Carlitz modules
    0 references

    Identifiers