Counterexample structure (i) — Order 35 with a non-universal congruence relating z and q(z): 7 classes, the class of z has 5 elements, one class idempotent (no small-order hypothesis)

Initializing...

Counterexample structure (i) — Order 35 with a non-universal congruence relating z and q(z): 7 classes, the class of z has 5 elements, one class idempotent (no small-order hypothesis) · Prove2Me