<divclass="chlinkprevnexttop"> <ahref="chap0_mj.html">[Top of Book]</a> <ahref="chap0_mj.html#contents">[Contents]</a> <ahref="chap5_mj.html">[Previous Chapter]</a> <ahref="chap7_mj.html">[Next Chapter]</a> </div>
<divclass="ChapSects"><ahref="chap6_mj.html#X794A04C5854D352B">6 <spanclass="Heading">Methods Based on Permutation Groups</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X8731D818827C08F3">6.1 <spanclass="Heading">Parent of a Quasigroup</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X83EDF04F7952143F">6.2 <spanclass="Heading">Subquasigroups and Subloops</span></a>
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X87AC8B7E80CE9260">6.2-3 <spanclass="Heading">IsSubquasigroup and IsSubloop</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X78AA3D177CCA49FF">6.3 <spanclass="Heading">Translations and Sections</span></a>
</span>
<divclass="ContSSBlock">
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X7B45B48C7C4D6061">6.3-1 <spanclass="Heading">LeftTranslation and RightTranslation</span></a>
</span>
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X7EB9197C80FB4664">6.3-2 <spanclass="Heading">LeftSection and RightSection</span></a>
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X87302BE983A5FC61">6.4-1 <spanclass="Heading">LeftMutliplicationGroup, RightMultiplicationGroup and MultiplicationGroup</span></a>
</span>
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X847256B779E1E7E5">6.4-2 <spanclass="Heading">RelativeLeftMultiplicationGroup, RelativeRightMultiplicationGroup and RelativeMultiplicationGroup</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X7B45C2AF7C2E28AB">6.6 <spanclass="Heading">Nuclei, Commutant, Center, and Associator Subloop</span></a>
</span>
<divclass="ContSSBlock">
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X7DF536FC85BBD1D2">6.6-1 <spanclass="Heading">LeftNucles, MiddleNucleus, and RightNucleus</span></a>
</span>
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X84D389677A91C290">6.6-2 <spanclass="Heading">Nuc, NucleusOfQuasigroup and NucleusOfLoop</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X821F40748401D698">6.9 <spanclass="Heading">Nilpotency and Central Series</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X83A38A6C7EDBCA63">6.10 <spanclass="Heading">Solvability, Derived Series and Frattini Subloop</span></a>
<spanclass="ContSS"><br/><spanclass="nocss"> </span><ahref="chap6_mj.html#X85BD2C517FA7A47E">6.10-4 <spanclass="Heading">FrattiniSubloop and FrattinifactorSize</span></a>
<divclass="ContSect"><spanclass="tocline"><spanclass="nocss"> </span><ahref="chap6_mj.html#X81F3496578EAA74E">6.11 <spanclass="Heading">Isomorphisms and Automorphisms</span></a>
<h3>6 <spanclass="Heading">Methods Based on Permutation Groups</span></h3>
<p>Most calculations in the <strongclass="pkg">LOOPS</strong> package are delegated to groups, taking advantage of the various permutations and permutation groups associated with quasigroups. This chapter explains in detail how the permutations associated with a quasigroup are calculated, and it also describes some of the core methods of <strongclass="pkg">LOOPS</strong> based on permutations. Additional core methods can be found in Chapter <ahref="chap7_mj.html#X7910E575825C713E"><spanclass="RefLink">7</span></a>.</p>
<h4>6.1 <spanclass="Heading">Parent of a Quasigroup</span></h4>
<p>Let <spanclass="SimpleMath">\(Q\)</span> be a quasigroup and <spanclass="SimpleMath">\(S\)</span> a subquasigroup of <spanclass="SimpleMath">\(Q\)</span>. Since the multiplication in <spanclass="SimpleMath">\(S\)</span> coincides with the multiplication in <spanclass="SimpleMath">\(Q\)</span>, it is reasonable not to store the multiplication table of <spanclass="SimpleMath">\(S\)</span>. However, the quasigroup <spanclass="SimpleMath">\(S\)</span> then must know that it is a subquasigroup of <spanclass="SimpleMath">\(Q\)</span>.</p>
<p>Returns: The parent quasigroup of the quasigroup <varclass="Arg">Q</var>.</p>
<p>When <varclass="Arg">Q</var> is not created as a subquasigroup of another quasigroup, the attribute <codeclass="code">Parent(<varclass="Arg">Q</var>)</code> is set to <varclass="Arg">Q</var>. When <varclass="Arg">Q</var> is created as a subquasigroup of a quasigroup <varclass="Arg">H</var>, we set <codeclass="code">Parent(<varclass="Arg">Q</var>)</code> equal to <codeclass="code">Parent(<varclass="Arg">H</var>)</code>. Thus, in effect, <codeclass="code">Parent(<varclass="Arg">Q</var>)</code> is the largest quasigroup from which <varclass="Arg">Q</var> has been created.</p>
<p>Returns: The position of <varclass="Arg">x</var> among the elements of <varclass="Arg">Q</var>.<br/></p>
<p>Let <varclass="Arg">Q</var> be a quasigroup with parent <varclass="Arg">P</var>, where <varclass="Arg">P</var> is some <spanclass="SimpleMath">\(n\)</span>-element quasigroup. Let <varclass="Arg">x</var> be an element of <varclass="Arg">Q</var>. Then <codeclass="code"><varclass="Arg">x</var>![1]</code> is the position of <varclass="Arg">x</var> among the elements of <varclass="Arg">P</var>, i.e., <codeclass="code"><varclass="Arg">x</var>![1] = Position(Elements(<varclass="Arg">P</var>),<varclass="Arg">x</var>)</code>.</p>
<p>While referring to elements of <varclass="Arg">Q</var> by their positions, the user should understand whether the positions are meant among the elements of <varclass="Arg">Q</var>, or among the elements of the parent <varclass="Arg">P</var> of <varclass="Arg">Q</var>. Since it requires no calculation to obtain <codeclass="code"><varclass="Arg">x</var>![1]</code>, we always use the position of an element in its parent quasigroup in <strongclass="pkg">LOOPS</strong>. In this way, many attributes of a quasigroup, including its Cayley table, are permanently tied to its parent.</p>
<p>It is now clear why we have not insisted that Cayley tables of quasigroups must have entries covering the entire interval <spanclass="SimpleMath">\(1\)</span>, <spanclass="SimpleMath">\(\dots\)</span>, <spanclass="SimpleMath">\(n\)</span> for some <spanclass="SimpleMath">\(n\)</span>.</p>
<p>Returns: When <varclass="Arg">S</var> is a list of quasigroup elements (not necessarily from the same quasigroup), returns the corresponding list of positions of elements of <varclass="Arg">S</var> in the corresponding parent, i.e., <codeclass="code">PosInParent(<varclass="Arg">S</var>)[i] = <varclass="Arg">S</var>[i]![1] = Position(Parent(<varclass="Arg">S</var>[i]),<varclass="Arg">S</var>[i])</code>.<br/></p>
<p>Quasigroups with the same parent can be compared as follows. Assume that <spanclass="SimpleMath">\(A\)</span>, <spanclass="SimpleMath">\(B\)</span> are two quasigroups with common parent <spanclass="SimpleMath">\(Q\)</span>. Let <spanclass="SimpleMath">\(G_A\)</span>, <spanclass="SimpleMath">\(G_B\)</span> be the canonical generating sets of <spanclass="SimpleMath">\(A\)</span> and <spanclass="SimpleMath">\(B\)</span>, respectively, obtained by the method <codeclass="code">GeneratorsSmallest</code> (see Section <ahref="chap5_mj.html#X7BD5B55C802805B4"><spanclass="RefLink">5.5</span></a>). Then we define <spanclass="SimpleMath">\(A<B\)</span> if and only if <spanclass="SimpleMath">\(G_A<G_B\)</span> lexicographically.</p>
<p>Returns: When <varclass="Arg">S</var> is a subset of elements or indices of a quasigroup (resp. loop) <varclass="Arg">Q</var>, returns the smallest subquasigroup (resp. subloop) of <varclass="Arg">Q</var> containing <varclass="Arg">S</var>.</p>
<p>We allow <varclass="Arg">S</var> to be a list of elements of <varclass="Arg">Q</var>, or a list of integers representing the positions of the respective elements in the parent quasigroup (resp. loop) of <varclass="Arg">Q</var>.</p>
<p>If <varclass="Arg">S</var> is empty, <codeclass="code">Subquasigroup(<varclass="Arg">Q</var>,<varclass="Arg">S</var>)</code> returns the empty set if <varclass="Arg">Q</var> is a quasigroup, and it returns the one-element subloop of <varclass="Arg">Q</var> if <varclass="Arg">Q</var> is a loop.</p>
<p><strongclass="button">Remark:</strong> The empty set is sometimes considered to be a subquasigroup of <varclass="Arg">Q</var> (although not in <strongclass="pkg">LOOPS</strong>). The above convention is useful for handling certain situations, for instance when the user calls <codeclass="code">Center(<varclass="Arg">Q</var>)</code> for a quasigroup <varclass="Arg">Q</var> with empty center.</p>
<p>This is an analog of <codeclass="code">Subquasigroup(<varclass="Arg">Q</var>,<varclass="Arg">S</var>)</code> that can be used only when <varclass="Arg">Q</var> is a loop. Since there is no difference in the outcome while calling <codeclass="code">Subquasigroup(<varclass="Arg">Q</var>,<varclass="Arg">S</var>)</code> or <codeclass="code">Subloop(<varclass="Arg">Q</var>,<varclass="Arg">S</var>)</code> when <varclass="Arg">Q</var> is a loop, it is safe to always call <codeclass="code">Subquasigroup(<varclass="Arg">Q</var>,<varclass="Arg">S</var>)</code>, whether <varclass="Arg">Q</var> is a loop or not.</p>
<p>Returns: <codeclass="code">true</code> if <varclass="Arg">S</var> is a subquasigroup (resp. subloop) of a quasigroup (resp. loop) <varclass="Arg">Q</var>, <codeclass="code">false</code> otherwise. In other words, returns <codeclass="code">true</code> if <varclass="Arg">S</var> and <varclass="Arg">Q</var> are quasigroups (resp. loops) with the same parent and <varclass="Arg">S</var> is a subset of <varclass="Arg">Q</var>.</p>
<divclass="func"><tableclass="func"width="100%"><tr><tdclass="tdleft"><codeclass="func">‣ RightCosets</code>( <varclass="Arg">Q</var>, <varclass="Arg">S</var> )</td><tdclass="tdright">( function )</td></tr></table></div>
<p>Returns: If <varclass="Arg">S</var> is a subloop of <varclass="Arg">Q</var>, returns a list of all right cosets of <varclass="Arg">S</var> in <varclass="Arg">Q</var>.</p>
<p>The coset <varclass="Arg">S</var> is listed first, and the elements of each coset are ordered in the same way as the elements of <varclass="Arg">S</var>, i.e., if <varclass="Arg">S</var><spanclass="SimpleMath">\( = [s_1,\dots,s_m]\)</span>, then <varclass="Arg">S</var><spanclass="SimpleMath">\(x=[s_1x,\dots,s_mx]\)</span>.</p>
<p>Returns: A right transversal of a subloop <varclass="Arg">S</var> in a loop <varclass="Arg">Q</var>. The transversal consists of the list of first elements from the right cosets obtained by <codeclass="code">RightCosets(<varclass="Arg">Q</var>,<varclass="Arg">S</var>)</code>.</p>
<p>When <varclass="Arg">S</var> is a subloop of <varclass="Arg">Q</var>, the right transversal of <varclass="Arg">S</var> with respect to <varclass="Arg">Q</var> is a subset of <varclass="Arg">Q</var> containing one element from each right coset of <varclass="Arg">S</var> in <varclass="Arg">Q</var>.</p>
<h4>6.3 <spanclass="Heading">Translations and Sections</span></h4>
<p>When <spanclass="SimpleMath">\(x\)</span> is an element of a quasigroup <spanclass="SimpleMath">\(Q\)</span>, the left translation <spanclass="SimpleMath">\(L_x\)</span> is a permutation of <spanclass="SimpleMath">\(Q\)</span>. In <strongclass="pkg">LOOPS</strong>, all permutations associated with quasigroups and their elements are permutations in the sense of <strongclass="pkg">GAP</strong>, i.e., they are bijections of some interval <spanclass="SimpleMath">\(1\)</span>, <spanclass="SimpleMath">\(\dots\)</span>, <spanclass="SimpleMath">\(n\)</span>. Moreover, following our convention, the numerical entries of the permutations point to the positions among elements of the parent of <spanclass="SimpleMath">\(Q\)</span>, not among elements of <spanclass="SimpleMath">\(Q\)</span>.</p>
<p>Returns: If <varclass="Arg">x</var> is an element of a quasigroup <varclass="Arg">Q</var>, returns the left translation (resp. right translation) by <varclass="Arg">x</var> in <varclass="Arg">Q</var>.</p>
<p>Returns: The left section (resp. right section) of a quasigroup <varclass="Arg">Q</var>.<br/></p>
<p>Here is an example illustrating the main features of the subquasigroup construction and the relationship between a quasigroup and its parent.</p>
<p>Note how the Cayley table of a subquasigroup is created only upon explicit demand. Also note that changing the names of elements of a subquasigroup (subloop) automatically changes the names of the elements of the parent subquasigroup (subloop). This is because the elements are shared.</p>
<p>Returns: The relative left multiplication group, the relative right multiplication group, resp. the relative multiplication group of a quasigroup <varclass="Arg">Q</var> with respect to a subquasigroup <varclass="Arg">S</var> of <varclass="Arg">Q</var>.</p>
<p>Let <spanclass="SimpleMath">\(S\)</span> be a subquasigroup of a quasigroup <spanclass="SimpleMath">\(Q\)</span>. Then the <em>relative left multiplication group</em> of <spanclass="SimpleMath">\(Q\)</span> with respect to <spanclass="SimpleMath">\(S\)</span> is the group <spanclass="SimpleMath">\(\langle L(x)|x\in S\rangle\)</span>, where <spanclass="SimpleMath">\(L(x)\)</span> is the left translation by <spanclass="SimpleMath">\(x\)</span> in <spanclass="SimpleMath">\(Q\)</span> restricted to <spanclass="SimpleMath">\(S\)</span>. The <em>relative right multiplication group</em> and the <em>relative multiplication group</em> are defined analogously.</p>
<p>By a result of Bruck, the left inner mapping group of a loop is generated by all <em>left inner mappings</em><spanclass="SimpleMath">\(L(x,y) = L_{yx}^{-1}L_yL_x\)</span>, and the right inner mapping group is generated by all <em>right inner mappings</em><spanclass="SimpleMath">\(R(x,y) = R_{xy}^{-1}R_yR_x\)</span>.</p>
<p>In analogy with group theory, we define the <em>conjugations</em> or the <em>middle inner mappings</em> as <spanclass="SimpleMath">\(T(x) = L_x^{-1}R_x\)</span>. The <em>middle inner mapping grroup</em> is then the group generated by all conjugations.</p>
<p>Returns: The left inner mapping <spanclass="SimpleMath">\(L(\)</span><varclass="Arg">x</var>,<varclass="Arg">y</var><spanclass="SimpleMath">\()\)</span>, the right inner mapping <spanclass="SimpleMath">\(R(\)</span><varclass="Arg">x</var>,<varclass="Arg">y</var><spanclass="SimpleMath">\()\)</span>, resp. the middle inner mapping <spanclass="SimpleMath">\(T(\)</span><varclass="Arg">x</var><spanclass="SimpleMath">\()\)</span> of a loop <varclass="Arg">Q</var>.</p>
<p>Returns: These synonymous attributes return the nucleus of a quasigroup <varclass="Arg">Q</var>.</p>
<p>Since all nuclei are subquasigroups of <varclass="Arg">Q</var>, they are returned as subquasigroups (resp. subloops). When <varclass="Arg">Q</var> is a loop then all nuclei are in fact groups, and they are returned as associative loops.</p>
<p><strongclass="button">Remark:</strong> The name <codeclass="code">Nucleus</code> is a global function of <strongclass="pkg">GAP</strong> with two variables. We have therefore used <codeclass="code">Nuc</code> rather than <codeclass="code">Nucleus</code> for the nucleus. This abbreviation is sometimes used in the literature, too.</p>
<p>Returns: The center of a quasigroup <varclass="Arg">Q</var>.</p>
<p>If <varclass="Arg">Q</var> is a loop, the center of <varclass="Arg">Q</var> is a subgroup of <varclass="Arg">Q</var> and it is returned as an associative loop.</p>
<p>Returns: The associator subloop of a loop <varclass="Arg">Q</var>.</p>
<p>We calculate the associator subloop of <varclass="Arg">Q</var> as the smallest normal subloop of <varclass="Arg">Q</var> containing all elements <spanclass="SimpleMath">\(x\backslash\alpha(x)\)</span>, where <spanclass="SimpleMath">\(x\)</span> is an element of <varclass="Arg">Q</var> and <spanclass="SimpleMath">\(\alpha\)</span> is a left inner mapping of <varclass="Arg">Q</var>.</p>
<p>Returns: <codeclass="code">true</code> if <varclass="Arg">S</var> is a normal subloop of a loop <varclass="Arg">Q</var>.</p>
<p>A subloop <spanclass="SimpleMath">\(S\)</span> of a loop <spanclass="SimpleMath">\(Q\)</span> is <em>normal</em> if it is invariant under all inner mappings of <spanclass="SimpleMath">\(Q\)</span>.</p>
<p>Returns: The normal closure of a subset <varclass="Arg">S</var> of a loop <varclass="Arg">Q</var>.</p>
<p>For a subset <spanclass="SimpleMath">\(S\)</span> of a loop <spanclass="SimpleMath">\(Q\)</span>, the <em>normal closure</em> of <spanclass="SimpleMath">\(S\)</span> in <spanclass="SimpleMath">\(Q\)</span> is the smallest normal subloop of <spanclass="SimpleMath">\(Q\)</span> containing <spanclass="SimpleMath">\(S\)</span>.</p>
<p>Returns: <codeclass="code">true</code> if <varclass="Arg">Q</var> is a simple loop.</p>
<p>A loop <spanclass="SimpleMath">\(Q\)</span> is <em>simple</em> if <spanclass="SimpleMath">\(\{1\}\)</span> and <spanclass="SimpleMath">\(Q\)</span> are the only normal subloops of <spanclass="SimpleMath">\(Q\)</span>.</p>
<p>Returns: When <varclass="Arg">S</var> is a normal subloop of a loop <varclass="Arg">Q</var>, returns the factor loop <varclass="Arg">Q</var><spanclass="SimpleMath">\(/\)</span><varclass="Arg">S</var>.</p>
<p>Returns: When <varclass="Arg">S</var> is a normal subloop of a loop <varclass="Arg">Q</var>, returns the natural projection from <varclass="Arg">Q</var> onto <varclass="Arg">Q</var><spanclass="SimpleMath">\(/\)</span><varclass="Arg">S</var>.</p>
<p>Returns: The nilpotency class of a loop <varclass="Arg">Q</var> if <varclass="Arg">Q</var> is nilpotent, <codeclass="code">fail</code> otherwise.</p>
<p>Returns: When <varclass="Arg">Q</var> is a nilpotent loop, returns the upper central series of <varclass="Arg">Q</var>, else returns <codeclass="code">fail</code>.</p>
<p>Returns: When <varclass="Arg">Q</var> is a nilpotent loop, returns the lower central series of <varclass="Arg">Q</var>, else returns <codeclass="code">fail</code>.</p>
<p>The <em>lower central series</em> for loops is defined analogously to groups.</p>
<p>Returns: If <varclass="Arg">Q</var> is solvable, returns the derived length of <varclass="Arg">Q</var>, else returns <codeclass="code">fail</code>.</p>
<p>Returns: The Frattini subloop of <varclass="Arg">Q</var>. The method is implemented only for strongly nilpotent loops.</p>
<p><em>Frattini subloop</em> of a loop <spanclass="SimpleMath">\(Q\)</span> is the intersection of maximal subloops of <spanclass="SimpleMath">\(Q\)</span>.</p>
<p>Returns: An isomorphism from a quasigroup <varclass="Arg">Q</var> to a quasigroup <varclass="Arg">L</var> if the quasigroups are isomorphic, <codeclass="code">fail</code> otherwise.</p>
<p>If an isomorphism exists, it is returned as a permutation <spanclass="SimpleMath">\(f\)</span> of <spanclass="SimpleMath">\(1,\dots,|\)</span><varclass="Arg">Q</var><spanclass="SimpleMath">\(|\)</span>, where <spanclass="SimpleMath">\(i^f=j\)</span> means that the <spanclass="SimpleMath">\(i\)</span>th element of <varclass="Arg">Q</var> is mapped onto the <spanclass="SimpleMath">\(j\)</span>th element of <varclass="Arg">L</var>. Note that this convention is used even if the underlying sets of <varclass="Arg">Q</var>, <varclass="Arg">L</var> are not indexed by consecutive integers.</p>
<p>Returns: An isomorphism from a loop <varclass="Arg">Q</var> to a loop <varclass="Arg">L</var> if the loops are isomorphic, <codeclass="code">fail</code> otherwise, with the same convention as in <codeclass="code">IsomorphismQuasigroups</code>.</p>
<p>Returns: Given a list <varclass="Arg">ls</var> of quasigroups, returns a sublist of <varclass="Arg">ls</var> consisting of representatives of isomorphism classes of quasigroups from <varclass="Arg">ls</var>.</p>
<p>Returns: Given a list <varclass="Arg">ls</var> of loops, returns a sublist of <varclass="Arg">ls</var> consisting of representatives of isomorphism classes of loops from <varclass="Arg">ls</var>.</p>
<p>Returns: The automorphism group of a loop or quasigroups <varclass="Arg">Q</var>, with the same convention on permutations as in <codeclass="code">IsomorphismQuasigroups</code>.<br/></p>
<p><strongclass="button">Remark:</strong> Since two isomorphisms differ by an automorphism, all isomorphisms from <varclass="Arg">Q</var> to <varclass="Arg">L</var> can be obtained by a combination of <codeclass="code">IsomorphismLoops(<varclass="Arg">Q</var>,<varclass="Arg">L</var>)</code> (or <codeclass="code">IsomorphismQuasigroups(<varclass="Arg">Q</var>,<varclass="Arg">L</var>)</code>) and <codeclass="code">AutomorphismGroup(<varclass="Arg">L</var>)</code>. <br/></p>
<p>While dealing with Cayley tables, it is often useful to rename or reorder the elements of the underlying quasigroup without changing the isomorphism type of the quasigroups. <strongclass="pkg">LOOPS</strong> contains several functions for this purpose.</p>
<p>Returns: When <varclass="Arg">Q</var> is a quasigroup and <varclass="Arg">f</var> is a permutation of <spanclass="SimpleMath">\(1,\dots,|\)</span><varclass="Arg">Q</var><spanclass="SimpleMath">\(|\)</span>, returns the quasigroup defined on the same set as <varclass="Arg">Q</var> with multiplication <spanclass="SimpleMath">\(*\)</span> defined by <spanclass="SimpleMath">\(x*y = \)</span><varclass="Arg">f</var><spanclass="SimpleMath">\((\)</span><varclass="Arg">f</var><spanclass="SimpleMath">\({}^{-1}(x)\)</span><varclass="Arg">f</var><spanclass="SimpleMath">\({}^{-1}(y))\)</span>.</p>
<p>Returns: When <varclass="Arg">Q</var> is a loop and <varclass="Arg">f</var> is a permutation of <spanclass="SimpleMath">\(1,\dots,|\)</span><varclass="Arg">Q</var><spanclass="SimpleMath">\(|\)</span> fixing <spanclass="SimpleMath">\(1\)</span>, returns the loop defined on the same set as <varclass="Arg">Q</var> with multiplication <spanclass="SimpleMath">\(*\)</span> defined by <spanclass="SimpleMath">\(x*y = \)</span><varclass="Arg">f</var><spanclass="SimpleMath">\((\)</span><varclass="Arg">f</var><spanclass="SimpleMath">\({}^{-1}(x)\)</span><varclass="Arg">f</var><spanclass="SimpleMath">\({}^{-1}(y))\)</span>. If <varclass="Arg">f</var><spanclass="SimpleMath">\((1)=c\ne 1\)</span>, the isomorphism <spanclass="SimpleMath">\((1,c)\)</span> is applied after <varclass="Arg">f</var>.</p>
<p>Returns: <codeclass="code">LoopIsomorphism(<varclass="Arg">Q</var>,<varclass="Arg">f</var>)</code> if <varclass="Arg">Q</var> is a loop, and <codeclass="code">QuasigroupIsomorphism(<varclass="Arg">Q</var>,<varclass="Arg">f</var>)</code> if <varclass="Arg">Q</var> is a quasigroup.</p>
<p>Returns: When <varclass="Arg">S</var> is a normal subloop of a loop <varclass="Arg">Q</var>, returns an isomorphic copy of <varclass="Arg">Q</var> in which the elements are ordered according to the right cosets of <varclass="Arg">S</var>. In particular, the Cayley table of <varclass="Arg">S</var> will appear in the top left corner of the Cayley table of the resulting loop.<br/></p>
<p>In order to speed up the search for isomorphisms and automorphisms, we first calculate some loop invariants preserved under isomorphisms, and then we use these invariants to partition the loop into blocks of elements preserved under isomorphisms. The following two operations are used in the search.</p>
<p>Returns: A data structure with isomorphism invariants of a loop <varclass="Arg">Q</var>.</p>
<p>See <ahref="chapBib_mj.html#biBVo">[Voj06]</a> or the file <codeclass="file">iso.gi</code> for more details. The format of the discriminator has been changed from version 3.2.0 up to accommodate isomorphism searches for quasigroups.</p>
<p>If two loops have different discriminators, they are not isomorphic. If they have identical discriminators, they may or may not be isomorphic.</p>
<p>Returns: <codeclass="code">true</code> if <varclass="Arg">D1</var>, <varclass="Arg">D2</var> are equal discriminators for the purposes of isomorphism searches.</p>
<p>At the moment, <strongclass="pkg">LOOPS</strong> contains only slow methods for testing if two loops are isotopic. The method works as follows: It is well known that if a loop <spanclass="SimpleMath">\(K\)</span> is isotopic to a loop <spanclass="SimpleMath">\(L\)</span> then there exist a principal loop isotope <spanclass="SimpleMath">\(P\)</span> of <spanclass="SimpleMath">\(K\)</span> such that <spanclass="SimpleMath">\(P\)</span> is isomorphic to <spanclass="SimpleMath">\(L\)</span>. The algorithm first finds all principal isotopes of <spanclass="SimpleMath">\(K\)</span>, then filters them up to isomorphism, and then checks if any of them is isomorphic to <spanclass="SimpleMath">\(L\)</span>. This is rather slow already for small orders.</p>
<p>Returns: <codeclass="code">fail</code> if <varclass="Arg">K</var>, <varclass="Arg">L</var> are not isotopic loops, else it returns an isotopism as a triple of bijections on <spanclass="SimpleMath">\(1,\dots,|\)</span><varclass="Arg">K</var><spanclass="SimpleMath">\(|\)</span>.</p>
<p>Returns: Given a list <varclass="Arg">ls</var> of loops, returns a sublist of <varclass="Arg">ls</var> consisting of representatives of isotopism classes of loops from <varclass="Arg">ls</var>.</p>
<divclass="chlinkprevnextbot"> <ahref="chap0_mj.html">[Top of Book]</a> <ahref="chap0_mj.html#contents">[Contents]</a> <ahref="chap5_mj.html">[Previous Chapter]</a> <ahref="chap7_mj.html">[Next Chapter]</a> </div>
