Orthonormal bases play an important role in the geometric study of vector spaces. For inner product spaces over real or complex number fields, we can apply Gram-Schmidt algorithm to construct an orthonormal subset from a linearly independent subset. However, on sesquilinear spaces over finite fields, Gram-Schmidt algorithm fails to produce an orthonormal subset because of the presence of non-zero, self-orthogonal vectors. In fact, there is a subspace that does not contain an orthonormal basis. In this paper, we study sesquilinear spaces over finite fields and show that a non-zero subspace has an orthonormal basis if and only if it is non-degenerate. An Extended Gram-Schmidt Process (EG-SP) is then discussed to construct an orthogonal subset from a linearly independent subset having equal generated subspaces. An advantage of the proposed EG-SP is that the obtained orthogonal subset is orthonormal when the generated subspace is non-degenerate. In addition, we can also extend an orthonormal subset of a sesquilinear space to an orthonormal basis.
| Primary Language | English |
|---|---|
| Subjects | Algebra and Number Theory |
| Journal Section | Research Article |
| Authors | |
| Submission Date | October 3, 2024 |
| Acceptance Date | April 13, 2025 |
| Early Pub Date | June 13, 2025 |
| Publication Date | January 10, 2026 |
| DOI | https://doi.org/10.24330/ieja.1718902 |
| IZ | https://izlik.org/JA92TA66AL |
| Published in Issue | Year 2026 Volume: 39 Issue: 39 |