Notes for AKT-091020/0:19:13

Fundamental theorem [math]\displaystyle{ \Rightarrow \ \exists }[/math] UFTI [math]\displaystyle{ Z }[/math]

For all [math]\displaystyle{ n }[/math], pick basis [math]\displaystyle{ W_{n, i} }[/math] of [math]\displaystyle{ \mathcal{A}_n^* }[/math], by fundamental theorem, there are type [math]\displaystyle{ n }[/math] invariants [math]\displaystyle{ V_{n, i} }[/math] where [math]\displaystyle{ V_{n, i}^{(n)}=W_{n,i} }[/math]

Let [math]\displaystyle{ D_{n,i} }[/math] be the dual basis of [math]\displaystyle{ W_{n, i} }[/math]