Jaroslav Jezek

Books

I can offer two texts for downloading.
At the first place there is this book of around 220 pages, a collection of several basic topics in universal algebra:
UNIVERSAL ALGEBRA first edition (April 2008)
Then a shorter text, around 40 pages, on geometry. It assumes knowledge of basics of lattice theory and contains full proofs of the coordinatization theorem for projective planes and also the Bruck-Ryser theorem, without reference to other results:
GEOMETRIES first edition (April 2008)
In the past decades I was gathering a bibliography database of universal algebra and several more or less related topics. It is now quite extensive and could be considered almost complete for older universal algebra papers. Perhaps it could be of some use for other people. I can offer both the pdf and the source AMS-LaTeX files:
BIBLIOGRAPHY.pdf first release (April 2008)
BIBLIOGRAPHY.tex

Programs

1. Alg
2. Groupoid
3. Lattice
4. FreeLat

Picture pages

Czech forests

Older publications

1. JPG collections - papers and books not in TeX
1. On the equivalence between primitive classes of universal algebras Z. math. Logik u. Grundl. Math. 14 (1968), 309-320
2. Reduced dimension of primitive classes of universal algebras (1968) CMUC 9 (1968), 103-108
3. Primitive classes of algebras with unary and nullary operations Colloquium Math. 20 (1969), 159-179
4. Principal dual ideals in lattices of primitive classes CMUC 9 (1968), 533-545
5. On categories of structures and classes of algebras Dissertationes Math. 75, Warszawa 1970
6. An embedding of groupoids and monomorphisms into simple groupoids CMUC 11 (1970), 91-98
7. On atoms in lattices of primitive classes CMUC 11 (1970), 515-532
8. The existence of upper semicomplements in lattices of primitive classes CMUC 12 (1971), 519-532
9. Upper semicomplements and a definable element in the lattice of groupoid varieties CMUC 12 (1971), 565-586
10. J.Jezek and L.Beran: On embedding of lattices in simple lattices AUC 13 (1972), 87-89
12. Realization of small concrete categories by algebras and injective homomorphisms Colloquium Math. 29, 1974, 61-69
13. Algebraicity of endomorphisms of some relational structures AUC 13 (1972), 43-52
15. J.Jezek and V.Slavik: Some examples of primitive lattices AUC 14 (1974), 3-8
16. J.Jezek and T.Kepka: Extensive varieties AUC 16 (1975), 79-87
17. J.Jezek and T.Kepka: Free commutative idempotent abelian groupoids and quasigroups AUC 17 (1976), 13-19
18. J.Jezek and T.Kepka: The lattice of varieties of commutative abelian distributive groupoids Algebra Universalis 5 (1975), 225-237
19. J.Jezek and T.Kepka: Semigroup representations of commutative idempotent abelian groupoids CMUC 16 (1975), 487-500
20. J.Jezek and T.Kepka: Quasigroups, isotopic to a group CMUC 16 (1975), 59-76
21. Normal subsets of quasigroups CMUC 16 (1975), 77-85
22. J.Jezek, T.Kepka and P.Nemec: The category of totally symmetric quasigroups is binding AUC 19 (1978), 63-64
24. Univerzalni algebra a teorie modelu (Book, in Czech. SNTL, Praha 1976, 226 pp.)
27. J.Jezek and T.Kepka: Atoms in the lattice of varieties of distributive groupoids CMSJB 14. Lattice Theory, Szeged 1974. 185-194
28. Intervals in the lattice of varieties Algebra Universalis 6 (1976), 147-158
29. Varieties of algebras with equationally definable zerosCzechoslovak Math. J. 27 (1977), 394-414
30. J.Jezek and T.Kepka: Varieties of abelian quasigroups Czechoslovak Math. J. 27 (1977), 473-503
31. Endomorphism semigroups and subgroupoid lattices CMSJB 17. Contributions to Universal Algebra, Szeged 1975. 209-212
32. EDZ-varieties: The Schreier property and epimorphisms onto CMUC 17 (1976), 281-290
33. J.Jezek and T.Kepka: Quasitrivial and nearly quasitrivial distributive groupoids and semigroups. AUC 19 (1978), 25-44
34. J.Jezek and T.Kepka: Varieties of quasigroups determined by short strictly balanced identities Czechoslovak Math. J. 29 (1979), 84-96
35. A note on complex groupoids CMSJB 29. Universal Algebra, Esztergom 1977. 419-420
36. J.Jezek and V.Slavik: Primitive lattices Czechoslovak Math. J. 29 (1979), 595-634
37. Terms and semiterms CMUC 20 (1979), 447-460
38. J.Jezek, T.Kepka and P.Nemec: Distributive groupoids Rozpravy CSAV, Rada mat. a prir. ved 91/3 (1981), 94 pp
39. J.Jezek and T.Kepka: Medial groupoids Rozpravy CSAV, Rada mat. a prir. ved 93/2 (1983), 93 pp
40. The lattice of equational theories. Part I: Modular elements Czechoslovak Math. J. 31 (1981), 127-152
41. J.Jezek and T.Kepka: Torsion groupoids Czechoslovak Math. J. 33 (1983), 7-26
42. The lattice of equational theories. Part II: The lattice of full sets of terms Czechoslovak Math. J. 31 (1981), 573-603
43. J.Jezek and T.Kepka: Equational theories of medial groupoids Algebra Universalis 17 (1983), 174-190
44. J.Jezek and T.Kepka: Free entropic groupoids CMUC 22 (1981), 223-233
45. The lattice of equational theories. Part III: Definability and automorphisms Czechoslovak Math. J. 32 (1982), 129-164
46. Simple semilattices with two commuting automorphisms Algebra Universalis 15 (1982), 162-175
47. J.Jezek and T.Kepka: Simple semimodules over commutative semirings Acta Sci. Math. 46 (1983), 17-27
48. J.Jezek and T.Kepka: Semigroup representations of medial groupoids CMUC 22 (1981), 513-524
49. Free groupoids in varieties determined by a short equation AUC 23 (1982), 3-24
50. J.Jezek and J.Nesetril: Ramsey varieties Europ. J. Combinatorics 4 (1983), 143-147
51. The number of minimal varieties of idempotent groupoids CMUC 23 (1982), 199-205
52. J.Jezek and T.Kepka: Idealfree CIM-groupoids and open convex sets Proceedings, Puebla 1982, Universal algebra and lattice theory. Lecture Notes in Math. 1004. Springer-Verlag. 166-175
53. On join-indecomposable equational theories Proceedings, Puebla 1982, Universal algebra and lattice theory. Lecture Notes in Math. 1004. Springer-Verlag. 159-165
54. A note on isomorphic varieties CMUC 23 (1982), 579-588
56. J.Jezek and T.Kepka: Permutable groupoids Czechoslovak Math. J. 34 (1984), 396-410
57. J.Jezek and T.Kepka: Distributive groupoids and symmetry-by-mediality Algebra Universalis 19 (1984), 208-216
58. J.Jezek and T.Kepka: Notes on distributive groupoids CMUC 24 (1983), 237-249
59. A. Day and J.Jezek: The amalgamation property for varieties of lattices Transactions of the AMS 286 (1984), 251-256
60. J.Jezek and T.Kepka: Modular groupoids Czechoslovak Math. J. 34 (1984), 477-487
61. Elemetarily non-equivalent infinite partition lattices Algebra Universalis 20 (1985), 132-133
62. Nonfinitely based three-element idempotent groupoids Algebra Universalis 20 (1985), 292-301
63. Lattices isomorphic with their free powers Order 2 (1985), 69-79
64. J.Jezek and V.Trnkova: Varieties of groupoids with comprehensive products Algebra Universalis 22 (1986), 142-153
65. Subdirectly irreducible and simple Boolean algebras with endomorphisms Proceedings, Charleston 1984. Universal Algebra and Lattice Theory. Lecture Notes in Math. 1149. Springer-Verlag. 150-162
66. The lattice of equational theories. Part IV: Equational theories of finite algebras Czechoslovak Math. J. 36 (1986), 331-341
67. R.Freese, J.Jezek, J.B.Nation and V.Slavik: Singular covers in free lattices Order 3 (1986), 39-46
68. Equational theories of some almost unary groupoids. CMUC 27 (1986), 421-433
70. J.Jezek and R.Quackenbush: Directoids: Algebraic models of up-directed sets Algebra Universalis 27, 1990, 49-69
71.J.Jezek and G. McNulty: Bounded and well-placed theories in the lattice of equational theories Algebra Universalis 26 (1989), 311-331
72. J.Jezek and T.Kepka: Varieties of groupoids determined by short linear identities Czechoslovak Math. J. 39, 1989, 644-658
73. J.Jezek and V.Slavik: Free lattices over join-trivial partial lattices Algebra Universalis 27, 1990, 10-31
74. Minimal bounded varieties CMUC 29 (1988), 261-265
80. J.Jezek and R.Quackenbush: Minimal clones of conservative functions International J. of Algebra and Computation 5, 1995, 615-630

2. DVI, PS and PDF files - papers in TeX
75. J.Jezek and V.Slavik: Free lattices over halflattices.CMUC 30 (1989), 203-211
76. J.Jezek and T.Kepka: Notes on the number of associative triples AUC 31, 1990, 15-19
77. J.Jezek, P.Pudlak and J.Tuma: On equational theories of semilattices with operators Bull. Austral. Math. Soc. 42, 1990, 57-70
78. On representable mappings of semigroups into cardinals Rivista di Matematica Pura ed Applicata 6, 1990, 99-103
79. J.Jezek and R.Quackenbush: The top of the lattice of clones of quasiprojections (To appear)
81. Subdirectly irreducible semilattices with one automorphism Semigroup Forum 43, 1991, 178-186
82. J.Jezek and R.Wille: Congruence lattices of finite chains with endomorphisms (Preprint)
83. J.Jezek, N.Newrly and J.Tuma: Remarks on equational theories of semilattices with operators CMUC 31 (1990), 415-425
84. J.Jezek and T.Kepka: Medial division groupoids Proceedings of the American Mathematical Society 119, 1993, 423-426
85. J.Jezek and R.McKenzie: Definability in the lattice of equational theories of semigroups Semigroup Forum 46, 1993, 199-245
86. R.Freese, J.Jezek and J.B.Nation: Term rewrite systems for lattices J. Symbolic Computation 16, 1993, 279-288
87. J.Jezek and G.F.McNulty: Finite axiomatizability of congruence rich varieties Algebra Universalis 34, 1995, 191-213. Also need fig1 fig2 fig3 fig4
88. J.Jezek and G.F.McNulty: The existence of finitely based lower covers for finitely based equational theories J. Symbolic Logic 60, 1995, 1242-1250
89. J.Jezek and G.F.McNulty: Perfect bases for equational theories J. Symbolic Computation 19, 1995, 489-505
90. J.Jezek, R.Freese and J.B.Nation: Free lattices Mathematical Surveys and Monographs 42. American Mathematical Society, Providence, Rhode Island 1995
91. J.Jezek and T. Kepka: Self-distributive groupoids of small orders Czechoslovak Math. J. 47, 1997, 463-468
92. J.Jezek and T.Kepka: Bijective reflexions and coreflexions of commutative unars AUC 37/1, 1996, 31-40
93. J.Jezek and T.Kepka: Groupoids and the associative law XII (Representable cardinal functions) AUC 37/1, 1996, 41-62
94. Enumerating left distributive groupoids Czechoslovak Math. J. 47, 1997, 717-727
95. A note on finite sets of terms closed under subterms and unification CMUC 37, 1996, 655-656
96. Some decidable congruences of free monoids (To appear in Czechoslovak Math. J.)
97. J.R.Cho, J.Jezek and T.Kepka: Paramedial groupoids (To appear)
98. J.Jezek and T.Kepka: The equational theory of paramedial cancellation groupoids (To appear)
99. J.Jezek and T. Kepka: Linear equational theories and semimodule representations (To appear in International J. of Algebra and Computation)
100. J.Jezek and V.Slavik: Continuable sets of semilattices (To appear in Mathematica Bohemica)
101. J.Jezek and V.Slavik: Random posets, lattices, and lattice terms (To appear in Mathematica Bohemica)
102. A decidable equational theory with undecidable membership problem for free algebras (To appear in Algebra Universalis)
103. J.Jezek, P.Markovic, M.Maroti and R.McKenzie: Equations of tournaments are not finitely based (To appear in Discrete Math.) Need also fig
104. J.Jezek, P.Markovic, M.Maroti and R.McKenzie: The variety generated by tournaments (To appear)
105. R.El Bashir, J.Jezek and T.Kepka: Simple zeropotent paramedial groupoids are balanced
106. J.R.Cho, J.Jezek and T.Kepka: Simple paramedial groupoids
107. J.R.Cho, J.Jezek and T.Kepka: Finite simple zeropotent paramedial groupoids
108. R.Freese, J.Jezek and J.B.Nation: Lattices with large minimal extensions (To appear in Algebra Universalis)
109. J.Jezek and R.McKenzie: The variety generated by equivalence algebras (To appear in Algebra Universalis)
110. J.Jezek and M.Maroti: Membership problems for finite entropic groupoids