文献

J-GLOBAL ID：202202281076233812   整理番号：22A1170744

含意半格子における核範囲【JST・京大機械翻訳】

Nuclear ranges in implicative semilattices

著者 (1件)： Erne Marcel (Faculty of Mathematics and Physics, Leibniz University Hannover, Hannover, Germany)
資料名： Algebra Universalis  (Algebra Universalis)
巻： 83  号： 2  ページ： 18  発行年： 2022年 
JST資料番号： W4017A  ISSN： 0002-5240  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 適合半格子A上の核は,バイナリーを満たす閉鎖操作である。核は半格子[数式:原文を参照]を形成し,二重介在物によって秩序化されたすべての核範囲の系[数式:原文を参照]と同形である。核範囲は,全部分代数(l-理想)であるそれらの閉鎖範囲である。核は完全Heyting代数の場合に集中的に研究されている。可能な限り,核に関する結果,および,含意のある半格子の非完全設定(whose unary comptions transformations)へのそれらの範囲を拡張した。中心ツールはいわゆるr-写像であり,すなわち,半格子同形写像とそれらの随伴性,l-写像である。このような写像は,核範囲を輸送し,含意を保存する。ある完全性特性は,前核上の最小核または弱い核の下の最大核の存在に対して必要かつ十分である。点のないトポロジーのように,構造研究にとって非常に重要であるのは,基本的なオープン,ボレア,および基本的閉鎖と呼ばれる3つの特定の種類のL-理想である。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 位相幾何学 ,  写像 ,  代数学 ,  同形写像 ,  格子 ,  外科術 ,  閉鎖 ,  完全性 ,  介在物 ,  *含意
準シソーラス用語： バイナリー , 【Automatic Indexing@JST】

著者キーワード (7件)： 閉鎖手術 ,  閉鎖範囲 ,  Heyting格子 ,  L-理想 ,  関連半格子 ,  核 ,  核範囲

分類 (2件)： 消化器疾患の外科療法  (GH05030R) ,  システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (3件)： 含意 ,  格子 ,  核