Learn More
Ježek and Kepka [4] proved that a universal algebra A with at least one at least binary operation is isomorphic to the factor of a subdirectly irreducible algebra B by its monolith if and only if the intersection of all of its (nonempty) ideals is nonempty, and that B may be chosen to be finite if A is finite. (By an ideal of A is meant a non-empty subset I(More)
  • 1