A note on the "Smith is Huq" condition
classification
🧮 math.CT
keywords
everytheoryanswersaroseaskedcoincidecommutatorcommute
read the original abstract
We show that two known conditions which arose naturally in commutator theory and in the theory of internal crossed modules coincide: every star-multiplicative graph is multiplicative if and only if every two effective equivalence relations commute as soon as their normalisations do. This answers a question asked by George Janelidze.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.