SUBGRAPH: Prove that 39 and 42 are equivalent

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

Apache License 2.0

74 stars 19 forks source link

SUBGRAPH: Prove that 39 and 42 are equivalent #33

Closed teorth closed 1 hour ago

Command-Master commented 3 hours ago

This isn't true---the naturals with x ∘ y = y satisfy 39 (x ∘ x = y ∘ x) but not 42 (x ∘ y = x ∘ z), and the naturals with x ∘ y = x satisfy 42 but not 39

teorth commented 1 hour ago

Oh, good point, that was silly on my part.