Related papers: Subgroups of free proalgebraic groups and Matzat's…

We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) M\"{o}bius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and…

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the…

We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a…

We study verbally closed subgroups of free solvable groups. A number of results is proved that give sufficient conditions under whose a verbally closed subgroup is turned to be a retract and so algebraically closed of the full group.

We provide an elementary proof that subgroups of free groups are free via group actions.

We compare several definitions of the Galois group of a linear difference equation that have arisen in algebra, analysis and model theory and show, that these groups are isomorphic over suitable fields. In addition, we study properties of…

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 prove the Galois correspondence between the subgroups of a finite automorphism group G of a simple vertex operator algebra V and the vertex operator subalgebras of V containing the set V^G of G-invariants.

The purpose of this paper is to constructively develop a Galois theory on irreducible shifts of finite type (SFTs) and to analyze the automorphism groups of SFTs using this framework. Let $X$ and $Y$ be irreducible SFTs. We demonstrate that…

In this paper we develop a general method to prove independence of algebraic monodromy groups in compatible systems of representations, and we apply it to deduce independence results for compatible systems both in automorphic and in…

We introduce the notion of a regular quadratic equation and a regular NTQ system over a free group. We prove the results that can be described as Implicit function theorems for algebraic varieties corresponding to regular quadratic and NTQ…

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…

A free semigroupoid algebra is the weak operator topology closed algebra generated by the left regular representation of a directed graph. We establish lattice isomorphisms between ideals and invariant subspaces, and this leads to a…

We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a…

Let $L$ and $M$ be two algebraically closed fields contained in some common larger field. It is obvious that the intersection $C=L\cap M$ is also algebraically closed. Although the compositum $LM$ is obviously perfect, there is no reason…

Let $\mathcal{O}$ be a Dedekind domain whose field of fractions $K$ is a global field. Let $A$ be a finite-dimensional separable $K$-algebra and let $\Lambda$ be an $\mathcal{O}$-order in $A$. Let $n$ be a positive integer and suppose that…

The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of…

Let $C \langle t_1, \dots t_l\rangle$ be the differential field generated by $l$ differential indeterminates $\boldsymbol{t}=(t_1, \dots ,t_l)$ over an algebraically closed field $C$ of characteristic zero. We develop a lower bound…

We show that if $G$ is a non-archimedean, Roelcke precompact, Polish group, then $G$ has Kazhdan's property (T). Moreover, if $G$ has a smallest open subgroup of finite index, then $G$ has a finite Kazhdan set. Examples of such $G$ include…

A proof of freeness of the commutator subgroup of the fundamental group of a smooth irreducible affine curve over a countable algebraically closed field of nonzero characteristic. A description of the abelianizations of the fundamental…