Showing 1–41 of 41 results for author: Mattarei, S

Congruences for sums involving $\binom{rk}{k}$

Authors: Sandro Mattarei, Roberto Tauraso

Abstract: We primarily investigate congruences modulo $p$ for finite sums of the form $\sum_k\binom{rk}{k}x^k/k$ over the ranges $0<k<p$ and $0<k<p/r$, where $p$ is a prime larger than the positive integer $r$. Here $x$ is an indeterminate, thus allowing specialization to numerical congruences where $x$ takes certain algebraic numbers as values. We employ two different approaches that have complementary str… ▽ More We primarily investigate congruences modulo $p$ for finite sums of the form $\sum_k\binom{rk}{k}x^k/k$ over the ranges $0<k<p$ and $0<k<p/r$, where $p$ is a prime larger than the positive integer $r$. Here $x$ is an indeterminate, thus allowing specialization to numerical congruences where $x$ takes certain algebraic numbers as values. We employ two different approaches that have complementary strengths. In particular, we obtain congruences modulo $p^2$ for the sum $\sum_{0<k<p}\binom{rk}{k}x^k$, expressed in terms of finite polylogarithms of certain quantities related to $x$. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: 24 pages

MSC Class: 11A07 (Primary) 05A10; 05A15 (Secondary)

On some coefficients of the Artin-Hasse series modulo a prime

Authors: Marina Avitabile, Sandro Mattarei

Abstract: Let $p$ be an odd prime, and let $\sum_{n=0}^{\infty} a_{n}X^{n}\in\mathbb{F}_p[[X]]$ be the reduction modulo $p$ of the Artin-Hasse exponential. We obtain a polynomial expression for $a_{kp}$ in terms of those $a_{rp}$ with $r<k$, for even $k<p^2-1$. A conjectural analogue covering the case of odd $k<p$ can be stated in various polynomial forms, essentially in terms of the polynomial… ▽ More Let $p$ be an odd prime, and let $\sum_{n=0}^{\infty} a_{n}X^{n}\in\mathbb{F}_p[[X]]$ be the reduction modulo $p$ of the Artin-Hasse exponential. We obtain a polynomial expression for $a_{kp}$ in terms of those $a_{rp}$ with $r<k$, for even $k<p^2-1$. A conjectural analogue covering the case of odd $k<p$ can be stated in various polynomial forms, essentially in terms of the polynomial $γ(X) =\sum_{n=1}^{p-2}(B_{n}/n)X^{p-n}$, where $B_n$ denotes the $n$-th Bernoulli number. We prove that $γ(X)$ satisfies the functional equation $γ(X-1)-γ(X)=£_1(X)+X^{p-1}-w_p-1$ in $\mathbb{F}_p[X]$, where $£_1(X)$ and $w_p$ are the truncated logarithm and the Wilson quotient. This is an analogue modulo $p$ of a functional equation, in $\mathbb{Q}[[X]]$, established by Zagier for the power series $\sum_{n=1}^{\infty}(B_{n}/n)X^n$. Our proof of the functional equation establishes a connection with a result of Nielsen of 1915, of which we provide a fresh proof. Our polynomial framing allows us to derive congruences for certain numerical sums involving divided Bernoulli numbers. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 12 pages

MSC Class: Primary 33E50; secondary 11B68

The Artin-Hasse series and Laguerre polynomials modulo a prime

Authors: Marina Avitabile, Sandro Mattarei

Abstract: For an odd prime $p$, let $\mathrm{E}_{p}(X)=\sum_{n=0}^{\infty} a_{n}X^{n}\in\mathbb{F}_p[[X]]$ denote the reduction modulo $p$ of the Artin-Hasse exponential series. It is known that there exists a series $G(X^p)\in \mathbb{F}_{p}[[X]]$, such that $L_{p-1}^{(-T(X))}(X)=\mathrm{E}_{p}(X)\cdot G(X^p)$, where $T(X)=\sum_{i=1}^{\infty}X^{p^{i}}$ and $L_{p-1}^{(α)}(X)$ denotes the (generalized) Lague… ▽ More For an odd prime $p$, let $\mathrm{E}_{p}(X)=\sum_{n=0}^{\infty} a_{n}X^{n}\in\mathbb{F}_p[[X]]$ denote the reduction modulo $p$ of the Artin-Hasse exponential series. It is known that there exists a series $G(X^p)\in \mathbb{F}_{p}[[X]]$, such that $L_{p-1}^{(-T(X))}(X)=\mathrm{E}_{p}(X)\cdot G(X^p)$, where $T(X)=\sum_{i=1}^{\infty}X^{p^{i}}$ and $L_{p-1}^{(α)}(X)$ denotes the (generalized) Laguerre polynomial of degree $p-1$. We prove that $G(X^p)=\sum_{n=0}^{\infty}(-1)^n a_{np}X^{np}$, and show that it satisfies $G(X^p)\,G(-X^p)\,T(X)=X^p. $ △ Less

Submitted 28 August, 2023; originally announced August 2023.

Comments: 8 pages

MSC Class: 33E50

Congruences for partial sums of the generating series for $\binom{3k}{k}$

Authors: Sandro Mattarei, Roberto Tauraso

Abstract: We produce congruences modulo a prime $p>3$ for sums $\sum_k\binom{3k}{k}x^k$ over ranges $0\le k<q$ and $0\le k<q/3$, where $q$ is a power of $p$. Here $x$ equals either $c^2/(1-c)^3$, or $4s^2/\bigl(27(s^2-1)\bigr)$, where $c$ and $s$ are indeterminates. In the former case we deal more generally with shifted binomial coefficients $\binom{3k+e}{k}$. Our method derives such congruences directly fr… ▽ More We produce congruences modulo a prime $p>3$ for sums $\sum_k\binom{3k}{k}x^k$ over ranges $0\le k<q$ and $0\le k<q/3$, where $q$ is a power of $p$. Here $x$ equals either $c^2/(1-c)^3$, or $4s^2/\bigl(27(s^2-1)\bigr)$, where $c$ and $s$ are indeterminates. In the former case we deal more generally with shifted binomial coefficients $\binom{3k+e}{k}$. Our method derives such congruences directly from closed forms for the corresponding series. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: 18 pages

MSC Class: 05A16

Irreducible polynomials from a cubic transformation

Authors: Sandro Mattarei, Marco Pizzato

