Weakly closed implies relatively normal
Statement
Suppose are such that is a weakly closed subgroup of relative to . Then, is a normal subgroup of .
Suppose are such that
is a weakly closed subgroup of
relative to
. Then,
is a normal subgroup of
.