Canonical-form conjecture for natural reorderings of finite connected quandles
Let QQQ be a finite connected quandle with elements 1,2,…,n1,2,\ldots,n1,2,…,n naturally ordered, profile {1,ℓ1,ℓ2,…,ℓk}\{1,\ell_1,\ell_2,\ldots,\ell_k\}{1,ℓ1,ℓ2,…,ℓk}, and 1≤ℓ1≤ℓ2≤⋯≤ℓk1\leq\ell_1\leq\ell_2\leq\cdots\leq\ell_k1≤ℓ1≤ℓ2≤⋯≤ℓk.…