Positively discriminating groups
Positively discriminating groups
A group is positively discriminating if any finite subset of positive equations u = v, which are not laws in G, can be simultaneously falsified in G. All known groups which are not positively discriminating satisfy positive laws. The question whether every group without positive laws must be positively discriminating …