| Property |
Value |
| dbo:abstract
|
- 可換環論において、ザリスキ環 (Zariski ring) は可換ネーター位相環 A であってその位相がジャコブソン根基、すべての極大イデアルの共通部分、に含まれるイデアル m によって定義されているものである。それらは Oscar Zariski によって今では幾分違うことを意味する「半局所環」(semi-local ring) の名前で導入され、 によって「ザリスキ環」(Zariski ring) と名付けられた。ザリスキ環の例はネーター局所環と、ネーター環の -進完備化である。 A をネーター環とし をその -進完備化とする。このとき以下は同値である。
* は A 上忠実平坦である（一般には、平坦でしかない）。
* すべての極大イデアルは -進位相で閉である。
* A はザリスキ環である。 (ja)
- 可換環論において、ザリスキ環 (Zariski ring) は可換ネーター位相環 A であってその位相がジャコブソン根基、すべての極大イデアルの共通部分、に含まれるイデアル m によって定義されているものである。それらは Oscar Zariski によって今では幾分違うことを意味する「半局所環」(semi-local ring) の名前で導入され、 によって「ザリスキ環」(Zariski ring) と名付けられた。ザリスキ環の例はネーター局所環と、ネーター環の -進完備化である。 A をネーター環とし をその -進完備化とする。このとき以下は同値である。
* は A 上忠実平坦である（一般には、平坦でしかない）。
* すべての極大イデアルは -進位相で閉である。
* A はザリスキ環である。 (ja)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1494 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-en:authorlink
|
- Oscar Zariski (ja)
- Oscar Zariski (ja)
|
| prop-en:first
| |
| prop-en:last
|
- Zariski (ja)
- Zariski (ja)
|
| prop-en:wikiPageUsesTemplate
| |
| prop-en:year
| |
| dct:subject
| |
| rdfs:comment
|
- 可換環論において、ザリスキ環 (Zariski ring) は可換ネーター位相環 A であってその位相がジャコブソン根基、すべての極大イデアルの共通部分、に含まれるイデアル m によって定義されているものである。それらは Oscar Zariski によって今では幾分違うことを意味する「半局所環」(semi-local ring) の名前で導入され、 によって「ザリスキ環」(Zariski ring) と名付けられた。ザリスキ環の例はネーター局所環と、ネーター環の -進完備化である。 A をネーター環とし をその -進完備化とする。このとき以下は同値である。
* は A 上忠実平坦である（一般には、平坦でしかない）。
* すべての極大イデアルは -進位相で閉である。
* A はザリスキ環である。 (ja)
- 可換環論において、ザリスキ環 (Zariski ring) は可換ネーター位相環 A であってその位相がジャコブソン根基、すべての極大イデアルの共通部分、に含まれるイデアル m によって定義されているものである。それらは Oscar Zariski によって今では幾分違うことを意味する「半局所環」(semi-local ring) の名前で導入され、 によって「ザリスキ環」(Zariski ring) と名付けられた。ザリスキ環の例はネーター局所環と、ネーター環の -進完備化である。 A をネーター環とし をその -進完備化とする。このとき以下は同値である。
* は A 上忠実平坦である（一般には、平坦でしかない）。
* すべての極大イデアルは -進位相で閉である。
* A はザリスキ環である。 (ja)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |