Related papers: Computing the fixing group of a rational function

Let $G$ be a finite 2-group and $K$ be a field satisfying that (i) $\fn{char}K\ne 2$, and (ii) $\sqrt{a}\in K$ for any $a\in K$. If $G$ acts on the rational function field $K(x,y,z)$ by monomial $K$-automorphisms, then the fixed field…

We generalize a result of F.\ Legrand about the existence of non-parametric Galois extensions for a given group $G$. More precisely, for a $K$-regular Galois extension $F|K(t)$, we consider the translates $F(s)|K(s)$ by an extension…

Let $F$ be any field. We give a short and elementary proof that any finite subgroup $G$ of $PGL(2,F)$ occurs as a Galois group over the function field $F(x)$. We also develop a theory of descent to subfields of $F$. This enables us to…

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a…

We apply the differential Galois theory for difference equations developed by Hardouin and Singer to compute the differential Galois group for a second-order linear $q$-difference equation with rational function coefficients. This Galois…

We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

We give a procedure to compute the rational homotopy groups of the group of quasi-unitaries of an AF-algebra. As an application, we show that an AF-algebra is K-stable if and only if it is rationally K-stable.

The purpose of this paper is to propose an efficient method to compute the automorphism group of an arbitrary hyperelliptic function field (genus>1) over a given ground field of characteristic >2 as well as over its algebraic extensions.

Let $K$ be a number field and $f\in K[X]$ an irreducible monic polynomial with coefficients in $O_K$, the ring of integers of $K$. We aim to enounce an effective criterion, in terms of the Galois group of $f$ over $K$ and a linear…

We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem…

We use algebraic techniques to study homological filling functions of groups and their subgroups. If $G$ is a group admitting a finite $(n+1)$--dimensional $K(G,1)$ and $H \leq G$ is of type $F_{n+1}$, then the $n^{th}$--homological filling…

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…

For several computational problems in homotopy theory, we obtain algorithms with running time polynomial in the input size. In particular, for every fixed k>1, there is a polynomial-time algorithm that, for a 1-connected topological space X…

It was established before that fusion rings in a rational conformal field theory (RCFT) can be described as rings of polynomials, with integer coefficients, modulo some relations. We use the Galois group of these relations to obtain a local…

Let $K$ be the number field determined by a monic irreducible polynomial $f(x)$ with integer coefficients. In previous papers we parameterized the prime ideals of $K$ in terms of certain invariants attached to Newton polygons of higher…

Let $G$ be a finite group and $k$ be a field. 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 $k(G)=k(x_g:g\in…

We obtain a criterion for when the specialization of the iterated Galois group for a post-critically finite (PCF) rational map is as large as possible, i.e., it equals the generic iterated Galois group for the given map.

Let $G$ be a finite group and let $H$ be a proper subgroup of $G$ of minimal index. By applying an old result of Y. Berkovich, we provide a polynomial algorithm for computing $|G : H|$ for a permutation group $G$. Moreover, we find $H$…

Rational transformations of polynomials are extensively studied in the context of finite fields, especially for the construction of irreducible polynomials. In this paper, we consider the factorization of rational transformations with…