Abstract

Let $F$ be a field of characteristic $p>0$. We prove that if a symbol

in $H_{p^m}^{n+1}(F)$ is of exponent dividing $p^{m-1}$, then its symbol length in $H_{p^{m-1}}^{n+1}(F)$ is at most $p^n$. In the case $n=1$, we also prove that if $A={\omega }_1\otimes {\beta }_1+\cdots +{\omega }_r\otimes {\beta }_r$ in $H_{p^m}^2(F)$ satisfies $\exp <!--FUNCTION\; APPLICATION-->(A)\mid p^{m-1}$, then the symbol length of $A$ in $H_{p^{m-1}}^2(F)$ is at most $p^r+r-1$. We conclude by looking at the case $p=2$ and proving that if $A$ is a sum of two symbols in $H_{2^m}^{n+1}(F)$ and $\exp <!--FUNCTION\; APPLICATION-->A\mid 2^{m-1}$, then the symbol length of $A$ in $H_{2^{m-1}}^{n+1}(F)$ is at most $(2n+1)2^n$. Our results use norm conditions in characteristic $p$ in the same manner as Matzri in his 2024 paper “On the symbol length of symbols”.

Keywords

Mathematical Subject Classification

Milestones

Authors