20.04.2014 Views

Proceedings of the 44th Symposium on Ring Theory and ...

Proceedings of the 44th Symposium on Ring Theory and ...

Proceedings of the 44th Symposium on Ring Theory and ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

SUBCATEGORIES OF EXTENSION MODULES<br />

RELATED TO SERRE SUBCATEGORIES<br />

TAKESHI YOSHIZAWA<br />

Abstract. We c<strong>on</strong>sider subcategories c<strong>on</strong>sisting <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g> extensi<strong>on</strong>s <str<strong>on</strong>g>of</str<strong>on</strong>g> modules in two<br />

given Serre subcategories to find a method <str<strong>on</strong>g>of</str<strong>on</strong>g> c<strong>on</strong>structing Serre subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> <str<strong>on</strong>g>the</str<strong>on</strong>g><br />

module category. We shall give a criteri<strong>on</strong> for this subcategory to be a Serre subcategory.<br />

1. Introducti<strong>on</strong><br />

Let R be a commutative Noe<str<strong>on</strong>g>the</str<strong>on</strong>g>rian ring. We denote by R-Mod <str<strong>on</strong>g>the</str<strong>on</strong>g> category <str<strong>on</strong>g>of</str<strong>on</strong>g> R-<br />

modules <strong>and</strong> by R-mod <str<strong>on</strong>g>the</str<strong>on</strong>g> full subcategory c<strong>on</strong>sisting <str<strong>on</strong>g>of</str<strong>on</strong>g> finitely generated R-modules.<br />

In [2], P. Gabriel showed that <strong>on</strong>e has lattice isomorphisms between <str<strong>on</strong>g>the</str<strong>on</strong>g> set <str<strong>on</strong>g>of</str<strong>on</strong>g> Serre<br />

subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-mod, <str<strong>on</strong>g>the</str<strong>on</strong>g> set <str<strong>on</strong>g>of</str<strong>on</strong>g> Serre subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-Mod which are closed under<br />

arbitrary direct sums <strong>and</strong> <str<strong>on</strong>g>the</str<strong>on</strong>g> set <str<strong>on</strong>g>of</str<strong>on</strong>g> specializati<strong>on</strong> closed subsets <str<strong>on</strong>g>of</str<strong>on</strong>g> Spec (R). By this<br />

result, Serre subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-mod are classified. However, it has not yet classified<br />

Serre subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-Mod. In this paper, we shall give a way <str<strong>on</strong>g>of</str<strong>on</strong>g> c<strong>on</strong>structing Serre<br />

subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-Mod by c<strong>on</strong>sidering subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> extensi<strong>on</strong> modules related to Serre<br />

subcategories.<br />

2. The definiti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> a subcategory <str<strong>on</strong>g>of</str<strong>on</strong>g> extensi<strong>on</strong> modules<br />

by Serre subcategories<br />

We assume that all full subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-Mod are closed under isomorphisms. We<br />

recall that a subcategory S <str<strong>on</strong>g>of</str<strong>on</strong>g> R-Mod is said to be Serre subcategory if <str<strong>on</strong>g>the</str<strong>on</strong>g> following<br />

c<strong>on</strong>diti<strong>on</strong> is satisfied: For any short exact sequence<br />

0 → L → M → N → 0<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> R-modules, it holds that M is in S if <strong>and</strong> <strong>on</strong>ly if L <strong>and</strong> N are in S. In o<str<strong>on</strong>g>the</str<strong>on</strong>g>r words,<br />

S is called a Serre subcategory if it is closed under submodules, quotient modules <strong>and</strong><br />

extensi<strong>on</strong>s.<br />

We give <str<strong>on</strong>g>the</str<strong>on</strong>g> definiti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> a subcategory <str<strong>on</strong>g>of</str<strong>on</strong>g> extensi<strong>on</strong> modules by Serre subcategories.<br />

Definiti<strong>on</strong> 1. Let S 1 <strong>and</strong> S 2 be Serre subcategories <str<strong>on</strong>g>of</str<strong>on</strong>g> R-Mod. We denote by (S 1 , S 2 ) a<br />

subcategory c<strong>on</strong>sisting <str<strong>on</strong>g>of</str<strong>on</strong>g> R-modules M with a short exact sequence<br />

0 → X → M → Y → 0<br />

<str<strong>on</strong>g>of</str<strong>on</strong>g> R-modules where X is in S 1 <strong>and</strong> Y is in S 2 , that is<br />

⎧<br />

∣<br />

⎨<br />

∣∣∣∣∣ <str<strong>on</strong>g>the</str<strong>on</strong>g>re are X ∈ S 1 <strong>and</strong> Y ∈ S 2 such that<br />

(S 1 , S 2 ) =<br />

⎩ M ∈ R-Mod 0 → X → M → Y → 0<br />

is a short exact sequence.<br />

The detailed versi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> this paper has been submitted for publicati<strong>on</strong> elsewhere.<br />

–282–<br />

⎫<br />

⎬<br />

⎭ .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!