Masteries Ā· Jason GlowneyArithmoĆ­ Book 1

Masteries

1.4.8 The š’“\mathcal{Y} Subgroup of the Symmetric Conic Group

We have preĀ­viĀ­ousĀ­ly menĀ­tioned that the groups D3ā„‚āŠžD_{3\mathbb{C}}^{\boxplus} and D3ā„‚Ī”D_{3\mathbb{C}}^{\Delta} share the same š’“\mathcal{Y}-subĀ­group, having elĀ­eĀ­ments of the form,

{(A000A000A),(C000C000A),(A000C000C),(C000A000C)}∈Y1,k,\left\{ \begin{pmatrix} A & 0 & 0 \\ 0 & A & 0 \\ 0 & 0 & A \end{pmatrix},\begin{pmatrix} C & 0 & 0 \\ 0 & C & 0 \\ 0 & 0 & A \end{pmatrix},\begin{pmatrix} A & 0 & 0 \\ 0 & C & 0 \\ 0 & 0 & C \end{pmatrix},\begin{pmatrix} C & 0 & 0 \\ 0 & A & 0 \\ 0 & 0 & C \end{pmatrix} \right\} \in Y_{1,k},
{(0A000AA00),(0C000CA00),(0A000CC00),(0C000AC00)}∈Y2,k,\left\{ \begin{pmatrix} 0 & A & 0 \\ 0 & 0 & A \\ A & 0 & 0 \end{pmatrix},\begin{pmatrix} 0 & C & 0 \\ 0 & 0 & C \\ A & 0 & 0 \end{pmatrix},\begin{pmatrix} 0 & A & 0 \\ 0 & 0 & C \\ C & 0 & 0 \end{pmatrix},\begin{pmatrix} 0 & C & 0 \\ 0 & 0 & A \\ C & 0 & 0 \end{pmatrix} \right\} \in Y_{2,k},
{(00AA000A0),(00AC000C0),(00CA000C0),(00AC000C0)}∈Y3,k,\begin{array}{r} \left\{ \begin{pmatrix} 0 & 0 & A \\ A & 0 & 0 \\ 0 & A & 0 \end{pmatrix},\begin{pmatrix} 0 & 0 & A \\ C & 0 & 0 \\ 0 & C & 0 \end{pmatrix},\begin{pmatrix} 0 & 0 & C \\ A & 0 & 0 \\ 0 & C & 0 \end{pmatrix},\begin{pmatrix} 0 & 0 & A \\ C & 0 & 0 \\ 0 & C & 0 \end{pmatrix} \right\} \in Y_{3,k}, \end{array}
(1.4.125)

and axis numĀ­bered deĀ­terĀ­miĀ­nants. There is a conĀ­spicĀ­uĀ­ous abĀ­sence of the elĀ­eĀ­ments āˆˆš’“\in \mathcal{Y}, having cone numĀ­bered deĀ­terĀ­miĀ­nant values, which define the D3ā„‚āŠž,D3ā„‚Ī”D_{3\mathbb{C}}^{\boxplus},D_{3\mathbb{C}}^{\Delta} groups. These elĀ­eĀ­ments were deemed necĀ­esĀ­sary to comĀ­plete the S3ā„‚Ī”S_{3\mathbb{C}}^{\Delta} symĀ­metĀ­ric conic group. The š’“\mathcal{Y}-subĀ­group āŠ‚\subset S3ā„‚Ī”S_{3\mathbb{C}}^{\Delta}, conĀ­tains all the posĀ­siĀ­ble comĀ­biĀ­naĀ­tions of axis and cone numĀ­bers, and in adĀ­diĀ­tion to the stated axis deĀ­terĀ­miĀ­nant forms, the inĀ­cluĀ­sion of the cone deĀ­terĀ­miĀ­nant elĀ­eĀ­ments round out the subĀ­group,

