文献

J-GLOBAL ID：202002255486541165   整理番号：20A0541704

1-レレータ群の右-角度チン部分群を介した1-レレータ逆モノイドに対する語問題の決定不能性【JST・京大機械翻訳】

Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups

著者 (1件)： Gray Robert D. (School of Mathematics, University of East Anglia, Norwich, England, UK)
資料名： Inventiones Mathematicae  (Inventiones Mathematicae)
巻： 219  号： 3  ページ： 987-1008  発行年： 2020年 
JST資料番号： W4498A  ISSN： 0020-9910  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 以下の結果を証明した。(1)非決定可能な単語問題を有する1つのリレータ逆モノイド[数式:原文を参照]がある。そして,(2)非決定可能なサブモノイドメンバシップ問題を有する1つのリレータ群がある。これらの結果の2番目は,任意の有限森林に対して,関連する右角度のArtinグループが1つのリレータグループに埋め込まれていることを示すことによって証明された。これをLohreyとSteinberg(J Algebra320(2):728-755,2008)の結果と組み合わせて,このことを用いて,メンバシップ問題が決定できない固定有限生成サブモノイドを含む1つのリレータ群があることを証明した。1)新しい構成を導入し,1つのリレータグループとサブモノイドを用いて,メンバシップが(2)から決定できないようにし,非決定可能な単語問題を持つ1つのリレータ逆モノイド[数式:原文を参照]を構築する。さらに,この方法により,この形式のE-ユニタリー1-relator逆モノイドの構築が可能になり,決定不可能な単語問題が可能になる。本論文における結果は,Margolisら(半グループおよびそれらの応用,Reidel,Dordrecht,pp.99-110,1987)によって最初に提起された問題に答えた。Copyright The Author(s) 2019 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *語の問題
準シソーラス用語： 継電器 ,  *モノイド , 【Automatic Indexing@JST】

著者キーワード (5件)： 20F10 ,  20F05 ,  20M05 ,  20M18 ,  20F36

分類 (3件)： 中生代  (DE03030R) ,  抗腫よう薬の基礎研究  (GW16010A) ,  トリテルペン  (CF10024I)

タイトルに関連する用語 (4件)： チン ,  モノイド ,  語問題 ,  決定不能性