Bhargava rings that are Prüfer v-multiplication domains

2019 ◽  
Vol 19 (05) ◽  
pp. 2050098
Author(s):  
Mi Hee Park ◽  
Francesca Tartarone
Keyword(s):  
Dedekind Domain ◽  
Valuation Domain

We study the P[Formula: see text]MD property of Bhargava rings [Formula: see text]. In particular, we explore the cases in which [Formula: see text] is a valuation domain, a Krull-type domain, or an almost Dedekind domain.

scholarly journals Nonsingular bilinear forms on direct sums of ideals

2013 ◽  
Vol 63 (4) ◽  
Author(s):  
Beata Rothkegel
Keyword(s):  
Bilinear Form ◽  
Dedekind Domain ◽  
Bilinear Forms ◽  
Direct Sums ◽  
Direct Sum

AbstractIn the paper we formulate a criterion for the nonsingularity of a bilinear form on a direct sum of finitely many invertible ideals of a domain. We classify these forms up to isometry and, in the case of a Dedekind domain, up to similarity.

scholarly journals Primitive divisors of sequences associated to elliptic curves with complex multiplication

2021 ◽  
Vol 7 (2) ◽  
Author(s):  
Matteo Verzobio
Keyword(s):  
Elliptic Curve ◽  
Elliptic Curves ◽  
Number Field ◽  
Complex Multiplication ◽  
Dedekind Domain ◽  
Torsion Point ◽  
Integral Ideal ◽  
Primitive Divisors ◽  
Primitive Divisor ◽  
The Ideal

AbstractLet P and Q be two points on an elliptic curve defined over a number field K. For $$\alpha \in {\text {End}}(E)$$ α ∈ End ( E ) , define $$B_\alpha $$ B α to be the $$\mathcal {O}_K$$ O K -integral ideal generated by the denominator of $$x(\alpha (P)+Q)$$ x ( α ( P ) + Q ) . Let $$\mathcal {O}$$ O be a subring of $${\text {End}}(E)$$ End ( E ) , that is a Dedekind domain. We will study the sequence $$\{B_\alpha \}_{\alpha \in \mathcal {O}}$$ { B α } α ∈ O . We will show that, for all but finitely many $$\alpha \in \mathcal {O}$$ α ∈ O , the ideal $$B_\alpha $$ B α has a primitive divisor when P is a non-torsion point and there exist two endomorphisms $$g\ne 0$$ g ≠ 0 and f so that $$f(P)= g(Q)$$ f ( P ) = g ( Q ) . This is a generalization of previous results on elliptic divisibility sequences.

scholarly journals $$v_c$$-Noetherian domains and Krull domains

2021 ◽  
Author(s):  
Gyu Whan Chang
Keyword(s):  
Dedekind Domain ◽  
Closed Domain ◽  
One Dimensional ◽  
Star Operation ◽  
Krull Domain ◽  
Noetherian Domain ◽  
Integrally Closed ◽  
Krull Domains

AbstractLet D be an integrally closed domain, $$\{V_{\alpha }\}$$ { V α } be the set of t-linked valuation overrings of D, and $$v_c$$ v c be the star operation on D defined by $$I^{v_c} = \bigcap _{\alpha } IV_{\alpha }$$ I v c = ⋂ α I V α for all nonzero fractional ideals I of D. In this paper, among other things, we prove that D is a $$v_c$$ v c -Noetherian domain if and only if D is a Krull domain, if and only if $$v_c = v$$ v c = v and every prime t-ideal of D is a maximal t-ideal. As a corollary, we have that if D is one-dimensional, then $$v_c = v$$ v c = v if and only if D is a Dedekind domain.

Relative characters for H-projective RG-lattices

1988 ◽  
Vol 104 (2) ◽  
pp. 207-213 ◽  
Author(s):  
Peter Symonds
Keyword(s):  
Representation Theory ◽  
Direct Summand ◽  
Modular Representation ◽  
Dedekind Domain ◽  
Modular Representation Theory ◽  
Trivial Group ◽  
Ordinary Character ◽  
Projective Lattices

If G is a group with a subgroup H and R is a Dedekind domain, then an H-projective RG-lattice is an RG-lattice that is a direct summand of an induced lattice for some RH-lattice N: they have been studied extensively in the context of modular representation theory. If H is the trivial group these are the projective lattices. We define a relative character χG/H on H-projective lattices, which in the case H = 1 is equivalent to the Hattori–Stallings trace for projective lattices (see [5, 8]), and in the case H = G is the ordinary character. These characters can be used to show that the R-ranks of certain H-projective lattices must be divisible by some specified number, generalizing some well-known results: cf. Corollary 3·6. If for example we take R = ℤ, then |G/H| divides the ℤ-rank of any H-projective ℤG-lattice.

scholarly journals On a generalization of prime submodules of a module over a commutative ring

