Searcharxiv⌕ Search

arXiv subjects

Fabio Enrique Brochero Martínez

Publications and source records attributed to Fabio Enrique Brochero Martínez.

13 recordsLinked to original sources

On minimal product-one sequences of maximal length over the non-abelian group of order $pq$

Let $G$ be a finite group. A sequence over $G$ is a finite multiset of elements of $G$, and it is called product-one if its terms can be ordered so that their product is the identity of $G$. The large Davenport constant $\D(G)$ is the maximal length of a minimal product-one sequence, that is, a product-one sequence that cannot be partitioned into two nontrivial product-one subsequences. Let $p,q$ be odd prime numbers with $p \mid q-1$ and let $C_q \rtimes C_p$ denote the non-abelian group of order $pq$. It is known that $\D(C_q \rtimes C_p) = 2q$. In this paper, we describe all minimal product-one sequences of length $2q$ over $C_q \rtimes C_p$. As an application, we further investigate the $k$-th elasticity (and, consequently, the union of sets containing $k$) of the monoid of product-one sequences over these groups.

math.GR↗

Counting roots of fully triangular polynomials over finite fields

Let $\mathbb{F}_q$ be a finite field with $q$ elements, $f \in \mathbb{F}_q[x_1, \dots, x_n]$ a polynomial in $n$ variables and let us denote by $N(f)$ the number of roots of $f$ in $\mathbb{F}_q^n$. %Many authors, such as Wei Cao and Kung Jiang have used augmented degree matrices to determine $N(f)$ for different families of polynomials. In this paper we consider the family of fully triangular polynomials, i.e., polynomials of the form \begin{equation*} f(x_1, \dots, x_n) = a_1 x_1^{d_{1,1}} + a_2 x_1^{d_{1,2}} x_2^{d_{2,2}} + \dots + a_n x_1^{d_{1,n}}\cdots x_n^{d_{n,n}} - b, \end{equation*} where $d_{i,j} > 0$ for all $1 \le i \le j \le n$. For these polynomials, we obtain explicit formulas for $N(f)$ when the augmented degree matrix of $f$ is row-equivalent to the augmented degree matrix of a linear polynomial or a quadratic diagonal polynomial.

math.NT↗

On the number of rational points of Artin-Schreier curves and hypersurfaces

Let $\mathbb F_{q^n}$ denote the finite field with $q^n$ elements. In this paper we determine the number of $\mathbb F_{q^n}$-rational points of the affine Artin-Schreier curve given by $y^q-y = x(x^{q^i}-x)-λ$ and of the Artin-Schreier hypersurface $y^q-y=\sum_{j=1}^r a_jx_j(x_j^{q^{i_j}}-x_j)-λ.$ Moreover in both cases, we show that the Weil bound is attained only in the case where the trace of $λ\in\mathbb F_{q^n}$ over $\mathbb F_q$ is zero. We use quadratic forms and permutation matrices to determine the number of affine rational points of these curves and hypersurfaces.

math.NT↗

A note on Bass' conjecture

For a finite group $G$, we denote by ${\sf d}(G)$ and by ${\sf E}(G)$, respectively, the small Davenport constant and the Gao constant of $G$. Let $C_n$ be the cyclic group of order $n$ and let $G_{m,n,s} = C_n \rtimes_s C_m$ be a metacyclic group. In [J. Bass; {\em Improving the Erdős-Ginzburg-Ziv theorem for some non-abelian groups.} J. Number Theory {\bf 126} (2007), 217-236, Conjecture 17], Bass conjectured that ${\sf d}(G_{m,n,s}) = m+n-2$ and ${\sf E}(G_{m,n,s}) = mn+m+n-2$ provided $ord_n(s) = m$. In this paper, we show that the assumption $ord_n(s) = m$ is essential and cannot be removed. Moreover, if we suppose that Bass' conjecture holds for $G_{m,n,s}$ and the $mn$-product-one free sequences of maximal length are well behaved, then Bass conjecture also holds for $G_{2m,2n,r}$, where $r^2 \equiv s \pmod n$.

math.NT↗

On the direct and inverse zero-sum problems over $C_n \rtimes_s C_2$

Let $C_n$ be the cyclic group of order $n$. In this paper, we provide the exact values of some zero-sum constants over $C_n \rtimes_s C_2$ where $s \not\equiv \pm1 \pmod n$, namely $η$-constant, Gao constant, and Erdős-Ginzburg-Ziv constant (the latter for all but a "small" family of cases). As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for groups of this form. We also solve the associated inverse problems by characterizing the structure of product-one free sequences over $C_n \rtimes_s C_2$ of maximum length.

math.NT↗

Dynamics of polynomial maps over finite fields

Let $\mathbb{F}_q$ be a finite field with $q$ elements and let $n$ be a positive integer. In this paper, we study the digraph associated to the map $x\mapsto x^n h(x^{\frac{q-1}{m}})$, where $h(x)\in\mathbb{F}_q[x].$ We completely determine the associated functional graph of maps that satisfy a certain condition of regularity. In particular, we provide the functional graphs associated to monomial maps. As a consequence of our results, the number of connected components, length of the cycles and number of fixed points of these class of maps are provided.

