Related papers: The fundamental group functor as a Kan extension

We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their…

In this paper we obtain new quantitative forms of Hilbert's Irreducibility Theorem. In particular, we show that if $f(X, T_1, \ldots, T_s)$ is an irreducible polynomial with integer coefficients, having Galois group $G$ over the function…

Let $k$ be a number field. We provide an asymptotic formula for the number of Galois extensions of $k$ with absolute discriminant bounded by some $X \geq 1$, as $X\to\infty$. We also provide an asymptotic formula for the closely related…

We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic…

Ginzburg, Guay, Opdam and Rouquier established an equivalence of categories between a quotient category of the category $\mathcal{O}$ for the rational Cherednik algebra and the category of finite dimension modules of the Hecke algebra of a…

In this note, we prove the K- and L-theoretic Farrell-Jones Conjecture with coefficients in an additive category for fundamental groups of graphs of virtually cyclic groups.

We define a fundamental group for digital images. Namely, we construct a functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology. Our construction differs in several basic ways…

We present a generalization of Galois descent to finite modular normal field extension $L/K$, using the Heerma-Galois group $Aut(L[\bar{X}]/K[\bar{X}])$ where $L[\bar{X}]=L[X]/(X^{p^e})$ and $e$ is the exponent of $L$ over $K$.

In our previous paper we describe the Galois module structures of $p$th-power class groups $K^\times/{K^{\times p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our…

Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of…

We develop a Galois theory for difference ring extensions, inspired by Magid's separable Galois theory for ring extensions and by Janelidze's categorical Galois theory. Our difference Galois theorem states that the category of difference…

Let $K$ be a field whose characteristic is prime to a fixed integer $n$ with $\mu_n \subset K$, and choose $\omega \in \mu_n$ a primitive $n$th root of unity. Denote the absolute Galois group of $K$ by $\operatorname{Gal}(K)$, and the…

In this paper, we develop a $\times$-homotopy fundamental groupoid for graphs, and show a functorial relationship to the 2-category of graphs. We further explore the fundamental groupoid of graph products and develop a groupoid product…

We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial…

Given a number field $K$, a finite abelian group $G$ and finitely many elements $\alpha_1,\ldots,\alpha_t\in K$, we construct abelian extensions $L/K$ with Galois group $G$ that realise all of the elements $\alpha_1,\ldots,\alpha_t$ as…

We construct a finitely presented group $G$ with non-quadratic Dehn function $f$ majorizable by a quadratic function on arbitrary long intervals.

The aim of this paper is to give a new result of the differential Galois theory of linear ordinary differential equations. In particular, we compute differential Galois group for special type non-resonant Fuchsian system.

We compute the Galois group of the maximal 2-ramified pro-2-extension of a 2-rational number field

If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…

We introduce the universal unitarily graded A-algebra for a commutative ring A and an arbitrary abelian extension U of the group of units of A, and use this concept to give simplified proofs of the main theorems of co-Galois theory in the…