{(C000C000C),(C000A000A),(A000A000C),(A000C000A)}∈Y1,k,\left\{ \begin{pmatrix} C & 0 & 0 \\ 0 & C & 0 \\ 0 & 0 & C \end{pmatrix},\begin{pmatrix} C & 0 & 0 \\ 0 & A & 0 \\ 0 & 0 & A \end{pmatrix},\begin{pmatrix} A & 0 & 0 \\ 0 & A & 0 \\ 0 & 0 & C \end{pmatrix},\begin{pmatrix} A & 0 & 0 \\ 0 & C & 0 \\ 0 & 0 & A \end{pmatrix} \right\} \in Y_{1,k},
{(0C000CC00),(0C000AA00),(0A000AC00),(0A000CA00)}∈Y2,k,\left\{ \begin{pmatrix} 0 & C & 0 \\ 0 & 0 & C \\ C & 0 & 0 \end{pmatrix},\begin{pmatrix} 0 & C & 0 \\ 0 & 0 & A \\ A & 0 & 0 \end{pmatrix},\begin{pmatrix} 0 & A & 0 \\ 0 & 0 & A \\ C & 0 & 0 \end{pmatrix},\begin{pmatrix} 0 & A & 0 \\ 0 & 0 & C \\ A & 0 & 0 \end{pmatrix} \right\} \in Y_{2,k},
{(00CC000C0),(00CA000A0),(00AA000C0),(00AC000A0)}∈Y3,k.\begin{array}{r} \left\{ \begin{pmatrix} 0 & 0 & C \\ C & 0 & 0 \\ 0 & C & 0 \end{pmatrix},\begin{pmatrix} 0 & 0 & C \\ A & 0 & 0 \\ 0 & A & 0 \end{pmatrix},\begin{pmatrix} 0 & 0 & A \\ A & 0 & 0 \\ 0 & C & 0 \end{pmatrix},\begin{pmatrix} 0 & 0 & A \\ C & 0 & 0 \\ 0 & A & 0 \end{pmatrix} \right\} \in Y_{3,k}. \end{array}
(1.4.126)

For the š’“\mathcal{Y}-elĀ­eĀ­ments, eigenĀ­valĀ­ues will take the form

|š’“jāˆ’Ī»I|=0,\begin{array}{r} \left| \mathcal{Y}_{j} - \lambda I \right| = 0, \end{array}
(1.4.127)

and solvĀ­ing for the charĀ­acĀ­terĀ­isĀ­tic polyĀ­noĀ­miĀ­als of š’“j\mathcal{Y}_{j}, we find š’“1\mathcal{Y}_{1} first

det⁔(āˆ’Ī»+a000āˆ’Ī»+b0C0āˆ’Ī»+c)=0→(āˆ’Ī»+a)(āˆ’Ī»+b)(āˆ’Ī»+c)=0→ λ=a,b,c,\begin{array}{r} \det\begin{pmatrix} - \lambda + a & 0 & 0 \\ 0 & - \lambda + b & 0 \\ C & 0 & - \lambda + c \end{pmatrix} = 0 \rightarrow ( - \lambda + a)( - \lambda + b)( - \lambda + c) = 0 \rightarrow \ \lambda = a,b,c, \end{array}
(1.4.128)

for š’“2\mathcal{Y}_{2}

det⁔(āˆ’Ī»a00āˆ’Ī»bc0āˆ’Ī»)=0→λ3=āˆ’abc,\begin{array}{r} \det\begin{pmatrix} - \lambda & a & 0 \\ 0 & - \lambda & b \\ c & 0 & - \lambda \end{pmatrix} = 0 \rightarrow \lambda^{3} = - abc, \end{array}
(1.4.129)

whose terms a,b,ca,b,c can take on cone number or axis number values, and ulĀ­tiĀ­mateĀ­ly, we find a simĀ­iĀ­lar result for the charĀ­acĀ­terĀ­isĀ­tic polyĀ­noĀ­miĀ­al of š’“3\mathcal{Y}_{3}

det⁔(āˆ’Ī»0abāˆ’Ī»00cāˆ’Ī»)=0→λ3=āˆ’abc.\begin{array}{r} \det\begin{pmatrix} - \lambda & 0 & a \\ b & - \lambda & 0 \\ 0 & c & - \lambda \end{pmatrix} = 0 \rightarrow \lambda^{3} = - abc. \end{array}
(1.4.130)

Since the a,b,ca,b,c enĀ­tries in each matrix can be either a cone or an axis number, š’“j\mathcal{Y}_{j} can have the folĀ­lowĀ­ing posĀ­siĀ­ble eigenĀ­valĀ­ues

