minor changes on notes up to trace-determinant