Congruence lattices forcing nilpotency

Activity: Talk or presentationContributed talkscience-to-science

Description

We start from the following results, which are consequences of theorems by Freese, Hobby, and McKenzie. \begin{quote} Let $\mathbf{A}$ be a finite algebra in a congruence modular variety such that $\mathrm{Con} (\mathbf{A})$ has a $(0,1)$-sublattice $\mathbb{L}$ that is simple, complemented, and has at least three elements. Then $\mathbf{A}$ is abelian. \end{quote} Similarly if $\mathbb{L}$ has no $2$-element homomorphic image, then $\mathbb{A}$ is solvable. We derive a similar condition for nilpotency and investigate what could be converses to these results.
Period27 May 2016
Event titleAAA 92
Event typeConference
LocationCzech RepublicShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101 Mathematics
  • 102031 Theoretical computer science
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Engineering and Natural Sciences (in general)