We have preĀviĀousĀly menĀtioned that the groups D 3 ā ā D_{3\mathbb{C}}^{\boxplus} and D 3 ā Ī D_{3\mathbb{C}}^{\Delta} share the same š“ \mathcal{Y} -subĀgroup, having elĀeĀments of the form,
{ ( A 0 0 0 A 0 0 0 A ) , ( C 0 0 0 C 0 0 0 A ) , ( A 0 0 0 C 0 0 0 C ) , ( C 0 0 0 A 0 0 0 C ) } ā Y 1 , 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},
{ ( 0 A 0 0 0 A A 0 0 ) , ( 0 C 0 0 0 C A 0 0 ) , ( 0 A 0 0 0 C C 0 0 ) , ( 0 C 0 0 0 A C 0 0 ) } ā Y 2 , 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},
{ ( 0 0 A A 0 0 0 A 0 ) , ( 0 0 A C 0 0 0 C 0 ) , ( 0 0 C A 0 0 0 C 0 ) , ( 0 0 A C 0 0 0 C 0 ) } ā Y 3 , 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 D 3 ā ā , D 3 ā Ī D_{3\mathbb{C}}^{\boxplus},D_{3\mathbb{C}}^{\Delta} groups. These elĀeĀments were deemed necĀesĀsary to comĀplete the S 3 ā Ī S_{3\mathbb{C}}^{\Delta} symĀmetĀric conic group. The š“ \mathcal{Y} -subĀgroup ā \subset S 3 ā Ī 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,
{ ( C 0 0 0 C 0 0 0 C ) , ( C 0 0 0 A 0 0 0 A ) , ( A 0 0 0 A 0 0 0 C ) , ( A 0 0 0 C 0 0 0 A ) } ā Y 1 , 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},
{ ( 0 C 0 0 0 C C 0 0 ) , ( 0 C 0 0 0 A A 0 0 ) , ( 0 A 0 0 0 A C 0 0 ) , ( 0 A 0 0 0 C A 0 0 ) } ā Y 2 , 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},
{ ( 0 0 C C 0 0 0 C 0 ) , ( 0 0 C A 0 0 0 A 0 ) , ( 0 0 A A 0 0 0 C 0 ) , ( 0 0 A C 0 0 0 A 0 ) } ā Y 3 , 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 ā” ( ā Ī» + a 0 0 0 ā Ī» + b 0 C 0 ā Ī» + 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 ā” ( ā Ī» a 0 0 ā Ī» b c 0 ā Ī» ) = 0 ā Ī» 3 = ā a b c , \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 , c a,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 ā” ( ā Ī» 0 a b ā Ī» 0 0 c ā Ī» ) = 0 ā Ī» 3 = ā a b c . \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 , c a,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 ) 1 4 , ± ( ā 1 ) 3 4 } . \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 1.4.16 ā Ī» ā ( š“ 2 , š“ 3 ) \lambda^{\boxplus}\left( \mathcal{Y}_{2},\mathcal{Y}_{3} \right) EigenĀvalĀues: a. ( ( ā 1 ) 1 3 , ā 1 , ā ( ā 1 ) 2 3 ) Ī» 3 = ā 1 \left( ( - 1)^{\frac{1}{3}}, - 1,{- ( - 1)}^{\frac{2}{3}} \right)_{\lambda^{3} = - 1} , b. ( i , ā ( ā 1 ) 1 6 , ā ( ā 1 ) 5 6 ) Ī» 3 = ā i \left( i, - ( - 1)^{\frac{1}{6}}, - ( - 1)^{\frac{5}{6}} \right)_{\lambda^{3} = - i} ,
c. ( 1 , ( ā 1 ) 2 3 , ā ( ā 1 ) 1 3 ) Ī» 3 = 1 \left( 1,( - 1)^{\frac{2}{3}},{- ( - 1)}^{\frac{1}{3}} \right)_{\lambda^{3} = 1} , d. ( ā i , ( ā 1 ) 1 6 , ( ā 1 ) 5 6 ) Ī» 3 = i \left( - i,( - 1)^{\frac{1}{6}},( - 1)^{\frac{5}{6}} \right)_{\lambda^{3} = i} .
Figure 1.4.17 ā Ī» Ī ( š“ 2 , š“ 3 ) \lambda^{\Delta}\left( \mathcal{Y}_{2},\mathcal{Y}_{3} \right) EigenĀvalĀues: a. ( ( ā 1 ) 1 12 , ( ā 1 ) 3 4 , ā ( ā 1 ) 5 12 ) Ī» 3 = ( ā 1 ) 1 4 \left( ( - 1)^{\frac{1}{12}},{( - 1)^{\frac{3}{4}}, - ( - 1)}^{\frac{5}{12}} \right)_{\lambda^{3} = ( - 1)^{\frac{1}{4}}} , b. ( ( ā 1 ) 1 4 , ( ā 1 ) 11 12 , ā ( ā 1 ) 7 12 ) Ī» 3 = ( ā 1 ) 3 4 \left( ( - 1)^{\frac{1}{4}},( - 1)^{\frac{11}{12}},{- ( - 1)}^{\frac{7}{12}} \right)_{\lambda^{3} = ( - 1)^{\frac{3}{4}}} ,
c. ( ( ā 1 ) 5 12 , ā ( ā 1 ) 1 12 , ā ( ā 1 ) 3 4 ) Ī» 3 = ā ( ā 1 ) 1 4 \left( ( - 1)^{\frac{5}{12}},{- ( - 1)}^{\frac{1}{12}},{- ( - 1)}^{\frac{3}{4}} \right)_{\lambda^{3} = {- ( - 1)}^{\frac{1}{4}}} , d. ( ( ā 1 ) 7 12 , ā ( ā 1 ) 1 4 , ā ( ā 1 ) 11 12 ) Ī» 3 = ā ( ā 1 ) 3 4 \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 ) 1 3 , ā ( ā 1 ) 2 3 ) Ī» 3 = ā 1 , Ā Ā Ā ( i , ā ( ā 1 ) 1 6 , ā ( ā 1 ) 5 6 ) Ī» 3 = ā i , ( 1 , , ā ( ā 1 ) 1 3 , ( ā 1 ) 2 3 ) Ī» 3 = ā 1 , Ā Ā Ā ( ā i , ( ā 1 ) 1 6 , ( ā 1 ) 5 6 ) Ī» 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 ) 1 12 , ( ā 1 ) 3 4 , ā ( ā 1 ) 5 12 ) Ī» 3 = ( ā 1 ) 1 4 , Ā Ā Ā ( ( ā 1 ) 1 4 , ( ā 1 ) 11 12 , ā ( ā 1 ) 7 12 ) Ī» 3 = ( ā 1 ) 3 4 , Ā Ā ( ( ā 1 ) 5 12 , ā ( ā 1 ) 1 12 , ā ( ā 1 ) 3 4 ) Ī» 3 = ā ( ā 1 ) 1 4 , Ā Ā Ā ( ( ā 1 ) 7 12 , ā ( ā 1 ) 1 4 , ā ( ā 1 ) 11 12 ) Ī» 3 = ā ( ā 1 ) 3 4 } . \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 , c a,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.