14.02.2013 Views

Grassmann Algebra

Grassmann Algebra

Grassmann Algebra

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

ExpTheGeneralizedProduct.nb 31<br />

����Γ<br />

�p<br />

�<br />

� Α�������� �<br />

m�<br />

Λ �<br />

�<br />

����Γ<br />

�p<br />

���à p<br />

�<br />

� Α�������� �<br />

m�<br />

Λ �<br />

�<br />

�<br />

� ��� � ��1�<br />

k�<br />

p���p�� ����<br />

�<br />

�<br />

�<br />

���à p<br />

���à p<br />

�<br />

� ��� � ��1�<br />

k�<br />

pm� ����Α�<br />

���� �<br />

�m<br />

Λ�p �<br />

�<br />

�<br />

� Α���� ����<br />

m�<br />

���à p<br />

Λ�p �Β k<br />

����<br />

���� Γ<br />

� p<br />

�<br />

� ��� k�<br />

����<br />

���� Γ<br />

� p<br />

We can test these formulae by reducing the expressions on either side to scalar products and<br />

tabulating cases. For Λ > p, the first formula gives<br />

Flatten�Table�A � ToScalarProducts�<br />

����Γ<br />

�<br />

� Α�������� �<br />

�p<br />

m�<br />

Λ ����Γ<br />

�<br />

� ��� � ��1�<br />

�p<br />

k�<br />

p���p� � ����<br />

�<br />

����Γ<br />

�<br />

� Α���� �<br />

���� ���� ���� �; �p<br />

m�<br />

Λ�p k�<br />

p<br />

Print���m, k, p, �, A��; A,�m, 0, 3�, �k, 0, 3�,<br />

�p, 0, 3�, �Λ, p� 1, Min�m, k����<br />

�0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0�<br />

The case of Λ = p is tabulated in the next section.<br />

The second formula can be derived from the first by using the quasi-commutativity of the<br />

generalized product. To check, we tabulate the first few cases:<br />

10.31<br />

Flatten�Table�<br />

ToScalarProducts� ����Γ<br />

�<br />

� Α�������� �<br />

�p<br />

m�<br />

Λ ����Γ<br />

�<br />

� ��� � ��1�<br />

�p<br />

k�<br />

pm � ����Α�<br />

���� �<br />

�m<br />

Λ�p ����Γ<br />

�<br />

� ��� �p<br />

k�<br />

����<br />

���� �, � p<br />

�m, 1, 2�, �k, 1, m�, �p, 0, m�, �Λ, p� 1, Min�p � m, p � k����<br />

�0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0�<br />

Finally, we can put Μ = Λ - p, and rearrange the above to give:<br />

����Α�����<br />

�<br />

�m<br />

Μ �<br />

�<br />

���à p<br />

�<br />

� ��� k�<br />

����<br />

���� à � ��1�<br />

� p<br />

p � ����<br />

�<br />

����Α<br />

�<br />

� Γ<br />

�m<br />

p�<br />

�������� Μ �Β k<br />

����<br />

���� Γ<br />

� p<br />

Flatten�Table�<br />

ToScalarProducts� ����Α�����<br />

�<br />

�m<br />

Μ ����Γ<br />

�<br />

� ��� �p<br />

k�<br />

����<br />

���� à � ��1�<br />

� p<br />

p Μ � ����<br />

�<br />

����Α<br />

�<br />

� �������� �<br />

���� ���� �, �m<br />

p�<br />

Μ k�<br />

p<br />

�m, 0, 2�, �k, 0, m�, �p, 0, m�, �Μ, 0,Min�m, k����<br />

�0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,<br />

0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0�<br />

� The special case of Λ = p<br />

By putting Λ = p into the first formula of [10.31] we get:<br />

2001 4 26<br />

10.32

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!