I have some questions about Pauli matrices: 1. How do we calculate them? Which assumptions are needed? Are the assumptions related to properties of orbital angular momentum in any way? 2. How do we prove that the Pauli matrices (the operators of spin angular momentum) are the generators of the group of rotations (on a particle with spin 1/2)?