如何判断一个子集是否为正规子群？详细证明与解释

要判断群G的一个子集H是否为正规子群，需要满足两个条件：\n\n1. H是G的子群；\n2. 对于任意的g∈G和h∈H，有ghg^(-1)∈H。\n\n下面给出详细的证明：\n\n证明1：H是G的子群。\n首先，H是G的子集，因此我们只需要证明H满足群的封闭性、单位元存在性和逆元存在性即可。\n\n（1）群的封闭性：对于任意的h1, h2∈H，由于H是G的子集，所以h1, h2∈G。根据群的封闭性，有h1h2∈G。因此，h1h2∈H，H满足封闭性。\n\n（2）单位元存在性：由于H是G的子集，所以单位元e∈G也属于H。因此，单位元e存在于H中。\n\n（3）逆元存在性：对于任意的h∈H，由于H是G的子集，所以h∈G。根据群的逆元存在性，存在h^(-1)∈G使得hh^(-1)=h^(-1)h=e。因此，h^(-1)∈H，H满足逆元存在性。\n\n综上所述，H是G的子群。\n\n证明2：对于任意的g∈G和h∈H，有ghg^(-1)∈H。\n根据正规子群的定义，对于任意的g∈G和h∈H，有ghg^(-1)∈H。这里需要注意的是，这个条件对于所有的g∈G和h∈H都要成立。\n\n综上所述，如果一个群G的一个子集H满足以上两个条件，那么H就是G的正规子群。