利用组合群论的方法寻找本原元的性质,通过对不同Jordan标准形的讨论和对幂单矩阵性质的分析,并利用计算机软件进行辅助计算,找到可以使二元生成自由群在线性表示维数是9时成为幂单群的条件。对幂单性的已有结论进行了推广。