6
$\begingroup$

I wonder whether the category of (pointed) racks is semi-abelian.

Any comments and references would be appreciated.

$\endgroup$
8
  • 3
    $\begingroup$ It has no zero object (the initial object is empty while the terminal object is a singleton). So it's not semi-abelian. $\endgroup$ – YCor Jun 20 '19 at 10:48
  • 2
    $\begingroup$ I forgot to mention that the racks are pointed. So I edited the question. Thanks for your quick response. $\endgroup$ – Kadir Emir Jun 20 '19 at 10:58
  • 1
    $\begingroup$ Also there is a big difference between product and coproduct $\endgroup$ – Marco Farinati Jun 20 '19 at 18:57
  • 1
    $\begingroup$ Coproduct (also product) exists. And zero object as well. The missing explanations are whether being protomodular and Barr-exact. $\endgroup$ – Kadir Emir Jun 20 '19 at 20:51
  • 1
    $\begingroup$ @ToddTrimble: I presume Marco was thinking of the other established meaning of semi-abelian, due (as far as I can see) to Palamodov, given on Wikipedia and discussed on MO here. Palamodov’s sense does require biproducts, so Marco’s comment shows racks aren’t semi-abelian in that sense either. But it’s clear from Kadir’s second comment that he has the more standard meaning in mind. $\endgroup$ – Peter LeFanu Lumsdaine Jun 21 '19 at 13:24
12
$\begingroup$

The category $\mathbf{Rack}$ of racks is Barr-exact since it is a variety of universal algebras, but it is not protomodular. Indeed, the category of sets is equivalent to the category of racks satisfying the identity $a\triangleleft b =a$, so it is a full epireflective subcategory of $\mathbf{Rack}$. In particular, there is an inclusion functor $\mathbf{Set}\to \mathbf{Rack}$ which preserves limits and reflects isomorphisms; then if $\mathbf{Rack}$ was protomodular $\mathbf{Set}$ would also be protomodular, which is false.

I found this argument in the paper "A Galois-Theoretic Approach to the Covering Theory of Quandles" by Valérian Even. It also shows that $\mathbf{Rack}$ cannot be Mal'tsev, or even congruence-permutable.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.