Zariski topology

DOI10.2478/FORMA-2018-0024MaRDI QIDQ2311535zbMATH OpenOpenAlexFDO

Authors Yasushige Watase

Publication date 10 July 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2018-0024

zbMATH Keywords

Jacobson radicallocal ringnilradicalprime spectrumsemi-local ringZariski topology

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ideals and multiplicative ideal theory in commutative rings (13A15)

Recommendations

• Zariski topology of prime spectrum of a module.
• scientific article; zbMATH DE number 5694302
• On \(S\)-Zariski topology
• The q.Zariski topology on the quasi-primary spectrum of a ring
• The Zariski topology on the prime spectrum of a module

Cites work

• scientific article; zbMATH DE number 4071091 (Why is no real title available?)
• scientific article; zbMATH DE number 3771786 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(8)

• Relative Riemann-Zariski spaces
• On primary ideals. I
• Formal Zariski topology: Positivity and points
• Rings of fractions and localization
• Topological properties of subsets of the Zariski space
• On \(S\)-Zariski topology
• On the upper dual Zariski topology
• The basic Zariski topology

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Zariski topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2311535)