À propos des théories de Galois finies et infinies
A pseudo representation theorem for various categories of relations.
A regular a-semigroups inducing a certain lattice.
A remark on a paper of Taimanov
A remark on polynomial functions over finite monoids.
A remark on the ideal extension property
A remark on v*-algebras
A representation theorem for idempotent medial algebras
A scheme for congruence semidistributivity
A diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the ∧-semidistributive law.
A semantic construction of two-ary integers
To binary trees, two-ary integers are what usual integers are to natural numbers, seen as unary trees. We can represent two-ary integers as binary trees too, yet with leaves labelled by binary words and with a structural restriction. In a sense, they are simpler than the binary trees, they relativize. Hence, contrary to the extensions known from Arithmetic and Algebra, this integer extension does not make the starting objects more complex. We use a semantic construction to get this extension. This...
A short proof of Rédei's Theorem.
A simple basis of ideal terms of Brouwerian semilattices
A simple geometric proof of a theorem on
A special congruence lattice of a regular semigroup.
A survey of algebra of tournaments.
A survey of minimal clones.
-systems
A theorem on doubly transitive permutation groups with application to universal algebras
A theorem on groups
A transvection decomposition in GL(n,2)
An algorithm is given to decompose an automorphism of a finite vector space over ℤ₂ into a product of transvections. The procedure uses partitions of the indexing set of a redundant base. With respect to tents, i.e. finite ℤ₂-representations generated by a redundant base, this is a decomposition into base changes.