Determinant detects the order of a unitary loop
ID: determinant-detects-the-order-of-a-unitary-loop
The determinant sends a unitary loop to a circle-valued loop. A nonzero determinant winding number proves that the original loop class has infinite order.
New to topics? Read the docs here!