initial commit of remark about generating subgroups