Abstract: Let $R(x)=g(x)/h(x)$ be a rational expression of degree three over the finite field $\mathbb{F}_q$. We count the irreducible polynomials in $\mathbb{F}_q[x]$, of a given degree, which have the form $h(x)^{\mathrm{deg}\, f}\cdot f\bigl(R(x)\bigr)$ for some $f(x)\in\mathbb{F}_q[x]$. As an application, we recover the number of irreducible transformation shift registers of order three, previously comp… ▽ More Let $R(x)=g(x)/h(x)$ be a rational expression of degree three over the finite field $\mathbb{F}_q$. We count the irreducible polynomials in $\mathbb{F}_q[x]$, of a given degree, which have the form $h(x)^{\mathrm{deg}\, f}\cdot f\bigl(R(x)\bigr)$ for some $f(x)\in\mathbb{F}_q[x]$. As an application, we recover the number of irreducible transformation shift registers of order three, previously computed by Jiang and Yang. △ Less

Submitted 7 November, 2021; originally announced November 2021.

Comments: 20 pages

MSC Class: 12E05

Journal ref: Finite Fields Appl. Journal Profile 84, Article ID 102111, 22 p. (2022)

The earliest diamond of finite type in Nottingham algebras

Authors: Marina Avitabile, Sandro Mattarei

Abstract: We prove several structural results on Nottingham algebras, a class of infinite-dimensional, modular, graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous components of a Nottingham algebra have dimension one or two, and in the latter case they are called diamonds. The first diamond occurs in degree $1$,… ▽ More We prove several structural results on Nottingham algebras, a class of infinite-dimensional, modular, graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous components of a Nottingham algebra have dimension one or two, and in the latter case they are called diamonds. The first diamond occurs in degree $1$, and the second occurs in degree $q$, a power of the characteristic. Each diamond past the second is assigned a type, which either belongs to the underlying field or is $\infty$. Nottingham algebras with a variety of diamond patterns are known. In particular, some have diamonds of both finite and infinite type. We prove that each of those known examples is uniquely determined by a certain finite-dimensional quotient. Finally, we determine how many diamonds of type $\infty$ may precede the earliest diamond of finite type in an arbitrary Nottingham algebra. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 30 pages. arXiv admin note: substantial text overlap with arXiv:2011.05491

Journal ref: J. Lie Theory 32 (2022), 771-796

Cubic rational expressions over a finite field

Authors: Sandro Mattarei, Marco Pizzato

Abstract: We study and partially classify cubic rational expressions $g(x)/h(x)$ over a finite field $\mathbb{F}_q$, up to pre- and post-composition with independent Möbius transformations. In particular, we obtain a full classification when $q$ is even, and prove an upper bound of $4q$ for the number of equivalence classes when $q$ is odd. We study and partially classify cubic rational expressions $g(x)/h(x)$ over a finite field $\mathbb{F}_q$, up to pre- and post-composition with independent Möbius transformations. In particular, we obtain a full classification when $q$ is even, and prove an upper bound of $4q$ for the number of equivalence classes when $q$ is odd. △ Less

Submitted 20 February, 2023; v1 submitted 31 March, 2021; originally announced April 2021.

Comments: 24 pages; improved bound in Section 6 (lowered from 6q-2 to 4q), extended to include char 3; consequent rearrangement and renumbering of some theorems; discussion of related literature on cubic extensions included in Section 2

MSC Class: 12E05

A sandwich in thin Lie algebras

Authors: Sandro Mattarei

Abstract: A thin Lie algebras is a Lie algebra $L$, graded over the positive integers, with its first homogeneous component $L_1$ of dimension two and generating $L$, and such that each nonzero ideal of $L$ lies between consecutive terms of its lower central series. All its homogeneous components have dimension one or two, and the two-dimensional components are called diamonds. We prove that if the next dia… ▽ More A thin Lie algebras is a Lie algebra $L$, graded over the positive integers, with its first homogeneous component $L_1$ of dimension two and generating $L$, and such that each nonzero ideal of $L$ lies between consecutive terms of its lower central series. All its homogeneous components have dimension one or two, and the two-dimensional components are called diamonds. We prove that if the next diamond past $L_1$ of an infinite-dimensional thin Lie algebra $L$ is $L_k$, with $k>5$, then $[Lyy]=0$ for some nonzero element $y$ of $L_1$. △ Less

Submitted 8 March, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: 9 pages

MSC Class: 17B50

Journal ref: Proc. Edinb. Math. Soc., II. Ser. 65 (2022), 136-145

Graded Lie algebras of maximal class of type $p$

Authors: Valentina Iusa, Sandro Mattarei, Claudio Scarbolo

Abstract: The algebras of the title are infinite-dimensional graded Lie algebras $L= \bigoplus_{i=1}^{\infty}L_i$, over a field of positive characteristic $p$, that are generated by an element of degree $1$ and an element of degree $p$, and satisfy $[L_i,L_1]=L_{i+1}$ for $i\ge p$. In case $p=2$ such algebras were classified by Caranti and Vaughan-Lee in 2003. We announce an extension of that classification… ▽ More The algebras of the title are infinite-dimensional graded Lie algebras $L= \bigoplus_{i=1}^{\infty}L_i$, over a field of positive characteristic $p$, that are generated by an element of degree $1$ and an element of degree $p$, and satisfy $[L_i,L_1]=L_{i+1}$ for $i\ge p$. In case $p=2$ such algebras were classified by Caranti and Vaughan-Lee in 2003. We announce an extension of that classification to arbitrary prime characteristic, and prove several major steps in its proof. △ Less

Submitted 27 January, 2025; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: Author Accepted Manuscript, 41 pages. arXiv admin note: text overlap with arXiv:1911.00970

MSC Class: 17B70 (Primary) 17B65; 17B05 (Secondary)

Journal ref: J. Algebra 588 (2021), 77-117

Diamond distances in Nottingham algebras

Authors: Marina Avitabile, Sandro Mattarei

Abstract: Nottingham algebras are a class of just-infinite-dimensional, modular, $\mathbb{N}$-graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous components of a Nottingham algebra have dimension one or two, and in the latter case they are called diamonds. The first diamond occurs in degree $1$, and the second oc… ▽ More Nottingham algebras are a class of just-infinite-dimensional, modular, $\mathbb{N}$-graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous components of a Nottingham algebra have dimension one or two, and in the latter case they are called diamonds. The first diamond occurs in degree $1$, and the second occurs in degree $q$, a power of the characteristic. Many examples of Nottingham algebras are known, in which each diamond past the first can be assigned a type, either belonging to the underlying field or equal to $\infty$. A prospective classification of Nottingham algebras requires describing all possible diamond patterns. In this paper we establish some crucial contributions towards that goal. One is showing that all diamonds, past the first, of an arbitrary Nottingham algebra $L$ can be assigned a type, in such a way that the degrees and types of the diamonds completely describe $L$. At the same time we prove that the difference in degrees of any two consecutive diamonds in any Nottingham algebra equals $q-1$. As a side-product of our investigation, we classify the Nottingham algebras where all diamonds have type $\infty$. △ Less

