Files in this item
Bounded homomorphisms and finitely generated fiber products of lattices
Item metadata
dc.contributor.author | DeMeo, William | |
dc.contributor.author | Mayr, Peter | |
dc.contributor.author | Ruskuc, Nik | |
dc.date.accessioned | 2021-01-28T00:37:19Z | |
dc.date.available | 2021-01-28T00:37:19Z | |
dc.date.issued | 2020-06 | |
dc.identifier | 263694729 | |
dc.identifier | 4014aff5-346b-484b-9f5b-448bf9f1ab65 | |
dc.identifier | 85078880716 | |
dc.identifier | 000543524800002 | |
dc.identifier.citation | DeMeo , W , Mayr , P & Ruskuc , N 2020 , ' Bounded homomorphisms and finitely generated fiber products of lattices ' , International Journal of Algebra and Computation , vol. 30 , no. 04 , pp. 693-710 . https://doi.org/10.1142/S0218196720500174 | en |
dc.identifier.issn | 0218-1967 | |
dc.identifier.other | ORCID: /0000-0003-2415-9334/work/73702031 | |
dc.identifier.uri | https://hdl.handle.net/10023/21335 | |
dc.description | Funding: The first and second authors were supported by the National Science Foundation under Grant No. DMS 1500254. | en |
dc.description.abstract | 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 g:A→D, h:B→D, where A, B are finitely generated and D satisfies (D), we show the following: If g and h are bounded, then their fiber product (pullback) C={(a,b)∈A×B | g(a)=h(b)} is finitely generated. While the converse is not true in general, it does hold when A and B 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. | |
dc.format.extent | 313995 | |
dc.language.iso | eng | |
dc.relation.ispartof | International Journal of Algebra and Computation | en |
dc.subject | Free lattice | en |
dc.subject | Finitely presented lattice | en |
dc.subject | Whitman's condition | en |
dc.subject | Bounded lattice | en |
dc.subject | Subdirect product | en |
dc.subject | Pullback | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | T-NDAS | en |
dc.subject.lcc | QA75 | en |
dc.title | Bounded homomorphisms and finitely generated fiber products of lattices | en |
dc.type | Journal article | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.contributor.institution | University of St Andrews. Pure Mathematics | en |
dc.identifier.doi | https://doi.org/10.1142/S0218196720500174 | |
dc.description.status | Peer reviewed | en |
dc.date.embargoedUntil | 2021-01-28 | |
dc.identifier.url | https://arxiv.org/abs/1907.08046 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.