燕尾定理（Yale Theorem）是组合数学中的一个重要定理，它描述了有限群中特定条件的子群个数。以下是关于燕尾定理的详细介绍，包括例题解析及答案揭晓。
燕尾定理简介
燕尾定理指出，对于有限群 ( G ) 和它的一个子群 ( H )，如果 ( H ) 是 ( G ) 的一个正规子群，那么 ( G ) 的所有左陪集的交集的元素个数等于 ( G ) 的所有右陪集的交集的元素个数。换句话说，如果 ( H ) 是 ( G ) 的正规子群，则 ( |G:H| = |G:H^r| )，其中 ( H^r ) 表示 ( H ) 的右陪集。
燕尾定理证明
燕尾定理的证明通常需要运用群论的基本概念和性质。以下是燕尾定理的证明步骤：
定义与符号：设 ( G ) 是有限群，( H ) 是 ( G ) 的一个正规子群。记 ( G:H ) 为 ( G ) 关于 ( H ) 的左陪集，( H^r ) 为 ( G ) 关于 ( H ) 的右陪集。
构造映射：定义一个从 ( G:H ) 到 ( G:H^r ) 的映射 ( \phi: gH \mapsto gH^r )。
证明映射是双射：需要证明 ( \phi ) 是单射（即不同的左陪集映射到不同的右陪集）和满射（即 ( G:H^r ) 中的每个右陪集都有左陪集与之对应）。
结论：由于 ( \phi ) 是双射，因此 ( |G:H| = |G:H^r| )。
例题解析
假设 ( G = S_4 )（4个元素的对称群），( H = A_4 )（4个元素的交错群）。证明 ( G ) 的所有左陪集的交集的元素个数等于 ( G ) 的所有右陪集的交集的元素个数。
解题步骤
确定 ( G ) 和 ( H )：已知 ( G = S_4 )，( H = A_4 )。
验证 ( H ) 是否是正规子群：由于 ( H ) 是 ( S_4 ) 的子群，且 ( A_4 ) 是 ( S_4 ) 的一个正规子群，因此 ( H ) 是 ( G ) 的正规子群。
计算左陪集和右陪集的个数：由于 ( |G:H| = 2 ) 和 ( |G:H^r| = 2 )，因此 ( G ) 的所有左陪集的交集的元素个数等于 ( G ) 的所有右陪集的交集的元素个数。
答案揭晓
通过上述分析，我们可以得出结论：在 ( G = S_4 ) 和 ( H = A_4 ) 的情况下，( G ) 的所有左陪集的交集的元素个数等于 ( G ) 的所有右陪集的交集的元素个数，因为 ( H ) 是 ( G ) 的正规子群。
总结
燕尾定理是组合数学中的一个重要定理，它提供了关于有限群中子群性质的有用信息。通过理解和应用燕尾定理，我们可以解决许多与有限群相关的实际问题。在本篇文章中，我们介绍了燕尾定理的基本概念、证明步骤，并通过一个具体的例题展示了如何应用燕尾定理解决问题。