Submitted 23 June, 2021; v1 submitted 10 November, 2020; originally announced November 2020.

Comments: 22 pages

MSC Class: Primary 17B50; secondary 17B70; 17B65

Journal ref: J. Algebra Appl. 22, No. 1, Article ID 2350032, 22 p. (2023)

Constituents of graded Lie algebras of maximal class and chain lengths of thin Lie algebras

Authors: Sandro Mattarei

Abstract: Thin Lie algebras are infinite-dimensional graded Lie algebras $L=\bigoplus_{i=1}^{\infty}$, with $\dim(L_1)=2$ and satisfying a covering property: for each $i$, each nonzero $z\in L_i$ satisfies $[zL_1]=L_{i+1}$. It follows that each homogeneous components $L_i$ is either one- or two-dimensional, and in the latter case is called a diamond. Hence $L_1$ is a diamond, and if there are no other diamo… ▽ More Thin Lie algebras are infinite-dimensional graded Lie algebras $L=\bigoplus_{i=1}^{\infty}$, with $\dim(L_1)=2$ and satisfying a covering property: for each $i$, each nonzero $z\in L_i$ satisfies $[zL_1]=L_{i+1}$. It follows that each homogeneous components $L_i$ is either one- or two-dimensional, and in the latter case is called a diamond. Hence $L_1$ is a diamond, and if there are no other diamonds then $L$ is a graded Lie algebra of maximal class. We present simpler proofs of some fundamental facts on graded Lie algebras of maximal class, and on thin Lie algebras, based on a uniform method, with emphasis on a polynomial interpretation. Among else, we determine the possible values for the most fundamental parameter of such algebras, which is the dimension of their largest metabelian quotient. △ Less

Submitted 8 March, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: 16 pages; very minor changes from previous version (a comment added, further references)

MSC Class: 17B50

Journal ref: Commun. Algebra 50 (2022), 726-739

Graded Lie algebras of maximal class of type $n$

Authors: Sandro Mattarei, Simone Ugolini

Abstract: Let $n>1$ be an integer. The algebras of the title, which we abbreviate as algebras of type $n$, are infinite-dimensional graded Lie algebras $L= \bigoplus_{i=1}^{\infty}L_i$, which are generated by an element of degree $1$ and an element of degree $n$, and satisfy $[L_i,L_1]=L_{i+1}$ for $i\ge n$. Algebras of type $2$ were classified by Caranti and Vaughan-Lee in 2000 over any field of odd charac… ▽ More Let $n>1$ be an integer. The algebras of the title, which we abbreviate as algebras of type $n$, are infinite-dimensional graded Lie algebras $L= \bigoplus_{i=1}^{\infty}L_i$, which are generated by an element of degree $1$ and an element of degree $n$, and satisfy $[L_i,L_1]=L_{i+1}$ for $i\ge n$. Algebras of type $2$ were classified by Caranti and Vaughan-Lee in 2000 over any field of odd characteristic. In this paper we lay the foundations for a classification of algebras of arbitrary type $n$, over fields of sufficiently large characteristic relative to $n$. Our main result describes precisely all possibilities for the first constituent length of an algebra of type $n$, which is a numerical invariant closely related to the dimension of its largest metabelian quotient. △ Less

Submitted 27 January, 2025; v1 submitted 3 November, 2019; originally announced November 2019.

Comments: Author Accepted Manuscript, 35 pages

MSC Class: 17B70 (Primary); 17B65; 17B05 (Secondary)

Journal ref: J. Algebra 593 (2022), 142-177

Generalized finite polylogarithms

Authors: Marina Avitabile, Sandro Mattarei

