Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userPrime Ideals of q-Commutative Power Series Rings
315
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We study the q-commutative power series ring R:=k_q[[x_1,...,x_n]], defined by the relations x_ix_j = q_{ij}x_j x_i, for multiplicatively antisymmetric scalars q_{ij} in a field k. Our results provide a detailed account of prime ideal structure for a class of noncommutative, complete, local, noetherian domains having arbitrarily high (but finite) Krull, global, and classical Krull dimension. In particular, we prove that the prime spectrum of R is normally separated and is finitely stratified by commutative noetherian spectra. Combining this normal separation with results of Chan, Wu, Yekutieli, and Zhang, we are able to conclude that R is catenary. Following the approach of Brown and Goodearl, we also show that links between prime ideals are provided by canonical automorphisms. Moreover, for sufficiently generic q_{ij}, we find that R has only finitely many prime ideals and is a UFD (in the sense of Chatters).
rate research
Read More
We continue the first and second authors study of $q$-commutative power series rings $R=k_q[[x_1,ldots,x_n]]$ and Laurent series rings $L=k_q[[x^{pm 1}_1,ldots,x^{pm 1}_n]]$, specializing to the case in which the commutation parameters $q_{ij}$ are all roots of unity. In this setting, $R$ is a PI algebra, and we can apply results of De Concini, Kac, and Procesi to show that $L$ is an Azumaya algebra whose degree can be inferred from the $q_{ij}$. Our main result establishes an exact criterion (dependent on the $q_{ij}$) for determining when the centers of $L$ and $R$ are commutative Laurent series and commutative power series rings, respectively. In the event this criterion is satisfied, it follows that $L$ is a unique factorization ring in the sense of Chatters and Jordan, and it further follows, by results of Dumas, Launois, Lenagan, and Rigal, that $R$ is a unique factorization ring. We thus produce new examples of complete, local, noetherian, noncommutative, unique factorization rings (that are PI domains).
We study prime ideals in skew power series rings $T:=R[[y;tau,delta]]$, for suitably conditioned right noetherian complete semilocal rings $R$, automorphisms $tau$ of $R$, and $tau$-derivations $delta$ of $R$. These rings were introduced by Venjakob, motivated by issues in noncommutative Iwasawa theory. Our main results concern Cutting Down and Lying Over. In particular, under the additional assumption that $delta = tau - id$ (a basic feature of the Iwasawa-theoretic context), we prove: If $I$ is an ideal of $R$, then there exists a prime ideal $P$ of $S$ contracting to $I$ if and only if $I$ is a $delta$-stable $tau$-prime ideal of $R$. Our approach essentially depends on two key ingredients: First, the algebras considered are zariskian (in the sense of Li and Van Oystaeyen), and so the ideals are all topologically closed. Second, topological arguments can be used to apply previous results of Goodearl and the author on skew polynomial rings.
Let $R$ be a commutative ring with identity. In this paper, we introduce the concept of weakly $1$-absorbing prime ideals which is a generalization of weakly prime ideals. A proper ideal $I$ of $R$ is called weakly $1$-absorbing prime if for all nonunit elements $a,b,c in R$ such that $0 eq abc in I$, then either $ab in I$ or $c in I$. A number of results concerning weakly $1$-absorbing prime ideals and examples of weakly $1$-absorbing prime ideals are given. It is proved that if $I$ is a weakly $1$-absorbing prime ideal of a ring $R$ and $0 eq I_1I_2I_3 subseteq I$ for some ideals $I_1, I_2, I_3$ of $R$ such that $I$ is free triple-zero with respect to $I_1I_2I_3$, then $ I_1I_2 subseteq I$ or $I_3subseteq I$. Among other things, it is shown that if $I$ is a weakly $1$-absorbing prime ideal of $R$ that is not $1$-absorbing prime, then $I^3 = 0$. Moreover, weakly $1$-absorbing prime ideals of PIDs and Dedekind domains are characterized. Finally, we investigate commutative rings with the property that all proper ideals are weakly $1$-absorbing primes.
A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp. quasi-projective) is given. It is also proven that each commutative ring R whose finitely generated ideals are quasi-flat is of $lambda$-dimension $le$ 3, and this dimension $le$ 2 if R is local. This extends a former result about the class of arithmetical rings. Moreover, if R has a unique minimal prime ideal then its finitely generated ideals are quasi-projective if they are quasi-flat. In [1] Abuhlail, Jarrar and Kabbaj studied the class of commutative fqp-rings (finitely generated ideals are quasi-projective). They proved that this class of rings strictly contains the one of arithmetical rings and is strictly contained in the one of Gaussian rings. It is also shown that the property for a commutative ring to be fqp is preserved by localization. It is known that a commutative ring R is arithmetical (resp. Gaussian) if and only if R M is arithmetical (resp. Gaussian) for each maximal ideal M of R. But an example given in [6] shows that a commutative ring which is a locally fqp-ring is not necessarily a fqp-ring. So, in this cited paper the class of fqf-rings is introduced. Each local commutative fqf-ring is a fqp-ring, and a commutative ring is fqf if and only if it is locally fqf. These fqf-rings are defined in [6] without a definition of quasi-flat modules. Here we propose a definition of these modules and another definition of fqf-ring which is equivalent to the one given in [6]. We also introduce the module property of self-flatness. Each quasi-flat module is self-flat but we do not know if the converse holds. On the other hand, each flat module is quasi-flat and any finitely generated module is quasi-flat if and only if it is flat modulo its annihilator. In Section 2 we give a complete characterization of local commutative rings for which each ideal is self-flat. These rings R are fqp and their nilradical N is the subset of zerodivisors of R. In the case where R is not a chain ring for which N = N 2 and R N is not coherent every ideal is flat modulo its annihilator. Then in Section 3 we deduce that any ideal of a chain ring (valuation ring) R is quasi-projective if and only if it is almost maximal and each zerodivisor is nilpotent. This complete the results obtained by Hermann in [11] on valuation domains. In Section 4 we show that each commutative fqf-ring is of $lambda$-dimension $le$ 3. This extends the result about arithmetical rings obtained in [4]. Moreover it is shown that this $lambda$-dimension is $le$ 2 in the local case. But an example of a local Gaussian ring R of $lambda$-dimension $ge$ 3 is given.
An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