Ī»(š’“j)={±1,±i,±(āˆ’1)14,±(āˆ’1)34}.\begin{array}{r} \lambda\left( \mathcal{Y}_{j} \right) = \left\{ \pm 1, \pm i, \pm ( - 1)^{\frac{1}{4}}, \pm ( - 1)^{\frac{3}{4}} \right\}. \end{array}
(1.4.131)
Figure
Figure 1.4.16 – Ī»āŠž(š’“2,š’“3)\lambda^{\boxplus}\left( \mathcal{Y}_{2},\mathcal{Y}_{3} \right) EigenĀ­valĀ­ues: a. ((āˆ’1)13,āˆ’1,āˆ’(āˆ’1)23)Ī»3=āˆ’1\left( ( - 1)^{\frac{1}{3}}, - 1,{- ( - 1)}^{\frac{2}{3}} \right)_{\lambda^{3} = - 1} , b. (i,āˆ’(āˆ’1)16,āˆ’(āˆ’1)56)Ī»3=āˆ’i\left( i, - ( - 1)^{\frac{1}{6}}, - ( - 1)^{\frac{5}{6}} \right)_{\lambda^{3} = - i},

c. (1,(āˆ’1)23,āˆ’(āˆ’1)13)Ī»3=1\left( 1,( - 1)^{\frac{2}{3}},{- ( - 1)}^{\frac{1}{3}} \right)_{\lambda^{3} = 1}, d. (āˆ’i,(āˆ’1)16,(āˆ’1)56)Ī»3=i\left( - i,( - 1)^{\frac{1}{6}},( - 1)^{\frac{5}{6}} \right)_{\lambda^{3} = i}.

Figure
Figure 1.4.17 – λΔ(š’“2,š’“3)\lambda^{\Delta}\left( \mathcal{Y}_{2},\mathcal{Y}_{3} \right) EigenĀ­valĀ­ues: a. ((āˆ’1)112,(āˆ’1)34,āˆ’(āˆ’1)512)Ī»3=(āˆ’1)14\left( ( - 1)^{\frac{1}{12}},{( - 1)^{\frac{3}{4}}, - ( - 1)}^{\frac{5}{12}} \right)_{\lambda^{3} = ( - 1)^{\frac{1}{4}}} , b. ((āˆ’1)14,(āˆ’1)1112,āˆ’(āˆ’1)712)Ī»3=(āˆ’1)34\left( ( - 1)^{\frac{1}{4}},( - 1)^{\frac{11}{12}},{- ( - 1)}^{\frac{7}{12}} \right)_{\lambda^{3} = ( - 1)^{\frac{3}{4}}},

c. ((āˆ’1)512,āˆ’(āˆ’1)112,āˆ’(āˆ’1)34)Ī»3=āˆ’(āˆ’1)14\left( ( - 1)^{\frac{5}{12}},{- ( - 1)}^{\frac{1}{12}},{- ( - 1)}^{\frac{3}{4}} \right)_{\lambda^{3} = {- ( - 1)}^{\frac{1}{4}}}, d. ((āˆ’1)712,āˆ’(āˆ’1)14,āˆ’(āˆ’1)1112)Ī»3=āˆ’(āˆ’1)34\left( ( - 1)^{\frac{7}{12}}, - ( - 1)^{\frac{1}{4}}, - ( - 1)^{\frac{11}{12}} \right)_{\lambda^{3} = - ( - 1)^{\frac{3}{4}}}.

ComĀ­parĀ­ing posĀ­siĀ­ble eigenĀ­valĀ­ues for š’“2,š’“3\mathcal{Y}_{2},\mathcal{Y}_{3}, we find elĀ­eĀ­ments with axis number deĀ­terĀ­miĀ­nants, having four posĀ­siĀ­ble values (Figure 1.4.16)