Abstract: We introduce a generalization $£_{d}^{(α)}(X)$ of the finite polylogarithms $£_{d}^{(0)}(X)=£_d(X)=\sum_{k=1}^{p-1}X^k/k^d$, in characteristic $p$, which depends on a parameter $α$. The special case $£_{1}^{(α)}(X)$ was previously investigated by the authors as the inverse, in an appropriate sense, of a parametrized generalization of the truncated exponential which is instrumental in a {\em gradin… ▽ More We introduce a generalization $£_{d}^{(α)}(X)$ of the finite polylogarithms $£_{d}^{(0)}(X)=£_d(X)=\sum_{k=1}^{p-1}X^k/k^d$, in characteristic $p$, which depends on a parameter $α$. The special case $£_{1}^{(α)}(X)$ was previously investigated by the authors as the inverse, in an appropriate sense, of a parametrized generalization of the truncated exponential which is instrumental in a {\em grading switching} technique for non-associative algebras. Here we extend such generalization to $£_{d}^{(α)}(X)$ in a natural manner, and study some properties satisfied by those polynomials. In particular, we find how the polynomials $£_{d}^{(α)}(X)$ are related to the powers of $£_{1}^{(α)}(X)$ and derive some consequences. △ Less

Submitted 4 September, 2018; originally announced September 2018.

Comments: 18 pages

MSC Class: 33E50

Journal ref: Glasgow Math. J. 63 (2021) 66-80

A generalized truncated logarithm

Authors: Marina Avitabile, Sandro Mattarei

Abstract: We introduce a generalization $G^{(α)}(X)$ of the truncated logarithm $\mathcal{L}_1(X) = \sum_{k=1}^{p-1}X^k/k$ in characteristic $p$, which depends on a parameter $α$. The main motivation of this study is $G^{(α)}(X)$ being an inverse, in an appropriate sense, of a parametrized generalization of the truncated exponential given by certain Laguerre polynomials. Such Laguerre polynomials play a rol… ▽ More We introduce a generalization $G^{(α)}(X)$ of the truncated logarithm $\mathcal{L}_1(X) = \sum_{k=1}^{p-1}X^k/k$ in characteristic $p$, which depends on a parameter $α$. The main motivation of this study is $G^{(α)}(X)$ being an inverse, in an appropriate sense, of a parametrized generalization of the truncated exponential given by certain Laguerre polynomials. Such Laguerre polynomials play a role in a grading switching technique for non-associative algebras, previously developed by the authors, because they satisfy a weak analogue of the functional equation $\exp(X)\exp(Y)=\exp(X+Y)$ of the exponential series. We also investigate functional equations satisfied by $G^{(α)}(X)$ motivated by known functional equations for $\mathcal{L}_1(X)=-G^{(0)}(X)$. △ Less

Submitted 27 March, 2018; originally announced March 2018.

Comments: 24 pages

MSC Class: 33E50

Journal ref: Aequationes Math. 93 (2019), 711-734

From generating series to polynomial congruences

Authors: Sandro Mattarei, Roberto Tauraso

Abstract: Consider an ordinary generating function $\sum_{k=0}^{\infty}c_kx^k$, of an integer sequence of some combinatorial relevance, and assume that it admits a closed form $C(x)$. Various instances are known where the corresponding truncated sum $\sum_{k=0}^{q-1}c_kx^k$, with $q$ a power of a prime $p$, also admits a closed form representation when viewed modulo $p$. Such a representation for the trunca… ▽ More Consider an ordinary generating function $\sum_{k=0}^{\infty}c_kx^k$, of an integer sequence of some combinatorial relevance, and assume that it admits a closed form $C(x)$. Various instances are known where the corresponding truncated sum $\sum_{k=0}^{q-1}c_kx^k$, with $q$ a power of a prime $p$, also admits a closed form representation when viewed modulo $p$. Such a representation for the truncated sum modulo $p$ frequently bears a resemblance with the shape of $C(x)$, despite being typically proved through independent arguments. One of the simplest examples is the congruence $\sum_{k=0}^{q-1}\binom{2k}{k}x^k\equiv(1-4x)^{(q-1)/2}\pmod{p}$ being a finite match for the well-known generating function $\sum_{k=0}^\infty\binom{2k}{k}x^k= 1/\sqrt{1-4x}$. We develop a method which allows one to directly infer the closed-form representation of the truncated sum from the closed form of the series for a significant class of series involving central binomial coefficients. In particular, we collect various known such series whose closed-form representation involves polylogarithms ${\rm Li}_d(x)=\sum_{k=1}^{\infty}x^k/k^d$, and after supplementing them with some new ones we obtain closed-forms modulo $p$ for the corresponding truncated sums, in terms of finite polylogarithms $£_d(x)=\sum_{k=1}^{p-1}x^k/k^d$. △ Less

Submitted 7 March, 2017; originally announced March 2017.

Generalizations of self-reciprocal polynomials

Authors: Sandro Mattarei, Marco Pizzato

Abstract: A formula for the number of monic irreducible self-reciprocal polynomials, of a given degree over a finite field, was given by Carlitz in 1967. In 2011 Ahmadi showed that Carlitz's formula extends, essentially without change, to a count of irreducible polynomials arising through an arbitrary quadratic transformation. In the present paper we provide an explanation for this extension, and a simpler… ▽ More A formula for the number of monic irreducible self-reciprocal polynomials, of a given degree over a finite field, was given by Carlitz in 1967. In 2011 Ahmadi showed that Carlitz's formula extends, essentially without change, to a count of irreducible polynomials arising through an arbitrary quadratic transformation. In the present paper we provide an explanation for this extension, and a simpler proof of Ahmadi's result, by a reduction to the known special case of self-reciprocal polynomials and a minor variation. We also prove further results on polynomials arising through a quadratic transformation, and through some special transformations of higher degree. △ Less

Submitted 28 August, 2017; v1 submitted 24 September, 2016; originally announced September 2016.

Comments: 17 pages. The paper has been mildly re-organized according to suggestions of various referees, improving clarity. This version matches the published version

MSC Class: 12E05

Journal ref: Finite Fields Appl. 48 (2017), 271-288

A property of the inverse of a subspace of a finite field

Authors: S. Mattarei

Abstract: We prove a geometric property of the set A^{-1} of inverses of the nonzero elements of an F_q-subspace A of a finite field involving the size of its intersection with two-dimensional F_q-subspaces. We give some applications, including a new upper bound on the size of the intersection of A^{-1} and B when A and B are F_q-subspaces of different dimension of a finite field, satisfying a suitable natu… ▽ More We prove a geometric property of the set A^{-1} of inverses of the nonzero elements of an F_q-subspace A of a finite field involving the size of its intersection with two-dimensional F_q-subspaces. We give some applications, including a new upper bound on the size of the intersection of A^{-1} and B when A and B are F_q-subspaces of different dimension of a finite field, satisfying a suitable natural assumption. △ Less

Submitted 4 December, 2013; originally announced December 2013.

Comments: 6 pages

MSC Class: Primary 11T30; secondary 51E20

Journal ref: Finite Fields Appl. 29 (2014), 268-274

Inversion and subspaces of a finite field

Authors: Sandro Mattarei

Abstract: Let $A$ and $B$ two $F_q$-subspaces of a finite field, of the same size, and let $A^{-1}$ denote the set of inverses of the nonzero elements of $A$. Mattarei proved that $A^{-1}$ can only be contained in $A$ if either $A$ is a subfield, or $A$ is the set of trace zero elements in a quadratic extension of a field. Csajbók refined this to the following quantitative statement: if… ▽ More Let $A$ and $B$ two $F_q$-subspaces of a finite field, of the same size, and let $A^{-1}$ denote the set of inverses of the nonzero elements of $A$. Mattarei proved that $A^{-1}$ can only be contained in $A$ if either $A$ is a subfield, or $A$ is the set of trace zero elements in a quadratic extension of a field. Csajbók refined this to the following quantitative statement: if $A^{-1}\not\subseteq B$, then the bound $|A^{-1}\cap B|\le 2|B|/q-2$ holds. He also gave examples showing that his bound is sharp for $|B|\le q^3$. Our main result is a proof of the stronger bound $|A^{-1}\cap B|\le |B|/q\cdot\bigl(1+O_d(q^{-1/2})\bigr)$, for $|B|=q^d$ with $d>3$. We also classify all examples with $|B|\le q^3$ which attain equality in Csajbók's bound. △ Less

Submitted 8 December, 2013; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: 20 pages. Changes from previous version: added comment on similar bound for A and B affine subspaces, in Section 2; added Remark 11, and Reference, on alternate approach to when Csajbok's bound is attained for |B|=q^3, via facts from finite geometries. Version submitted for publication

MSC Class: 11T06 (primary); 51E20 (secondary)

Journal ref: Israel J. Math. 206 (2015), no. 1, 327-351

Grading switching for modular non-associative algebras

Authors: Marina Avitabile, Sandro Mattarei

Abstract: We describe a grading switching for arbitrary non-associative algebras of prime characteristic p, aimed at producing a new grading of an algebra from a given one. This is inspired by a fundamental tool in the classification theory of modular Lie algebras known as toral switching, which relies on a delicate adaptation of the exponential of a derivation. We trace the development of grading switching… ▽ More We describe a grading switching for arbitrary non-associative algebras of prime characteristic p, aimed at producing a new grading of an algebra from a given one. This is inspired by a fundamental tool in the classification theory of modular Lie algebras known as toral switching, which relies on a delicate adaptation of the exponential of a derivation. We trace the development of grading switching, from an early version based on taking the Artin-Hasse exponential of a nilpotent derivation, to a more general version which uses certain generalized Laguerre polynomials playing the role of generalized exponentials. Both versions depend on the existence of appropriate analogues of the functional equation exp(x).exp(y)=exp(x+y) for the classical exponential. △ Less

Submitted 8 October, 2013; originally announced October 2013.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:1211.4432

MSC Class: Primary 17A36; secondary 33C52; 17B50; 17B65

Journal ref: Lie algebras and related topics, 1-14, Contemp. Math., 652, Amer. Math. Soc., Providence, RI, 2015

Nottingham Lie algebras with diamonds of finite and infinite type

Authors: Marina Avitabile, Sandro Mattarei

Abstract: We consider a class of infinite-dimensional, modular, graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. We identify two subclasses of Nottingham Lie algebras as loop algebras of finite-dimensional simple Lie algebras of Hamiltonian Cartan type. A property of Laguerre polynomials of derivations, which is related t… ▽ More We consider a class of infinite-dimensional, modular, graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. We identify two subclasses of Nottingham Lie algebras as loop algebras of finite-dimensional simple Lie algebras of Hamiltonian Cartan type. A property of Laguerre polynomials of derivations, which is related to toral switching, plays a crucial role in our constructions. △ Less

Submitted 25 March, 2013; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: 17 pages; minor changes from the previous version

MSC Class: 17B50 (Primary) 17B70; 17B65; 17B56 (Secondary)

Journal ref: J. Lie Theory 24 (2014), no. 2, 457-473

Laguerre polynomials of derivations

Authors: Marina Avitabile, Sandro Mattarei

Abstract: We introduce a 'grading switching' for arbitrary nonassociative algebras of prime characteristic p, aimed at producing a new grading of an algebra from a given one. We take inspiration from a fundamental tool in the classification theory of modular Lie algebras known as 'toral switching', which relies on a delicate adaptation of the exponential of a derivation. Our grading switching is achieved by… ▽ More We introduce a 'grading switching' for arbitrary nonassociative algebras of prime characteristic p, aimed at producing a new grading of an algebra from a given one. We take inspiration from a fundamental tool in the classification theory of modular Lie algebras known as 'toral switching', which relies on a delicate adaptation of the exponential of a derivation. Our grading switching is achieved by evaluating certain generalized Laguerre polynomials of degree p-1, which play the role of generalized exponentials, on a derivation of the algebra. A crucial part of our argument is establishing a congruence for them which is an appropriate analogue of the functional equation exp(x)*exp(y)=exp(x+y) for the classical exponential. Besides having a wider scope, our treatment provides a more transparent explanation of some aspects of the original toral switching, which can be recovered as a special case. △ Less

Submitted 25 March, 2013; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: 15 pages; minor changes from the previous version

MSC Class: 17A36 (Primary) 33C52; 17B50; 17B65 (Secondary)

Journal ref: Israel J. Math. 205 (2015), no. 1, 109-126

Congruences for central binomial sums and finite polylogarithms

Authors: Sandro Mattarei, Roberto Tauraso

Abstract: We prove congruences, modulo a power of a prime p, for certain finite sums involving central binomial coefficients $\binom{2k}{k}$. We prove congruences, modulo a power of a prime p, for certain finite sums involving central binomial coefficients $\binom{2k}{k}$. △ Less

Submitted 22 September, 2011; v1 submitted 6 December, 2010; originally announced December 2010.

Journal ref: J. Number Theory 133 (2013), 131-157

The sum $\sum_{k=0}^{q-1}\binom{2k}{k}$ for q a power of 3

Authors: Sandro Mattarei

Abstract: We prove that $\sum_{k=0}^{q-1}\binom{2k}{k}\equiv q^2\pmod{3q^2}$ if q>1 is a power of 3, as recently conjectured by Z.W. Sun and R. Tauraso. Our more precise result actually implies that the value of $(1/q^2)\sum_{k=0}^{q-1}\binom{2k}{k}$ modulo a fixed arbitrary power of 3 is independent of q, for q a power of 3 large enough, and shows how such value can be efficiently computed. We prove that $\sum_{k=0}^{q-1}\binom{2k}{k}\equiv q^2\pmod{3q^2}$ if q>1 is a power of 3, as recently conjectured by Z.W. Sun and R. Tauraso. Our more precise result actually implies that the value of $(1/q^2)\sum_{k=0}^{q-1}\binom{2k}{k}$ modulo a fixed arbitrary power of 3 is independent of q, for q a power of 3 large enough, and shows how such value can be efficiently computed. △ Less

Submitted 13 January, 2010; originally announced January 2010.

Comments: 10 pages

MSC Class: 11B65; 11A07

Asymptotics of partial sums of central binomial coefficients and Catalan numbers

Authors: Sandro Mattarei

Abstract: We prove exact asymptotic expansions for the partial sums of the sequences of central binomial coefficients and Catalan numbers, $\sum_{k=0}^n \binom{2k}{k}$ and $\sum_{k=0}^n C_n$. We also obtain closed forms for the polynomials $\sum_{k=0}^{q-1}\binom{2k}{k}x^k$ and $\sum_{k=0}^{q-1}C_kx^k$ over the field of $p$ elements, where $q$ is a power of the prime $p$. We prove exact asymptotic expansions for the partial sums of the sequences of central binomial coefficients and Catalan numbers, $\sum_{k=0}^n \binom{2k}{k}$ and $\sum_{k=0}^n C_n$. We also obtain closed forms for the polynomials $\sum_{k=0}^{q-1}\binom{2k}{k}x^k$ and $\sum_{k=0}^{q-1}C_kx^k$ over the field of $p$ elements, where $q$ is a power of the prime $p$. △ Less

Submitted 13 January, 2010; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 8 pages; a new section has been added, about congruences modulo a prime

MSC Class: 05A16 (Primary); 05A10 (Secondary)

Engel conditions and symmetric tensors

Authors: Sandro Mattarei

Abstract: In a recent study of Engel Lie rings, Serena Cicalo` and Willem de Graaf have given a practical set of conditions for an additively finitely generated Lie ring L to satisfy an Engel condition. We present a simpler and more direct proof of this fact. Then we generalize it to a result in the language of tensor algebra, which can be applied to other contexts. In a recent study of Engel Lie rings, Serena Cicalo` and Willem de Graaf have given a practical set of conditions for an additively finitely generated Lie ring L to satisfy an Engel condition. We present a simpler and more direct proof of this fact. Then we generalize it to a result in the language of tensor algebra, which can be applied to other contexts. △ Less

Submitted 2 June, 2009; originally announced June 2009.

Comments: 13 pages

MSC Class: 15A69 (Primary); 17B01; 20F45 (Secondary)

Journal ref: Linear Multilinear Algebra 59 (2011), no. 4, 441-449

The structure of thin Lie algebras up to the second diamond

Authors: Marina Avitabile, Giuseppe Jurman, Sandro Mattarei

Abstract: Thin Lie algebras are Lie algebras L, graded over the positive integers, with all homogeneous components of dimension at most two, and satisfying a more stringent but natural narrowness condition modeled on an analogous one for pro-p groups. The two-dimensional homogeneous components of L, which include that of degree one, are named diamonds. Infinite-dimensional thin Lie algebras with various d… ▽ More Thin Lie algebras are Lie algebras L, graded over the positive integers, with all homogeneous components of dimension at most two, and satisfying a more stringent but natural narrowness condition modeled on an analogous one for pro-p groups. The two-dimensional homogeneous components of L, which include that of degree one, are named diamonds. Infinite-dimensional thin Lie algebras with various diamond patterns have been produced, over fields of positive characteristic, as loop algebras of suitable finite-dimensional simple Lie algebras, of classical or of Cartan type depending on the location of the second diamond. The goal of this paper is a description of the initial structure of a thin Lie algebra, up to the second diamond. Specifically, if L_k is the second diamond of L, then the quotient L/L^k is a graded Lie algebras of maximal class. In characteristic not two, L/L^k is known to be metabelian, and hence uniquely determined up to isomorphism by its dimension k, which ranges in an explicitly known set of possible values. The quotient L/L^k need not be metabelian in characteristic two. We describe here all the possibilities for L/L^k up to isomorphism. In particular, we prove that k+1 equals a power of two. △ Less

Submitted 8 December, 2008; originally announced December 2008.

Comments: 35 pages

MSC Class: 17B50

Journal ref: J. Lie Theory 19 (2009), no. 1, 185-207

A sufficient condition for a number to be the order of a nonsingular derivation of a Lie algebra

Authors: Sandro Mattarei

Abstract: A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic p>0 was initiated by Shalev and continued by the present author. The main goal of this paper is to show the abundance of elements of N_p. Our main result shows that any divisor n of q-1, where q is a power of p, such that… ▽ More A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic p>0 was initiated by Shalev and continued by the present author. The main goal of this paper is to show the abundance of elements of N_p. Our main result shows that any divisor n of q-1, where q is a power of p, such that $n\ge (p-1)^{1/p} (q-1)^{1-1/(2p)}$, belongs to N_p. This extends its special case for p=2 which was proved in a previous paper by a different method. △ Less

Submitted 17 October, 2007; v1 submitted 13 June, 2007; originally announced June 2007.

Comments: 10 pages. This version has been revised according to a referee's suggestions. The additions include a discussion of the (lower) density of the set N_p, and the results of more extensive machine computations. Note that the title has also changed. To appear in Israel J. Math

MSC Class: 17B50; 17B40; 12C15; 20C15

Journal ref: Israel J. Math. 171 (2009), no. 1, 1-14

Thin loop algebras of Albert-Zassenhaus algebras

Authors: Marina Avitabile, Sandro Mattarei

Abstract: Thin Lie algebras are Lie algebras over a field, graded over the positive integers and satisfying a certain narrowness condition. In particular, all homogeneous components have dimension one or two, and are called diamonds in the latter case. The first diamond is the component of degree one, and the second diamond can only occur in degrees 3, 5, q or 2q-1, where q is a power of the characteristi… ▽ More Thin Lie algebras are Lie algebras over a field, graded over the positive integers and satisfying a certain narrowness condition. In particular, all homogeneous components have dimension one or two, and are called diamonds in the latter case. The first diamond is the component of degree one, and the second diamond can only occur in degrees 3, 5, q or 2q-1, where q is a power of the characteristic of the underlying field. Here we consider several classes of thin Lie algebras with second diamond in degree q. In particular, we identify the Lie algebras in one of these classes with suitable loop algebras of certain Albert-Zassenhaus Lie algebras. We also apply a deformation technique to recover other thin Lie algebras previously produced as loop algebras of certain graded Hamiltonian Lie algebras. △ Less

Submitted 12 October, 2006; originally announced October 2006.

Comments: 28 pages

MSC Class: 17B50; 17B70; 17B65

Journal ref: J. Algebra 315 (2007), no. 2, 824-851

The orders of nonsingular derivations of Lie algebras of characteristic two

Authors: Sandro Mattarei

Abstract: Nonsingular derivations of modular Lie algebras which have finite multiplicative order play a role in the coclass theory for pro-$p$ groups and Lie algebras. A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of positive characteristic p was initiated by Shalev and continued by the present author. In this… ▽ More Nonsingular derivations of modular Lie algebras which have finite multiplicative order play a role in the coclass theory for pro-$p$ groups and Lie algebras. A study of the set N_p of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of positive characteristic p was initiated by Shalev and continued by the present author. In this paper we continue this study in the case of characteristic two. Among other results, we prove that any divisor n of 2^k-1 with $n^4>(2^k-n)^{3}$ belongs to N_2. Our methods consist of elementary arguments with polynomials over finite fields and a little character theory of finite groups. △ Less

Submitted 28 February, 2006; originally announced February 2006.

Comments: 11 pages

MSC Class: 17B50 (Primary); 17B40; 12C15; 20C15 (Secondary)

Journal ref: Israel J. Math. 160 (2007), 23-40

A note on automorphisms of free nilpotent groups

Authors: Sandro Mattarei

Abstract: We exhibit normal subgroups of a free nilpotent group F of rank two and class three, which have isomorphic finite quotients but are not conjugate under any automorphism of F. We exhibit normal subgroups of a free nilpotent group F of rank two and class three, which have isomorphic finite quotients but are not conjugate under any automorphism of F. △ Less

Submitted 9 February, 2006; originally announced February 2006.

Comments: 4 pages, to be published in Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat

MSC Class: 20E05 (Primary); 20F18 (Secondary)

Journal ref: Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8) 10 (2007), no. 2, 441--444