cs.DM↗

The $\{1,s\}$-weighted Davenport constant in $C_n^k$

Let $G$ be a finite abelian group and let $\varnothing \neq A \subset \mathbb Z$. The $A$-weighted Davenport constant of $G$ is the smallest positive integer ${\sf D}_A(G)$ such that every sequence $x_1 \boldsymbol{\cdot} {\dots} \boldsymbol{\cdot} x_{{\sf D}_A(G)}$ over $G$ has a non-empty subsequence $(x_{j_i})_i$ such that ${\varepsilon_1} x_{j_1} + {\varepsilon_2} x_{j_2} + {\dots} + {\varepsilon_t} x_{j_t} = 0$ for some $\varepsilon_1, \varepsilon_2, {\dots}, \varepsilon_t \in A$. In this paper, we obtain both upper and lower bounds for ${\sf D}_{\{1,s\}}(C_n^k)$, where $C_n$ denotes the cyclic group of order $n$, $s^2 \equiv 1 \pmod n$ and $s \not\equiv \pm1 \pmod n$. These bounds become sharp in some "small" cases.

math.NT↗

Extremal product-one free sequences over $C_n \rtimes_s C_2$

Let $G$ be a finite group multiplicatively written. The small Davenport constant of $G$ is the maximum positive integer ${\sf d}(G)$ such that there exists a sequence $S$ of length ${\sf d}(G)$ for which every subsequence of $S$ is product-one free. Let $s^2 \equiv 1 \pmod n$, where $s \not\equiv \pm1 \pmod n$. It has been proven that ${\sf d}(C_n \rtimes_s C_2) = n$ (see Lemma 6 of [Zhuang, Gao; Europ. J. Combin. 26 (2005), 1053-1059]). In this paper, we determine all sequences over $C_n \rtimes_s C_2$ of length $n$ which are product-one free. It completes the classification of all product-one free sequences over every group of the form $C_n \rtimes_s C_2$, including the quasidihedral groups and the modular maximal-cyclic groups.

math.NT↗

The main zero-sum constants over $D_{2n} \times C_2$

Let $C_2$ be the cyclic group of order $2$ and $D_{2n}$ be the dihedral group of order $2n$, where $n$ is even. In this paper, we provide the exact values of some zero-sum constants over $D_{2n} \times C_2$, namely small Davenport constant, Gao constant, $η$-constant and Erd\H os-Ginzburg-Ziv constant. As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for this group. These are the first concrete results on zero-sum problems for a family of non-abelian groups of rank greater than $2$.

math.NT↗

Permutation Polynomials with Carlitz Rank 2

Let $\mathbb{F}_q$ denote the finite field with $q$ elements. The Carlitz rank of a permutation polynomial is a important measure of complexity of the polynomial. In this paper we find the sharp lower bound for the weight of any permutation polynomial with Carlitz rank $2$, improving the bound found by Gómez-Pérez, Ostafe and Topuzoğlu in that case.

math.NT↗

The estimation of the number of Irreducible Binomials

Let $\mathbb{F}_q$ be the finite field with $q$ elements, and $T$ a positive integer. In this article we find a sharp estimative of the total number of monic irreducible binomials in $\mathbb F_q[x]$ of degree less or equal to $T$, when $T$ is large enough.

math.NT↗

Extremal product-one free sequences in Dihedral and Dicyclic groups

Let $G$ be a finite group, written multiplicatively. The Davenport constant of $G$ is the smallest positive integer $D(G)$ such that every sequence of $G$ with $D(G)$ elements has a non-empty subsequence with product $1$. Let $D_{2n}$ be the Dihedral Group of order $2n$ and $Q_{4n}$ be the Dicyclic Group of order $4n$. J. J. Zhuang and W. Gao (European J. Combin. 26 (2005), 1053-1059) showed that $D(D_{2n}) = n+1$ and J. Bass (J. Number Theory 126 (2007), 217-236) showed that $D(Q_{4n}) = 2n+1$. In this paper, we give explicit characterizations of all sequences $S$ of $G$ such that $|S| = D(G) - 1$ and $S$ is free of subsequences whose product is $1$, where $G$ is equal to $D_{2n}$ or $Q_{4n}$ for some $n$.

math.NT↗

Extremal product-one free sequences in $C_q \rtimes_s C_m$

Let $G$ be a finite group, written multiplicatively. The Davenport constant of $G$ is the smallest positive integer $d$ such that every sequence of $G$ with $d$ elements has a non-empty subsequence with product $1$. Let $C_n \simeq \mathbb Z_n$ be the cyclic group of order $n$. Bass (2007) showed that the Davenport constant of the metacyclic group $C_q \rtimes_s C_m$, where $q$ is a prime number and $\text{ord}_q(s) = m \ge 2$, is $m+q-1$. In this paper, we explicit the form of all sequences $S$ of $C_q \rtimes_s C_m$, with $q+m-2$ elements, that are free of product-$1$ subsequences.

math.NT↗