Showing 1–33 of 33 results for author: Martínez, E B

Counting roots of fully triangular polynomials over finite fields

Authors: José Gustavo Coelho, Fabio Enrique Brochero Martínez

Abstract: 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 po… ▽ More 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. △ Less

Submitted 7 December, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

MSC Class: 11T06; 11D45; 11T24

Journal ref: Finite Fields and Their Applications, Volume 94, 2024, 102345

High-speed data processing onboard sunrise chromospheric infrared spectropolarimeter for the SUNRISE III balloon telescope

Authors: Masahito Kubo, Yukio Katsukawa, David Hernández Expósito, Antonio Sánchez Gómez, María Balaguer Jimenéz, David Orozco Suárez, José M. Morales Fernández, Beatriz Aparicio del Moral, Antonio J. Moreno Mantas, Eduardo Bailón Martínez, Jose Carlos del Toro Iniesta, Yusuke Kawabata, Carlos Quintero Noda, Takayoshi Oba, Ryohtaroh T. Ishikawa, Toshifumi Shimizu

Abstract: The Sunrise Chromospheric Infrared spectroPolarimeter (SCIP) has been developed for the third flight of the SUNRISE balloon-borne stratospheric solar observatory. The aim of SCIP is to reveal the evolution of three-dimensional magnetic fields in the solar photosphere and chromosphere using spectropolarimetric measurements with a polarimetric precision of 0.03\% (1$σ$). Multiple lines in the 770 an… ▽ More The Sunrise Chromospheric Infrared spectroPolarimeter (SCIP) has been developed for the third flight of the SUNRISE balloon-borne stratospheric solar observatory. The aim of SCIP is to reveal the evolution of three-dimensional magnetic fields in the solar photosphere and chromosphere using spectropolarimetric measurements with a polarimetric precision of 0.03\% (1$σ$). Multiple lines in the 770 and 850 nm wavelength bands are simultaneously observed with two 2k$\times$2k CMOS cameras at a frame rate of 31.25 Hz. Stokes profiles are calculated onboard by accumulating the images modulated by a polarization modulation unit, and then compression processes are applied to the two-dimensional maps of the Stokes profiles. This onboard data processing effectively reduces the data rate. SCIP electronics can handle large data formats at high speed. Before the implementation into the flight SCIP electronics, a performance verification of the onboard data processing was performed with synthetic SCIP data that were produced with a numerical simulation modeling the solar atmospheres. Finally, we verified that the high-speed onboard data processing was realized on ground with the flight hardware by using images illuminated by natural sunlight or an LED. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 31 pages, 11 figures, accepted for publication in JATIS

A note on Bass' conjecture

Authors: Danilo Vilela Avelar, Fabio Enrique Brochero Martínez, Sávio Ribas

Abstract: 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], Ba… ▽ More 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$. △ Less

Submitted 22 February, 2023; originally announced February 2023.

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

Authors: Fabio Enrique Brochero Martínez, Daniela Alves de Oliveira

Abstract: 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… ▽ More 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. △ Less

Submitted 6 July, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

MSC Class: Primary 12E20 Secondary 11T24

Wedderburn Decomposition and Idempotents of some finite metacyclic group algebras

Authors: F. E. Brochero Martínez, L. Batista de Oliveira, C. R. Giraldo Vergara

Abstract: In this article, we show explicitly the Wedderburn decomposition of the metacyclic group algebra $\mathbb F_qG$, where $G$ has a cyclic subgroup of index 2 and $\gcd(|G|,q)=1$. We also construct the complete set of central and left idempotents of these group algebras. In this article, we show explicitly the Wedderburn decomposition of the metacyclic group algebra $\mathbb F_qG$, where $G$ has a cyclic subgroup of index 2 and $\gcd(|G|,q)=1$. We also construct the complete set of central and left idempotents of these group algebras. △ Less

Submitted 13 October, 2022; originally announced October 2022.

MSC Class: 20C05; 16S34

The number of rational points of a class of superelliptic curves

Authors: José Alves Oliveira, Daniela Oliveira, F. E. Brochero Martínez

Abstract: In this paper, we study the number of $\mathbb F_{q^n}$-rational points on the affine curve $\mathcal{X}_{d,a,b}$ given by the equation $$ y^d=ax\text{Tr}(x)+b,$$ where $\text{Tr}$ denote the trace function from $\mathbb F_{q^n}$ to $\mathbb F_{q}$ and $d$ is a positive integer. In particular, we present bounds for the number of $\mathbb F_{q}$-rational points on $\mathcal{X}_{d,a,b}$ and, for the… ▽ More In this paper, we study the number of $\mathbb F_{q^n}$-rational points on the affine curve $\mathcal{X}_{d,a,b}$ given by the equation $$ y^d=ax\text{Tr}(x)+b,$$ where $\text{Tr}$ denote the trace function from $\mathbb F_{q^n}$ to $\mathbb F_{q}$ and $d$ is a positive integer. In particular, we present bounds for the number of $\mathbb F_{q}$-rational points on $\mathcal{X}_{d,a,b}$ and, for the cases where $d$ satisfies a natural condition, explicit formulas for the number of rational points are obtained. Particularly, a complete characterization is given for the case $d=2$. As a consequence of our results, we compute the number of elements $α$ in $\mathbb F_{q^n}$ such that $α$ and $\text{Tr}(α)$ are quadratic residues in $\mathbb F_{q^n}$. △ Less

Submitted 14 September, 2022; originally announced September 2022.

MSC Class: 12E20 (primary) and 11G20 (secondary)

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

Authors: Danilo Vilela Avelar, Fabio Enrique Brochero Martínez, Sávio Ribas

Abstract: 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 th… ▽ More 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. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 13 pages. Comments are welcome

Dynamics of polynomial maps over finite fields

Authors: José Alves Oliveira, Fabio Enrique Brochero Martínez

Abstract: 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… ▽ More 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. △ Less

Submitted 3 January, 2022; originally announced January 2022.

Comments: Comments are welcome!

On the functional graph of $f(X)=c(X^{q+1}+aX^2)$ over quadratic extensions of finite fields

Authors: F. E. Brochero Martínez, H. R. Teixeira

Abstract: Let $\mathbb{F}_q$ be the finite field with $q$ elements and $char(\mathbb{F}_q)$ odd. In this article we will describe completely the dynamics of the map $f(X)=c(X^{q+1}+aX^2)$, for $a=\{\pm1\}$ and $c\in\mathbb{F}_q^*$, over the finite field $\mathbb{F}_{q^2}$, and give some partial results for $a\in\mathbb{F}_q^*\setminus\{\pm1\}$. Let $\mathbb{F}_q$ be the finite field with $q$ elements and $char(\mathbb{F}_q)$ odd. In this article we will describe completely the dynamics of the map $f(X)=c(X^{q+1}+aX^2)$, for $a=\{\pm1\}$ and $c\in\mathbb{F}_q^*$, over the finite field $\mathbb{F}_{q^2}$, and give some partial results for $a\in\mathbb{F}_q^*\setminus\{\pm1\}$. △ Less

Submitted 22 November, 2021; originally announced November 2021.

MSC Class: 12E20; 05C20; 37P25

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

Authors: Fabio Enrique Brochero Martínez, Abílio Lemos, B. K. Moriya, Sávio Ribas

Abstract: 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… ▽ More 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$. △ Less

Submitted 16 July, 2021; originally announced August 2021.

Comments: 12 pages

MSC Class: 11B75; 11B50; 11P70

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

Authors: Fabio Enrique Brochero Martínez, Sávio Ribas

Abstract: 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;… ▽ More 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. △ Less

Submitted 16 July, 2021; originally announced August 2021.

Comments: 9 pages. This is a complete answer to the inverse problem proposed in the old versions of the paper "The $\{1,s\}$-weighted Davenport constant in $C_n^k$". In those old versions, partial answers were given using the bounds of the weighted problem. This complete answer does not use any bound obtained there

MSC Class: 11P70; 11B50

Artin-Schreier curves given by $\mathbb F_q$-linearized polynomials

Authors: Daniela Oliveira, F. E. Brochero Martínez

Abstract: Let $\mathbb F_q$ be a finite field with $q$ elements, where $q$ is a power of an odd prime $p$. In this paper we associate circulant matrices and quadratic forms with the Artin-Schreier curve $y^q - y= x \cdot F(x) - λ,$ where $F(x)$ is a $\mathbb F_q$-linearized polynomial and $λ\in \mathbb F_q$. Our results provide a characterization of the number of affine rational points of this curve in the… ▽ More Let $\mathbb F_q$ be a finite field with $q$ elements, where $q$ is a power of an odd prime $p$. In this paper we associate circulant matrices and quadratic forms with the Artin-Schreier curve $y^q - y= x \cdot F(x) - λ,$ where $F(x)$ is a $\mathbb F_q$-linearized polynomial and $λ\in \mathbb F_q$. Our results provide a characterization of the number of affine rational points of this curve in the extension $\mathbb F_{q^r}$ of $\mathbb F_q$, for $\gcd(q,r)=1$. In the case $F(x) = x^{q^i}-x$ we give a complete description of the number of affine rational points in terms of Legendre symbols and quadratic characters. △ Less

Submitted 8 September, 2022; v1 submitted 2 December, 2020; originally announced December 2020.

MSC Class: 12E20; 11T06

Permutation Polynomials with Carlitz Rank 2

Authors: Fabio Enrique Brochero Martínez, José Alves Oliveira

Abstract: 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. 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. △ Less

Submitted 23 September, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: 10 pages, comments are welcome

MSC Class: 12E20 (primary) and 11T30(secondary)

The estimation of the number of Irreducible Binomials

Authors: Fabio Enrique Brochero Martínez, Lays Grazielle Cardoso Silva de Jesus

Abstract: 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. 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. △ Less

Submitted 22 September, 2019; v1 submitted 19 September, 2019; originally announced September 2019.

MSC Class: 12E20 (primary) and 11T30(secondary)

Factorization of Dickson polynomials over Finite Fields

Authors: F. E. Brochero Martínez, Nelcy Esperanza Arévalo Baquero

Abstract: Let $D_n(x;a)$ and $E_n(x;a)\in\mathbb F_q[x]$ be Dickson polynomials of first and second kind respectively, where $\mathbb F_q$ is a finite field with $q$ elements. In this article we show explicitly the irreducible factors these polynomials in the case that every prime divisor of $n$ divides $q-1$. This result generalizes the results find in Chou, W.S., The Factorization of Dickson polynomials… ▽ More Let $D_n(x;a)$ and $E_n(x;a)\in\mathbb F_q[x]$ be Dickson polynomials of first and second kind respectively, where $\mathbb F_q$ is a finite field with $q$ elements. In this article we show explicitly the irreducible factors these polynomials in the case that every prime divisor of $n$ divides $q-1$. This result generalizes the results find in Chou, W.S., The Factorization of Dickson polynomials over finite fields. Finite Fields Appl. {\bf3} (1997) 84-96, Fitzgerald R. W., Yucas J. L., Explicit factorization of cyclotomic and Dickson polynomials over finite fields. Arithmetic of Finite Fields. Lecture Notes in Computer Science, vol. {\bf 4547}, pp. 1-10. Springer, Berlin (2007), Tosun, S., Explicit factorizations of generalized Dickson polynomials of order $2^{m}$ via generalized cyclotomic polynomials over finite fields. Finite Fields Appl. {\bf 38} (2016) 40-56 and Tosun, S., Explicit factors of generalized cyclotomic polynomials and generalized Dickson polynomials of order $2^m3$ over finite fields. Discrete Math. 342 (2019) DOI: j.disc.2019.111618 △ Less

Submitted 15 August, 2019; originally announced August 2019.

MSC Class: 12E20 (primary) and 11T30 (secondary)

Permutation Binomials over Finite Fields

Authors: José Alves Oliveira, F. E. Brochero Martínez

Abstract: Let $\mathbb F_q$ denote the finite field with $q$ elements. In this paper we use the relationship between suitable polynomials and number of rational points on algebraic curves to give the exact number of elements $a\in \mathbb F_q$ for which the binomial $x^n(x^{(q-1)/r} + a)$ is a permutation polynomial in the cases $r = 2$ and $r = 3$. Let $\mathbb F_q$ denote the finite field with $q$ elements. In this paper we use the relationship between suitable polynomials and number of rational points on algebraic curves to give the exact number of elements $a\in \mathbb F_q$ for which the binomial $x^n(x^{(q-1)/r} + a)$ is a permutation polynomial in the cases $r = 2$ and $r = 3$. △ Less

Submitted 22 July, 2019; originally announced July 2019.

Comments: 13 pages

MSC Class: 11T06 (Primary) 12E20 (Secondary)

Factorization of composed polynomials and applications

Authors: F. E. Brochero Martínez, Lucas Reis, Lays Silva

Abstract: Let $\mathbb{F}_q$ be the finite field with $q$ elements, where $q$ is a prime power and $n$ be a positive integer. In this paper, we explore the factorization of $f(x^{n})$ over $\mathbb{F}_q$, where $f(x)$ is an irreducible polynomial over $\mathbb F_q$. Our main results provide generalizations of recent works on the factorization of binomials $x^n-1$. As an application, we provide an explicit f… ▽ More Let $\mathbb{F}_q$ be the finite field with $q$ elements, where $q$ is a prime power and $n$ be a positive integer. In this paper, we explore the factorization of $f(x^{n})$ over $\mathbb{F}_q$, where $f(x)$ is an irreducible polynomial over $\mathbb F_q$. Our main results provide generalizations of recent works on the factorization of binomials $x^n-1$. As an application, we provide an explicit formula for the number of irreducible factors of $f(x^n)$ under some generic conditions on $f$ and $n$. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: 14 pages; comments welcome

MSC Class: 12E20 (primary) and 11T30 (secondary)

Möbius-Frobenius maps on irreducible polynomials

Authors: F. E. Brochero Martínez, Daniela Oliveira, Lucas Reis

Abstract: Let $n$ be a positive integer and let $\mathbb F_{q^n}$ be the finite field with $q^n$ elements, where $q$ is a power of a prime. This paper introduces a natural action of the Projective Semilinear Group $\text{P}Γ\text{L}(2, q^n)=\text{PGL}(2, q^n)\rtimes \text{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q)$ on the set of monic irreducible polynomials over the finite field $\mathbb{F}_{q^n}$. Our main resul… ▽ More Let $n$ be a positive integer and let $\mathbb F_{q^n}$ be the finite field with $q^n$ elements, where $q$ is a power of a prime. This paper introduces a natural action of the Projective Semilinear Group $\text{P}Γ\text{L}(2, q^n)=\text{PGL}(2, q^n)\rtimes \text{Gal}(\mathbb{F}_{q^n}/\mathbb{F}_q)$ on the set of monic irreducible polynomials over the finite field $\mathbb{F}_{q^n}$. Our main results provide information on the characterization and number of fixed points. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Comments: 12 pages; comments welcome

MSC Class: 11T06; 11T55; 12E20

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

Authors: Fabio Enrique Brochero Martínez, Sávio Ribas

Abstract: 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… ▽ More 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. △ Less

Submitted 16 July, 2021; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: This is version 3 of the paper "The {1,s}-weighted Davenport constant in Z_n and an application to an inverse problem", whose version 2 was "The {1,s}-weighted Davenport constant in C_n^k and an application in an inverse problem". The weighted and the inverse problems were separeted, since we obtained a complete answer to the inverse problem without using the bounds given by the weighted problem

MSC Class: 11B75; 11P50

Extremal product-one free sequences in Dihedral and Dicyclic groups

Authors: Fabio Enrique Brochero Martínez, Sávio Ribas

Abstract: 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… ▽ More 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$. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: 9 pages

MSC Class: 20D60 (primary); 11P70 (secondary)

On the multiplicative order of the roots of $bX^{q^r+1}-aX^{q^r}+dX-c$

Authors: Fabio E. Brochero Martínez, Theodoulos Garefalakis, Lucas Reis, Eleni Tzanaki

Abstract: In this paper, we find a lower bound for the order of the group $\langle θ+α\rangle \subset \overline{\mathbb F_{q}}^*$, where $α\in \mathbb F_{q}$, $θ$ is a generic root of the polynomial $F_{A,r}(X)=bX^{q^r+1}-aX^{q^r}+dX-c\in \mathbb F_{q}[X]$ and $ad-bc\ne0$. In this paper, we find a lower bound for the order of the group $\langle θ+α\rangle \subset \overline{\mathbb F_{q}}^*$, where $α\in \mathbb F_{q}$, $θ$ is a generic root of the polynomial $F_{A,r}(X)=bX^{q^r+1}-aX^{q^r}+dX-c\in \mathbb F_{q}[X]$ and $ad-bc\ne0$. △ Less

Submitted 30 November, 2016; originally announced November 2016.

Comments: 12 pages

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

Authors: Fabio Enrique Brochero Martínez, Sávio Ribas

Abstract: 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 a… ▽ More 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. △ Less

Submitted 31 October, 2016; originally announced October 2016.

MSC Class: 20D60 (primary) and 11P70 (secondary)

Factoring polynomials of the form $f(x^n)\in \mathbb{F}_q[x]$

Authors: F. E. Brochero Martínez, Lucas Reis

Abstract: Let $f(x)\in \mathbb{F}_q[x]$ be an irreducible polynomial of degree $m$ and exponent $e$, and $n$ be a positive integer such that $ν_p(q-1)\ge ν_{p}(e)+ν_p(n)$ for all $p$ prime divisor of $n$. We show a fast algorithm to determine the irreducible factors of $f(x^n)$. We also show the irreducible factors in the case when ${\rm rad}(n)$ divides $q-1$ and ${\rm gcd}(m, n)=1$. Finally, using this al… ▽ More Let $f(x)\in \mathbb{F}_q[x]$ be an irreducible polynomial of degree $m$ and exponent $e$, and $n$ be a positive integer such that $ν_p(q-1)\ge ν_{p}(e)+ν_p(n)$ for all $p$ prime divisor of $n$. We show a fast algorithm to determine the irreducible factors of $f(x^n)$. We also show the irreducible factors in the case when ${\rm rad}(n)$ divides $q-1$ and ${\rm gcd}(m, n)=1$. Finally, using this algorithm we split $x^n-1$ into irreducible factors, in the case when $n=2^mp^t$ and $q$ is a generator of the group $\mathbb{Z}_{p^2}^*$. △ Less

Submitted 28 November, 2015; originally announced November 2015.

MSC Class: 12E20; 11T30

Elements of high order in Artin-Schreier extensions of finite fields $\mathbb F_q$

Authors: F. E. Brochero Martinez, Lucas Reis

Abstract: In this article, we find a lower bound for the order of the coset x+b in the Artin-Schreier extension $\mathbb F_q[x]/(x^p-x-a)$, where $b\in\mathbb F_q$ that satisfies a generic special condition. In this article, we find a lower bound for the order of the coset x+b in the Artin-Schreier extension $\mathbb F_q[x]/(x^p-x-a)$, where $b\in\mathbb F_q$ that satisfies a generic special condition. △ Less

Submitted 18 February, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

MSC Class: 12E20 (primary); 11T30 (secondary)

Number of minimal cyclic codes with given length and dimension

Authors: F. E. Brochero Martínez

