3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group

2021 ◽  
pp. 87-126
Author(s):  
Olga Kharlampovich ◽  
Alexei Myasnikov
Keyword(s):  
Free Group ◽  
Quantifier Elimination ◽  
Boolean Combination ◽  
Elimination Algorithm

scholarly journals Quantifier elimination theory and maps which preserve semipositivity

2021 ◽  
Vol 20 (3) ◽  
Author(s):  
Grzegorz Pastuszak ◽  
Adam Skowyrski ◽  
Andrzej Jamiołkowski
Keyword(s):  
Quantifier Elimination ◽  
Elimination Theory

scholarly journals Embedding the Picard group inside the class group: the case of $$\mathbb {Q}$$-factorial complete toric varieties

2021 ◽  
Author(s):  
Michele Rossi ◽  
Lea Terracini
Keyword(s):  
Free Group ◽  
Toric Variety ◽  
Class Group ◽  
Abelian Groups ◽  
Toric Varieties ◽  
Picard Group ◽  
Closed Field ◽  
Finitely Generated ◽  
Free Part ◽  
Canonical Injection

AbstractLet X be a $$\mathbb {Q}$$ Q -factorial complete toric variety over an algebraic closed field of characteristic 0. There is a canonical injection of the Picard group $$\mathrm{Pic}(X)$$ Pic ( X ) in the group $$\mathrm{Cl}(X)$$ Cl ( X ) of classes of Weil divisors. These two groups are finitely generated abelian groups; while the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of $$\mathrm{Pic}(X)$$ Pic ( X ) in $$\mathrm{Cl}(X)$$ Cl ( X ) is contained in a free part of the latter group.

scholarly journals The minimally displaced set of an irreducible automorphism of $$F_N$$ is co-compact

2021 ◽  
Vol 116 (4) ◽  
pp. 369-383
Author(s):  
Stefano Francaviglia ◽  
Armando Martino ◽  
Dionysios Syrigos
Keyword(s):  
Growth Rate ◽  
Free Group ◽  
Exponential Growth ◽  
Single Point ◽  
Irreducible Automorphism

AbstractWe study the minimally displaced set of irreducible automorphisms of a free group. Our main result is the co-compactness of the minimally displaced set of an irreducible automorphism with exponential growth $$\phi $$ ϕ , under the action of the centraliser $$C(\phi )$$ C ( ϕ ) . As a corollary, we get that the same holds for the action of $$ <\phi>$$ < ϕ > on $$Min(\phi )$$ M i n ( ϕ ) . Finally, we prove that the minimally displaced set of an irreducible automorphism of growth rate one consists of a single point.

Sign in / Sign up

Export Citation Format

Share Document