问答题 φ（φ-1（B））B，且当φ为满射时等号成立.

问答题 φ-1（φ（A））A，且当φ为单射时等号成立.

问答题 我们直接下右陪集Ha的定义如下：Ha刚好包含G的可以写成ha（h∈H）形式的元。由这个定义推出以下事实：G的每一个元属于而且只属于一个右陪集。