Normal closure of one-variable equations in free groups
نویسندگان
چکیده
منابع مشابه
One Variable Equations in Free Groups via Context Free Languages
We use context free languages to analyze solution sets to one variable equations over free groups.
متن کاملOne Variable Equations in Torsion-free Hyperbolic Groups
Let Γ be a torsion-free hyperbolic group. We show that the set of solutions of any system of equations with one variable in Γ is a finite union of points and cosets of centralizers if and only if any two-generator subgroup of Γ is free.
متن کاملIncremental Closure of Free Variable Tableaux
This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures using free variable tableaux require iterative deepening and backtracking over applied instantiations to guarantee completeness. If the correct instantiation is hard to find, this can lead to a significant amount of duplicated wor...
متن کاملOdinger-type Equations in One Space Variable
We examine the use of orthogonal spline collocation for the semi-discretization of the cubic Schr odinger equation and the two-dimensional parabolic equation of Tappert. In each case, an optimal order L 2 estimate of the error in the semidiscrete approximation is derived. For the cubic Schr odinger equation, we present the results of numerical experiments in which the integration in time is p...
متن کاملSolving equations in free nilpotent groups
In this paper we show that any system of equations over a free nilpotent group of class c is either unitary or nullary. In fact, such a system either has a most general solution (akin to the most general solution of a system of linear diophantine equations), or every solution has a proper generalization. In principle we provide an algorithm for determining whether or not a most general solution...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1980
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1980-0574504-2