| 词条 | Complemented group |
| 释义 |
In mathematics, in the realm of group theory, the term complemented group is used in two distinct, but similar ways. In {{harv|Hall|1937}}, a complemented group is one in which every subgroup has a group-theoretic complement. Such groups are called completely factorizable groups in the Russian literature, following {{harv|Baeva|1953}} and {{harv|Černikov|1953}}. The following are equivalent for any finite group G:
Later, in {{harv|Zacher|1953}}, a group is said to be complemented if the lattice of subgroups is a complemented lattice, that is, if for every subgroup H there is a subgroup K such that H∩K=1 and ⟨H,K⟩ is the whole group. Hall's definition required in addition that H and K permute, that is, that HK = { hk : h in H, k in K } form a subgroup. Such groups are also called K-groups in the Italian and lattice theoretic literature, such as {{harv|Schmidt|1994|loc=Chapter 3.1|pp=114–121}}. The Frattini subgroup of a K-group is trivial; if a group has a core-free maximal subgroup that is a K-group, then it itself is a K-group; hence subgroups of K-groups need not be K-groups, but quotient groups and direct products of K-groups are K-groups, {{harv|Schmidt|1994|pp=115–116}}. In {{harv|Costantini|Zacher|2004}} it is shown that every finite simple group is a complemented group. Note that in the classification of finite simple groups, K-group is more used to mean a group whose proper subgroups only have composition factors amongst the known finite simple groups. An example of a group that is not complemented (in either sense) is the cyclic group of order p2, where p is a prime number. This group only has one nontrivial subgroup H, the cyclic group of order p, so there can be no other subgroup L to be the complement of H. References
1 : Properties of groups |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。