Finite automata and algebraic extensions of functions fields

DOI10.5802/JTNB.551zbMATH Open1161.11317arXivmath/0410375OpenAlexW2053426195MaRDI QIDQ873839FDOQ873839

Kiran S. Kedlaya

Publication date: 20 March 2007

Published in: Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Abstract: We give an automata-theoretic description of the algebraic closure of the rational function field F_q(t) over a finite field, generalizing a result of Christol. The description takes place within the Hahn-Mal'cev-Neumann field of "generalized power series" over F_q. Our approach includes a characterization of well-ordered sets of rational numbers whose base p expansions are generated by a finite automaton, as well as some techniques for computing in the algebraic closure; these include an adaptation to positive characteristic of Newton's algorithm for finding local expansions of plane curves. We also conjecture a generalization of our results to several variables.

Full work available at URL: https://arxiv.org/abs/math/0410375

Mathematics Subject Classification ID

Formal languages and automata (68Q45) (p)-adic and power series fields (11D88) Algebraic theory of languages and automata (68Q70) Automata sequences (11B85) Formal power series rings (13F25) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ensembles presque périodiques \(k\)-reconnaissables. (Almost periodic \(k\)-recognizable sets)
• Algebraic functions over finite fields
• Suites algébriques, automates et substitutions
• Automatic Sequences
• Power series and \(p\)-adic algebraic closures
• The algebraic closure of the power series field in positive characteristic
• The theory of well-quasi-ordering: a frequently discovered concept
• Maximal fields with valuations. I, II
• Intégration sur un cycle évanescent
• Two Notes on Formal Power Series
• Algebraic Functions Over a Field of Positive Characteristic and Hadamard Products

Cited In (18)

• Title not available (Why is that?)
• On vanishing coefficients of algebraic power series over fields of positive characteristic
• Function fields in positive characteristic: expansions and Cobham's theorem
• Title not available (Why is that?)
• Decidability via the tilting correspondence
• Cobham’s theorem and its extensions
• Semi-Galois categories. II: An arithmetic analogue of Christol's theorem
• On the algebraicity of generalized power series
• Transcendence of generating functions whose coefficients are multiplicative
• Rational approximations to algebraic Laurent series with coefficients in a finite field
• Quantitative estimates for the size of an intersection of sparse automatic sets
• An analogue of Cobham’s theorem for fractals
• Title not available (Why is that?)
• Substitutive systems and a finitary version of Cobham's theorem
• Orbits of automorphism groups of fields
• Automatic Sequences and Generalised Polynomials
• Automata methods in transcendence
• A refinement of Christol's theorem for algebraic power series

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Automata in algebra 👍 👎
• Algebraic structures of automata 👍 👎
• Automata and algebraicity 👍 👎
• Automata algebras 👍 👎
• On a Class of Automaton Algebras 👍 👎
• The p-adic Theory of Automata Functions 👍 👎

This page was built for publication: Finite automata and algebraic extensions of functions fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q873839)