Ī»āŠž(š’“2,š’“3)={Ā (āˆ’1,(āˆ’1)13,āˆ’(āˆ’1)23)Ī»3=āˆ’1,Ā Ā Ā (i,āˆ’(āˆ’1)16,āˆ’(āˆ’1)56)Ī»3=āˆ’i,(1,,āˆ’(āˆ’1)13,(āˆ’1)23)Ī»3=āˆ’1,Ā Ā Ā (āˆ’i,(āˆ’1)16,(āˆ’1)56)Ī»3=āˆ’i},\begin{array}{r} \lambda^{\boxplus}\left( \mathcal{Y}_{2},\mathcal{Y}_{3} \right) = \left\{ \begin{array}{r} \ \left( - 1,( - 1)^{\frac{1}{3}},{- ( - 1)}^{\frac{2}{3}} \right)_{\lambda^{3} = - 1},\ \ \ \left( i, - ( - 1)^{\frac{1}{6}}, - ( - 1)^{\frac{5}{6}} \right)_{\lambda^{3} = - i}, \\ \left( 1,{, - ( - 1)^{\frac{1}{3}},( - 1)}^{\frac{2}{3}} \right)_{\lambda^{3} = - 1},\ \ \ \left( - i,( - 1)^{\frac{1}{6}},( - 1)^{\frac{5}{6}} \right)_{\lambda^{3} = - i} \end{array} \right\}, \end{array}
(1.4.132)

and š’“2,š’“3\mathcal{Y}_{2},\mathcal{Y}_{3}, having posĀ­siĀ­ble cone number deĀ­terĀ­miĀ­nants from the set of the four folĀ­lowĀ­ing values (Figure 1.4.17)

λΔ(š’“2,š’“3)={((āˆ’1)112,(āˆ’1)34,āˆ’(āˆ’1)512)Ī»3=(āˆ’1)14,Ā Ā Ā ((āˆ’1)14,(āˆ’1)1112,āˆ’(āˆ’1)712)Ī»3=(āˆ’1)34,Ā Ā ((āˆ’1)512,āˆ’(āˆ’1)112,āˆ’(āˆ’1)34)Ī»3=āˆ’(āˆ’1)14,Ā Ā Ā ((āˆ’1)712,āˆ’(āˆ’1)14,āˆ’(āˆ’1)1112)Ī»3=āˆ’(āˆ’1)34}.\begin{array}{r} \lambda^{\Delta}\left( \mathcal{Y}_{2},\mathcal{Y}_{3} \right) = \left\{ \begin{array}{r} \left( ( - 1)^{\frac{1}{12}},{( - 1)^{\frac{3}{4}}, - ( - 1)}^{\frac{5}{12}} \right)_{\lambda^{3} = ( - 1)^{\frac{1}{4}}},\ \ \ \left( ( - 1)^{\frac{1}{4}},( - 1)^{\frac{11}{12}},{- ( - 1)}^{\frac{7}{12}} \right)_{\lambda^{3} = ( - 1)^{\frac{3}{4}}}, \\ \ \\ \ \left( ( - 1)^{\frac{5}{12}},{- ( - 1)}^{\frac{1}{12}},{- ( - 1)}^{\frac{3}{4}} \right)_{\lambda^{3} = {- ( - 1)}^{\frac{1}{4}}},\ \ \ \left( ( - 1)^{\frac{7}{12}}, - ( - 1)^{\frac{1}{4}}, - ( - 1)^{\frac{11}{12}} \right)_{\lambda^{3} = - ( - 1)^{\frac{3}{4}}} \end{array} \right\}. \end{array}
(1.4.133)

When conĀ­sidĀ­erĀ­ing posĀ­siĀ­ble eigenĀ­valĀ­ues of š’“1\mathcal{Y}_{1}, the a,b,ca,b,c, elĀ­eĀ­ments are on the main diĀ­agĀ­oĀ­nal, which leads to eigenĀ­valĀ­ue soĀ­luĀ­tions that equal to each entry on matrix diĀ­agĀ­oĀ­nal

(āˆ’Ī»+a)(āˆ’Ī»+b)(āˆ’Ī»+c)=0→ λ=a,b,c,\begin{array}{r} ( - \lambda + a)( - \lambda + b)( - \lambda + c) = 0 \rightarrow \ \lambda = a,b,c, \end{array}
(1.4.134)

meanĀ­ing, we can have mixed values in the form of cone numĀ­bers and axis numĀ­bers. This is quite difĀ­ferĀ­ent than the š’“2,š’“3\mathcal{Y}_{2},\mathcal{Y}_{3} eigenĀ­valĀ­ues, which were bound to one number or the other. This gives the š’“1\mathcal{Y}_{1} elĀ­eĀ­ments a more diĀ­verse abilĀ­iĀ­ty to scale elĀ­eĀ­ments in the symĀ­metĀ­ric conic group.