腾讯文库搜索-有限超可解群的若干充要条件