Reference : Defining multiplication for polynomials over a finite field.
 Document type : E-prints/Working papers : First made available on ORBi Discipline(s) : Physical, chemical, mathematical & earth Sciences : Mathematics To cite this reference: http://hdl.handle.net/2268/101809
 Title : Defining multiplication for polynomials over a finite field. Language : English Author, co-author : Rigo, Michel [Université de Liège - ULg > Département de mathématique > Mathématiques discrètes >] Waxweiler, Laurent [> >] Publication date : 2011 Peer reviewed : No Keywords : [en] First order logic ; Finite Field ; definability Abstract : [en] Let $P$ and $Q$ be two non-zero multiplicatively independent polynomials with coefficients in a finite field $\mathbb{F}$. Adapting a result of R.~Villemaire, we show that multiplication of polynomials is a ternary relation $\{(A,B,C)\in\mathbb{F}[X]\mid A.B=C\}$ definable by a first-order formula in a suitable structure containing both functions $V_P$ and $V_Q$ where $V_A(B)$ is defined as the greatest power of $A$ dividing $B$. Such a result has to be considered in the context of a possible analogue of Cobham's theorem for sets of polynomials whose $P$-expansions are recognized by some finite automaton. Target : Researchers Permalink : http://hdl.handle.net/2268/101809

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
multiplication.pdfAuthor preprint199.75 kBView/Open

All documents in ORBi are protected by a user license.