Fuglede's conjecture holds in $\mathbb{Z}_{p}\times\mathbb{Z}_{p^{n}}$

TL;DR

This paper proves Fuglede's conjecture for the specific finite abelian group rac{p}{p^{n}} by establishing a divisibility property and using equi-distributed properties, confirming the conjecture in this setting.

Contribution

The paper introduces a divisibility property and applies it along with equi-distributed properties to prove Fuglede's conjecture in rac{p}{p^{n}}.

Findings

Fuglede's conjecture holds in rac{p}{p^{n}}.

Established a divisibility property for sets in rac{p}{p^{n}}.

Used equi-distributed properties to support the proof.

Abstract

Fuglede's conjecture states that for a subset $\Omega$ of a locally compact abelian group $G$ with positive and finite Haar measure, there exists a subset of the dual group of $G$ which is an orthogonal basis of $L^{2}(\Omega)$ if and only if it tiles the group by translation. In this paper, we prove a divisibility property for a set in $\mathbb{Z}_{p}\times\mathbb{Z}_{p^{n}}$. Then using the divisibility property and equi-distributed property, we prove that Fuglede's conjecture holds in the group $\mathbb{Z}_{p}\times\mathbb{Z}_{p^{n}}$.