>>233
群Gの部分集合Sに対し　S^(-1)={s^-1|s∈S}、T=S∪S^(-1) とおくとき
U_[n∈N]（T^n)が　S　が生成する部分群