Met behulp van enkele van de meest primitieve operaties die in staat zijn te opereren op een 1-splitsing kunnen we nu samenstellingen maken. De symmetrie uit zich doordat het kwadraat van de operaties de toestand van waar men vertrokken is terug herstelt. De haakvector h die we dan voorstellen als het koppel (h1, h2) gedraagt zich dan als een twee dimensionale structuur. Een concrete toepassing hiervoor is de modellering van de “symmetrieën van een object in een vlak”. Het koppel (h1, h2) is dan beperkt tot een koppel van twee reële getallen, symbolen die verder geen structuur informatie meer dragen en de intensiteit geven van twee orthogonale eenheidsvectoren. Het object wordt dan gemodelleerd door een verzameling koppels.
Kwadrateren van deze operatie levert de identiteitsmatrix.
Kwadrateren van deze operatie levert de identiteitsmatrix.
Kwadrateren van deze operatie levert de identiteitsmatrix.
Kwadrateren van deze operatie levert de identiteitsmatrix.
De binaire samenstelling van deze operaties met behulp van het matrix product, noem dit (...S...), kunnen we voorstellen in de bekende tabel:
S |
1 |
V |
H |
O |
1 |
1 |
V |
H |
O |
V |
V |
1 |
O |
H |
H |
H |
O |
1 |
V |
O |
O |
H |
V |
1 |
Dit herkennen we natuurlijk als het patroon van een Cayley tabel en de viergroep van Klein.
↔ |
<> |
a |
ab |
a<b> |
<> |
<> |
a |
ab |
a<b> |
a |
a |
<> |
a<b> |
ab |
ab |
ab |
a<b> |
<> |
a |
a<b> |
a<b> |
ab |
a |
<> |
Ook met het creatief product hebben we structuren gevonden die hiermee isomorf zijn.
<•> |
<> |
<a<x>> |
<<a><y>> |
<<ax>•<<a>y>>=(x⊗y)a |
<> |
<> |
<a<x>> |
<<a><y>> |
(x⊗y)a |
<a<x>> |
<a<x>> |
<> |
(x⊗y)a |
<<a><y>> |
<<a><y>> |
<<a><y>> |
(x⊗y)a |
<> |
<a<x>> |
<<ax>•<<a>y>>=(x⊗y)a |
(x⊗y)a |
<<a><y>> |
<a<x>> |
<> |
En ook:
• |
<<>> |
x•y |
(y⊗x)a |
(x⊗y)a |
<<>> |
<<>> |
x•y |
(y⊗x)a |
(x⊗y)a |
x•y |
x•y |
<<>> |
(x⊗y)a |
(y⊗x)a |
(y⊗x)a |
(y⊗x)a |
(x⊗y)a |
<<>> |
x•y |
(x⊗y)a |
(x⊗y)a |
(y⊗x)a |
x•y |
<<>> |
We kunnen de 26 hoofdletters van het alfabet in hun meest typografisch symmetrische vorm in 5 soorten onderbrengen op basis van de symmetrieën uit de tabel.
{A, M, T, U, V, W, Y} hebben de 1 en V symmetrieën
{B, C, D, E} hebben de 1 en H symmetrieën
{N, S, Z} hebben de 1 en O symmetrieën
{H, I, O, X} hebben de 1, H, V en O symmetrieën
{F, G, J, K, L, P, Q, R} hebben enkel de 1 symmetrie
Het een onderscheiding universum is op vier manieren op een matrix voorstelling af te beelden. Dat betekent dat met vier verschillende structuren de impact van een laatst toegevoegde onderscheiding kan gemodelleerd worden.
Hieronder een voorbeeld voor de diëder groep van orde 8 (de symmetrieën van een vierkant). De laatst toegevoegde onderscheiding genereert het spoor a0 in het geval van een rotatie en het spoor a1 in het geval van een spiegeling.
Welgevormde haakuitdrukking |
Operator naam |
Operator matrix |
Rotatie naam |
<<>> |
ε |
|
1 |
<> |
-ε |
|
r2 |
a0 |
νυ |
|
r3 |
<a0> |
υν |
|
r |
Welgevormde haakuitdrukking |
Operator naam |
Operator matrix |
Spiegeling naam |
<<>> |
υ |
|
r3s |
<> |
-υ |
|
rs |
a1 |
ν |
|
r2s |
<a1> |
-ν |
|
s |
|
|
1 |
s |
r |
r2 |
r3 |
rs |
r2s |
r3s |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
s |
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
r2 |
|
|
|
|
|
|
|
|
|
r3 |
|
|
|
|
|
|
|
|
|
rs |
|
|
|
|
|
|
|
|
|
r2s |
|
|
|
|
|
|
|
|
|
r3s |
|
|
|
|
|
|
|
|
|