Source author record

William DeMeo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA Computational Complexity math.CO math.GR math.LO

Catalog footprint

Research overview

4works

5topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Polynomial-time Tests for Difference Terms in Idempotent Varieties

We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We answer this question (positively) in the idempotent case and then describe algorithms for constructing difference term operations.

preprint2014arXiv

Interval enforceable properties of finite groups

We propose a classification of group properties according to whether they can be deduced from the assumption that a group's subgroup lattice contains an interval isomorphic to some lattice. We are able to classify a few group properties as being "interval enforceable" in this sense, and we establish that other properties satisfy a weaker notion of "core-free interval enforceable." We also show that if there exists a group property and its negation that are both core-free interval enforceable, this would settle an important open question in universal algebra.

preprint2013arXiv

Dedekind's Transposition Principle for lattices of equivalence relations

We prove a version of Dedekind's Transposition Principle that holds in lattices of equivalence relations.

preprint2013arXiv

Expansions of finite algebras and their congruence lattices

We present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra $(B_0, \dots)$ , let $B_1, B_2, \dots, B_K$ be sets that either intersect $B_0$ or intersect each other at certain points. We construct an \emph{overalgebra} $(A, F_A)$ , by which we mean an expansion of $(B_0, \dots)$ with universe $A = B_0 \cup B_1 \cup \cdots \cup B_K$ , and a certain set $F_A$ of unary operations that includes mappings $e_i$ satisfying $e_i^2 = e_i$ and $e_i(A) = B_i$ , for $0\leq i \leq K$ . We explore two such constructions and prove results about the shape of the new congruence lattices $Con(A, F_A)$ that result. Thus, descriptions of some new classes of finitely representable lattices is one contribution of this paper. Another, perhaps more significant contribution is the announcement of a novel approach to the discovery of new classes of representable lattices, the full potential of which we have only begun to explore.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.