From the subalgebras of the square to the discriminator (Q1180700)

The authors show, for a large and natural class of algebras, how to read off a discriminator term from the proof that every subalgebra of \(A^ 2\) is either a product of two subalgebras of \(A\) or the graph of an internal isomorphism. The introduction works on an example, section 1 contains the main result and section 3 gives a list of interesting examples.