{"id":5711786,"date":"2023-01-11T08:13:48","date_gmt":"2023-01-11T18:13:48","guid":{"rendered":"https:\/\/math.hawaii.edu\/wordpress\/?p=5711786"},"modified":"2023-02-14T21:23:51","modified_gmt":"2023-02-15T07:23:51","slug":"in-memoriam-william-lampe","status":"publish","type":"post","link":"https:\/\/math.hawaii.edu\/wordpress\/in-memoriam-william-lampe\/","title":{"rendered":"In memoriam William Lampe"},"content":{"rendered":"<p>Emeritus faculty member <a href=\"https:\/\/math.hawaii.edu\/wordpress\/people\/william\/\">William (Bill) Austyn Lampe<\/a> died on January 8th 2023, surrounded by family.<\/p>\n<p>Except for a one year post doc at Colorado and a two year stay at the Institute for Advanced Study, he spent his whole career at UH. He came here in 1972, was chair 1983-1986, and retired in 2011.<br \/>\nHe will be missed.<\/p>\n<h4>Mathematical research<\/h4>\n<p>A major theme of Bill&#8217;s work was <em>congruence lattice representations<\/em>, that is, the problem of finding an algebra whose family of congruence relations is isomorphic to a given lattice. For example, the three-element lattice $\\mathbf{0}<\\mathbf{1}<\\mathbf{2}$ arises as the congruence lattice of the symmetric group $S_3$.\n\nGr\u00e4tzer and Schmidt in 1963 bridged lattice theory and universal algebra by showing that every compactly generated lattice has such a representation. Simplifications were found by Lampe (1973) and Pudlak (1976). They involved what was affectionally known as the <em>sack-of-potatoes<\/em> construction, pictured above. Such simplifications turned out to lead to <a href=\"https:\/\/projecteuclid.org\/journals\/bulletin-of-symbolic-logic\/volume-9\/issue-1\/Local-initial-segments-of-the-Turing-degrees\/10.2178\/bsl\/1046288724.short\">applications<\/a> in other mathematical fields. Bill used his methods to develop what have become known as the Zipper Lemma and the Term Condition.<\/p>\n<p>As well as these positive results, he had several striking negative results. For example,<br \/>\na longstanding conjecture was that every algebraic lattice could be represented as the congruence lattice of an algebra having only one operation. Bill showed that there are lattices such that the algebra must have at least $\\kappa$ many operations, for any cardinal $\\kappa$.<\/p>\n<p>In Bill&#8217;s last paper, <a href=\"https:\/\/link.springer.com\/article\/10.1007\/s00153-016-0488-5\">The strength of the Gr\u00e4tzer-Schmidt theorem<\/a> (with Brodhead, Khan, Kjos-Hanssen, Nguyen and Shore, 2016) the GS theorem is studied in the context of reverse mathematics. As a follow-up, <a href=\"https:\/\/math.hawaii.edu\/wordpress\/graduate-alumni\/syoon2\/\">Jack Yoon<\/a> showed in his 2020 dissertation that surprisingly the Gr\u00e4tzer-Schmidt theorem is provable in the system <em>Arithmetic Transfinite Recursion<\/em> of reverse mathematics.<br \/>\n<img decoding=\"async\" src=\"https:\/\/math.hawaii.edu\/home\/board\/lampes.jpg\" \/><\/p>\n<p>After working on many other problems in universal algebra and lattice theory through his career, Bill returned to this topic for his talk at the conference <a href=\"https:\/\/math.hawaii.edu\/wordpress\/algebra-and-lattices-in-hawaii\/\">Algebra and Lattices in Hawaii<\/a> in 2018, held in honor of him and his colleagues in lattice theory and universal algebra in Hawaii.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Emeritus faculty member William (Bill) Austyn Lampe died on January 8th 2023, surrounded by family. Except for a one year post doc at Colorado and a two year stay at the Institute for Advanced Study, he spent his whole career at UH. He came here in 1972, was chair 1983-1986, and retired in 2011. He &hellip; <a href=\"https:\/\/math.hawaii.edu\/wordpress\/in-memoriam-william-lampe\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">In memoriam William Lampe<\/span> <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":5711789,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-5711786","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-people-posts"],"_links":{"self":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts\/5711786","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/comments?post=5711786"}],"version-history":[{"count":22,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts\/5711786\/revisions"}],"predecessor-version":[{"id":5711809,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/posts\/5711786\/revisions\/5711809"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/media\/5711789"}],"wp:attachment":[{"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/media?parent=5711786"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/categories?post=5711786"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hawaii.edu\/wordpress\/wp-json\/wp\/v2\/tags?post=5711786"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}