Vysoké okruhy

Abstract

Perfektní a max okruhy jsou známy přes padesát let. Jejich teorie se stále intenzivně studuje. Podmínky, které je definují, jsou přitom zajímavé hlavně při studiu modulů, které nejsou noetherovské. V této práci nejprve shrneme základní poznatky o okruzích a modulech, přičemž se předpokládají předchozí znalosti pouze na úrovni základního kurzu. Poté, co shrneme některé elementární výsledky týkající se noetherovských modulů, budeme připraveni na definici vysokých modulů a vysokých okruhů. Dále ukážeme, že jsou v určitém směru zobecněním perfektních a max okruhů. Uvedeme některé příklady vysokých a nevysokých okruhů, přičemž se podrobněji zaměříme na komutativní okruhy. Poznatky, které tak získáme, se pokusíme zobecnit a využít je při hledání některých nutných a některých postačujících podmínek pro to, abychom o komutativním okruhu mohli prohlásit, zda je či není vysoký. Na závěr ukážeme, že pro noetherovské komutativní okruhy jsou tyto podmínky navzájem ekvivalentní, a dávají tak k pojmu vysoký okruh ekvivalentní charakterizaci.

Perfect and max rings are known for over fifty years. Their theory is being steadily and intensively studied. The conditions defining them are mainly interesting while studying non-noetherian modules. In this work we summarize at first basic information about rings and modules with previous knowledge requiring just in elementary level. After summing up basic results in the theory of noetherian modules we will be prepaired for the definition of tall modules and tall rings. We show then that they are a generalization of prefect and max rings in a specific way. We bring out some examples of tall and non-tall rings with accenting commutative rings. Information which we obtain we try to generalize and use for searching some necessary and some sufficient conditions with the goal to be able to say about a commutative ring if it is tall or not. At the end we point out that in case of a commutative noetherian ring they are equivalent to each other and they give together to the concept tall ring an equivalent characterization.