Groebner basis techniques for finiteness checking of finitely presented groups

来源 :The 24th International Workshop on Matrices and Statistics(第 | 被引量 : 0次 | 上传用户:wangxinyi808
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  Given a finitely presented group, it is interesting to know whether it is finite. In this talk, we first consider the corresponding group ring and map it to a free associa tive K-algebra. Then wedevelop a Groebner basis theory in this algebra. Finally we can check the finiteness of the order ofa given element in the given group and comput er its order if it is finite, and we may check the finiteness of the group as well.
其他文献
  Patterning surfaces with subwavelength spaced metallo-dielectric features (metasurfaces) allows one to locally control the amplitude,phase and polarization
会议
  Micro/nano photonic structures permit remarkable control of the propagation of light.A selection of recent results will be presented.Using two-dimensional p
会议
  After giving an introduction into the spirit of metamaterials,I will focus on two recent examples of experimental progress related to laminate metamaterials
会议
  A major direction of our program is Nanophotonics which taps on nanoscale manipulation of optical interactions,control of light propagation and energy flow
会议
  We use molecular design,tailored syntheses,intermolecular interactions,and selective chemistry to direct molecules into desired positions to create nanostru
  In this paper we prove that every bijection preserving Lie products from a triangular algebra onto a normal triangular algebra is additive modulo centre. As
会议
  Let X be a Markov process, which is assumed to be associated with a (non-symmetric) Dirichlet form (ε ,D(ε )) on L2 (E;m) . For u ∈D(ε)ε ,the extended
  Quantum entanglement plays crucial roles in quantum information processing.Quantum entangled states have become the key ingredient in the rapidly expanding
会议
  We study the Cauchy problem of the nonlinear spatially homogeneous Boltzmann equation without angular cutoff. By using analytic techniques, we prove the Gev
会议
  The atomic and molecular decompositions of Herz-Morrey-Hardy spaces with variable exponents are given. As their application, the boundedness of a convolutio
会议