IDEAL CHAINS IN RESIDUALLY FINITE DEDEKIND DOMAINS

2018 ◽  
Vol 99 (1) ◽  
pp. 56-67 ◽  
Author(s):  
YU-JIE WANG ◽  
YI-JING HU ◽  
CHUN-GANG JI
Keyword(s):  
Dedekind Domain ◽  
Nonzero Ideal ◽  
Counting Problems ◽  
Residually Finite ◽  
Dedekind Domains ◽  
The Ideal

Let $\mathfrak{D}$ be a residually finite Dedekind domain and let $\mathfrak{n}$ be a nonzero ideal of $\mathfrak{D}$. We consider counting problems for the ideal chains in $\mathfrak{D}/\mathfrak{n}$. By using the Cauchy–Frobenius–Burnside lemma, we also obtain some further extensions of Menon’s identity.

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.

Almost Multiplication Rings

1965 ◽  
Vol 17 ◽  
pp. 267-277 ◽  
Author(s):  
H. S. Butts ◽  
R. C. Phillips
Keyword(s):  
Prime Ideal ◽  
Commutative Ring ◽  
Sufficient Conditions ◽  
Unit Element ◽  
Ideal Theory ◽  
Dedekind Domain ◽  
Necessary And Sufficient Conditions ◽  
Dedekind Domains ◽  
Necessary And Sufficient ◽  
The Ideal

It is well known that an idealAin a. Dedekind domain has a prime radical if and only ifAis a power of a prime ideal. The purpose of this paper is to determine necessary and sufficient conditions in order that a commutative ring with unit element have this property and to study the ideal theory in such rings. Domains with unit element having the above property possess many of the characteristics of Dedekind domains (however, they need not be Noetherian) and will be referred to in this paper as "almost Dedekind domains"—these domains are considered in Section 1.

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.

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.

scholarly journals Centralizer near-rings that are rings

1995 ◽  
Vol 59 (2) ◽  
pp. 173-183 ◽  
Author(s):  
Jutta Hausen ◽  
Johnny A. Johnson
Keyword(s):  
Endomorphism Ring ◽  
Sufficient Conditions ◽  
Dedekind Domain ◽  
Prime Spectrum ◽  
Dedekind Domains ◽  
Composition Of Functions

AbstractGiven an R-module M, the centralizer near-ring ℳR (M) is the set of all functions f: M → M with f(xr)= f(x)r for all x ∈ M and r∈R endowed with point-wise addition and composition of functions as multiplication. In general, ℳR(M) is not a ring but is a near-ring containing the endomorphism ring ER(M) of M. Necessary and/or sufficient conditions are derived for ℳR(M) to be a ring. For the case that R is a Dedekind domain, the R-modules M are characterized for which (i) ℳR(M) is a ring; and (ii)ℳR(M) = ER(M). It is shown that over Dedekind domains with finite prime spectrum properties (i) and (ii) are equivalent.

Arithmetic modules over generalized Dedekind domains

2020 ◽  
pp. 2250045
Author(s):  
Indah Emilia Wijayanti ◽  
Hidetoshi Marubayashi ◽  
Iwan Ernanto ◽  
Sutopo
Keyword(s):  
Free Module ◽  
Dedekind Domain ◽  
Finitely Generated ◽  
Multiplication Module ◽  
Dedekind Domains ◽  
Torsion Free Module ◽  
Polynomial Module ◽  
Torsion Free

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.

scholarly journals Chevalley groups of polynomial rings over Dedekind domains

2020 ◽  
Vol 23 (1) ◽  
pp. 121-132 ◽  
Author(s):  
Anastasia Stavrova
Keyword(s):  
Reductive Group ◽  
Group Scheme ◽  
Dedekind Domain ◽  
Polynomial Rings ◽  
Higher Dimension ◽  
Orthogonal Groups ◽  
Chevalley Groups ◽  
Dedekind Domains ◽  
Regular Rings

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

scholarly journals SKEW CATEGORY ALGEBRAS ASSOCIATED WITH PARTIALLY DEFINED DYNAMICAL SYSTEMS

2012 ◽  
Vol 23 (04) ◽  
pp. 1250040 ◽  
Author(s):  
PATRIK LUNDSTRÖM ◽  
JOHAN ÖINERT
Keyword(s):  
Dynamical Systems ◽  
Topological Space ◽  
Large Class ◽  
Additive Group ◽  
Nonzero Ideal ◽  
Intersection Property ◽  
The Other ◽  
The One ◽  
Category Algebras ◽  
The Ideal

We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor s from a category G to Topop and show that it defines what we call a skew category algebra A ⋊σ G. We study the connection between topological freeness of s and, on the one hand, ideal properties of A ⋊σ G and, on the other hand, maximal commutativity of A in A ⋊σ G. In particular, we show that if G is a groupoid and for each e ∈ ob (G) the group of all morphisms e → e is countable and the topological space s(e) is Tychonoff and Baire. Then the following assertions are equivalent: (i) s is topologically free; (ii) A has the ideal intersection property, i.e. if I is a nonzero ideal of A ⋊σ G, then I ∩ A ≠ {0}; (iii) the ring A is a maximal abelian complex subalgebra of A ⋊σ G. Thereby, we generalize a result by Svensson, Silvestrov and de Jeu from the additive group of integers to a large class of groupoids.

Sign in / Sign up

Export Citation Format

Share Document