文献

J-GLOBAL ID：202102247050104816   整理番号：21A2373878

Krull’s lemmaの完全性と計算内容の動的評価【JST・京大機械翻訳】

Dynamic evaluation of integrity and the computational content of Krull’s lemma

著者 (3件)： Schuster Peter (Dipartimento di Informatica, Universita degli Studi di Verona, Strada le Grazie 15, 37134 Verona, Italy) ,  Wessel Daniel (Dipartimento di Informatica, Universita degli Studi di Verona, Strada le Grazie 15, 37134 Verona, Italy) ,  Yengui Ihsen (Department of Mathematics, Faculty of Sciences of Sfax, University of Sfax, 3000 Sfax, Tunisia)
資料名： Journal of Pure and Applied Algebra  (Journal of Pure and Applied Algebra)
巻： 226  号： 1  ページ： Null  発行年： 2022年 
JST資料番号： A1244A  ISSN： 0022-4049  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 交換リングの乗法的部分集合は,もし質問のセットがあらゆるプライム理想を満たすならば,正確にゼロ要素を含んでいる。Krull Lemmaのこの形式は,トランス有限推論に頼るが,最近,Kemperにおける積分ケースへの重要な低減と,価値の次元の第三著者の新しい特性化を可能にした。トランス有限推論を回避できる動的解を提示し,この構築法を具体的事例で例証した。さらに,Zariski格子を有限バイナリツリーの特定の誘導生成クラスに関連させて組合せ説明を与えた。特に,KrullのLemmaの計算内容を明確にした。Copyright 2021 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 乗算 ,  キャラクタリゼーション ,  完全性 ,  *二分木

著者キーワード (6件)： 素数 ,  Krull次元 ,  評価次元 ,  動的代数 ,  Zariski格子 ,  構成的数学

分類 (2件)： 数理物理学  (BA03000W) ,  代数学  (AB02000R)

タイトルに関連する用語 (3件)： 完全性 ,  計算 ,  評価