Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/12392
Tytuł: | On Primary Ideals. Part I |
Autorzy: | Watase, Yasushige |
Słowa kluczowe: | primary ideal radical ideal prime ideal |
Data wydania: | 2021 |
Data dodania: | 4-sty-2022 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 29, Issue 2, Pages 95-101 |
Abstrakt: | We formalize in the Mizar System [3], [4], definitions and basic propositions about primary ideals of a commutative ring along with Chapter 4 of [1] and Chapter III of [8]. Additionally other necessary basic ideal operations such as compatibilities taking radical and intersection of finite number of ideals are formalized as well in order to prove theorems relating primary ideals. These basic operations are mainly quoted from Chapter 1 of [1] and compiled as preliminaries in the first half of the article. |
Afiliacja: | Suginami-ku Matsunoki, 3-21-6 Tokyo, Japan |
URI: | http://hdl.handle.net/11320/12392 |
DOI: | 10.2478/forma-2021-0010 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
Typ Dokumentu: | Article |
metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
Właściciel praw: | © 2021 University of Białymstoku CC-BY-SA License ver. 3.0 or later |
Występuje w kolekcji(ach): | Formalized Mathematics, 2021, Volume 29, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2021-0010.pdf | 255,32 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL