A Dedekind domain with nontrivial class group

DOI10.1080/00029890.2018.1424429zbMATH Open1393.13038arXiv1612.02919OpenAlexW2963173117WikidataQ58120232 ScholiaQ58120232MaRDI QIDQ4577016FDOQ4577016

Authors: Vaibhav Pandey, Sagar Shrivastava, Balasubramanian Sury 

Publication date: 11 July 2018

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Abstract: Analytic properties of function spaces over the real and the complex fields are different in some ways. This reflects in algebraic properties which are different at times and similar in some other respects. For instance, the ring of real-valued continuous functions on a closed interval like $[0,1]$ behaves similarly to the corresponding ring of complex-valued functions; they depend only on the topology of $[0,1]$. The ring $mathbfR[X,Y]/(X^2+Y^2-1)$ of real-valued polynomial functions on the unit circle is not a unique factorization domain - witness the equation ${\displaystyle }$cos^2(t) = (1+ sin(t))(1- sin(t)).${\displaystyle }$ On the other hand, the ring $mathbfC[X,Y]/(X^2+Y^2-1)congmathbfC[X+iY,1/(X+iY)]$ is a principal ideal domain. Again, the rings of convergent power series (over either of these fields) with radius of convergence larger than some number $ho$ is a Euclidean domain (and hence, a principal ideal domain) - this can be seen by using for a Euclidean "norm" function, the function which counts zeroes (with multiplicity) in the disc $|z|leqho$. In this note, we consider the rings $C_{an}(S^1;mathbfR)$ of real-analytic functions on the unit circle $mathit{S}^1$ which are real-valued and the corresponding ring $C_{an}(S^1;mathbfC)$ of analytic functions that are complex-valued. We will see that the latter is a principal ideal domain while the former is a Dedekind domain which is not a principal ideal domain - the class group having order $2$.

Full work available at URL: https://arxiv.org/abs/1612.02919

Recommendations

• A note on Dedekind non-\(D\)-rings
• Radicals of principal ideals and the class group of a Dedekind domain
• Polynomial Dedekind domains with finite residue fields of prime characteristic
• On rings without a certain divisibility property
• Group rings over Dedekind rings

zbMATH Keywords

circleclass numberDedekind domainanalytic functionprincipal ideal domain

Mathematics Subject Classification ID

Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Cites Work

• Some curiosities of rings of analytic functions
• A Characterization of Algebraic Number Fields with Class Number Two
• Every Abelian group is a class group

Cited In (2)

• A note on Dedekind non-\(D\)-rings
• Title not available (Why is that?)

This page was built for publication: A Dedekind domain with nontrivial class group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577016)