Investigations concerned with anti-unification (AU) over λ-terms have focused on developing algorithms that produce generalizations residing within well-studied fragments of the simply-typed λ-calculus. These fragments forbid the nesting of generalizations variables, restrict the structure of their arguments, and are unitary. We consider the case of nested generalization variables and show that this AU problem is nullary, even when the arguments to free variables are severely restricted.
Let W be a right-angled Coxeter group corresponding to a finite non-discrete graph G. Our main theorem says that G c is connected if and only if for any infinite index quasiconvex subgroup H of W and any finite subset {γ 1 , . . . , γ n } ⊂ W \ H there is a surjection f from W to a finite alternating group such that f (γ i ) / ∈ f (H). A corollary is that a right-angled Artin group splits as a direct product of cyclic groups and groups with many alternating quotients in the above sense.Similarly, finitely generated subgroups of closed, orientable, hyperbolic surface groups can be separated from finitely many elements in an alternating quotient, answering positively the conjecture of Wilton [Wil12].
We prove new separability results about free groups. Namely, if H 1 , . . . , H k are infinite index, finitely generated subgroups of a non-abelian free group F , then there exists a homomorphism onto some alternating group f :The proof is probabilistic. We count the expected number of fixed points of f (H i )'s and their subgroups under a specific measure.
Let
W
be a right-angled Coxeter group corresponding to a finite non-discrete graph
\mathcal{G}
with at least
3
vertices. Our main theorem says that
\mathcal{G}^c
is connected if and only if for any infinite index convex-cocompact subgroup
H
of
W
and any finite subset
\{ \gamma_1, \ldots , \gamma_n \} \subset W \setminus H
there is a surjection
f
from
W
to a finite alternating group such that
f (\gamma_i) \notin f (H)
. A corollary is that a right-angled Artin group splits as a direct product of cyclic groups and groups with many alternating quotients in the above sense.
Similarly, finitely generated subgroups of closed, orientable, hyperbolic surface groups can be separated from finitely many elements in an alternating quotient, answering positively the conjecture of Wilton [9].
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.