31 |
Unique decomposition of direct sums of idealsUnknown Date (has links)
We say that a commutative ring R has the unique decomposition into ideals (UDI) property if, for any R-module which decomposes into a finite direct sum of indecomposable ideals, this decomposition is unique up to the order and isomorphism class of the ideals. In a 2001 paper, Goeters and Olberding characterize the UDI property for Noetherian integral domains. In Chapters 1-3 the UDI property for reduced Noetherian rings is characterized. In Chapter 4 it is shown that overrings of one-dimensional reduced commutative Noetherian rings with the UDI property have the UDI property, also. In Chapter 5 we show that the UDI property implies the Krull-Schmidt property for direct sums of torsion-free rank one modules for a reduced local commutative Noetherian one-dimensional ring R. / by Basak Ay. / Thesis (Ph.D.)--Florida Atlantic University, 2010. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2010. Mode of access: World Wide Web.
|
32 |
Generalized factorization in commutative rings with zero-divisorsMooney, Christopher Park 01 July 2013 (has links)
The study of factorization in integral domains has a long history. Unique factorization domains, like the integers, have been studied extensively for many years. More recently, mathematicians have turned their attention to generalizations of this such as Dedekind domains or other domains which have weaker factorization properties. Many authors have sought to generalize the notion of factorization in domains. One particular method which has encapsulated many of the generalizations into a single study is that of tau-factorization, studied extensively by A. Frazier and D.D. Anderson.
Another generalization comes in the form of studying factorization in rings with zero-divisors. Factorization gets quite complicated when zero-divisors are present due to the existence of several types of associate relations as well as several choices about what to consider the irreducible elements.
In this thesis, we investigate several methods for extending the theory of tau-factorization into rings with zero-divisors. We investigate several methods including: 1) the approach used by A.G. Agargun and D.D. Anderson, S. Chun and S. Valdes-Leon in several papers; 2) the method of U-factorization developed by C.R. Fletcher and extended by M. Axtell, J. Stickles, and N. Baeth and 3) the method of regular factorizations and 4) the method of complete factorizations.
This thesis synthesizes the work done in the theory of generalized factorization and factorization in rings with zero-divisors. Along the way, we encounter several nice applications of the factorization theory. Using tau_z-factorizations, we discover a nice relationship with zero-divisor graphs studied by I. Beck as well as D.D. Anderson, D.F. Anderson, A. Frazier, A. Lauve, and P. Livingston. Using tau-U-factorization, we are able to answer many questions that arise when discussing direct products of rings.
There are several benefits to the regular factorization factorization approach due to the various notions of associate and irreducible coinciding on regular elements greatly simplifying many of the finite factorization property relationships. Complete factorization is a very natural and effective approach taken to studying factorization in rings with zero-divisors. There are several nice results stemming from extending tau-factorization in this way. Lastly, an appendix is provided in which several examples of rings satisfying the various finite factorization properties studied throughout the thesis are given.
|
33 |
Characterizing the strong two-generators of certain Noetherian domainsGreen, Ellen Yvonne 01 January 1997 (has links)
No description available.
|
34 |
Rigidity of Pham-Brieskorn ThreefoldsChitayat, Michael 02 May 2023 (has links)
Let $\bk$ be a field of characteristic zero. A Pham-Brieskorn ring is a $\bk$-algebra of the form $B_{a_0,\dots,a_n} = \bk[X_0,\dots,X_n] / \lb X_0^{a_0} + \cdots + X_n^{a_n} \rb$, where $n \geq 2$ and $a_0, \dots, a_n$ are positive integers. A ring $B$ is rigid if the only locally nilpotent derivation $D : B \to B$ is the zero derivation. Consider the following conjecture.
\begin{conjnonumber}\label{PBConjectureAbstract}
Let $n \geq 2$, and let $B_{a_0, \dots, a_n} = \bk[X_0, \dots, X_n] / \langle X_0^{a_0} + \cdots + X_n^{a_n} \rangle$ be a Pham-Brieskorn ring. If $\min\{a_0, \dots,a_n \} \geq 2$ and at most one element $i$ of $\{0,\dots ,n\}$ satisfies $a_i = 2$, then $B_{a_0, \dots, a_n}$ is rigid.
\end{conjnonumber}
The $n = 2$ case of the Conjecture is known to be true. In this thesis, we make progress towards solving the above conjecture. Our main results are:
\begin{enumerate}[\rm(1)]
\item For any $n \geq 3$, in order to prove the above conjecture, it suffices to prove rigidity of $B_{a_0, \dots, a_n}$ in the cases where $\bk = \Comp$ and $\cotype(a_0, \dots, a_n) = 0$.
\item For any $n \geq 2$, $X = \Proj B_{a_0, \dots, a_n}$ is a well-formed quasismooth weighted complete intersection if and only if $\cotype(a_0, \dots, a_n) = 0$.
\item When $n = 3$ and $\cotype(a_0, a_1, a_2, a_3) = 0$, $B_{a_0, a_1, a_2, a_3}$ is rigid, except possibly in the cases where, up to a permutation of the $a_i$, $(a_0, a_1, a_2, a_3) \in \{(2,3,4,12), (2,3,5,30)\}$.
\item We summarize the list of 3-dimensional Pham-Brieskorn rings $B_{a_0, a_1, a_2, a_3}$ for which rigidity is known. It follows in particular that if $B_{2,3,4,12}$ and $B_{2,3,5,30}$ are rigid then the $n = 3$ case of the above conjecture is true.
\end{enumerate}
In addition to the above, we develop techniques for proving rigidity of rings in general; prove rigidity of many Pham-Brieskorn rings whose dimension is greater than 3; give simple examples of rational projective surfaces with quotient singularities that have an ample canonical divisor and prove that the members of a certain family of singular hypersurfaces are not rational.
|
35 |
Resolutions mod I, Golod pairsGokhale, Dhananjay R. 20 September 2005 (has links)
Let <i>R</i> be a commutative ring, <i>I</i> be an ideal in <i>R</i> and let <i>M</i> be a <i>R/ I</i> -module. In this thesis we construct a <i>R/ I</i> -projective resolution of <i>M</i> using given <i>R</i>-projective resolutions of <i>M</i> and <i>I</i>. As immediate consequences of our construction we give descriptions of the canonical maps Ext<sub>R/I</sub><i>(M,N)</i> -> Ext<sub>R</sub><i>(M,N)</i> and Tor<sup>R</sup><sub>N</sub><i>(M, N)</i> -> Tor<sup>R/I</sup><sub>n</sub><i>(M, N)</i> for a <i>R/I</i> module <i>N</i> and we give a new proof of a theorem of Gulliksen [6] which states that if <i>I</i> is generated by a regular sequence of length r then ∐∞<sub>n=o</sub> Tor<sup>R/I</sup><sub>n</sub> <i>(M, N)</i> is a graded module over the polynomial ring </i>R/ I</i> [X₁. .. X<sub>r</sub>] with deg X<sub>i</sub> = -2, 1 ≤ i ≤ r. If <i>I</i> is generated by a regular element and if the <i>R</i>-projective dimension of <i>M</i> is finite, we show that <i>M</i> has a <i>R/ I</i>-projective resolution which is eventually periodic of period two.
This generalizes a result of Eisenbud [3]. In the case when <i>R</i> = (<i>R</i>, m) is a Noetherian local ring and <i>M</i> is a finitely generated <i>R/ I</i> -module, we discuss the minimality of the constructed resolution. If it is minimal we call (<i>M, I</i>) a Golod pair over <i>R</i>. We give a direct proof of a theorem of Levin [10] which states thdt if (<i>M,I</i>) is a Golod pair over <i>R</i> then (Ω<sup>n</sup><sub>R/I</sub>R/I(M),I) is a Golod pair over <i>R</i> where Ω<sup>n</sup><sub>R/I</sub>R/I(M) is the nth syzygy of the constructed <i>R/ I</i> -projective resolution of <i>M</i>. We show that the converse of the last theorem is not true and if (Ω¹<sub>R/I</sub>R/I(M),I) is a Golod pair over <i>R</i> then we give a necessary and sufficient condition for (<i>M, I</i>) to be a Golod pair over <i>R</i>.
Finally we prove that if (<i>M, I</i>) is a Golod pair over <i>R</i> and if a ∈ <i>I</i> - m<i>I</i> is a regular element in </i>R</i> then (<i>M</i>, (a)) and (1/(a), (a)) are Golod pairs over <i>R</i> and (<i>M,I</i>/(a)) is a Golod pair over <i>R</i>/(a). As a corrolary of this result we show that if the natural map π : <i>R</i> → <i>R/1</i> is a Golod homomorphism ( this means (<i>R</i>/m, <i>I</i>) is a Golod pair over <i>R</i> ,Levin [8]), then the natural maps π₁ : <i>R</i> → <i>R</i>/(a) and π₂ : <i>R</i>/(a) → <i>R/1</i> are Golod homomorphisms. / Ph. D.
|
36 |
Sheaf theoretic methods in modular representation theoryMautner, Carl Irving 05 October 2010 (has links)
This thesis concerns the use of perverse sheaves with coefficients in commutative rings and in particular, fields of positive characteristic, in the study of modular representation theory. We begin by giving a new geometric interpretation of classical connections between the representation theory of the general linear groups and symmetric groups. We then survey work, joint with D. Juteau and G. Williamson, in which we construct a class of objects, called parity sheaves. These objects share many properties with the intersection cohomology complexes in characteristic zero, including a decomposition theorem and a close relation to representation theory. The final part of this document consists of two computations of IC stalks in the nilpotent cones of sl₃and sl₄. These computations build upon our calculations in sections 3.5 and 3.6 of (31), but utilize slightly more sophisticated techniques and allow us to compute the stalks in the remaining characteristics. / text
|
37 |
Maximally Prüfer ringsUnknown Date (has links)
In this dissertation, we consider six Prufer-like conditions on acommutative ring R. These conditions form a hierarchy. Being a Prufer ring is not a local property: a Prufer ring may not remain a Prufer ring when localized at a prime or maximal ideal. We introduce a seventh condition based on this fact and extend the hierarchy. All the conditions of the hierarchy become equivalent in the case of a domain, namely a Prufer domain. We also seek the relationship of the hierarchy with strong Prufer rings. / Includes bibliography. / Dissertation (Ph.D.)--Florida Atlantic University, 2015 / FAU Electronic Theses and Dissertations Collection
|
38 |
Finite Posets as Prime Spectra of Commutative Noetherian RingsAlkass, David January 2024 (has links)
We study partially ordered sets of prime ideals as found in commutative Noetherian rings. These structures, commonly known as prime spectra, have long been a popular topic in the field of commutative algebra. As a consequence, there are many related questions that remain unanswered. Among them is the question of what partially ordered sets appear as Spec(A) of some Noetherian ring A, asked by Kaplansky during the 1950's. As a partial case of Kaplansky's question, we consider finite posets that are ring spectra of commutative Noetherian rings. Specifically, we show that finite spectra of such rings are always order-isomorphic to a bipartite graph. However, the most significant undertaking of this study is that of devising a constructive methodology for finding a ring with prime spectrum that is order-isomorphic to an arbitrary bipartite graph. As a result, we prove that any complete bipartite graph is order-isomorphic to the prime spectrum of some ring of essentially finite type over the field of rational numbers. Moreover, a series of potential generalizations and extensions are proposed to further enhance the constructive methodology. Ultimately, the results of this study constitute an original contribution and perspective on questions related to commutative ring spectra.
|
39 |
Frames of ideals of commutative f-ringsSithole, Maria Lindiwe 09 1900 (has links)
In his study of spectra of f-rings via pointfree topology, Banaschewski [6] considers lattices of l-ideals, radical l-ideals, and saturated l-ideals of a given f-ring A. In each case he shows that the lattice of each of these kinds of ideals is a coherent frame. This means that it is compact, generated by its compact elements, and the meet of any two compact elements is compact. This will form the basis of our main goal to show that the lattice-ordered rings studied in [6] are coherent frames. We conclude the dissertation by revisiting the d-elements of Mart nez and Zenk [30], and characterise them analogously to d-ideals in commutative rings. We extend these characterisa-tions to algebraic frames with FIP. Of necessity, this will require that we reappraise a great deal of Banaschewski's work on pointfree spectra, and that of Mart nez and Zenk on algebraic frames. / Mathematical Sciences / M. Sc. (Mathematics)
|
40 |
Markov Bases for Noncommutative Harmonic Analysis of Partially Ranked DataJohnston, Ann 01 May 2011 (has links)
Given the result $v_0$ of a survey and a nested collection of summary statistics that could be used to describe that result, it is natural to ask which of these summary statistics best describe $v_0$. In 1998 Diaconis and Sturmfels presented an approach for determining the conditional significance of a higher order statistic, after sampling a space conditioned on the value of a lower order statistic. Their approach involves the computation of a Markov basis, followed by the use of a Markov process with stationary hypergeometric distribution to generate a sample.This technique for data analysis has become an accepted tool of algebraic statistics, particularly for the study of fully ranked data. In this thesis, we explore the extension of this technique for data analysis to the study of partially ranked data, focusing on data from surveys in which participants are asked to identify their top $k$ choices of $n$ items. Before we move on to our own data analysis, though, we present a thorough discussion of the Diaconis–Sturmfels algorithm and its use in data analysis. In this discussion, we attempt to collect together all of the background on Markov bases, Markov proceses, Gröbner bases, implicitization theory, and elimination theory, that is necessary for a full understanding of this approach to data analysis.
|
Page generated in 0.0898 seconds