Automorphism groups of Alexander quandles. (Q765723): Difference between revisions

A quandle is a set \(X\) with a binary operation \(*\) which satisfies three axioms. First, for all \(x\in X\), we have \(x*x=x\). Second, for all \(y\in X\), the map \(x\mapsto x*y\) is a bijection. Finally, we have for all triples \(x,y,z\in X\), the relation \((x*y)*z=(x*z)*(y*z)\) holds. Let \(\Lambda=\mathbb Z[t,t^{-1}]\). An Alexander quandle is a module over \(\Lambda\) whose quandle operation satisfies \(x*y=tx+(1-t)y\). The author gives a precise (albeit complicated) description of the automorphism group of an Alexander quandle, and a formula for the order of the automorphism group of a finite Alexander quandle.