# Malnormal subgroup

This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.VIEW: Definitions built on this | Facts about this: (factscloselyrelated to Malnormal subgroup, all facts related to Malnormal subgroup) |Survey articles about this | Survey articles about definitions built on this

VIEW RELATED: Analogues of this | Variations of this | Opposites of this |

View a list of other standard non-basic definitions

This article defines a subgroup property related to (or which arises in the context of): geometric group theory

View other subgroup properties related to geometric group theory|View other terms related to geometric group theory | View all subgroup properties

This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: self-normalizing subgroup and TI-subgroup

View other subgroup property conjunctions | view all subgroup properties

*This is an opposite of normality*

## Definition

### Symbol-free definition

A subgroup of a group is termed **malnormal** if it satisfies the following equivalent conditions:

- Its conjugate by any element outside the subgroup intersects it trivially.
- It is a self-normalizing subgroup and is also a TI-subgroup.

### Definition with symbols

A subgroup of a group is termed **malnormal** if for any outside , the subgroup intersects trivially.

## Relation with other properties

### Stronger properties

- Frobenius subgroup (also called Frobenius complement) is defined as a proper nontrivial malnormal subgroup in a finite group

### Weaker properties

### Oppositeness to normality

The only normal malnormal subgroup of a group is the whole group itself.

## Metaproperties

### Transitivity

This subgroup property is transitive: a subgroup with this property in a subgroup with this property, also has this property in the whole group.ABOUT THIS PROPERTY: View variations of this property that are transitive | View variations of this property that are not transitiveABOUT TRANSITIVITY: View a complete list of transitive subgroup properties|View a complete list of facts related to transitivity of subgroup properties |Read a survey article on proving transitivity

A malnormal subgroup of a malnormal subgroup is malnormal. That is, if such that is malnormal in and is malnormal in , then is malnormal in . The proof relies on the fact that every element in lies either in or , and the use of malnormality in each case.
`For full proof, refer: Malnormality is transitive`

### Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself).

View other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

Every group is malnormal as a subgroup of itself: the condition is vacuously true because there is no element outside.

The trivial group is also always malnormal, because its intersection with anything is trivial.

### Intermediate subgroup condition

YES:This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup.ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup conditionABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

### Transfer condition

YES:This subgroup property satisfies the transfer condition: if a subgroup has the property in the whole group, its intersection with any subgroup has the property in that subgroup.

View other subgroup properties satisfying the transfer condition

if is a malnormal subgroup of and is any subgroup of , then is clearly malnormal in .

### Intersection-closedness

YES:This subgroup property is intersection-closed: an arbitrary (nonempty) intersection of subgroups with this property, also has this property.ABOUT THIS PROPERTY: View variations of this property that are intersection-closed | View variations of this property that are not intersection-closedABOUT INTERSECTION-CLOSEDNESS: View all intersection-closed subgroup properties (or, strongly intersection-closed properties) | View all subgroup properties that are not intersection-closed | Read a survey article on proving intersection-closedness | Read a survey article on disproving intersection-closedness

An arbitrary intersection of malnormal subgroups is malnormal. This follows from the fact that any element outside the intersection must lie outside at least one of the subgroups being intersected.