Abstract:In this paper we count the number of k-potent elements over HZp , the quaternion algebra over Zp, and we give a descriptive formula for the general case. For k in {3, 4, 5}, we give an explicit formula for these values. Moreover, as an application, we count the number of solutions of the equation xk = 1 over HZp .
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the number of k - idempotent elements in the quaternion algebra \(H\mathbb{Z}_p\) over the finite field \(\mathbb{Z}_p\) and give a descriptive formula in the general case. Specifically:
1. **Definition and Background**:
- The quaternion algebra \(H\mathbb{Z}_p\) is based on the finite field \(\mathbb{Z}_p\), where \(p\) is an odd prime number.
- An element \(x\) in the ring \(R\) is called k - idempotent (k - potent) if \(k\) is the smallest positive integer such that \(x^k = x\).
2. **Main Problem**:
- Calculate the number of k - idempotent elements in \(H\mathbb{Z}_p\), denoted as \(I_p(k)\).
- For \(k\in\{3, 4, 5\}\), give explicit formulas to calculate these values.
3. **Application**:
- As an application, calculate the number of solutions of the equation \(x^k = 1\) in \(H\mathbb{Z}_p\).
### Specific Content
#### 1. Tripotent Elements
For \(k = 3\), that is, tripotent elements:
\[I_p(3)=2p^2 + 2p + 1\]
#### 2. 4 - Potent Elements
For \(k = 4\), that is, 4 - potent elements:
\[I_p(4)=\Theta_p(4)(p^2 + p + 1)+\Upsilon_p(4)N_4\]
where:
- \(\Theta_p(4)\) represents the number of elements of order 3 in \(\mathbb{Z}_p^*\).
- \(\Upsilon_p(4)\) represents the number of solutions of the equation \(t_x^3=- 1\) in \(\mathbb{Z}_p\).
- \(N_4\) represents the number of solutions of the equation under specific conditions.
#### 3. 5 - Potent Elements
For \(k = 5\), that is, 5 - potent elements:
\[I_p(5)=\Theta_p(5)(p^2 + p + 1)+(\Upsilon_p(5)+ 1)N_5\]
where:
- \(\Theta_p(5)\) represents the number of elements of order 4 in \(\mathbb{Z}_p^*\).
- \(\Upsilon_p(5)\) represents the number of solutions of the equation \(t_x^4=-4\) in \(\mathbb{Z}_p\).
- \(N_5\) represents the number of solutions of the equation under specific conditions.
#### 4. General Case
For any positive integer \(k\geq6\), the paper gives a descriptive formula to calculate the number of k - idempotent elements.
#### 5. Application: Solutions of the Equation \(x^k = 1\)
By the above method, the paper also studies the number of solutions \(N_p(k)\) of the equation \(x^k = 1\) in \(H\mathbb{Z}_p\):
\[N_p(k)=1+\sum_{j = 1}^{r}(I_p(d_j + 1)-\Theta_p(d_j + 1)p(p + 1))\]
where \(d_1, d_2,\ldots, d_r\) are all divisors of \(k\).
### Conclusion
The paper not only provides a descriptive formula for calculating the number of k - idempotent elements, but also gives specific explicit formulas for \(k\in\{3, 4, 5\}\), and verifies the results by computer tools.