Abstract: In this article, we count the quantity of minimal cyclic codes of length $n$ and dimension $k$ over a finite field $\mathbb F_q$, in the case when the prime factors of $n$ satisfy a special condition. This problem is equivalent to count the quantity of irreducible factors of $x^n-1\in \mathbb F_q[x]$ of degree $k$. In this article, we count the quantity of minimal cyclic codes of length $n$ and dimension $k$ over a finite field $\mathbb F_q$, in the case when the prime factors of $n$ satisfy a special condition. This problem is equivalent to count the quantity of irreducible factors of $x^n-1\in \mathbb F_q[x]$ of degree $k$. △ Less

Submitted 16 June, 2014; originally announced June 2014.

MSC Class: 20C05 (primary) and 16S34(secondary)

Poincaré problem for weighted projective foliations

Authors: F. E. Brochero Martínez, Maurício Corrêa Jr, A. M. Rodríguez

Abstract: We give a bounding of degree of quasi-smooth hypersurfaces which are invariant by a one dimensional holomorphic foliation of a given degree on a weighted projective space. We give a bounding of degree of quasi-smooth hypersurfaces which are invariant by a one dimensional holomorphic foliation of a given degree on a weighted projective space. △ Less

Submitted 6 February, 2015; v1 submitted 16 June, 2014; originally announced June 2014.

Comments: We improve the bound for the Poincare problem; we include an example; 13 pages

Structure of Finite dihedral group algebra

Authors: F. E. Brochero Martínez

Abstract: In this article, we show the relation between the irreducible idempotents of the cyclic group algebra $\mathbb F_qC_n$ and the central irreducible idempotents of the group algebras $\mathbb F_qD_{2n}$, where $\mathbb F_q$ is a finite field with $q$ elements and $D_{2n}$ is the dihedral group of order $2n$, where ${\rm gcd}(q,n)=1$. In this article, we show the relation between the irreducible idempotents of the cyclic group algebra $\mathbb F_qC_n$ and the central irreducible idempotents of the group algebras $\mathbb F_qD_{2n}$, where $\mathbb F_q$ is a finite field with $q$ elements and $D_{2n}$ is the dihedral group of order $2n$, where ${\rm gcd}(q,n)=1$. △ Less

Submitted 14 May, 2014; originally announced May 2014.

MSC Class: 20C05 (primary) and 16S34(secondary)

Weight enumerator of some irreducible cyclic codes

Authors: F. E. Brochero Martínez, C. R. Giraldo Vergara

Abstract: In this article, we show explicitly all possible weight enumerators for every irreducible cyclic code of length $n$ over a finite field $\mathbb F_q$, in the case which each prime divisor of $n$ is also a divisor of $q-1$. In this article, we show explicitly all possible weight enumerators for every irreducible cyclic code of length $n$ over a finite field $\mathbb F_q$, in the case which each prime divisor of $n$ is also a divisor of $q-1$. △ Less

Submitted 8 May, 2014; v1 submitted 27 April, 2014; originally announced April 2014.

Comments: Submitted to Designs, Codes and Cryptography, 8 pages

MSC Class: 12E05(primary) and 94B05(secondary)

Explicit factorization of $x^n-1\in \mathbb F_q[x]$

Authors: F. E. Brochero Martínez, C. R. Giraldo Vergara, L. Batista de Oliveira

Abstract: Let $\mathbb F_q$ be a finite field and $n$ a positive integer. In this article, we prove that, under some conditions on $q$ and $n$, the polynomial $x^n-1$ can be split into irreducible binomials $x^t-a$ and an explicit factorization into irreducible factors is given. Finally, weakening one of our hypothesis, we also obtain factors of the form $x^{2t}-ax^t+b$ and explicit splitting of $x^n-1$ i… ▽ More Let $\mathbb F_q$ be a finite field and $n$ a positive integer. In this article, we prove that, under some conditions on $q$ and $n$, the polynomial $x^n-1$ can be split into irreducible binomials $x^t-a$ and an explicit factorization into irreducible factors is given. Finally, weakening one of our hypothesis, we also obtain factors of the form $x^{2t}-ax^t+b$ and explicit splitting of $x^n-1$ into irreducible factors is given. △ Less

