| Autor: |
Nullwala, Murtuza, Garge, Anuradha S. |
| Předmět: |
|
| Zdroj: |
Linear & Multilinear Algebra; Aug2024, Vol. 72 Issue 12, p2069-2089, 21p |
| Abstrakt: |
Let $ \mathcal {O} $ O denote the ring of integers of a quadratic field $ \mathbb {Q}(\sqrt {-7}) $ Q (− 7). In 2022, Murtuza and Garge [Murtuza N, Garge A. Universality of certain diagonal quadratic forms for matrices over a ring of integers, Indian Journal of Pure and Applied Mathematics, Published online; December 2022.] gave a necessary and sufficient condition for a diagonal quadratic form $ a_1X_1^2+a_2X_2^2+a_3X_3^2 $ a 1 X 1 2 + a 2 X 2 2 + a 3 X 3 2 where $ a_i\in \mathbb {\mathcal {O}} $ a i ∈ O for $ 1\leq i \leq ~3 $ 1 ≤ i ≤ 3 for representing all $ 2\times 2 $ 2 × 2 matrices over $ \mathcal {O} $ O . Let K denote a quadratic field such that its ring of integers $ \mathcal {O}_K $ O K is a principal ideal domain and 2 is a product of two distinct primes. It is a well-known fact that $ \mathbb {Q}(\sqrt {-7}) $ Q (− 7) is the only imaginary quadratic field with the above properties. Let $ D_K $ D K denote the discriminant of K. We have $ D_K\equiv 1(\text{mod }8) $ D K ≡ 1 (mod 8) if and only if 2 is a product of two distinct primes in $ \mathcal {O}_K $ O K . With $ \mathcal {O}_K $ O K as above, in this paper we generalize our earlier result. We give a necessary and sufficient condition for a diagonal quadratic form $ {\sum _{i=1}^{m}a_iX_i^2} $ ∑ i = 1 m a i X i 2 where $ a_i\in \mathcal {O}_K $ a i ∈ O K , $ 1\leq i \leq m $ 1 ≤ i ≤ m to represent all $ 2\times 2 $ 2 × 2 matrices over $ \mathcal {O}_K $ O K . This result is a conjecture stated in [Murtuza N, Garge A. Universality of certain diagonal quadratic forms for matrices over a ring of integers, Indian Journal of Pure and Applied Mathematics, Published online; December 2022]. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
