text: Поэтому условия (1) и (3) часто используются при доказательстве нормальности подгруппы, а условия (2) и (4) используются для доказательства следствий нормальности. { e } {\displaystyle \{e\}} и G {\displaystyle G} — всегда нормальные подгруппы G {\displaystyle G} .