On structures of the ring of arithmetical functions: prime ideals and beyond

Amartya Goswami,Danielle Kleyn,Kerry Porrill

2024-09-21

Abstract:The aim of these notes is to study some of the structural aspects of the ring of arithmetical functions. We prove that this ring is neither Noetherian nor Artinian. Furthermore, we construct various types of prime ideals. We also give an example of a semi-prime ideal that is not prime. We show that the ring of arithmetical functions has infinite Krull dimension.

Rings and Algebras

What problem does this paper attempt to address?

This paper aims to study some structural properties of the ring of arithmetic functions. Specifically, the authors explore the following main issues:

1. **Prove that the ring of arithmetic functions is neither a Noetherian ring nor an Artinian ring**:
- A Noetherian ring means that every ascending chain of ideals will eventually stabilize, and an Artinian ring means that every descending chain of ideals will eventually stabilize. By constructing infinite ascending and descending chains of ideals, the authors prove that the ring of arithmetic functions does not possess these two properties.

2. **Construct different types of prime ideals**:
- Prime ideals are a special type of ideals in a ring, which have important applications in algebraic geometry and commutative algebra. The authors not only construct multiple prime ideals but also specifically construct a principal prime ideal and a minimal prime ideal.

3. **Prove that the ring of arithmetic functions has an infinite Krull dimension**:
- The Krull dimension is an important indicator for measuring the complexity of a ring structure. By constructing an infinite ascending chain of prime ideals, the authors prove that the Krull dimension of the ring of arithmetic functions is infinite.

4. **Give an example of a semiprime ideal that is not a prime ideal**:
- A semiprime ideal is an ideal whose square is zero. The authors provide a specific example to show this special type of ideal.

In summary, this paper deeply explores the structural properties of the ring of arithmetic functions, especially regarding the construction of its ideals (especially prime ideals) and its dimension characteristics, revealing the complexity and non - triviality of this ring. These results provide an important theoretical basis for further research in the fields of number theory and algebra.

### Key formulas and definitions

- **Arithmetic function**: $f: \mathbb{N}^+=\mathbb{N}\setminus\{0\}\to\mathbb{C}$.
- **Möbius function**: $\mu(n)=\begin{cases}
1 & n = 1, \\
(-1)^k & a_1=\cdots=a_k = 1, \\
0 & \text{otherwise}.
\end{cases}$
- **Euler Totient function**: $\varphi(n)=n\prod_{p\mid n}\left(1-\frac{1}{p}\right)$.
- **Mangoldt function**: $\Lambda(n)=\begin{cases}
\log p & n = p^m \text{ for some prime } p \text{ and integer } m\geq1, \\
0 & \text{otherwise}.
\end{cases}$
- **Liouville function**: $\lambda(n)=\begin{cases}
1 & n = 1, \\
(-1)^{a_1+\cdots+a_k} & \text{otherwise}.
\end{cases}$
- **Ramanujan Tau function**: $\sum_{n = 1}^\infty\tau(n)x^n=x\prod_{j = 1}^\infty(1 - x^j)^{24}, \quad|x|<1$.
- **Dedekind Psi function**: $\psi(n)=n\prod_{p\mid n}\left(1+\frac{1}{p}\right)$.
- **Prime factor function**: $\Omega(n)=a_1+\cdots+a_k$.
- **Distinct prime factor function**: $\zeta(n)=k$.
- **p - adic valuation**: $\nu_p=\max\{k\in\mathbb{N}\mid p^k\mid n\}$.

Through the introduction of these definitions and formulas, the authors analyze the structure of the ring of arithmetic functions in detail and draw the above conclusions.