学科分类
/ 1
3 个结果
  • 简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:令C为复数域,G为有限群。由于每个CG-模可以写成不可约CG-模的直和,于是对表示的研究实际转化成了对不可约表示的研究。而群的忠实表示可以比较好地体现原有群的性质,所以,对于给定的群,找出该群所有不可约忠实表示是很有意义的。而对于一般有限群来说,找出其所有不可约忠实表示并不容易。本文我们给出了有限阿贝尔群G的所有不可约忠实表示。

  • 标签: 有限阿贝尔群 不可约表示 忠实表示 循环群
  • 简介:设G是有限群,为复数域。要想找到所有不可约CG-模,一种方法是把正则CG-模CG进行直和分解,这在G的阶数比较小时不难做到,但当G的阶数比较大时计算起来比较繁琐。对于任意自然数n,本文给出了循环群Cn和二面体群D2。的正则CG-模CG的不可约模的直和分解,和这些不可约模间的同构关系。我们的方法是先构造出不可约的CG-子模,满足直和条件,从而得到正则CG-模CG的不可约模的直和分解。再运用模论知识得到这些不可约模间的同构关系。

  • 标签: 不可约CG-模 正则CG-模 范德蒙矩阵 直和分解