scholarly journals The invariants of projective linear group actions

1989 ◽  
Vol 39 (1) ◽  
pp. 107-117 ◽  
Author(s):  
Huah Chu ◽  
Ming-Chang Kang ◽  
Eng-Tjioe Tan

Let Fq be the field with q elements and let G = PGLn(Fq) or PSLn(Fq) act on Fq(x1,…,xn−1), the rational function field of n − 1 variables. Then Fq(x1,…,xn−1)G is purely transcendental over Fq. In fact, a set of n − 1 generators of Fq(x1,…xn−1)G, over Fq is exhibited. The case n = 2 is treated by direct computation.

1993 ◽  
Vol 48 (2) ◽  
pp. 313-319 ◽  
Author(s):  
Li Chiang ◽  
Yu-Ching Hung

Let Fq be the finite field of order q, an odd number, Q a non-degenerate quadratic form on , O(n, Q) the orthogonal group defined by Q. Regard O(n, Q) as a linear group of Fq -automorphisms acting linearly on the rational function field Fq(x1, …, xn). We shall prove that the invariant subfield Fq(x1,…, xn)O(n, Q) is a purely transcendental extension over Fq for n = 5 by giving a set of generators for it.


2021 ◽  
Vol 381 ◽  
pp. 107605
Author(s):  
Annette Bachmayr ◽  
David Harbater ◽  
Julia Hartmann ◽  
Michael Wibmer

2006 ◽  
Vol 74 (3) ◽  
pp. 461-470 ◽  
Author(s):  
Laurent Denis

Let k be the rational function field over the field with q elements with characteristic p. Since the work of Carlitz we know in this situation the function ζ analog of the Riemann zeta function and the function Logφ analog of the usual logarithm. We will show two main results. Firstly, if ξ denotes the fundamental period of Carlitz module, we prove that ξ, ζ(1),…, ζ(p – 2) are algebraically independent over k. Secondly if α1,…, αn are rational elements (of degree less than q/(q − 1) to ensure convergence of the logarithm) such that Logφ α1,…, Logφ αn are linearly independent over k then they are algebraically independent over k. The point is to find suitable functions taking these values and for which Mahler's method can be used.


2002 ◽  
Vol 67 (3) ◽  
pp. 947-956 ◽  
Author(s):  
Jochen Koenigsmann

AbstractGiven any field K, there is a function field F/K in one variable containing definable transcendental over K, i.e., elements in F / K first-order definable in the language of fields with parameters from K. Hence, the model-theoretic and the field-theoretic relative algebraic closure of K in F do not coincide. E.g., if K is finite, the model-theoretic algebraic closure of K in the rational function field K(t) is K(t).For the proof, diophantine ∅-definability ofK in F is established for any function field F/K in one variable, provided K is large, or K× /(K×)n is finite for some integer n > 1 coprime to char K.


Author(s):  
Dan Carmon

We prove a function field version of Chowla's conjecture on the autocorrelation of the Möbius function in the limit of a large finite field of characteristic 2, extending previous work in odd characteristic.


Sign in / Sign up

Export Citation Format

Share Document