We introduce Margulis' and Zimmer's superrigidity. Statements give heuristics in Zimmer program, that is higher rank lattice actions on smooth manifolds. After we state the statement, we mainly focus how it interacts with group actions. Finally, we will also discuss about open questions.
22E40 ; 57M60