Homework

Homework Solutions

Syllabus

Get Your Grades

Lecture: Tuesday, Thursday 3:00-4:15, in Keller 404
Instructor: Ralph Freese
      Office: 305 Keller
      Phone: 956-9367
      email:email me
      Office hours: T-Th 4:15-5:00, F 1-2 and by appointment (or just come to my office
                               and see if I'm in)

• pdf file of the homework.
• tex file of the homework.

• Universal Algebra Calculator at www.uacalc.org.

There are several good books in this area but many are out of print. Fortunately many are available online.

• J. B. Nation Notes on Lattice Theory, online at JB's Books page.
  
  
• Burris and Sankappanavar, A Course in Universal Algebra, out of print but available online in pdf form.
  
  
• Denecke and Wismath, Universal Algebra and Applications in Theoretical Computer Science, Chapman & Hall/CRC, Boca Raton, FL, 2002. ISBN: 1-58488-254-9.
  
  
• McKenzie, McNulty, Taylor, Algebras, Lattices and Varieties, Vol. I, also out of print but Vol. II is being written. Here is Chapter 10 on Maltsev conditions.
  
  
• J. Jezek Universal Algebra, notes on universal algebra available here or on Jezek's site.


• K. Baker Class Notes on Algebras, Six parts:
  • a_algs.pdf.
    
  • b_concepts.pdf.
    
  • c_free.pdf.
    
  • d_congr.pdf.
    
  • e_subdir.pdf.
    
  • f_malcev.pdf.
    
  • g_jonsson.pdf.
    
  
  
• M. Valeriote, Introduction to Universal Algebra, Lecture notes from the First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical Computer Science, Rand Afrikaans University, Johannesburg, December 1999. pdf.


• Freese and McKenzie, Commutator Theory for Congruence Modular Varieties, available here.


• Hobby and McKenzie, The Structure of Finite Algebras, Comtemporary Math., AMS, Providence, RI, 1988. ISBN: 0-8218-5073-3. This is online: http://www.ams.org/online_bks/conm76/.


• M. Clasen and M. Valeriote, Tame Congruence Theory, in Lectures on Algebraic Model Theory, Fields Institute Monographs, volume 15, pages 67--111, published by the American Mathematical Society, 2002. pdf.


• K. Kearnes and E. Kiss, The Shape of Congruence Lattices, pdf.


• R. Willard, An overview of modern universal algebra, pp. 197-220 in Logic Colloquium 2004, eds. A. Andretta, K. Kearnes and D. Zambella, Lecture Notes in Logic, vol. 29, Cambridge U. Press, 2008. pdf.

• J. Berman, The structure of free algebras, in Structural Theory of Automata, Semigroups, and Universal Algebra, NATO Sci. Ser. II Math. Phys. Chem., 207(2005), 47-76. pdf.


• G. Birkhoff, On the structure of abstract algebras, Proc. Cmabridge Phil. Soc., 31(1935), 433-454. pdf.


• R. Freese, Computing congruences efficiently, Algebra Universalis, 59(2008), 337-343. pdf.


• R. Freese, Notes on the Birkhoff Construction, pdf.


• R. Freese and M. Valeriote, On the complexity of some Maltsev conditions, Internation J. Algebra and Computation, to appear. pdf.


• P. P. Palfy and P. Pudlak, Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups , Algebra Universalis, 11 (1980), 22-27. pdf.
  
  
• P. P. Palfy, Unary polynomials in algebras, I, Algebra Universalis, 18 (1984), 262-273. pdf.


• P. Pudlak and J. Tuma, Every finite lattice can be embedded in a finite partition lattice, Algebra Universalis, 10 (1980), 74-95. pdf.


• W. Lampe, Notes on G-sets. pdf.