Vector subspaces of finite fields and star operations on pseudo-valuation domains
type: Item
instance of: scholarly article
title: Vector subspaces of finite fields and star operations on pseudo-valuation domains
zbMATH Open document ID: 1408.13007
author: Dario Spirito
published in: Finite Fields and their Applications
publication date: 2019-03-27T00:00:00Z
full work available at URL: http://hdl.handle.net/11577/3329402
review text: Let $F=\mathbb{F}_{q}$ be the field with $q$ elements, where $q$ is a prime power and $L=\mathbb{F}_{q^{n}}$ be its extension of degree $n$. We denote by $\mathcal{O}(L,F)$ the set of $F$-vector subspaces of $L$ and by $ \mathcal{O}_{t}(L,F)$ the set of subspaces having dimension $t$. The multiplicative group $L^{\ast}$ of $L$ acts on $\mathcal{O}_{t}(L,F)$. Let $ l(q,n,t)$ be the number of orbits of $\mathcal{O}_{t}(L,F)$ under this action. In this paper, the author provides an explicit fomula and some bounds for $l(q,n,t)$. These results are then applied to the study of the set of $F$ star operations on $L,$ $\mathrm{Star}_{F}(L)$. Recall that for $F\subset L $ an extension of fields, we say that a map $\ast: \mathcal{O} (L,F) \rightarrow \mathcal{O} (L,F); V \longmapsto V^{\ast}$, is a F-star operation on $L$ if, for every $V,$ $W\in \mathcal{O} (L,F)$ and every $\beta \in L,$ we have: \begin{itemize} \item[$\bullet$] $V\subseteq V^{\ast}$. \item[$\bullet$] if $V\subseteq W,$ then $V^{\ast}\subseteq W^{\ast}$. \item[$\bullet$] $(V^{\ast})^{\ast}=V^{\ast}$. \item[$\bullet$] $(\beta V)^{\ast}=\beta V^{\ast}$. \item[$\bullet$] $F=F^{\ast}$. \end{itemize} The author proves that if $R$ is a $PVD$ with associated valuation ring $V$ such that $R\neq V$ and if $F$, $L$ are the respective residue fields, then there is an order preserving bijection between the set of star operations on $R$ and the set of $F$-star operations on $L$. This result is in fact implicitly present in [\textit{M. H. Park}, Rocky Mt. J. Math. 42, No. 6, 1939--1951 (2012; Zbl 1264.13006)]. \par The author investigates the asymptotic behavior of $\left| \mathrm{Star}_{F}(L)\right| $ and gives the exact values of $\left| \mathrm{Star}_{F}(L)\right| $ in case $[L:F]=4$ or $[L:F]=5$.
reviewed by: Sana Hizem
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 13A18
Mathematics Subject Classification ID: 13G05
Mathematics Subject Classification ID: 11B65
zbMATH DE Number: 7043368
zbMATH Keywords: finite fields
zbMATH Keywords: F-star operations
zbMATH Keywords: star operations
zbMATH Keywords: pseudo-valuation domains
MaRDI profile type: Publication
OpenAlex ID: W2900623581
cites work: \(m\)-canonical ideals in integral domains. II.
cites work: Integer-valued polynomials
cites work: Q5661989
cites work: Q4860774
cites work: Pseudo-valuation domains
cites work: On the cardinality of star operations on a pseudo-valuation domain
cites work: Q3225387
DOI: 10.1016/J.FFA.2018.11.001
description: scientific article; zbMATH DE number 7043368