On the product of vector spaces in a commutative field extension

DOI10.1016/J.JNT.2008.06.004MaRDI QIDQ999712zbMATH OpenOpenAlexFDO

Authors Shalom Eliahou, Cédric Lecouvey, Michel Kervaire

Publication date 10 February 2009

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0802.4186

zbMATH Keywords

commutative field extensionproduct set

Mathematics Subject Classification ID

Inverse problems of additive number theory, including sumsets (11P70) Field extensions (12F99)

Abstract: Let $KsubsetL$ be a commutative field extension. Given $K$-subspaces $A,B$ of $L$, we consider the subspace $<AB>$ spanned by the product set $AB=abmidainA,binB$. If $di{m}_{K}A=r$ and $di{m}_{K}B=s$, how small can the dimension of $<AB>$ be? In this paper we give a complete answer to this question in characteristic 0, and more generally for separable extensions. The optimal lower bound on $di{m}_K<AB>$ turns out, in this case, to be provided by the numerical function ${\displaystyle }$ kappa_{K,L}(r,s) = min_{h} (lceil r/h ceil + lceil s/h ceil -1)h, ${\displaystyle }$ where $h$ runs over the set of $K$-dimensions of all finite-dimensional intermediate fields $KsubsetHsubsetL$. This bound is closely related to one appearing in additive number theory.

Review text

For \(K\subset L\) an extension of commutative fields, and for positive integers \(r,s\leq \dim_KL\) let \[ \mu_{K,L}(r,s)=\min \{\dim_K\langle AB\rangle\}, \] where the minimum is taken over all \(K\)-subspaces \(A,B\) of \(L\) with \(\dim_K A=r\), \(\dim_K B=s\) (\(\langle AB\rangle\) is the subspace generated by the products \(ab\), \(a\in A\), \(b\in B\)). Let \[ \kappa_{K,L}(r,s)=\min_h \left(\left\lceil \frac rh\right\rceil+ \left\lceil \frac sh\right\rceil-1\right)h, \] where \(h=[H:K]\) runs over the set of \(K\)-dimensions of all finite-dimensional intermediate fields \(K\subset H\subset L\). Suppose that every algebraic element of \(L\) is separable over \(K\). The authors prove that \(\mu_{K,L}(r,s)=\kappa_{K,L}(r,s)\).

Recommendations

• On linear versions of some addition theorems
• On a vector space analogue of Kneser's theorem
• On minimum multinomial degrees of algebraic extension fields
• An analogue of Vosper's theorem for extension fields
• Separating subspaces of skewfields

Cites work

• A generalization of an addition theorem of Kneser.
• Ein Satz über abelsche Gruppen mit Anwendungen auf die Geometrie der Zahlen
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 933467 (Why is no real title available?)
• Minimal sumsets in infinite Abelian groups.
• Old and new formulas for the Hopf-Stiefel and related functions
• On a vector space analogue of Kneser's theorem
• On linear versions of some addition theorems
• Some extensions of the Cauchy-Davenport theorem

Cited in

(12)

• Product representations in -fields
• Separating subspaces of skewfields
• ON THE TENSOR PRODDUCT OF EXTENSIONS OF A FIELD
• On linear versions of some addition theorems
• scientific article; zbMATH DE number 3924918 (Why is no real title available?)
• scientific article; zbMATH DE number 32286 (Why is no real title available?)
• scientific article; zbMATH DE number 637479 (Why is no real title available?)
• scientific article; zbMATH DE number 1894386 (Why is no real title available?)
• An analogue of Vosper's theorem for extension fields
• On local matching property in groups and vector space
• Matching subspaces in a field extension.
• On a vector space analogue of Kneser's theorem

This page was built for publication: On the product of vector spaces in a commutative field extension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q999712)