有同伴加群讨论嘛