nie zakładając przemienności <br>&lt;gap&gt;<br>Żeby uzyskać zgodność z równaniem Kleina-Gordona, musimy zażądać, żeby <br>&lt;gap&gt;<br>Widać stąd, że . &lt;gap&gt; nie mogą być zbiorem czterech liczb, gdyż żadne cztery liczby nie spełniają &lt;gap&gt; Równanie to może być spełnione dopiero przez (odpowiednio duże) macierze. Algebra takich macierzy nosi nazwę algebry Clifforda lub algebry macierzy Diraca, natomiast macierzowe równanie (3.25) to słynne równanie Diraca. <br>Ponieważ . &lt;gap&gt; muszą być macierzami, więc i . nie jest jedną funkcją, a polem <br>o kilku składowych. Można pokazać, że dla wymiaru czasoprzestrzeni D minimalny <br>wymiar zbioru D macierzy . &lt;gap&gt; wynosi 2[ D2 ], gdzie [ˇ] oznacza część całkowitą (dla D = 4 wymiar . ľ wynosi 4). Omówienie macierzy Diraca