On invariant fields of vectors and covectors

Let ${\mathbb{F}}_q$ be the finite field of order q. Let G be one of the three groups $\mathrm{GL}(n,{\mathbb{F}}_q)$, $\mathrm{SL}(n,{\mathbb{F}}_q)$ or $\mathrm{U}(n,{\mathbb{F}}_q)$ and let W be the standard n-dimensional representation of G. For non-negative integers m and d we let $mW\oplus d{W}^{?}$ denote the representation of G given by the direct sum of m vectors and d covectors. We exhibit a minimal set of homogeneous invariant polynomials $\{{?}_1,{?}_2,\dots ,{?}_{(m+d)n}\}?{\mathbb{F}}_q{[mW\oplus d{W}^{?}]}^G$ such that ${\mathbb{F}}_q{(mW\oplus d{W}^{?})}^G={\mathbb{F}}_q({?}_1,{?}_2,\dots ,{?}_{(m+d)n})$ for all cases except when $md=0$ and $G=\mathrm{GL}(n,{\mathbb{F}}_q)$ or $\mathrm{SL}(n,{\mathbb{F}}_q)$.     

Perfect squares representing the number of rational points on elliptic curves over finite field extensions

Let q be a perfect power of a prime number p and $E({\mathbb{F}}_q)$ be an elliptic curve over ${\mathbb{F}}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer n we denote by $\mathrm{\#}E({\mathbb{F}}_{q^n})$ the number of rational points on E (including infinity) over the extension ${\mathbb{F}}_{q^n}$. Under a mild technical condition, we show that the sequence ${\{\mathrm{\#}E({\mathbb{F}}_{q^n})\}}_{n>0}$ contains at most 10²⁰⁰ perfect squares. If the mild condition is not satisfied, then $\mathrm{\#}E({\mathbb{F}}_{q^n})$ is a perfect square for infinitely many n including all the multiples of 12. Our proof uses a quantitative version of the Subspace Theorem. We also find all the perfect squares for all such sequences in the range $q<50$ and $n\le 1000$.     

On the existence of primitive completely normal bases of finite fields

Let ${\mathbb{F}}_q$ be the finite field of characteristic p with q elements and ${\mathbb{F}}_{q^n}$ its extension of degree n. We prove that there exists a primitive element of ${\mathbb{F}}_{q^n}$ that produces a completely normal basis of ${\mathbb{F}}_{q^n}$ over ${\mathbb{F}}_q$, provided that $n=p^{?}m$ with $(m,p)=1$ and $q>m$.     

Classification of cyclic codes over a non-Galois chain ring Zp[u]/〈u3〉

We explicitly determine generators of cyclic codes over a non-Galois finite chain ring ${\mathbb{Z}}_p[u]/〈u^3〉$ of length $p^k$, where p is a prime number and k is a positive integer. We completely classify that there are three types of principal ideals of ${\mathbb{Z}}_p[u]/〈u^3〉$ and four types of non-principal ideals of ${\mathbb{Z}}_p[u]/〈u^3〉$, which are associated with cyclic codes over ${\mathbb{Z}}_p[u]/〈u^3〉$ of length $p^k$. We then obtain a mass formula for cyclic codes over ${\mathbb{Z}}_p[u]/〈u^3〉$ of length $p^k$.     

The Orlicz inequality for multilinear forms

The Orlicz $({?}_2,{?}_1)$-mixed inequality states that${\left(\sum _{j_1=1}^n{\left(\sum _{j_2=1}^n|A(e_{j_1},e_{j_2})|\right)}^2\right)}^{\frac{1}{2}}\le \sqrt{2}6A6$ for all bilinear forms $A:{\mathbb{K}}^n\times {\mathbb{K}}^n\to \mathbb{K}$ and all positive integers n, where ${\mathbb{K}}^n$ denotes ${\mathbb{R}}^n$ or ${\mathbb{C}}^n$ endowed with the supremum norm. In this paper we extend this inequality to multilinear forms, with ${\mathbb{K}}^n$ endowed with ${?}_p$ norms for all $p\in [1,\infty ]$.     

Non-integrated defect relation for meromorphic mappings on Kähler manifolds intersecting non-subdegenerate families of hyperplanes

Let M be a complete Kähler manifold, whose universal covering is biholomorphic to a ball ${\mathbb{B}}^m(R_0)$ in ${\mathbb{C}}^m$ ($0<R_0\le +\infty$). Our purpose of this article is to establish a non-integrated defect relation with truncated level for a meromorphic mapping on M intersecting a family of hyperplanes in ${\mathbb{P}}^n(\mathbb{C})$ which is non-subdegenerate with respect to the mapping.     

Galois LCD codes over mixed alphabets

In this work we give a characterization of Galois Linear Complementary Dual codes and Galois-invariant codes over mixed alphabets of finite chain rings, which leads to the study of the Gray image of ${\mathbb{F}}_p{\mathbb{F}}_p[\theta ]$-linear codes, where $p\in \{2;3\}$ and $\theta \ne {\theta }^2=0$ that provides LCD codes over ${\mathbb{F}}_p$.     

Construction and enumeration of left dihedral codes satisfying certain duality properties

Let ${\mathbb{F}}_q$ be the finite field of q elements and let $D_{2n}=〈x,y|x^n=1,y^2=1,yxy=x^{n?1}〉$ be the dihedral group of 2n elements. Left ideals of the group algebra ${\mathbb{F}}_q[D_{2n}]$ are known as left dihedral codes over ${\mathbb{F}}_q$ of length 2n, and abbreviated as left $D_{2n}$-codes. Let $\gcd (n,q)=1$. In this paper, we give an explicit representation for the Euclidean hull of every left $D_{2n}$-code over ${\mathbb{F}}_q$. On this basis, we determine all distinct Euclidean LCD codes and Euclidean self-orthogonal codes which are left $D_{2n}$-codes over ${\mathbb{F}}_q$. In particular, we provide an explicit representation and a precise enumeration for these two subclasses of left $D_{2n}$-codes and self-dual left $D_{2n}$-codes, respectively. Moreover, we give a direct and simple method for determining the encoder (generator matrix) of any left $D_{2n}$-code over ${\mathbb{F}}_q$, and present several numerical examples to illustrative our applications.     

Invariant polynomials on truncated multicurrent algebras

We construct invariant polynomials on truncated multicurrent algebras, which are Lie algebras of the form $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$, where $\mathfrak{g}$ is a finite-dimensional Lie algebra over a field $\mathbb{F}$ of characteristic zero, and I is a finite-codimensional ideal of $\mathbb{F}[t_1,\dots ,t_{?}]$ generated by monomials. In particular, when $\mathfrak{g}$ is semisimple and $\mathbb{F}$ is algebraically closed, we construct a set of algebraically independent generators for the algebra of invariant polynomials. In addition, we describe a transversal slice to the space of regular orbits in $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$. As an application of our main result, we show that the center of the universal enveloping algebra of $\mathfrak{g}{?}_{\mathbb{F}}\mathbb{F}[t_1,\dots ,t_{?}]/I$ acts trivially on all irreducible finite-dimensional representations provided I has codimension at least two.     

Paley-like graphs over finite fields from vector spaces

Motivated by the well-known Paley graphs over finite fields and their generalizations, in this paper we explore a natural multiplicative-additive analogue of such graphs arising from vector spaces over finite fields. Namely, if $n\ge 2$ and $U⊊{\mathbb{F}}_{q^n}$ is an ${\mathbb{F}}_q$-vector space, $G_U$ is the (undirected) graph with vertex set $V(G_U)={\mathbb{F}}_{q^n}$ and edge set $E(G_U)=\{(a,b)\in {\mathbb{F}}_{q^n}^2|a\ne b,ab\in U\}$. We describe the structure of an arbitrary maximal clique in $G_U$ and provide bounds on the clique number $\omega (G_U)$ of $G_U$. In particular, we compute the largest possible value of $\omega (G_U)$ for arbitrary q and n. Moreover, we obtain the exact value of $\omega (G_U)$ when $U⊊{\mathbb{F}}_{q^n}$ is any ${\mathbb{F}}_q$-vector space of dimension $d_U\in \{1,2,n-1\}$.