-
Super Hayashi Quandles
Authors:
Antonio Lages,
Pedro Lopes
Abstract:
Quandles are right-invertible, right-self distributive (and idempotent) algebraic structures. Therefore, right translations are quandle automorphisms. It has been interesting to look into finite quandles by way of the cycle structures their right translations may have. For each quandle, the list of these cycle structures is known as the profile of the quandle. For a connected quandle, any two righ…
▽ More
Quandles are right-invertible, right-self distributive (and idempotent) algebraic structures. Therefore, right translations are quandle automorphisms. It has been interesting to look into finite quandles by way of the cycle structures their right translations may have. For each quandle, the list of these cycle structures is known as the profile of the quandle. For a connected quandle, any two right translations are conjugate so there is essentially one cycle structure per connected quandle - which we thus identify with the profile. Hayashi conjectured that, for a connected quandle, each length of its profile divides the longest length. In the present article we introduce Super Hayashi Quandles (SHQ). An SHQ is a finite connected quandle such that any two lengths in its profile are (i) distinct, and (ii) the shorter one divides the longer one. The SHQ's are latin quandles and we prove that their profiles depend only on the second shortest length and on the number of cycles. Furthermore, we prove that SHQ's have SHQ's alone for subquandles (with the same second shortest length but fewer cycles). Finally, we construct infinitely many SHQ's.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
On a Conjecture by Hayashi on Finite Connected Quandles
Authors:
Antonio Lages,
Pedro Lopes
Abstract:
A quandle is an algebraic structure whose binary operation is idempotent, right-invertible and right self-distributive. Right-invertibility ensures right translations are permutations and right self-distributivity ensures further they are automorphisms. For finite connected quandles, all right translations have the same cycle structure, called the profile of the connected quandle. Hayashi conjectu…
▽ More
A quandle is an algebraic structure whose binary operation is idempotent, right-invertible and right self-distributive. Right-invertibility ensures right translations are permutations and right self-distributivity ensures further they are automorphisms. For finite connected quandles, all right translations have the same cycle structure, called the profile of the connected quandle. Hayashi conjectured that the longest length in the profile of a finite connected quandle is a multiple of the remaining lengths. We prove that this conjecture is true for profiles with at most five lengths.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
A Proof of Euler's Theorem via Quandles
Authors:
António Lages,
Pedro Lopes
Abstract:
We prove Euler's theorem of number theory developing an argument based on quandles. A quandle is an algebraic structure whose axioms mimic the three Reidemeister moves of knot theory.
We prove Euler's theorem of number theory developing an argument based on quandles. A quandle is an algebraic structure whose axioms mimic the three Reidemeister moves of knot theory.
△ Less
Submitted 30 March, 2022; v1 submitted 27 November, 2021;
originally announced November 2021.
-
A Sufficient Condition for a Quandle to be Latin
Authors:
António Lages,
Pedro Lopes,
Petr Vojtěchovský
Abstract:
A quandle is an algebraic structure satisfying three axioms: idempotency, right-invertibility and right self-distributivity. In quandles, right translations are permutations. The profile of a quandle is the list of cycle structures, one per right translation in the quandle. In this note we prove that if, for each cycle structure in the profile of a quandle, no two cycle lengths are equal, then the…
▽ More
A quandle is an algebraic structure satisfying three axioms: idempotency, right-invertibility and right self-distributivity. In quandles, right translations are permutations. The profile of a quandle is the list of cycle structures, one per right translation in the quandle. In this note we prove that if, for each cycle structure in the profile of a quandle, no two cycle lengths are equal, then the quandle is latin -- this is the sufficient condition mentioned in the title.
△ Less
Submitted 9 December, 2021; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Quandles of cyclic type with several fixed points
Authors:
António Lages,
Pedro Lopes
Abstract:
A quandle of cyclic type of order $n$ with $f\geq 2$ fixed points is such that each of its permutations splits into $f$ cycles of length $1$ and one cycle of length $n-f$. In this article we prove that there is only one such connected quandle, up to isomorphism. This is a quandle of order $6$ and $2$ fixed points, known in the literature as octahedron quandle. We prove also that, for each…
▽ More
A quandle of cyclic type of order $n$ with $f\geq 2$ fixed points is such that each of its permutations splits into $f$ cycles of length $1$ and one cycle of length $n-f$. In this article we prove that there is only one such connected quandle, up to isomorphism. This is a quandle of order $6$ and $2$ fixed points, known in the literature as octahedron quandle. We prove also that, for each $f\geq 2$, the non-connected versions of these quandles only occur for orders $n$ in the range $f+2 \leq n \leq 2f$ and that, for each $f>1$, there is only one such quandle of order $2f$ with $f$ fixed points, up to isomorphism. Still in the range $f+2 \leq n \leq 2f$, we present sufficient conditions for the existence of such quandles, writing down their permutations; we also show how to obtain new quandles form old ones, leaning on the notion of common fixed point.
△ Less
Submitted 9 September, 2018; v1 submitted 28 March, 2018;
originally announced March 2018.
