Libor Barto

HOME COCOSYM RESEARCH FOR STUDENTS

UNIVERSAL ALGEBRA 2 (NMAG450)

Lecture: Mon 10:40 - 12:10 zoom
Practicals: Mon 12:20 - 13:50 zoom, even weeks

Grading:

  • Practicals ("Z: Zapocet"): homeworks (60% from 3 best scores out of 4 homeworks)
  • Lecture ("Zk: Zkouska"): written test + possible oral examination

Link to material only for NMAG450 students" (e.g. lecture recordings). The username and password was sent to you by email.

Homework

  • Please prepare in PDF format. Latex or handwritting+Adobe Scan highly recommended.
  • Submitting: send by email
  • I will add comments to the PDF and record your mark to SIS

Literature:


 

topicsrecommended reading lecture notes
practicals
homework
1.3.Abelian and affine algebras, fundamental theorem. Bergman 7.3, MK 2.1, 2.2 lecture 1
8.3.Relational desciption of Abelian algebras. Centralizing relation in UA vs. group theory.
Pr.: Abelian and non-Abelian algebras.
Bergman 7.4, MK 2.3 lecture 2
practical 1
homework 1
due 22 Mar 9:00
15.3. Equational theories, completness theorem for equational logic. Jezek 13, MK 1.1,1.2 lecture 3
22.3. Reduction order, critical pairs, Knuth-Bendix algorithm.
Pr.:
Jezek 13, MK 1.3 lecture 4
practical 2
homework 2
due 12 Apr 9:00
29.3. Finitely based varieties. Non-finitely based example. Bergman 5.4., MK 3.0 lecture 5
5.4. ---
12.4. McKenzie's DPC (definable principal congruences) result. Bergman 5.5. lecture 6
19.4. CSPs, Taylor clones, absorption...
Pr.:
26.4. Homework 3
due 10 May 9:00
3.5.
Pr.:
10.5.
17.5.
Pr.:
Homework 4
due 31 May 9:00
24.5.
31.5.
Pr.:

 

 

ARCHIV

[Archiv 2020/21 zimni semestr]
[Archiv 2019/20 zimni semestr]
[Archiv 2018/19 letni semestr]
[Archiv 2018/19 zimni semestr]
[Archiv 2017/18 letni semestr]
[Archiv 2017/18 zimni semestr]
[Archiv 2016/17 letni semestr]
[Archiv 2016/17 zimni semestr]
[Archiv 2015/16 letni semestr]
[Archiv 2015/16 zimni semestr]
[Archiv 2014/15 letni semestr]
[Archiv 2014/15 zimni semestr]
[Archiv 2013/14 letni semestr]
[Archiv 2013/14 zimni semestr]
[Archiv 2012/13 letni semestr]
[Archiv 2012/13 zimni semestr]
[Archiv McMaster]
[Archiv 2009/10 letni semestr]
[Archiv 2009/10 zimni semestr]
[Archiv 2008/09 letni semestr]
[Archiv 2008/09 zimni semestr]
[Archiv 2007/08 letni semestr]
[Archiv 2007/08 zimni semestr]
[Archiv 2006/07 letni semestr]
[Archiv 2006/07 zimni semestr]
[Archiv 2005/06 letni semestr]