Commensurator of subgroup is subgroup
Suppose is a subgroup of a group . Consider the commensurator of in , defined as the set of all such that is a subgroup of finite index in both and , i.e., and are Commensurable subgroups (?). Then, is a subgroup of .
Given: A group , a subgroup of . is the set of all such that has finite index in both and .
To prove: is a subgroup of .
|1||The identity element of is in||[SHOW MORE]|
|2||If , then||[SHOW MORE]|
|3||If , then .||PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]|