Lie group
두 리 군 사이의 매끄러운 군 준동형