Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 可计算数据 > 数学数据 > FiniteGroupData >
Mathematica > 数学和算法 > 数学数据 > FiniteGroupData >

FiniteGroupData

FiniteGroupData
给出 name 指定的有限群的指定属性值.
FiniteGroupData
给出指定类的有限群的列表.
  • 群可以通过诸如 的名称指定.
  • FiniteGroupData[patt] 给出匹配字符串模式 patt 的所有群名称的列表.
  • FiniteGroupData 给出所有已命名的有限群和少数无限族成员的列表.
  • FiniteGroupData 给出阶数大于 n1且小于 n2 的所有标准有限群的列表.
  • FiniteGroupData 给出标识符 id 的特定类有限群的数据. 标识符通常是一个整数或一个整数列表.
  • 用整数列举的群包括:
{"AlternatingGroup",n}交错群
{"CrystallographicPointGroup",n}晶体群
{"CyclicGroup",n}循环群
{"CyclicGroupUnits",n}循环群的单位群
{"DicyclicGroup",n}双循环群
{"DihedralGroup",n}二面体群
{"SymmetricGroup",n}对称群
{"ProjectiveSpecialLinearGroup",{n,q}}特殊射影线性群
{"ProjectiveSymplecticGroup",{n,q}}射影辛群
{"ChevalleyGroupE",{n,q}}例外 Chevalley 群
{"ChevalleyGroupF",{4,q}}例外 Chevalley 群
{"ChevalleyGroupG",{2,q}}例外 Chevalley 群
{"ReeGroupF",q}Ree 群 InvisiblePrefixScriptBase2F4(q),q=22n+1
{"ReeGroupG",q}Ree 群 InvisiblePrefixScriptBase2G2(q),q=32n+1
{"SporadicGroup",n}散在群
{"SteinbergGroupA",{n,q}}Steinberg 酉群
{"SteinbergGroupD",{n,q}}Steinberg 正交群
{"SteinbergGroupD",q}Steinberg 正交群
{"SteinbergGroupE",q}Steinberg 正交群
{"SuzukiGroup",n}Suzuki 群
  • 特殊群的指定包括:
{"AbelianGroup",{m,n,...}}阿贝尔群
{"DirectProduct",{group1,group2,...}}群的直积
{"SemiDirectProduct",{group1,...}}群的半直积
  • 基本群属性包括:
"Center"群的中心 (交换元素)
"ClassNumber"类的数目
"CommutatorSubgroup"交换子子群
"ConjugacyClasses"共轭类
"ElementNames"元素名称列表
"Generators"生成元元素
"InverseGenerators"生成元元素的逆
"Inverses"逆元素
"MultiplicationTable"乘法表
"NormalSubgroups"正规子群
"Order"全部元素数量
"Subgroups"子群
"SylowSubgroups"-Sylow 子群
  • 一个群的元素用从 1 到群阶的整数来指定,其中 1 对应单位元素.
  • 群结构属性包括:
"AutomorphismGroup"自同构群
"InnerAutomorphismGroup"内自同构群
"IsomorphicGroups"同构群列表
"OuterAutomorphismGroup"外自同构群
"QuotientGroups"商群列表
"SchurCover"舒尔覆盖
"SchurMultiplier"舒尔乘子
  • 置换群属性包括:
"CycleIndex"轮换指标
"Cycles"轮换
"Permutations"置换表示
  • 其它属性包括:
"DefiningRelations"描述群代数的关系
"CayleyGraph"凯莱图
"CayleyGraphImage"凯莱图的像
"CycleGraph"环图
  • 群表示属性包括:
"CharacterTable"群元素特征
"MatrixRepresentation"矩阵表示
"SpaceRepresentation"表示为三维笛卡尔坐标变换
  • 结晶点群的其它属性包括:
"CrystalForm"晶体形式
"CrystalSystem"晶体系统
"HermannMauguin"Hermann-Mauguin 符号
"Orbifold"迹形
"PointGroupType"点群类型
"Schoenflies"Schoenflies 符号
"Shubnikov"Shubnikov 符号
  • FiniteGroupData 给出指定类型中阶数小于或等于 n 的有限群列表.
  • FiniteGroupData 给出指定类型中阶数大于或等于 n 的所有标准有限群列表.
  • FiniteGroupData 给出指定类型中阶数大于 n1且小于 n2 的所有标准有限群列表.
  • 群的类型包括:
"Abelian"阿贝尔群
"Cyclic"循环群
"Perfect"完美群
"Simple"简单群
"Solvable"可解群
"Sporadic"散在群
"Symmetric"对称群
"Transitive"可递群
  • 群的否定类包括:
"Nonabelian"非阿贝尔群
"Noncyclic"非循环群
"Nonperfect"非完美群
"Nonsimple"非简单群
"Nonsolvable"不可解群
"Nonsporadic"非散在群
"Nonsymmetric"非对称群
"Nontransitive"非可递群
  • 与命名相关的属性包括:
"AlternateNames"其它的英文名称,为字符串
"AlternateStandardNames"其它的标准 Mathematica 名称
"Name"英文名称,为字符串
"Notation"群的标记
"ShortName"简称,为字符串
"StandardName"标准 Mathematica 名称
四元数群:
四元数群的乘法表:
四元数群:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
四元数群的乘法表:
In[1]:=
Click for copyable input
Out[1]=
已命名的有限群:
所有可能得到的有限群:
循环群:
的形式给出的交错群的无限族:
阿贝尔群:
获得可能属性的列表:
得到关于群的更多信息:
找出英文名称:
标准排版标记:
一个属性值可以是任何有效的 Mathematica 表达式:
符号表示:
FiniteGroupCount[n] 给出 n 阶有限群的数量:
阶有限群的名称:
FiniteAbelianGroupCount[n] 给出 n 阶阿贝尔群的数量:
所有 阶有限群都是阿贝尔群:
FiniteGroupData 的结果可能包括同构群:
阶群只有一个:
版本 7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF