scholarly journals Bounded homomorphisms and finitely generated fiber products of lattices

2020 ◽  
Vol 30 (04) ◽  
pp. 693-710
Author(s):  
William DeMeo ◽  
Peter Mayr ◽  
Nik Ruškuc
Keyword(s):  
Word Problem ◽  
Time Algorithm ◽  
Finitely Generated ◽  
Bounded Lattice ◽  
Exponential Time ◽  
Unpublished Result ◽  
Lattice Homomorphisms ◽  
Finitely Presented ◽  
Exponential Time Algorithm

We investigate when fiber products of lattices are finitely generated and obtain a new characterization of bounded lattice homomorphisms onto lattices satisfying a property we call Dean’s condition (D) which arises from Dean’s solution to the word problem for finitely presented lattices. In particular, all finitely presented lattices and those satisfying Whitman’s condition satisfy (D). For lattice epimorphisms [Formula: see text], [Formula: see text], where [Formula: see text], [Formula: see text] are finitely generated and [Formula: see text] satisfies (D), we show the following: If [Formula: see text] and [Formula: see text] are bounded, then their fiber product (pullback) [Formula: see text] is finitely generated. While the converse is not true in general, it does hold when [Formula: see text] and [Formula: see text] are free. As a consequence, we obtain an (exponential time) algorithm to decide boundedness for finitely presented lattices and their finitely generated sublattices satisfying (D). This generalizes an unpublished result of Freese and Nation.

scholarly journals An algebraic characterization of groups with soluble word problem

1974 ◽  
Vol 18 (1) ◽  
pp. 41-53 ◽  
Author(s):  
William W. Boone ◽  
Graham Higman
Keyword(s):  
Word Problem ◽  
Focal Point ◽  
Algebraic Characterization ◽  
Necessary And Sufficient Condition ◽  
Finitely Generated ◽  
Finitely Generated Group ◽  
Finitely Presented Group ◽  
Necessary And Sufficient ◽  
Finitely Presented

The following theorem is the focal point of the present paper. It stipulates an algebraic condition equivalent, in any finitely generated group, to the solubility of the word problem.THEOREM I. A necessary and sufficient condition that a finitely generated group G have a soluble word problem is that there exist a simple group H, and a finitely presented group K, such that G is a subgroup of H, and H is a subgroup of K.

Separating Classes of Groups by First-Order Sentences

2003 ◽  
Vol 13 (03) ◽  
pp. 287-302 ◽  
Author(s):  
André Nies
Keyword(s):  
Nilpotent Group ◽  
Word Problem ◽  
Finitely Generated ◽  
Finitely Presented Groups ◽  
First Order ◽  
Solvable Word Problem ◽  
Rank 2 ◽  
Finitely Presented ◽  
Solvable Word

For various proper inclusions of classes of groups [Formula: see text], we obtain a group [Formula: see text] and a first-order sentence φ such that H⊨φ but no G∈ C satisfies φ. The classes we consider include the finite, finitely presented, finitely generated with and without solvable word problem, and all countable groups. For one separation, we give an example of a f.g. group, namely ℤp ≀ ℤ for some prime p, which is the only f.g. group satisfying an appropriate first-order sentence. A further example of such a group, the free step-2 nilpotent group of rank 2, is used to show that true arithmetic Th(ℕ,+,×) can be interpreted in the theory of the class of finitely presented groups and other classes of f.g. groups.

An Exact Exponential Time Algorithm for Power Dominating Set

Algorithmica ◽  
2011 ◽  
Vol 63 (1-2) ◽  
pp. 323-346 ◽  
Author(s):  
Daniel Binkele-Raible ◽  
Henning Fernau
Keyword(s):  
Dominating Set ◽  
Time Algorithm ◽  
Exponential Time ◽  
Exponential Time Algorithm

An improved exponential-time algorithm for k -SAT

2005 ◽  
Vol 52 (3) ◽  
pp. 337-364 ◽  
Author(s):  
Ramamohan Paturi ◽  
Pavel Pudlák ◽  
Michael E. Saks ◽  
Francis Zane
Keyword(s):  
Time Algorithm ◽  
Exponential Time ◽  
Exponential Time Algorithm

scholarly journals On finitely generated submonoids of virtually free groups

2018 ◽  
Vol 10 (2) ◽  
pp. 63-82
Author(s):  
Pedro V. Silva ◽  
Alexander Zakharov
Keyword(s):  
Word Problem ◽  
Free Group ◽  
Free Groups ◽  
Isomorphism Problem ◽  
Geometric Characterization ◽  
Finitely Generated ◽  
Free Monoids ◽  
Virtually Free Group

AbstractWe prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization of graded submonoids in virtually free groups as quasi-geodesic submonoids, and show that their word problem is rational (as a relation). We also solve the isomorphism problem for this class of monoids, generalizing earlier results for submonoids of free monoids. We also prove that the classes of graded monoids, regular monoids and Kleene monoids coincide for submonoids of free groups.

Context-sensitive languages and G-automata

2017 ◽  
Vol 27 (02) ◽  
pp. 237-249
Author(s):  
Rachel Bishop-Ross ◽  
Jon M. Corson ◽  
James Lance Ross
Keyword(s):  
Word Problem ◽  
Finitely Generated ◽  
Closure Properties ◽  
Finitely Generated Group ◽  
Context Sensitive ◽  
The Family

For a given finitely generated group [Formula: see text], the type of languages that are accepted by [Formula: see text]-automata is determined by the word problem of [Formula: see text] for most of the classical types of languages. We observe that the only exceptions are the families of context-sensitive and recursive languages. Thus, in general, to ensure that the language accepted by a [Formula: see text]-automaton is in the same classical family of languages as the word problem of [Formula: see text], some restriction must be imposed on the [Formula: see text]-automaton. We show that restricting to [Formula: see text]-automata without [Formula: see text]-transitions is sufficient for this purpose. We then define the pullback of two [Formula: see text]-automata and use this construction to study the closure properties of the family of languages accepted by [Formula: see text]-automata without [Formula: see text]-transitions. As a further consequence, when [Formula: see text] is the product of two groups, we give a characterization of the family of languages accepted by [Formula: see text]-automata in terms of the families of languages accepted by [Formula: see text]- and [Formula: see text]-automata. We also give a construction of a grammar for the language accepted by an arbitrary [Formula: see text]-automaton and show how to get a context-sensitive grammar when [Formula: see text] is finitely generated with a context-sensitive word problem and the [Formula: see text]-automaton is without [Formula: see text]-transitions.

Sign in / Sign up

Export Citation Format

Share Document