Primitive divisors of sequences associated to elliptic curves with complex multiplication

Let 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.

$$v_c$$-Noetherian domains and Krull domains

Let 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.

Arithmetic modules over generalized Dedekind domains

Let [Formula: see text] be a finitely generated torsion-free module over a generalized Dedekind domain [Formula: see text]. It is shown that if [Formula: see text] is a projective [Formula: see text]-module, then it is a generalized Dedekind module and [Formula: see text]-multiplication module. In case [Formula: see text] is Noetherian it is shown that [Formula: see text] is either a generalized Dedekind module or a Krull module. Furthermore, the polynomial module [Formula: see text] is a generalized Dedekind [Formula: see text]-module (a Krull [Formula: see text]-module) if [Formula: see text] is a generalized Dedekind module (a Krull module), respectively.

D3-MODULES VERSUS D4-MODULES – APPLICATIONS TO QUIVERS

A module M is called a D4-module if, whenever A and B are submodules of M with M = A ⊕ B and f : A → B is a homomorphism with Imf a direct summand of B, then Kerf is a direct summand of A. The class of D4-modules contains the class of D3-modules, and hence the class of semi-projective modules, and so the class of Rickart modules. In this paper we prove that, over a commutative Dedekind domain R, for an R-module M which is a direct sum of cyclic submodules, M is direct projective (equivalently, it is semi-projective) iff M is D3 iff M is D4. Also we prove that, over a prime PI-ring, for a divisible R-module X, X is direct projective (equivalently, it is Rickart) iff X ⊕ X is D4. We determine some D3-modules and D4-modules over a discrete valuation ring, as well. We give some relevant examples. We also provide several examples on D3-modules and D4-modules via quivers.

Divisibility Properties of the Semiring of Ideals of an Integral Domain

Let D be an integral domain, F+(D) (resp., f+(D)) be the set of nonzero (resp., nonzero finitely generated) ideals of D, R1 = f+(D) ∪ {(0)}, and R2 = F+(D) ∪ {(0)}. Then (Ri, ⊕, ⊗) for i = 1, 2 is a commutative semiring with identity under I ⊕ J = I + J and I ⊗ J = IJ for all I, J ∈ Ri. In this paper, among other things, we show that D is a Prüfer domain if and only if every ideal of R1 is a k-ideal if and only if R1 is Gaussian. We also show that D is a Dedekind domain if and only if R2 is a unique factorization semidomain if and only if R2 is a principal ideal semidomain. These results are proved in a more general setting of star operations on D.

Integral Domains Whose w-Integral Closures Are Krull Domains

Let D be an integral domain with quotient field K, [Formula: see text] be the integral closure of D in K, and D[w] be the w-integral closure of D in K; so [Formula: see text], and equality holds when D is Noetherian or dim(D) = 1. The Mori–Nagata theorem states that if D is Noetherian, then [Formula: see text] is a Krull domain; it has also been investigated when [Formula: see text] is a Dedekind domain. We study integral domains D such that D[w] is a Krull domain. We also provide an example of an integral domain D such that [Formula: see text], t-dim(D) = 1, [Formula: see text] is a Prüfer v-multiplication domain with t-dim([Formula: see text]) = 2, and D[w] is a UFD.

Chevalley groups of polynomial rings over Dedekind domains

Let R be a Dedekind domain and G a split reductive group, i.e. a Chevalley–Demazure group scheme, of rank {\geq 2}. We prove thatG(R[x_{1},\ldots,x_{n}])=G(R)E(R[x_{1},\ldots,x_{n}])\quad\text{for any}\ n% \geq 1.In particular, this extends to orthogonal groups the corresponding results of A. Suslin and F. Grunewald, J. Mennicke and L. Vaserstein for {G=\mathrm{SL}_{N},\mathrm{Sp}_{2N}}. We also deduce some corollaries of the above result for regular rings R of higher dimension and discrete Hodge algebras over R.

Quasi-strongly Gorenstein projective modules

In this paper, we introduce the class of quasi-strongly Gorenstein projective modules which is a particular subclass of the class of finitely generated Gorenstein projective modules. We also introduce and characterize quasi-strongly Gorenstein semihereditary rings. We call a quasi-strongly Gorenstein semihereditary domain a quasi-SG-Prüfer domain. A Noetherian quasi-SG-Prüfer domain is called a quasi-strongly Gorenstein Dedekind domain. Let [Formula: see text] be a field and [Formula: see text] be an indeterminate over [Formula: see text]. We prove that every ideal of the ring [Formula: see text] is strongly Gorenstein projective. We also show that every ideal of the ring [Formula: see text] (respectively, [Formula: see text]) is strongly Gorenstein projective. These domains are examples of quasi-strongly Gorenstein Dedekind domains.