This thesis investigates some of the properties of valuation rings. It is assumed that the reader is familiar with the basic properties of commutative rings and ideals in rings. Unless otherwise stated, all rings considered in this thesis are commutative rings with a unity.

This dissertation focuses on the significance of containment relations between the above mentioned classes of ideals. The main problem considered in Chapter II is determining conditions which lead a ring to be a P-ring, D-ring, or AM-ring when every regular ideal is a P-ideal, D-ideal, or AM-ideal, respectively. We also consider containment relations between classes of regular ideals which guarantee that the ring is a quasi-valuation ring. We continue this study into the third chapter; in particular, we look at the conditions in a quasi-valuation ring which lead to a = Jr, sr - f, and a = v. Furthermore we give necessary and sufficient conditions that a ring be a discrete rank one quasi-valuation ring. For example, if R is Noetherian, then ft = J if and only if R is a discrete rank one quasi-valuation ring.

Greatest common divisor domains, Bezout domains, valuation rings, and Prüfer domains are studied. Chapter One gives a brief introduction, statements of definitions, and statements of theorems without proof. In Chapter Two theorems about greatest common divisor domains and characterizations of Bezout domains, valuation rings, and Prüfer domains are proved. Also included are characterizations of a flat overring. Some of the results are that an integral domain is a Prüfer domain if and only if every overring is flat and that every overring of a Prüfer domain is a Prüfer domain.

Orientadores: Antonio José Engler, Adrian Roscoe Wadsworth / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T04:54:44Z (GMT). No. of bitstreams: 1 Ferreira_MauriciodeAraujo_D.pdf: 1468385 bytes, checksum: 5379cb7621a86850c4016ed524805e3f (MD5) Previous issue date: 2011 / Resumo: Nesta tese estudamos a relação entre duas teorias de valorização não-comutativas: anéis de valorização de Dubrovin e gauges. Os anéis de valorização de Dubrovin foram introduzidos em 1982, como uma generalização para anéis artinianos simples dos anéis de valorização invariantes em álgebras de divisão. Gauges são funções como valorizações, que podem ser definidas não só em álgebra de divisão, mas mais geralmente em álgebras simples e até mesmo semi-simples, de dimensão finita sobre corpos valorizados. Gauges foram introduzidas muito mais recentemente em 2010 por Tignol e Wadsworth. Assim como em valorizações de corpos, podemos definir um anel associado a uma gauge, que chamamos de anel da gauge. Propriedades aritméticas do anel da gauge são estudadas. Mostramos que o anel de uma gauge é sempre uma ordem semi-local integral sobre seu centro. Também descrevemos o anel da gauge com relação a composição de gauges e extensão de escalares. Introduzimos o conceito de gauge minimal em álgebras centrais simples, que são gauges cuja parte de grau zero da álgebra graduada associada tem o menor número possível de componentes simples. Mostramos que o anel de uma gauge minimal coincide com a interseção de uma família de anéis de valorização de Dubrovin, satisfazendo uma propriedade adicional, que foi introduzida por Gräter em 1992, e que é chamada de propriedade da interseção. Reciprocamente, se for dada uma família de anéis de valorização de Dubrovin, satisfazendo a propriedade da interseção, então existe uma gauge minimal associada, assumindo-se que a valorização de centro tem posto finito. O passo fundamental nesse sentido foi obtermos um teorema de existência de gauges minimais em álgebras centrais simples sobre corpos com uma valorização de posto finito. Além disso, generalizamos para álgebras simples, não necessariamente centrais, um resultado de Tignol e Wadsworth que relaciona gauges com certas funções valorização introduzidas por Morandi em 1989 e que estão associadas aos anéis de valorização de Dubrovin integrais sobre o centro. Como consequência desse último resultado, obtivemos um teorema de existência de gauges em álgebras semi-simples de dimensão finita sobre um corpo com uma valorização de posto 1 / Abstract: In this thesis work we study the connection between two theories of noncommutative valuation: Dubrovin valuation rings and gauges. Dubrovin valuation rings were introduced in 1982 as a generalization of invariant valuation rings to Artinian simple rings. Gauges are valuation-like maps that can be defined not only on division algebras, but more generally, on finite-dimensional semisimple algebras over valued fields. Gauges were introduced much more recently in 2010 by Tignol and Wadsworth. Just as for valuations on fields, we can define a ring associated to a gauge, which we call gauge ring. Arithmetic properties of the gauge ring are studied. We show that the gauge ring is always a semi-local order integral over its center. We also describe the gauge ring with respect to composition of gauges and scalar extension. We introduce the concept of minimal gauge on central simple algebras, which are gauges that the degree zero part of the associated graded ring has the least number of simple components. We show that the ring of a minimal gauge is an intersection of a family of Dubrovin valuation rings having the intersection property. The intersection property was introduced by Gräter in 1992. We also proved that if we start with a family of Dubrovin valuation rings having the intersection property, then there exist a minimal gauge associated, assuming that the valuation of the center has finite rank. In this direction, our main result is an existence theorem of minimal gauges on central simple algebra over a field with a finite rank valuation. We also generalize for simple algebras, non-necessarily central, a result of Tignol and Wadsworth which relate gauges with certain value functions introduced by Morandi in 1989. This value functions are associated to Dubrovin valuation rings integral over its center. As a consequence of this last result, we obtain an existence theorem of gauges on finite dimensional semisimple algebras over a field with a rank one valuation / Doutorado / Matematica / Doutor em Matemática