On a special congruence of Carlitz

Authors: Sandro Mattarei

Abstract: We prove that if $q$ is a power of a prime $p$ and $p^k$ divides $a$, with $k\ge 0$, then \[ 1+(q-1)\sum_{0\le b(q-1)<a} \binom{a}{b(q-1)}\equiv 0\pmod{p^{k+1}}. \] The special case of this congruence where $q=p$ was proved by Carlitz in 1953 by means of rather deep properties of the Bernoulli numbers. A more direct approach produces our generalization and several related results. We prove that if $q$ is a power of a prime $p$ and $p^k$ divides $a$, with $k\ge 0$, then \[ 1+(q-1)\sum_{0\le b(q-1)<a} \binom{a}{b(q-1)}\equiv 0\pmod{p^{k+1}}. \] The special case of this congruence where $q=p$ was proved by Carlitz in 1953 by means of rather deep properties of the Bernoulli numbers. A more direct approach produces our generalization and several related results. △ Less

Submitted 1 February, 2006; originally announced February 2006.

Comments: 11 pages

MSC Class: 11B65 (Primary); 05A10; 05A19; 11A07 (Secondary)

Journal ref: Integers 6 (2006), A09, 13 pp. (electronic)

Automorphisms of p-groups of maximal class

Authors: Andrea Caranti, Sandro Mattarei

