Related papers: Computing the fixing group of a rational function

Given a finitely generated subgroup $H$ of a free group $F$, we present an algorithm which computes $g_1,\ldots,g_m\in F$, such that the set of elements $g\in F$, for which there exists a non-trivial $H$-equation having $g$ as a solution,…

Given a number field with absolute Galois group $\mathcal{G}$, a finite Galois module $M$, and a Selmer system $\mathcal{L}$, this article gives a method to compute Sel$_\mathcal{L}$, the Selmer group of $M$ attached to $\mathcal{L}$. First…

Let $K$ be any field and $G$ be a finite group. Let $G$ act on the rational function field $K(x_g:g\in G)$ by $K$-automorphisms defined by $g\cdot x_h=x_{gh}$ for any $g,h\in G$. Noether's problem asks whether the fixed field…

We study the K-group K_1 of the group ring of a finite group over a coefficient ring which is p-adically complete and admits a lift of Frobenius. In this paper, we consider the image of K_1 under the determinant map; the central tool is the…

We present a variation of the modular algorithm for computing the Hermite Normal Form of an $\OK$-module presented by Cohen, where $\OK$ is the ring of integers of a number field K. The modular strategy was conjectured to run in polynomial…

For a finite-index $\mathrm{II}_1$ subfactor $N \subset M$, we prove the existence of a universal Hopf $\ast$-algebra (or, a discrete quantum group in the analytic language) acting on $M$ in a trace-preserving fashion and fixing $N$…

Given a number field $F$, a finite group $G$ and an indeterminate $T$, {\it{a $G$-parametric extension over $F$}} is a finite Galois extension $E/F(T)$ with Galois group $G$ and $E/F$ regular that has all the Galois extensions of $F$ with…

We study the ramification groups of finite Galois extensions $L/K$ of a complete discrete valuation field $K$ of equal characteristic $p>0$ with perfect residue field and Galois group isomorphic to the group of unitriangular matrices…

In this paper, we develop the main step in the global theory for the mod-$\ell$ analogue of Bogomolov's program in birational anabelian geometry for higher-dimensional function fields over algebraically closed fields. More precisely, we…

Let K/F be a cyclic field extension of odd prime degree. We consider Galois embedding problems involving Galois groups with common quotient Gal(K/F) such that corresponding normal subgroups are indecomposable Fp[Gal(K/F)]-modules. For these…

The absolute Galois group of the cyclotomic field $K={\mathbb Q}(\zeta_p)$ acts on the \'etale homology of the Fermat curve $X$ of exponent $p$. We study a Galois cohomology group which is valuable for measuring an obstruction for…

This paper presents a connection between Galois points and rational functions over a finite field with small value sets. This paper proves that the defining polynomial of any plane curve admitting two Galois points is an irreducible…

Given a rational function of degree at least two defined over a number field k, we study the cardinality of the set of rational iterated preimages. We prove bounds for the cardinality of this set as the rational function varies in certain…

In this work, using maximal elements in generalized Weierstrass semigroups and its relationship with pure gaps, we extend the results in \cite{CMT2024} and provide a way to completely determine the set of pure gaps at several rational…

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$. This property arose from the study of near-rings and input-output…

Let $G$ be a finite subgroup of $GL_4(\bm{Q})$. The group $G$ induces an action on $\bm{Q}(x_1,x_2,x_3,x_4)$, the rational function field of four variables over $\bm{Q}$. Theorem. The fixed subfield…

Given a square, nonsingular matrix of univariate polynomials $\mathbf{F}\in\mathbb{K}[x]^{n\times n}$ over a field $\mathbb{K}$, we give a deterministic algorithm for finding the determinant of $\mathbf{F}$. The complexity of the algorithm…

We can associate local constant to every continuous finite dimensional complex representation of the absolute Galois group $G_F$ of a non-archimedean local field $F/\mathbb{Q}_p$ by Deligne and Langlands. To give explicit formula of local…

A period is a complex number arising as the integral of a rational function with algebraic number coefficients over a rationally-defined region. Although periods are typically transcendental numbers, there is a conjectural Galois theory of…

We establish automatic realizations of Galois groups among groups M\rtimes G, where G is a cyclic group of order p^n for a prime p and M is a quotient of the group ring Fp[G].