Quasinormal subgroupIn mathematics, in the field of group theory, a quasinormal subgroup, or permutable subgroup, is a subgroup of a group that commutes (permutes) with every other subgroup with respect to the product of subgroups. The term quasinormal subgroup was introduced by Øystein Ore in 1937. Two subgroups are said to permute (or commute) if any element from the first subgroup, times an element of the second subgroup, can be written as an element of the second subgroup, times an element of the first subgroup.
Pronormal subgroupIn mathematics, especially in the field of group theory, a pronormal subgroup is a subgroup that is embedded in a nice way. Pronormality is a simultaneous generalization of both normal subgroups and abnormal subgroups such as Sylow subgroups, . A subgroup is pronormal if each of its conjugates is conjugate to it already in the subgroup generated by it and its conjugate. That is, H is pronormal in G if for every g in G, there is some k in the subgroup generated by H and Hg such that Hk = Hg.
Cœur d'un sous-groupeEn mathématiques, et plus précisément en théorie des groupes, l'intersection des conjugués, dans un groupe , d'un sous-groupe de est appelée le cœur de (dans ) et est notée cœurG(H) ou encore . Le cœur de dans est le plus grand sous-groupe normal de contenu dans . Si on désigne par / l'ensemble des classes à gauche de modulo (cet ensemble n'est pas forcément muni d'une structure de groupe, n'étant pas supposé normal dans ), on sait que opère à gauche sur / par : Le cœur de dans est le noyau de cette opération.
T-group (mathematics)In mathematics, in the field of group theory, a T-group is a group in which the property of normality is transitive, that is, every subnormal subgroup is normal. Here are some facts about T-groups: Every simple group is a T-group. Every quasisimple group is a T-group. Every abelian group is a T-group. Every Hamiltonian group is a T-group. Every nilpotent T-group is either abelian or Hamiltonian, because in a nilpotent group, every subgroup is subnormal. Every normal subgroup of a T-group is a T-group.
Descendant subgroupIn mathematics, in the field of group theory, a subgroup of a group is said to be descendant if there is a descending series starting from the subgroup and ending at the group, such that every term in the series is a normal subgroup of its predecessor. The series may be infinite. If the series is finite, then the subgroup is subnormal.
Paranormal subgroupIn mathematics, in the field of group theory, a paranormal subgroup is a subgroup such that the subgroup generated by it and any conjugate of it, is also generated by it and a conjugate of it within that subgroup. In symbols, is paranormal in if given any in , the subgroup generated by and is also equal to . Equivalently, a subgroup is paranormal if its weak closure and normal closure coincide in all intermediate subgroups.
Abnormal subgroupIn mathematics, specifically group theory, an abnormal subgroup is a subgroup H of a group G such that for all x in G, x lies in the subgroup generated by H and H x, where H x denotes the conjugate subgroup xHx−1. Here are some facts relating abnormality to other subgroup properties: Every abnormal subgroup is a self-normalizing subgroup, as well as a contranormal subgroup. The only normal subgroup that is also abnormal is the whole group. Every abnormal subgroup is a weakly abnormal subgroup, and every weakly abnormal subgroup is a self-normalizing subgroup.
Polynormal subgroupIn mathematics, in the field of group theory, a subgroup of a group is said to be polynormal if its closure under conjugation by any element of the group can also be achieved via closure by conjugation by some element in the subgroup generated. In symbols, a subgroup of a group is called polynormal if for any the subgroup is the same as . Here are the relationships with other subgroup properties: Every weakly pronormal subgroup is polynormal. Every paranormal subgroup is polynormal.
Ascendant subgroupIn mathematics, in the field of group theory, a subgroup of a group is said to be ascendant if there is an ascending series starting from the subgroup and ending at the group, such that every term in the series is a normal subgroup of its successor. The series may be infinite. If the series is finite, then the subgroup is subnormal. Here are some properties of ascendant subgroups: Every subnormal subgroup is ascendant; every ascendant subgroup is serial. In a finite group, the properties of being ascendant and subnormal are equivalent.
