<abstract xmlns="http://www.w3.org/1999/xhtml">
<p><bold>Summary</bold>. 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.</p>
</abstract>

Summary. 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.

On Primary Ideals. Part I

Formalized Mathematics

{"article-title":"On Primary Ideals. Part I"}

Summary. 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]...

On Primary Ideals. Part I

Article Category: Artikel

Online veröffentlicht: 30. Dez. 2021

Seitenbereich: 95 - 101

Akzeptiert: 30. Juni 2021

DOI: https://doi.org/10.2478/forma-2021-0010

Schlüsselwörter
primary ideal, radical ideal, prime ideal

© 2021 University of Białystok, published by Sciendo

CC-BY-SA License ver. 3.0 or later

On Primary Ideals. Part I

Article Category: Artikel

Online veröffentlicht: 30. Dez. 2021

Seitenbereich: 95 - 101

Akzeptiert: 30. Juni 2021

DOI: https://doi.org/10.2478/forma-2021-0010

Schlüsselwörterprimary ideal, radical ideal, prime ideal

© 2021 University of Białystok, published by Sciendo

CC-BY-SA License ver. 3.0 or later

Schlüsselwörter
primary ideal, radical ideal, prime ideal