Abstract: Juhasz has proved that the automorphism group of a group G of maximal class of order p^n, with p\ge 5 and n>p+1, has order divisible by $p^{\lceil(3n-2p+5)/2\rceil}$. We show that by translating the problem in terms of derivations, the result can be deduced from the case where G is metabelian. Here one can use a general result of Caranti and Scoppola concerning automorphisms of two-generator, ni… ▽ More Juhasz has proved that the automorphism group of a group G of maximal class of order p^n, with p\ge 5 and n>p+1, has order divisible by $p^{\lceil(3n-2p+5)/2\rceil}$. We show that by translating the problem in terms of derivations, the result can be deduced from the case where G is metabelian. Here one can use a general result of Caranti and Scoppola concerning automorphisms of two-generator, nilpotent metabelian groups. △ Less

Submitted 21 December, 2005; originally announced December 2005.

Comments: 8 pages

MSC Class: 20D15; 20D45

Journal ref: Rend. Sem. Mat. Univ. Padova. 115 (2006), 189-198

Root multiplicities and number of nonzero coefficients of a polynomial

Authors: Sandro Mattarei

Abstract: It is known that the weight (that is, the number of nonzero coefficients) of a univariate polynomial over a field of characteristic zero is larger than the multiplicity of any of its nonzero roots. We extend this result to an appropriate statement in positive characteristic. Furthermore, we present a new proof of the original result, which produces also the exact number of monic polynomials of a… ▽ More It is known that the weight (that is, the number of nonzero coefficients) of a univariate polynomial over a field of characteristic zero is larger than the multiplicity of any of its nonzero roots. We extend this result to an appropriate statement in positive characteristic. Furthermore, we present a new proof of the original result, which produces also the exact number of monic polynomials of a given degree for which the bound is attained. A similar argument allows us to determine the number of monic polynomials of a given degree, multiplicity of a given nonzero root, and number of nonzero coefficients, over a finite field of characteristic larger than the degree. △ Less

