Access the full text.

Sign up today, get DeepDyve free for 14 days.

Mathematics
, Volume 2020 (1910) – Oct 16, 2019

/lp/arxiv-cornell-university/a-survey-of-racks-and-quandles-some-recent-developments-4fBPaU8KoO

- ISSN
- 1005-3867
- eISSN
- ARCH-3343
- DOI
- 10.1142/S1005386720000425
- Publisher site
- See Article on Publisher Site

A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. MOHAMED ELHAMDADI Abstract. This short survey contains some recent developments of the algebraic theory of racks and quandles. We report on some elements of representation theory of quandles and ring theoretic approach to quan- dles. 1. Introduction The intent of this article is to summarize some recent progress on the theory of quandles and racks from an algebraic point of view. Quandles are in general non-associative structures whose axioms correspond to the algebraic axiomatization of the three Reidemeister moves in knot theory [13]. Quandles and racks appeared in the literature with many diﬀerent names. In 1942 Mituhisa Takasaki [27] introduced the notion of kei as an abstraction of the notion of symmetric transformation. The earliest known work on racks is contained in the 1959 correspondence between John Conway and Gavin Wraith who studied racks in the context of the conjugation operation in a group. Around 1982, Joyce [20] and Matveev [25] introduced independently the notion of a quandle. Joyce and Matveev associated to each oriented knot a certain quandle in such a way that one of the main problems in knot theory, the problem of equivalence of knots, is transformed into the problem of isomorphism of quandles. Since then, quandles have been of much interest to topologists as well as algebraists. A Cohomology theory for racks was introduced in [18] and was extended to a quandle cohomology in [8]. This quandle cohomology was used to deﬁne state-sum invariant for knots and paved the road to prove some properties of knots and knotted surfaces, such as invertibility [7, 8] and the minimal triple point numbers of knotted surfaces [26]. Quandles were also investigated from an algebraic point of view and relations to other algebraic structures such as Lie algebras [4,5], Frobenius algebras and Yang-Baxter equation [6], Hopf algebras [2,5], quasigroups and Moufang loops [15], representation theory [11] and ring theory [3]. For more details on racks, quandles and some other related structures (birack, biquandles) we refer the reader to [13]. The outline of this article is as follows. In Section 2, we review the basics of quandles and give examples. Section 3 deals with some notions of representation theory of quandles. Precisely, we review the concept of ﬁnitely stable quandles, show the existence of non-trivial stabilizing families for the core quandle Core(G) and discuss strong irreducible representations. In section 4 we relate quandles to ring theory by focusing on the quandle ring of quandles. We present the key elements to show that non trivial quandles arXiv:1910.07400v1 [math.RA] 16 Oct 2019 2 MOHAMED ELHAMDADI are not power associative and we survey doubly transitive quandles and discuss the problem of isomorphism of quandle rings. 2. Background on Racks and Quandles Since this paper is meant to be a short overview, we will not discuss here the use of quandles in low dimensional topology and knot theory. We refer the interested reader, for example, to the book [13]. Let (X, ⊲) be a set with a binary operation. If the set X is closed under the operation ⊲, that is for all x,y in X, x ⊲y ∈ X, then (X, ⊲) is called a magma. For x ∈ X, the right multiplication by x is the map R : X → X given by R (u) = u ⊲ x, ∀u ∈ X. Now we give the following deﬁnition of a rack Deﬁnition 2.1. [13] A rack is a magma (X, ⊲) such that for all x in X, the right multiplication R is an automorphism of (X, ⊲). If in addition every element is idempotent, then (X, ⊲) is called a quandle. The following are some examples of racks and quandles Example 2.2. (1) A rack X is trivial if ∀x ∈ X, R is the identity map. (2) For any abelian group G, the operation x ⊲ y = 2y − x deﬁnes a quandle structure on G called Takasaki quandle. In particular, if G = Z (integers modulo n), it is called dihedral quandle and denoted by R . ±1 2 (3) Let X be a module over the ring Λ = Z [t ,s]/(s − (1−t)s). Then X is a rack with operation x⊲y = tx+sy. If t+s 6= 1, then this rack is not a quandle. But if s = 1 − t, then this rack becomes a quandle called Alexander quandle (also called aﬃne quandle). −1 (4) The conjugation x⊲y = yxy in a group G makes it into a quandle, denoted Conj(G). −1 (5) The operation x ⊲ y = yx y in a group G makes it into a quandle, denoted Core(G). (6) Let G be a group and let ψ be an automorphism of G, then the −1 operation x ⊲ y = ψ(xy )y deﬁnes a quandle structure on G. Fur- thermore, if H is a subgroup of G such that ψ(h) = h, for all h ∈ H, −1 then the operation Hx ⊲Hy = Hψ(xy )y gives a quandle structure on G/H. For each x ∈ X, the left multiplication by x is the map denoted by L : X → X and given by L (y) := x ⊲ y. A function f : (X, ⊲) → (Y, ⋄) is a quandle homomorphism if for all x,y ∈ X,f(x ⊲ y) = f(x) ⋄ f(y). Given a quandle (X, ⊲), we will denote by Aut(X) the automorphism group of X. The subgroup of Aut(X), generated by the automorphisms R , is called the inner automorphism group of X and denoted by Inn(X). The subgroup of Aut(X), −1 generated by R R , for all x,y ∈ X, is called the transvection group of X denoted by Transv(X). It is well known [20] that the transvection group is a normal subgroup of the inner group and the latter group is a normal subgroup of the automorphism group of X. The quotient group Inn(X)/Transv(X) is a cyclic group. To every quandle, there is a group associated to it which has a universal property and called enveloping group of the quandle. The following is the deﬁnition. A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. 3 Deﬁnition 2.3. Let (X, ⊲) be a quandle. The enveloping group of X is deﬁned −1 by G = F(X)/ < x ∗ y = yxy ,x,y ∈ X >, where F(X) denotes the free group generated by X. Note that there is a natural map ι : X −→ G . In the following, we show a functoriality property of this group. Proposition 2.4. [17] Let (X, ⊲) be a quandle and G be any group. Given any quandle homomorphism ϕ : X −→ Conj(G). Then, there exists a unique group homomorphism ϕe : G → G which makes the following diagram com- mutative // X G ϕe // Conj(G) G id Thus one obtains the natural identiﬁcation expressing that the functor en- veloping from the category of quandles to the category of groups is a left ad- joint to the functor conjugation: Hom (X,Conj(G)) Hom (G ,G). qdle grp X The following are some properties and deﬁnitions of some quandles . • A quandle X is involutive, or a kei, if, ∀x ∈ X, R is an involution. • A quandle is connected if Inn(X) acts transitively on X. • A quandle is faithful if x 7→ R is an injective mapping from X to Inn(X). • A Latin quandle is a quandle such that for each x ∈ X, the left multiplication L by x is a bijection. That is, the multiplication table of the quandle is a Latin square. • A quandle X is medial if (x ⊲ y) ⊲ (z ⊲ w) = (x ⊲ z) ⊲ (y ⊲ w) for all x,y,z,w ∈ X. It is well known that a quandle is medial if and only if its tranvection group is abelian. For this reason, sometimes medial quandles are called abelian. For example, every Alexander quandle is medial. • A quandle X is called simple if the only surjective quandle homo- morphisms on X have trivial image or are bijective. 3. Elements of Representation Theory of Quandles Recently, elements of representation theory of racks and quandles were introduced in [11]. A certain class of quandles called ﬁnitely stable quandles was introduced as a generalization of the notion of a stabilizer deﬁned in [12]. A stabilizer in a quandle X is an element x ∈ X such that R is the identity map. From the deﬁnition of the quandle operation of Conj(G), one sees immediately that an element of G is a stabilizer if and only if it belongs to the center Z(G) of G. On the other hand, an element x ∈ Core(G) is −1 2 a stabilizer if and only if ∀y ∈ G, (xy ) = 1, and thus the core quandle Core(G) of a group G has no stabilizers if G has no non-trivial 2–torsions. This observation suggested that the property of having stabilizers is too strong to capture the identity and center of a group in the category of quandles. This property was then weakened to give the notion of stabilizing families. 4 MOHAMED ELHAMDADI 3.1. Finitely Stable Quandles. First we recall the following deﬁnition. Deﬁnition 3.1. [11] Let X be a rack or quandle. A stabilizing family of order n (or n–stabilzer) for X is a ﬁnite subset {x ,...,x } of X such that 1 n the product R R ...R is the identity element in the group Inn(X). x x x n n−1 1 For any positive integer n, we deﬁne the n–center of X, denoted by S (X), to be the collection of all stabilizing families of order n for X. The collection S(X) := S (X) of all stabilizing families for X is called the center of n∈N the quandle X. Now we state the deﬁnition of ﬁnitely stable quandle. Deﬁnition 3.2. [11] A quandle X is said to be ﬁnitely stable if S(X) is non-empty. It will be called n–stable if it has a stabilizing family of order n. Remark 3.3. Note that if every element of X is an n–stabilzer, then we recover the deﬁnition of an n–quandle of Joyce [20], Deﬁnition 1.5, page 39. Example 3.4. From Deﬁnition 3.2, one sees that any ﬁnite quandle X is ﬁnitely stable. Example 3.5. Consider the integers Z with the quandle structure x ⊲ y = 2y − x, x,y ∈ Z. Given any family {x ,...,x } of integers we get the formula n−1 n i n y ⊲ (x ) = 2 (−1) x + (−1) y, ∀y ∈ Z. i n−i i=1 i=0 One then obtain the stabilizing family {x ,x , · · · ,x ,x } of order 2n and 1 1 n n thus Z admits an inﬁnitely many stabilizing families of even orders. Now we show how to obtain non-trivial stabilizing families of the core quandle Core(G). Proposition 3.6. [11] Let G be a non-trivial group. Then for all even natural number 2k ≤ |G|, there exists a non-trivial stabilizing family of order 2k for the core quandle Core(G). In particular, if G is inﬁnite, Core(G) admits inﬁnitely many stabilizing families. For the stabilizing families of odd order of the core quandle, we have the following characterization. Theorem 3.7. [11] Let G be a group. The core quandle of G is (2k + 1)– stable if and only if all elements of G are 2–torsions; in other words, G is isomorphic to Z , for a certain ﬁnite or inﬁnite set I. i∈I Sometimes, a quandle may have no stabilizing family at all as shown in the following example. Example 3.8. Let V be a vector space equipped with the quandle structure x+y x ⊲ y = . Then S(V) = ∅. Let G be a group and n a positive integer. The n–core of G was deﬁned by Joyce [20] as the subset of the Cartesian product G consisting of all A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. 5 tuples (x ,...,x ) such that x · · ·x = 1. Moreover, the n-core of G has a 1 n 1 n natural quandle structure deﬁned by the formula −1 −1 −1 (x ,...,x ) ⊲ (y ,...,y ) := (y x y ,y x y ,...,y x y ) (1) 1 n 1 n n 1 1 2 n−1 n 1 n−1 A notion of the n-pivot of a group as a generalization of the n-core is given by the following deﬁnition. Deﬁnition 3.9. Let G be a group and let Z(G) be its center. For n ∈ N, we deﬁne the n-pivot of G to be the subset of G given by n n P (G) = {(x ,...,x ) ∈ G | x · · ·x ∈ Z(G)}. 1 n 1 n It is straightforward to see that the formula (1) deﬁnes a quandle structure on P (G). Moreover, we have the following proposition. Proposition 3.10. ([11]) Let G be a non-trivial group. Then for all n ∈ N, there is a bijection n n S (Conj(G)) P (G). In particular, S (Conj(G)) is naturally equipped with a quandle structure. Furthermore, if G has a trivial center, then S (Cong(G)) = Core(G). Example 3.11. If G has trivial center, then for all n ≥ 2, S (Conj(G)) coincides with the n–core of G. In particular S (Cong(G)) = Core(G). 3.2. Quandle Actions and Representations. Recall that in [12] a rack action of a rack X on a space M consists of a map M × X ∋ (m,x) 7−→ m · x ∈ M such that (I) ∀x ∈ X, the map m 7−→ m · x is a bijection of M; and (II) ∀m ∈ M,x,y ∈ X, we have (m · x) · y = (m · y) · (x ⊲ y). (2) If {x } is a family of elements in X, we will write m · (x ) for i i i i=1 (· · · (m · x ) · · · · ) · x . 1 s We will require two additional axioms that generalize, in an appropriate way, the concept of group action. Precisely we give the following. Deﬁnition 3.12. ([11]) An action of the rack (X, ⊲) on the space M consists of a map M × X ∋ (m,x) 7−→ m · x ∈ M satisfying equation (2) and such that for all {u ,...,u } ∈ S(X), 1 s m · (u ) = m · (u ) , ∀m ∈ M, (3) i i i σ(i) for all cycle σ in the subgroup of S generated by the cycle (2 ...n 1). Example 3.13. Let G be a group acting (on the right) on a space M. We −1 then get a rack action of Conj(G) on M by setting m·g := mg . It is easy to check that for all {g } ∈ P (G), we have i i m · (g ) = m · (g ) , i i i σ(i) for all m ∈ M and σ in the subgroup generated by the cycle (2 ...n 1). Notice however that a rack action of Conj(G) does not necessarily deﬁne a group action of G. 6 MOHAMED ELHAMDADI Deﬁnition 3.14. Let X be a rack acting on a non-empty set M and let m ∈ M. For {x } ∈ X, we deﬁne: i=1 (i) the orbit of {x } as M · (x ) = {m · (x ) | m ∈ M}, and i i i i i i=1 (ii) the stabilizer of m as X[m] = {x ∈ X | m · x = m}. Then, it follows immediately from equation (2), that all stabilizers are subquandles of X. Deﬁnition 3.15. A quandle action of X on a nonempty set M is faithful if for any m ∈ M, the map ϕ : X → M sending x to m · x is injective, i.e. m · x 6= m · y for x 6= y. Lemma 3.16. ([11]) Let X be a nonempty set. A quandle structure ⊲ on X is trivial if and only if (X, ⊲) acts faithfully on a nonempty set M and the action satisﬁes (m · x) · y = (m · y) · x for all x,y ∈ X,m ∈ M. Now we give a deﬁnition of various properties of the action (see [11]). Deﬁnition 3.17. Let X be a quandle acting on a non-empty set M. (i) An approximate unit for the quandle action is a ﬁnite subset {t } ⊂ i=1 X such that m · (t ) = m for all m ∈ M. i i (ii) An element t ∈ X is an r–unit for the quandle action if the family {t} is an approximate unit for the rack action. i=1 (iii) The quandle action of X on M is called r–periodic if each t ∈ X is an r–unit for the quandle action. (iv) A quandle action is said to be strong if every stabilizing family of the quandle is an approximate unit. Example 3.18. Let (X, ⊲) be a quandle. Then we get a rack action of X on its underlying set by deﬁning m ·x := m ⊲x, m,x ∈ X. It is immediate that a ﬁnite subset {t } ⊂ X is an approximate unit for this quandle action if i i and only if it is a stabilizing family for the quandle structure, hence it is a strong action. Furthermore, this action is n–periodic if and only if X is an n–quandle in the sense of Joyce [20], Deﬁnition 1.5, p 39. Now we deﬁne the notion of representation of a quandle (see [11]). Deﬁnition 3.19. A representation of a quandle X consists of a vector space V and a quandle homomorphism ρ : X −→ Conj(GL(V)). In other words, we −1 have ∀x,y ∈ X, ρ = ρ ρ ρ , where the isomorphim ρ(x) of the vector x⊲y y x space V is denoted by ρ . Example 3.20. Any representation (V,ρ) of a group G induces, in a natural way, a representation of the quandle Conj(G). Let us give an example of quandle representation analogous to the regular representation in group theory. Example 3.21. Let X be a ﬁnite quandle and let C[X] be the vector space of complex valued functions on X, seen as the space of formal sums f = a x, where a ∈ C,x ∈ X. We now construct the regular representa- x x x∈X tion of a quandle X −1 ρ : X −→ Conj(GL(C[X])), given by ρ (f)(y) := f(R (y)). x A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. 7 Deﬁnition 3.22. ([11]) Let V and W be representations of the quandle X. A linear map φ : V −→ W is called an intertwining map of representations if for each x ∈ X the following diagram commutes // V V φ φ // W W. When φ is an isomorphism then it is called an equivalence of quandle representations. If V is a representation of the quandle X, a subspace W ⊂ V is called a subrepresentation if for any ﬁnite family {x } ⊆ X, W · (x ) ⊆ W. i i i i Deﬁnition 3.23. A quandle representation V of X is said to be irreducible if it has no proper subrepresentations. 3.3. Strong Representations. Deﬁnition 3.24. [11] A strong representation of X is a representation V such that the quandle action is strong. We denote by Rep (X) the set of equivalence classes of strong irreducible ﬁnite dimensional representations of X. One can check that as in the group case, Rep (X) is an abelian group under tensor product of strong irreducible representations. Remark 3.25. In view of Proposition 3.10, we notice that if G is an abelian group, the only strong representation of Conj(G) is the trivial one. Example 3.26. The regular representation (C[X],ρ) of a rack X, deﬁned in Example 3.21, is clearly strong. Example 3.27. Let (Z = {1,2,3}, ⊲), with x ⊲ y = 2y − x, be the dihedral quandle. Deﬁne ρ : Z −→ Conj(GL(C )) as the rack representation induced by the reﬂections on C = Span{e ,e ,e } 1 2 3 ρ = (2 3), ρ = (1 3), and ρ = (1 2). 1 2 3 Then ρ is a strong representation of Z as a quandle, although it is clearly not a group representation. Note, however, that this is a reducible represen- tation since we have the following complete decomposition into irreducible subspaces C[X] = C < e + e + e > ⊕ C < e − e ,e − e >. 1 2 3 2 1 3 1 Example 3.28. If X is an involutive quandle then, every x ∈ X is a 2–stabilizer for X. Then every pair (V,τ), where V is a vector space and τ : V −→ V is a linear involution, gives rise to a strong representation τ˜ : X −→ Conj(GL(V)) by setting τ˜ (v) = τ(v) for all x ∈ X,v ∈ V. Proposition 3.29. [11] Suppose the quandle X is ﬁnite, involutive, and connected. Then, the regular representation of X corresponds to a conjugacy class of the symmetric group S where n = #X. More generally, if X has k connected components, then the regular representation corresponds to k conjugacy classes in S . Theorem 3.30. Let X be a ﬁnite quandle. Then every irreducible strong representation of X is either trivial or ﬁnite dimensional. 8 MOHAMED ELHAMDADI We shall observe that in the case of involutive quandles the above re- sult becomes more precise with regard to the dimension of the irreducible representations. We then have the following theorem (see [11]) Theorem 3.31. Every irreducible strong representation of an involutive connected ﬁnite quandle X is one-dimensional. 4. Quandles and Ring Theory In [3], a theory for quandle rings was proposed for quandles by analogy to the theory of group rings for groups. In [10], quandles were investigated from the point of view of ring theory. Precisely, some basic properties of quandle rings were investigated and some open questions which were raised in [3] were solved. In particular, examples of quandles were provided for which the quandle rings k[X] and k[Y] are isomorphic, but the quandles X and Y are not isomorphic. 4.1. Power Associativity of Quandle Rings. We associate to every quandle (X, ⊲) and an associative ring k with unity, a nonassociative ring k[X]. First, we start by recalling the following Deﬁnition and Proposition. Deﬁnition and Proposition 4.1. Let (X, ⊲) be a quandle and k be an associative ring with unity. Let k[X] be the set of elements that are uniquely expressible in the form a x, where x ∈ X and a = 0 for almost all x x x∈X x. Then the set k[X] becomes a ring with the natural addition and the multiplication given by the following, where x,y ∈ X and a ,a ∈ k, x y X X X ( a x) · ( b y) = a b (x ⊲ y). x y x y x∈X y∈X x,y∈X In [3], power associativity of dihedral quandles was investigated and the question of determining the conditions under which the quandle ring R[X] is power associative was raised. In this section we give a complete solution to this question. Precisely, we prove that quandle rings are never power associative when the quandle is non-trivial and the ring has characteristic zero. Let ﬁrst let’s recall the following deﬁnition from [1] Deﬁnition 4.2. A ring k in which every element generates an associative subring is called a power-associative ring. Example 4.3. Any alternative algebra is power associative. Recall that an algebra A is called alternative if x · (x · y) = (x · x) · y and x · (y · y) = (x · y) · y, ∀x,y ∈ A, (for more details see [16]). In non-associative algebras, the product x · x is also denoted by x , as in the associative case. It is well known [1] that a ring k of characteristic zero is power-associative if and only if, for all x ∈ k, 2 2 x · x = x · x , (4) and 2 2 2 x · x = (x · x) · x. (5) A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. 9 Theorem 4.4. [10] Let k be a ring of characteristic zero and let (X, ⊲) be a non-trivial quandle. Then the quandle ring k[X] is not power associative. The proof of this theorem is based on the use of the two identities (4) and (5). The proof consists of two steps: (1) show that if there exist x,y ∈ X such that x 6= y and x ⊲ y = y ⊲ x, then k[X] is not power associative. (2) Assume ∀x,y ∈ X such that x 6= y, we have x ⊲ y 6= y ⊲ x. If k[X] is power associative, then x ⊲ y = x. A complete proof can be found in [10]. 4.2. Higher Transitivity in Groups and Quandles. First we recall the notion of n-transitivity of groups [9] and use it in the context of quandles. Let G be a group acting (the right) on a set X, thus G acts naturally on any cartesian product X of X by (x , · · · ,x )g = (x g, · · · ,x g). Note that the 1 n 1 n n n subset X := {(x , · · · ,x ) ∈ X | ∀i 6= j, x 6= x }, of X , is G-invariant. We n 1 n i j then state the following deﬁnition of n-transitive action. Deﬁnition 4.5. [9] Let G be a group, X be a non-empty set and n be a positive integer. The group G acts n-transitively on X if it acts transitively on the subset X of X . It is clear from this deﬁnition that an n-transitive action implies an (n−1)- transitive action. It is also well known that Sym(X) acts n-transitively on X when n ≤ #X. Now we state the following deﬁnition of n-transitive quandles. Deﬁnition 4.6. [23] A ﬁnite quandle X, with cardinality |X| > 2, is called n-transitive if the action of the inner group Inn(X) is n-transitive action on X. The following is the deﬁnition of primitive action. Deﬁnition 4.7. [9] Let G be a group acting on (the right) on a ﬁnite non- empty set X. We say that G preserve an equivalence relation ∼ on X if the following condition is satisﬁed: x ∼ y if and only if xg ∼ yg. The action of G on X is said to be primitive if the group G acts transitively on X and if G preserves no non-trivial partition of X. It is well known [9] that any 2-transitive group is primitive, but the con- verse is not true in general. Corollary 1.5A on page 14 of [9] states that a group G is primitive if and only if each point stabilizer is a maximal subgroup of G. Thus, the study of ﬁnite primitive permutation groups is equivalent to the study of the maximal subgroups of ﬁnite groups. McCarron showed in Proposition 5 of [23] that if n ≥ 2 and X is a ﬁnite n- transitive quandle with at least four elements, then n = 2. Furthermore, he showed that the dihedral quandle of three elements is the only 3-transitive quandle, and there are no 4-transitive quandles with at least four elements. Now we turn to the notion of quandles of cyclic type and we will give their relastionship to 2-transitive quandles (called also two point-homogeneous in [28]). 10 MOHAMED ELHAMDADI Deﬁnition 4.8. A ﬁnite quandle X is of cyclic type if for each x ∈ X, the permutation R acts on X \ {x} as a cycle of length |X| − 1, where |X| > 2 denotes the cardinality of X. Example 4.9. The following list of quandles of cyclic type is taken from table 1 in [21]. • Among the quandles of order three, the dihedral quandle is the only one of cyclic type. • Among the quandles of order four, the quandle X = {1,2,3,4} with R = (234), R = (143), R = (124) and R = (132) is the only one 1 2 3 4 of cyclic type. • On the set of ﬁve elements {1,2,3,4,5}, there are exactly two quan- dles X and Y of cyclic type: X with R = (2345), R = (1354), R = (1425) R = (1532) and 1 2 3 4 R = (1243), and Y with R = (2345), R = (1435), R = (1542) R = (1253) and 1 2 3 4 R = (1324). The classiﬁcation of quandles of cyclic type was investigated in [21]. Their main theorem states that the isomorphism classes of cyclic quandles of order n are in one-to-one correspondence with the permutations of the symmetric group S satisfying certain conditions. Furthermore, they obtained the classiﬁcation of the quandles of cyclic type with cardinality up to order 12. They also stated the following conjecture: "A quandle with at lease 3 elements is of cyclic type if and only if its cardinality is a power of a prime". This conjecture was later proved in [29] (see Theorem 1 and also Corollary 2). These types of quandles appeared earlier in [22], where they were called quandles with constant proﬁle ({1,n − 1},..., {1,n − 1}). In [28], the author deﬁned a quandle X to be two-point homogeneous if the inner automorphism group Inn(X) acts doubly-transitive on X. Fur- thermore, the author classiﬁed two-point homogeneous quandles of prime cardinality by proving that they are linear Alexander quandles. This was generalized in [29,30] to the case of prime powers giving the following result: A ﬁnite quandle (X, ⊲) is 2-transitive if and only if it is of cyclic type, if and only if it is isomorphic to an Alexander quandle (F , ⊲) over the ﬁnite ﬁeld F with operation x ⊲ y = ax + (1 − a)y where a is a primitive element (i.e. a generator of the multiplicative group F ) . The notion of 2-transitive quandles was also used recently in [10] to study quandles from a ring theoretical approach. 4.3. Isomorphisms of Quandle Rings. In [10], a notion of partition-type of quandles was introduced and it was shown that if the quandle rings k[X] and k[Y] are isomorphic and the quandles X and Y are orbit 2-transitive, then X and Y are of the same partition type. Now let us recall the deﬁnition of partition type. Deﬁnition 4.10. ([10]) Let X be a ﬁnite quandle of cardinality n. The partition type of X is λ = (λ ,...,λ ) with λ being the number of orbits of 1 n j cardinality j in X. A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. 11 Example 4.11. Let X = {1,2,3,3,5,6,7} be a quandle with the orbit de- composition X = {1} ∐ {2,3} ∐ {4,5,6} ∐ {7}. Then the partition type of the quandle X is λ = (2,1,1,0,...). In order to state the next result about the same partition type for quan- dles with isomorphic quandle rings, we need the following theorem which gives the list of subgroups G 6 S for which the representation V is ir- n st reducible, where V ⊂ V = k[X] be the subspace orthogonal to the vector st v = x. The groups (i) − (v) are respectively the aﬃne and projective triv x∈X general semilinear groups, projective semilinear unitary groups, Suzuki and Ree groups. We refer the reader to [9, Chapter 7] for deﬁnitions of these groups. Theorem 4.12. [10] (a) If char(k) = 0 then V is an irreducible representation of the sub- st group G < S if and only if G is 2-transitive and A 6≤ G. n n (b) In case char(k) = p > 3 then V is an irreducible representation st of the subgroup G < S if and only if G is 2-transitive and A 6≤ G n n except (i) G 6 AΓL(m,q), and p divides q; (ii) G 6 PΓL(m,q), m ≥ 3 and p divides q; (iii) G 6 PΓU(3,q), and p divides q + 1; (iv) G 6 Sz(q), and p divides q + 1 + m, where m = 2q; (v) G 6 Re(q), and p divides (q + 1)(q + 1 + m), where m = 3q. The following theorem was proved in [10]. Theorem 4.13. Assume char(k) 6= 2,3. If the quandle rings k[X] and k[Y] are isomorphic and the quandles X and Y are orbit 2-transitive (G ’s are not among the groups from (i) − (v) in Theorem 4.12 in case char(k) = p > 3), then X and Y are of the same partition type. The following two examples were provided in [10] as answers to Question 7.4 of [3] on the existence of two nonisomorphic quandles X and Y with isomorphic quandle rings. Example 4.14. Let k be a ﬁeld with char(k) = 3 and let X = Y = {1,2,3,4} as sets. Deﬁne a quandle structure on the set X by R and R are the identity 1 2 maps and R and R are both equal to the transposition (1 2). Deﬁne a 3 4 quandle operation on the set Y by R being equal to the transposition (1 2) and all others R are the identity map. Note that the orbit decomposition {1,2} ∐ {3} ∐ {4} is the same for both quandles X and Y. An isomorphism f between X and Y must satisfy f(1) ∈ {1,2}. The sets {x,1 ⊲ x = 1} and {x,2 ⊲ x = 2} have cardinality 2 as subsets of X but cardinality 3 as subsets of Y, thus the quandles X and Y are not isomorphic. The ring isomorphism 1 0 0 1 0 1 0 1 is given by ϕ : k[X]→ k[Y], where ϕ = . 0 0 1 1 0 0 0 1 Example 4.15. Let k be a ﬁeld with characteristic zero and assume X = Y = {1,2,3,4,5,6,7} as sets. Deﬁne a quandle structure on the set X by 12 MOHAMED ELHAMDADI R = (1 2), R = (1 2)(3 4) and all the other R , i 6= 5,6, are the identity 5 6 i map. Deﬁne a quandle operation on the set Y by R = (1 2), R = (3 4) and 5 6 all the other R , i 6= 5,6, are the identity map. A similar argument to the one given in the previous example shows that X and Y are not isomorphic as quandles. One family of ring isomorphisms is given by ϕ : k[X] → k[Y], where 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 ϕ = 0 0 0 1 0 0 0 . 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 −1 1 There is an easy way to obtain other examples from the one we just provided (see [10] for more details). Acknowledgement: The author would like to thank Neranga Fernando, El-kaïoum M. Moutuou and Boris Tsvelikhovskiy for many fruitful sugges- tions which improved the paper. References [1] A. A. Albert, Power-associative rings, Trans. Amer. Math. Soc. 64 (1948), 552–593. [2] Nicolás Andruskiewitsch and Matías Graña, From racks to pointed Hopf algebras, Adv. Math. 178 (2003), no. 2, 177–243. [3] V.G. Bardakov, I.B.S. Passi, and M. Singh, Quandle rings, J. Algebra Appl. (2019), 1950157 (23 pages). [4] J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, and Masahico Saito, Coho- mology of categorical self-distributivity, J. Homotopy Relat. Struct. 3 (2008), no. 1, 13–63. [5] , Cohomology of the adjoint of Hopf algebras, J. Gen. Lie Theory Appl. 2 (2008), no. 1, 19–34. [6] J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, Enver Karadayi, and Masahico Saito, Cohomology of Frobenius algebras and the Yang-Baxter equation, Commun. Con- temp. Math. 10 (2008), no. suppl. 1, 791–814. [7] J. Scott Carter, Mohamed Elhamdadi, Matias Graña, and Masahico Saito, Cocycle knot invariants from quandle modules and generalized quandle homology, Osaka J. Math. 42 (2005), no. 3, 499–541. [8] J. Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Laurel Langford, and Masahico Saito, Quandle cohomology and state-sum invariants of knotted curves and surfaces, Trans. Amer. Math. Soc. 355 (2003), no. 10, 3947–3989. [9] John D. Dixon and Brian Mortimer, Permutation groups, Graduate Texts in Mathe- matics, vol. 163, Springer-Verlag, New York, 1996. [10] Mohamed Elhamdadi, Neranga Fernando, and Boris Tsvelikhovskiy, Ring theoretic as- pects of quandles, J. Algebra 526 (2019), 166–187, doi: 10.1016/j.jalgebra.2019.02.011. MR3915329 [11] Mohamed Elhamdadi and El-kaïoum M. Moutuou, Finitely stable racks and rack representations, Comm. Algebra 46 (2018), no. 11, 4787–4802. [12] Mohamed Elhamdadi and El-Kaïoum M. Moutuou, Foundations of topological racks and quandles, J. Knot Theory Ramiﬁcations 25 (2016), no. 3, 1640002, 17. [13] Mohamed Elhamdadi and Sam Nelson, Quandles—an introduction to the algebra of knots, Student Mathematical Library, vol. 74, American Mathematical Society, Provi- dence, RI, 2015. [14] Mohamed Elhamdadi, Jennifer Macquarrie, and Ricardo Restrepo, Automorphism groups of quandles, J. Algebra Appl. 11 (2012), no. 1, 1250008, 9. A SURVEY OF RACKS AND QUANDLES: SOME RECENT DEVELOPMENTS. 13 [15] Mohamed Elhamdadi, Distributivity in quandles and quasigroups, Algebra, geometry and mathematical physics, Springer Proc. Math. Stat., vol. 85, Springer, Heidelberg, 2014, pp. 325–340. [16] Mohamed Elhamdadi and Abdenacer Makhlouf, Cohomology and formal deforma- tions of alternative algebras, J. Gen. Lie Theory Appl. 5 (2011), Art. ID G110105, [17] Roger Fenn and Colin Rourke, Racks and links in codimension two, J. Knot Theory Ramiﬁcations 1 (1992), no. 4, 343–406. [18] Roger Fenn, Colin Rourke, and Brian Sanderson, The rack space, Trans. Amer. Math. Soc. 359 (2007), no. 2, 701–740. [19] A. Ishii, M. Iwakiri, Y. Jang, and K. Oshiro, A G-family of quandles and handlebody- knots, Illinois J. Math. 57 (2013), no. 3, 817–838. [20] David Joyce, A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra 23 (1982), no. 1, 37–65. [21] Seiichi Kamada, Hiroshi Tamaru, and Koshiro Wada, On classiﬁcation of quandles of cyclic type, Tokyo J. Math. 39 (2016), no. 1, 157–171. [22] Pedro Lopes and Dennis Roseman, On ﬁnite racks and quandles, Comm. Algebra 34 (2006), no. 1, 371–406. [23] James McCarron, Small homogeneous quandles, ISSAC 2012—Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2012, pp. 257–264. [24] , Connected quandles with order equal to twice an odd prime, arXiv:1210.2150. [25] S. V. Matveev, Distributive groupoids in knot theory, Mat. Sb. (N.S.) 119(161) (1982), no. 1, 78–88, 160 (Russian). [26] Shin Satoh and Akiko Shima, The 2-twist-spun trefoil has the triple point number four, Trans. Amer. Math. Soc. 356 (2004), no. 3, 1007–1024. [27] Mituhisa Takasaki, Abstraction of symmetric transformations, Tôhoku Math. J. 49 (1943), 145–207 (Japanese). [28] Hiroshi Tamaru, Two-point homogeneous quandles with prime cardinality, J. Math. Soc. Japan 65 (2013), no. 4, 1117–1134. [29] Leandro Vendramin, Doubly transitive groups and cyclic quandles, J. Math. Soc. Japan 69 (2017), no. 3, 1051–1057. [30] Koshiro Wada, Two-point homogeneous quandles with cardinality of prime power, Hiroshima Math. J. 45 (2015), no. 2, 165–174. Department of Mathematics, University of South Florida, Tampa, FL 33620, U.S.A. E-mail address: emohamed@math.usf.edu

Mathematics – arXiv (Cornell University)

**Published: ** Oct 16, 2019

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

Access the full text.

Sign up today, get DeepDyve free for 14 days.

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.