Related papers: Fields definable in the free group

Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism…

We consider finite extensions of the rationals which are unramified except for at 2 and infinity. We show there are no such extensions of degrees 9 through 15.

Let $G$ be an arbitrary group. We show that if the Fitting subgroup of $G$ is nilpotent then it is definable. We show also that the class of groups whose Fitting subgroup is nilpotent of class at most $n$ is elementary. We give an example…

We define a notion of an arithmetic set in an arbitrary countable group and study properties of these sets in the cases of Abelian groups and non-abelian free groups.

We introduce ideas from geometric group theory related to boundaries of groups. This is a mostly expository paper. We consider the visual boundary of a free abelian group, and show that it is an uncountable set with the trivial topology.

This paper discusses several functional analytic issues relevant for field theories in the context of the Hamiltonian formulation for a free, massless, scalar field defined on a closed interval of the real line. The fields that we use…

In this review, we have reached from the most basic definitions in the theory of groups, group structures, etc. to representation theory and irreducible representations of the Poincar'e group. Also, we tried to get a more comprehensible…

We give an infinite presentation for the mapping class group of a non-orientable surface with boundary components. The presentation is a generalization of the presentation given by the second author [15].

We prove various results around indiscernibles in monadically NIP theories. First, we provide several characterizations of monadic NIP in terms of indiscernibles, mirroring previous characterizations in terms of the behavior of finite…

We construct examples of finitely generated decidable group presentations that satisfy certain combinations of solvability for the word problem, solvability for the bounded word problem, and computablity for the Dehn function. We prove that…

We show that the free group of rank 2 is a limit of 2-markings of Thompson's group F in the space of all 2-marked groups. More specifically, we find a sequence of generating pairs for F so that as one goes out the sequence, the length of…

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

We prove that for arbitrary two finitely generated subgroups A and B having infinite index in a free group F, there is a subgroup H of finite index in B such that the subgroup generated by A and H has infinite index in F. The main corollary…

We give an infinite family of torsion-free groups that do not satisfy the unique product property. For these examples, we also show that each group contains arbitrarily large sets whose square has no uniquely represented element.

In this paper we prove global class field theory using a purely geometric result. We first write in detail Deligne's proof to the unramified case of class field theory, including defining the required objects for the proof. Then we…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square…

We prove that the prime ideals in every class of a number field contain arbitrary large truncated ideal classes.

We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…

A field algebra is a ``non-commutative'' generalization of a vertex algebra. In this paper we develop foundations of the theory of field algebras.