Submitted 20 January, 2006; v1 submitted 12 December, 2005; originally announced December 2005.

Comments: 6 pages. Minor change from previous version: added Example 6, illustrating the difficulties arising when one tries to relax the hypothesis n<p of Theorem 3

MSC Class: 11C08; 11T06

Journal ref: J. Algebra Appl. 6 (2007), no. 3, 469--475

Inverse-closed additive subgroups of fields

Authors: Sandro Mattarei

Abstract: We describe the additive subgroups of fields which are closed with respect to taking inverses. In particular, in characteristic different from two any such subgroup is either a subfield or the kernel of the trace map of a quadratic subextension of the field. We describe the additive subgroups of fields which are closed with respect to taking inverses. In particular, in characteristic different from two any such subgroup is either a subfield or the kernel of the trace map of a quadratic subextension of the field. △ Less

Submitted 22 November, 2005; originally announced November 2005.

Comments: 4 pages

MSC Class: 12E99

Journal ref: Israel J. Math. 159 (2007), 343--348

Linear recurrence relations for binomial coefficients modulo a prime

Authors: Sandro Mattarei

Abstract: We investigate when the sequence of binomial coefficients \binom{k}{i} modulo a prime p, for a fixed positive integer k, satisfies a linear recurrence relation of (positive) degree h in the finite range 0\le i\le k. In particular, we prove that this cannot occur if 2h\le k<p-h. This hypothesis can be weakened to 2h\le k<p if we assume, in addition, that the characteristic polynomial of the relat… ▽ More We investigate when the sequence of binomial coefficients \binom{k}{i} modulo a prime p, for a fixed positive integer k, satisfies a linear recurrence relation of (positive) degree h in the finite range 0\le i\le k. In particular, we prove that this cannot occur if 2h\le k<p-h. This hypothesis can be weakened to 2h\le k<p if we assume, in addition, that the characteristic polynomial of the relation does not have -1 as a root. We apply our results to recover a known bound for the number of points of a Fermat curve over a finite field. △ Less

Submitted 16 November, 2005; originally announced November 2005.

MSC Class: 11B65; 05A10

Journal ref: J. Number Theory 128 (2008), no. 1, 49-58

On a bound of Garcia and Voloch for the number of points of a Fermat curve over a prime field

Authors: Sandro Mattarei

Abstract: In 1988 Garcia and Voloch proved the upper bound 4n^{4/3}(p-1)^{2/3} for the number of solutions over a prime finite field F_p of the Fermat equation x^n+y^n=a, where a \in F_p^* and n \ge 2 is a divisor of p-1 such that (n-1/2)^4 \ge p-1. This is better than Weil's bound p+1+(n-1)(n-2)p^{1/2} in the stated range. By refining Garcia and Voloch's proof we show that the constant 4 in their bound c… ▽ More In 1988 Garcia and Voloch proved the upper bound 4n^{4/3}(p-1)^{2/3} for the number of solutions over a prime finite field F_p of the Fermat equation x^n+y^n=a, where a \in F_p^* and n \ge 2 is a divisor of p-1 such that (n-1/2)^4 \ge p-1. This is better than Weil's bound p+1+(n-1)(n-2)p^{1/2} in the stated range. By refining Garcia and Voloch's proof we show that the constant 4 in their bound can be replaced by 3\cdot 2^{-2/3}. △ Less