2017 ◽  
Vol 37 (1) ◽  
pp. 153-168
Author(s):  
Hosein Fazaeli Moghimi ◽  
Batool Zarei Jalal Abadi
Keyword(s):  
Commutative Ring ◽  
Dedekind Domain ◽  
Finitely Generated ◽  
Multiplication Module ◽  
Maximal Ideals ◽  
Prime Submodules ◽  
Prime Submodule

‎Let $R$ be a commutative ring with identity‎, ‎and $n\geq 1$ an integer‎. ‎A proper submodule $N$ of an $R$-module $M$ is called‎ ‎an $n$-prime submodule if whenever $a_1 \cdots a_{n+1}m\in N$ for some non-units $a_1‎, ‎\ldots‎ , ‎a_{n+1}\in R$ and $m\in M$‎, ‎then $m\in N$ or there are $n$ of the $a_i$'s whose product is in $(N:M)$‎. ‎In this paper‎, ‎we study $n$-prime submodules as a generalization of prime submodules‎. ‎Among other results‎, ‎it is shown that if $M$ is a finitely generated faithful multiplication module over a Dedekind domain $R$‎, ‎then every $n$-prime submodule of $M$ has the form $m_1\cdots m_t M$ for some maximal ideals $m_1,\ldots,m_t$ of $R$ with $1\leq t\leq n$‎.

scholarly journals Divisors in a Dedekind domain

1998 ◽  
Vol 85 (3) ◽  
pp. 229-233 ◽  
Author(s):  
Javier Cilleruelo ◽  
Jorge Jiménez-Urroz
Keyword(s):  
Dedekind Domain

scholarly journals Universal mapping properties of some pseudovaluation domains and related quasilocal domains

2006 ◽  
Vol 2006 ◽  
pp. 1-12
Author(s):  
Ahmed Ayache ◽  
David E. Dobbs ◽  
Othman Echi
Keyword(s):  
Positive Integer ◽  
Field Condition ◽  
Ring Homomorphism ◽  
Valuation Domain ◽  
Integral Domains ◽  
Unital Ring ◽  
Local Homomorphism

If(R,M)and(S,N)are quasilocal (commutative integral) domains andf:R→Sis a (unital) ring homomorphism, thenfis said to be astrong local homomorphism(resp.,radical local homomorphism) iff(M)=N(resp.,f(M)⊆Nand for eachx∈N, there exists a positive integertsuch thatxt∈f(M)). It is known that iff:R→Sis a strong local homomorphism whereRis a pseudovaluation domain that is not a field andSis a valuation domain that is not a field, thenffactors via a unique strong local homomorphism through the inclusion mapiRfromRto its canonically associated valuation overring(M:M). Analogues of this result are obtained which delete the conditions thatRandSare not fields, thus obtaining new characterizations of wheniRis integral or radicial. Further analogues are obtained in which the “pseudovaluation domain that is not a field” condition is replaced by the APVDs of Badawi-Houston and the “strong local homomorphism” conditions are replaced by “radical local homomorphism.”

On Representations of Orders Over Dedekind Domains

1960 ◽  
Vol 12 ◽  
pp. 107-125 ◽  
Author(s):  
D. G. Higman
Keyword(s):  
Integral Domain ◽  
Homological Algebra ◽  
Dedekind Domain ◽  
Main Concern ◽  
Direct Sums ◽  
Dedekind Domains ◽  
The Ideal

We study representations of o-orders, that is, of o-regular -algebras, in the case that o is a Dedekind domain. Our main concern is with those -modules, called -representation modules, which are regular as o-modules. For any -module M we denote by D(M) the ideal consisting of the elements x ∈ o such that x.Ext1(M, N) = 0 for all -modules N, where Ext = Ext(,0) is the relative functor of Hochschild (5). To compute D(M) we need the small amount of homological algebra presented in § 1. In § 2 we show that the -representation modules with rational hulls isomorphic to direct sums of right ideal components of the rational hull A of , called principal-modules, are characterized by the property that D(M) ≠ 0. The (, o)-projective -modules are those with D(M) = 0. We observe that D(M) divides the ideal I() of (2) for every M , and give another proof of the fact that I() ≠ 0 if and only if A is separable. Up to this point, o can be taken to be an arbitrary integral domain.

Factoring Ideals into Semiprime Ideals

1978 ◽  
Vol 30 (6) ◽  
pp. 1313-1318 ◽  
Author(s):  
N. H. Vaughan ◽  
R. W. Yeagy
Keyword(s):  
Integral Domain ◽  
Dedekind Domain ◽  
Prime Ideals ◽  
Semiprime Ideal ◽  
Dedekind Domains

Let D be an integral domain with 1 ≠ 0 . We consider “property SP” in D, which is that every ideal is a product of semiprime ideals. (A semiprime ideal is equal to its radical.) It is natural to consider property SP after studying Dedekind domains, which involve factoring ideals into prime ideals. We prove that a domain D with property SP is almost Dedekind, and we give an example of a nonnoetherian almost Dedekind domain with property SP.

Sign in / Sign up

Export Citation Format

Share Document