My primary research interests are universal algebra, lattice theory, and the theory of finite groups, logic, computability, type theory, functional programming, and group harmonic analysis.

This page gives an overview of my research. Other sources of information about my work are my

Open notebook science

Recently I started an open notebook at where I record progress on problems and projects, and gather notes about topics that are new to me. Consequently, the posts are often rough and occasionally misguided. It is a notebook for doing research, not a blog.


  1. Isotopic algebras with nonisomorphic congruence lattices, Algebra Univers. (accepted) 2014.
  2. Interval enforceable properties of finite groups, Communications in Algebra (accepted) 2014.
  3. Expansions of finite algebras and their congruence lattices, Algebra Univers. 69 2013.
  4. Topics in nonabelian harmonic analysis and DSP applications, Proceedings
    of the International Symposium on Musical Acoustics
    , Nara, Japan, 2004 (best paper award).
  5. Characterizing musical signals with Wigner-Ville interferences,
    Proceedings of the International Computer Music Conference, Goteborg, Sweden, 2002.
  6. Approximating eigenvalues of large stochastic matrices, Proceedings of
    the 8th Copper Mt. Conference on Iterative Methods
    , Colorado, USA, 1998.
  7. On a problem of Palfy and Saxl (in preparation).
  8. Congruence lattices of intransitive G-sets, with Ralph Freese (in preparation).
  9. Small congruence lattices, with Ralph Freese and Peter Jipsen (in preparation).

Undergraduate research

My student Matthew Corley won a Magellan Scholar grant to work with me on the GroupSound project. For this application I recently developed a map reduce algorithm for convolution over finite groups, which is implemented in a Sage worksheet—group convolution in just four lines of Python.

Open Questions

Below is a list of some open questions that interest me.

  1. Is every finite lattice isomorphic to the congruence lattice of a finite algebra?   (related work)
  2. Does every finite lattice appear as an interval in the subgroup lattice of a finite group?  (related work)
  3. Does every algebra with a fi nite dimensional modular congruence lattice have a unique factorization?  (related work)
  4. The Jósson-Park Conjecture: Does every finitely generated variety with a finite residual bound have a finite equational basis?
  5. Find a general (non-group-theoretic) proof of the theorem of Oates and Powell: The variety generated by a finite group is finitely based.
  6. The Černý Conjecture: If an n-state automaton has a reset word, then it has one of length at most (n–1)². (related work)
  7. A question of Péter Pálfy and Jan Saxl: If a congruence lattice is isomorphic to Mn and there is a set of three or more atoms that pairwise permute, do all the atoms pairwise permute? (related work)

I learned about finite basis problems from George McNulty, who has some very nice papers and notes about these problems linked to his webpage. Ross Willard has some excellent notes on this topic as well.  His overview of modern universal algebra is also highly recommended.  An nice exposition of the Oates-Powell Theorem can be found in Chapter 5 of Hanna Neumann’s book, Varieties of Groups.

Unpublished notes

More can be found on the arXiv, or my old research page or my even older research page.

Some recent talks



Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s