原子元 有限奇异值l-群 奇异值l-群 几乎有限值l群 根系 有限值l群 半单性 多余凸l-子群