Submitted 14 November, 2005; originally announced November 2005.

Comments: 4 pages

MSC Class: 11G20; 14G15

Journal ref: Finite Fields Appl. 13 (2007), no. 4, 773--777

Diamonds of finite type in thin Lie algebras

Authors: Sandro Mattarei, Marina Avitabile

Abstract: Borrowing some terminology from pro-p groups, thin Lie algebras are N-graded Lie algebras of width two and obliquity zero, generated in degree one. In particular, their homogeneous components have degree one or two, and they are termed diamonds in the latter case. In one of the two main subclasses of thin Lie algebras the earliest diamond after that in degree one occurs in degree 2q-1, where q i… ▽ More Borrowing some terminology from pro-p groups, thin Lie algebras are N-graded Lie algebras of width two and obliquity zero, generated in degree one. In particular, their homogeneous components have degree one or two, and they are termed diamonds in the latter case. In one of the two main subclasses of thin Lie algebras the earliest diamond after that in degree one occurs in degree 2q-1, where q is a power of the characteristic. This paper is a contribution to a classification project of this subclass of thin Lie algebras. Specifically, we prove that, under certain technical assumptions, the degree of the earliest diamond of finite type in such a Lie algebra can only have a certain form, which does occur in explicit examples constructed elsewhere. △ Less

Submitted 10 November, 2005; originally announced November 2005.

Comments: 19 pages

MSC Class: 17B50; 17B70; 17B56; 17B65

Journal ref: J. Lie Theory 19 (2009), no. 1, 185--207.

Exponential functions in prime characteristic

Authors: Sandro Mattarei

Abstract: In this note we determine all power series $F(X)\in 1+X\F_p[[X]]$ such that $(F(X+Y))^{-1} F(X)F(Y)$ has only terms of total degree a multiple of $p$. Up to a scalar factor, they are all the series of the form $F(X)=E_p(cX)\cdot G(X^p)$ for some $c\in\F_p$ and $G(X)\in 1+X\F_p[[X]]$, where $E_p(X)=\exp\big(\sum_{i=0}^{\infty}X^{p^i}/p^i\big)$ is the Artin-Hasse exponential. In this note we determine all power series $F(X)\in 1+X\F_p[[X]]$ such that $(F(X+Y))^{-1} F(X)F(Y)$ has only terms of total degree a multiple of $p$. Up to a scalar factor, they are all the series of the form $F(X)=E_p(cX)\cdot G(X^p)$ for some $c\in\F_p$ and $G(X)\in 1+X\F_p[[X]]$, where $E_p(X)=\exp\big(\sum_{i=0}^{\infty}X^{p^i}/p^i\big)$ is the Artin-Hasse exponential. △ Less

Submitted 7 November, 2005; originally announced November 2005.

Comments: 6 pages, to be published in Aequationes Math

MSC Class: 39B50

Journal ref: Aequationes Math. 71 (2006), no. 3, 311-317

Gradings of non-graded Hamiltonian Lie algebras

Authors: Andrea Caranti, Sandro Mattarei

Abstract: A thin Lie algebra is a Lie algebra graded over the positive integers satisfying a certain narrowness condition. We describe several cyclic grading of the modular Hamiltonian Lie algebras $H(2\colon\n;ω_2)$ (of dimension one less than a power of $p$) from which we construct infinite-dimensional thin Lie algebras. In the process we provide an explicit identification of $H(2\colon\n;ω_2)$ with a B… ▽ More A thin Lie algebra is a Lie algebra graded over the positive integers satisfying a certain narrowness condition. We describe several cyclic grading of the modular Hamiltonian Lie algebras $H(2\colon\n;ω_2)$ (of dimension one less than a power of $p$) from which we construct infinite-dimensional thin Lie algebras. In the process we provide an explicit identification of $H(2\colon\n;ω_2)$ with a Block algebra. We also compute its second cohomology group and its derivation algebra (in arbitrary prime characteristic). △ Less

Submitted 20 October, 2005; originally announced October 2005.

Comments: 36 pages, to be published in J. Austral. Math. Soc. Ser. A

MSC Class: 17B50; 17B70; 17B56; 17B65

Journal ref: J. Aust. Math. Soc. 79 (2005), no. 3, 399-440

Retrieving information about a group from its character degrees or its class sizes

Authors: Sandro Mattarei

Abstract: We prove that a knowledge of the character degrees of a finite group G and of their multiplicities determines whether G has a Sylow p-subgroup as a direct factor. An analogous result based on a knowledge of the conjugacy class sizes was known. We prove variations of both results and discuss their similarities. We prove that a knowledge of the character degrees of a finite group G and of their multiplicities determines whether G has a Sylow p-subgroup as a direct factor. An analogous result based on a knowledge of the conjugacy class sizes was known. We prove variations of both results and discuss their similarities. △ Less

Submitted 14 October, 2005; originally announced October 2005.

Comments: 9 pages, to be published in Proc. Amer. Math. Soc

MSC Class: 20C05; 20C15; 20E45

Journal ref: Proc. Amer. Math. Soc. 134 (2006), 2189-2195

Modular periodicity of binomial coefficients

Authors: Sandro Mattarei

Abstract: We prove that if the signed binomial coefficient $(-1)^i\binom{k}{i}$ viewed modulo p is a periodic function of i with period h prime to p in the range $0\le i\le k$, then k+1 is a power of p, provided h is not too large compared to k. (In particular, $2h\le k$ suffices.) As an application, we prove that if G and H are multiplicative subgroups of a finite field, with H<G, and such that… ▽ More We prove that if the signed binomial coefficient $(-1)^i\binom{k}{i}$ viewed modulo p is a periodic function of i with period h prime to p in the range $0\le i\le k$, then k+1 is a power of p, provided h is not too large compared to k. (In particular, $2h\le k$ suffices.) As an application, we prove that if G and H are multiplicative subgroups of a finite field, with H<G, and such that $1-α\in G$ for all $α\in G\setminus H$, then $G\cup\{0\}$ is a subfield. △ Less

Submitted 23 November, 2006; v1 submitted 5 October, 2005; originally announced October 2005.

Comments: 8 pages. Somehow, the references were missing in the previous version. An error in the abstract (but not in the main text) of the printed version is corrected here: h needs to be prime to p

MSC Class: 11B65; 05A10

Journal ref: Journal of Number Theory 117 (2006), no. 2, 471-481