Submitted 18 May, 2014; v1 submitted 24 April, 2014; originally announced April 2014.

Comments: Submitted to Designs, Codes and Cryptography. 9 pages

MSC Class: 12E05(primary) and 94B05(secondary)

Explicit idempotents of finite group algebras

Authors: F. E. Brochero Martínez, C. R. Giraldo Vergara

Abstract: Let $\mathbb F_q$ be a finite field with $q$ elements, $G$ a finite cyclic group of order $p^k$ and $p$ is an odd prime with ${\rm gcd}(q,p)=1$. In this article, we determine an explicit expression for the primitive idempotents of $\mathbb F_qG$. This result extends the result in Arora-Pruthi [1] and Sharma-Bakshi-Dumir-Raka [8]. Let $\mathbb F_q$ be a finite field with $q$ elements, $G$ a finite cyclic group of order $p^k$ and $p$ is an odd prime with ${\rm gcd}(q,p)=1$. In this article, we determine an explicit expression for the primitive idempotents of $\mathbb F_qG$. This result extends the result in Arora-Pruthi [1] and Sharma-Bakshi-Dumir-Raka [8]. △ Less

Submitted 23 April, 2014; originally announced April 2014.

Comments: 9 pages

MSC Class: 16S34; 94B05

Journal ref: Finite Fields and their Application 28 (2014) 123-131

Class of the infinitesimal generator of a diffeomorphism in $(\C^m,0)$

Authors: F. E. Brochero Martinez, L. Lopez-Hernanz

Abstract: Let $F$ be an analytic diffeomorphism in $(\C^m,0)$ tangent to the identity of order $n$. The infinitesimal generator of $F$ is the formal vector field $X$ such that $\Exp X=F$. In this paper we provide an elementary proof of the fact that $X$ belongs to the Gevrey class of order $1/n$. Let $F$ be an analytic diffeomorphism in $(\C^m,0)$ tangent to the identity of order $n$. The infinitesimal generator of $F$ is the formal vector field $X$ such that $\Exp X=F$. In this paper we provide an elementary proof of the fact that $X$ belongs to the Gevrey class of order $1/n$. △ Less

Submitted 12 January, 2007; originally announced January 2007.

Comments: 6 pages

MSC Class: 32H02; 32H50; 37F99

Parabolic curves for diffeomorphisms in (C^2,0)

Authors: F. E Brochero Martinez, F. Cano, L. Lopez Hernanz

Abstract: We give a simple proof of existence of parabolic curves for tangent to the identity diffeomorphisms in (C^2,0) with isolated fixed point. We give a simple proof of existence of parabolic curves for tangent to the identity diffeomorphisms in (C^2,0) with isolated fixed point. △ Less

Submitted 1 November, 2006; originally announced November 2006.

Comments: 4 pages

MSC Class: 32H02; 32H50; 37F99

Groups of germs of analytic diffeomorphisms in (C^2,0)

Authors: Fabio Enrique Brochero Martinez

Abstract: Let G a group of germs of analytic diffeomorphisms in (C^2,0). We find some remarkable properties supposing that G is finite, linearizable, abelian nilpotent and solvable. In particular, if the group is abelian and has a generic dicritic diffeomorphisms, then the group is a subgroup of a 1-parametric group. In addition, we study the topological behaviour of the orbits of a dicritic diffeomorphi… ▽ More Let G a group of germs of analytic diffeomorphisms in (C^2,0). We find some remarkable properties supposing that G is finite, linearizable, abelian nilpotent and solvable. In particular, if the group is abelian and has a generic dicritic diffeomorphisms, then the group is a subgroup of a 1-parametric group. In addition, we study the topological behaviour of the orbits of a dicritic diffeomorphisms. Last, we find some invariants in order to know when two diffeomorphisms are formally conjugates. △ Less

Submitted 31 July, 2002; originally announced July 2002.

MSC Class: 32H50; 58D05; 37Fxx