加权的Coxeter群(C)n的左胞腔

仿射Weyl群((A2n),(S))在某个群同构α(其中α(S)=(S))下的固定点集合能被看作是仿射Weyl群((C)n,S).那么加权的Coxeter群((C)n,(e))的左和双边胞腔((e)是仿射Weyl群(A)2n的长度函数),就能通过研究仿射Weyl群((A)2n,(S))在群同构α下的固定点集合而给出一个清晰的划分.因此给出了加权的Coxeter群((C)n,(e))对应于划分k12n+1-k和(2n-1,2)的所有左胞腔的清晰刻画,这里对所有的1≤k≤2n+1.     

加权的Coxeter群_n的左胞腔(英文)

仿射Weyl群(_(2n),S)在某个群同构α(其中α(S)=S)下的固定点集合能被看作是仿射Weyl群(_n,S).那么加权的Coxeter群(_n,■)的左和双边胞腔(■是仿射Weyl群A_(2n)的长度函数),就能通过研究仿射Weyl群(_(2n),S)在群同构α下的固定点集合而给出一个清晰的划分.因此给出了加权的Coxeter群(_n,■)对应于划分k1^(2n+1-k)和(2n-1,2)的所有左胞腔的清晰刻画,这里对所有的1≤k≤2n+1.     

只含一个p阶子群的无限p—群

若群G有上升列1=G_0相似文献   

关于有限群同构类的猜想

文[1]论证n阶群同构类的个数在1000以内的存在性.本文推广到2000,即设f(n)为n阶群同构类的个数,证明等式f(n)=k,(1k2000)中n的存在性.进而得到一个猜想:当有限群同构类的个数为有限数时,都是可以证明等式f(n)=k中的n的存在性.     

集合上非一一变换构成的群及其在矩阵代数中的表现

发现任意集合A上一个由非一一变换关于变换乘法构成的群与A的某个子集上一个变换群的同构；证明A上一个非一一变换f能出现在一个由A上变换构成的乘法群中当且仅当f(A)上的限制Resy^λ（λ）f为f(A)上一一变换．然后将结论用到短阵代数中，给出数域F上n级短阵M满足秩M＝秩M^2的充要条件．     

计算机代数在有限群同构类计数中的设计与应用

文献[1]论证n阶群同构类的个数在1000以内的存在性。文章给出群同构类Balass计数公式运算的算法,用计算机代数语言Matlab加以实现,进而将群同构类的个数推广到3000。即设f(n)为n阶群同构类的个数,证明方程f(n)=k,(1≤k≤3000)解的存在性。     

某类周期FC群中n元组同构等价的一阶局部刻划

证明了在周期FC群中,若每个元素同构等价类都有限,则两个n元组同构等价的充要条件是它们局部同型,即对于包含这两个n元组的任一n元组有限于集S,都存在一个有限子群M,使得,且两个n元组在M中有相同的型。作为其推论,层有限群(FO)中两个n元组同构等价的充要条件是它们局部同型。     

伏羲八卦与八元数

说明了19世纪西方人发明八元数的构造方法与我国古代邵雍(1011～1077)建立先天八卦的方法是一致的,并在先天八卦与八元数的基元之间建立了一种数学意义上的同构．     

加权的~Coxeter~群~$\widetilde{\bm C}_{\bm n}$~的左胞腔

仿射~Weyl~群~($\widetilde{A}_{2n},\widetilde{S}$)
在某个群同构~$\alpha$~(其中~$\alpha(\widetilde{S}) =
\widetilde{S}$)~下的固定点集合
能被看作是仿射~Weyl~群~($\widetilde{C}_n,S$). 那么加权的~Coxeter~群\
($\widetilde{C}_n,\widetilde{\ell}$)的左和双边胞腔($\widetilde{\ell}$
是仿射~Weyl~群~$\widetilde{A}_{2n}$~的长度函数),
就能通过研究仿射~Weyl~群~($\widetilde{A}_{2n},\widetilde{S}$)
在群同构~$\alpha$~下的固定点集合而给出一个清晰的划分.
因此给出了加权的~Coxeter~群~($\widetilde{C}_n,\widetilde{\ell}$)
对应于划分\ $\textbf{k}\textbf{1}^{\textbf{2n+1-k}}$~和~$(2n-1,2)$
的所有左胞腔的清晰刻画, 这里对所有的~$1\leqslant k \leqslant 2n+1$.     

一类有可换Sylow 2-子群的8p~3阶群的完全分类

设p为奇素数(p≠3,7),G是Sylow 2-子群是型为(22,2)的8阶交换群C4×C2的8p3阶群,利用群在群上的作用理论,对群G进行了完全分类并确定了它的全部构造,即:1)当p≡1(mod 4)时,G恰有74个彼此不同构的类型;2)当p≡3(mod 4)时,G恰有40个彼此不同构的类型。