ترغب بنشر مسار تعليمي؟ اضغط هنا

A quick route to unique factorization in quadratic orders

67   0   0.0 ( 0 )
 نشر من قبل Paul Pollack
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.



قيم البحث

اقرأ أيضاً

Let $D$ be an integral domain. A nonzero nonunit $a$ of $D$ is called a valuation element if there is a valuation overring $V$ of $D$ such that $aVcap D=aD$. We say that $D$ is a valuation factorization domain (VFD) if each nonzero nonunit of $D$ can be written as a finite product of valuation elements. In this paper, we study some ring-theoretic properties of VFDs. Among other things, we show that (i) a VFD $D$ is Schreier, and hence ${rm Cl}_t(D)={0}$, (ii) if $D$ is a P$v$MD, then $D$ is a VFD if and only if $D$ is a weakly Matlis GCD-domain, if and only if $D[X]$, the polynomial ring over $D$, is a VFD and (iii) a VFD $D$ is a weakly factorial GCD-domain if and only if $D$ is archimedean. We also study a unique factorization property of VFDs.
124 - Qun Li , Jiangwei Xue , Chia-Fu Yu 2018
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes (resp. unit groups of maximal orders). For each finite noncyclic group $G$, we give an explicit formula for the number of conjugacy classes of maximal orders whose unit groups modulo center are isomorphic to $G$, and write down a representative for each conjugacy class. This leads to a complete recipe (even explicit formulas in special cases) for the refined class number formula for all finite groups. As an application, we prove the existence of superspecial abelian surfaces whose endomorphism algebras coincide with $mathbb{Q}(sqrt{p})$ in all positive characteristic $p otequiv 1pmod{24}$.
In this paper, we explicitly construct harmonic Maass forms that map to the weight one theta series associated by Hecke to odd ray class group characters of real quadratic fields. From this construction, we give precise arithmetic information contain ed in the Fourier coefficients of the holomorphic part of the harmonic Maass form, establishing the main part of a conjecture of the second author.
308 - Thomas R. Shemanske 2008
As part of his work to develop an explicit trace formula for Hecke operators on congruence subgroups of $SL_2(Z)$, Hijikata defines and characterizes the notion of a split order in $M_2(k)$, where $k$ is a local field. In this paper, we generalize th e notion of a split order to $M_n(k)$ for $n>2$ and give a natural geometric characterization in terms of the affine building for $SL_n(k)$. In particular, we show that there is a one-to-one correspondence between split orders in $M_n(k)$ and a collection of convex polytopes in apartments of the building such that the split order is the intersection of all the maximal orders representing the vertices in the polytope. This generalizes the geometric interpretation in the $n=2$ case in which split orders correspond to geodesics in the tree for $SL_2(k)$ with the split order given as the intersection of the endpoints of the geodesic.
104 - Martijn de Vries 2006
It was discovered some years ago that there exist non-integer real numbers $q>1$ for which only one sequence $(c_i)$ of integers $c_i in [0,q)$ satisfies the equality $sum_{i=1}^infty c_iq^{-i}=1$. The set of such univoque numbers has a rich topologi cal structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approximation. In this paper we consider for each fixed $q>1$ the set $mathcal{U}_q$ of real numbers $x$ having a unique representation of the form $sum_{i=1}^infty c_iq^{-i}=x$ with integers $c_i$ belonging to $[0,q)$. We carry out a detailed topological study of these sets. For instance, we characterize their closures, and we determine those bases $q$ for which $mathcal{U}_q$ is closed or even a Cantor set. We also study the set $mathcal{U}_q$ consisting of all sequences $(c_i)$ of integers $c_i in [0,q)$ such that $sum_{i=1}^{infty} c_i q^{-i} in mathcal{U}_q$. We determine the numbers $r >1$ for which the map $q mapsto mathcal{U}_q$ (defined on $(1, infty)$) is constant in a neighborhood of $r$ and the numbers $q >1$ for which $mathcal{U}_q$ is a subshift or a subshift of finite type.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا