Related papers: Linkage of Sets of Cyclic Algebras
We show that if two division $p$-algebras of prime degree share an inseparable field extension of the center then they also share a cyclic separable one. We show that the converse is in general not true. We also point out that sharing all…
In this paper we study division algebras over the function fields of curves over $\Q_p$. The first and main tool is to view these fields as function fields over nonsingular $S$ which are projective of relative dimension 1 over the $p$ adic…
The question of existence of a maximal subgroup in the multiplicative group D* of a division algebra D finite dimensional over its center F is investigated. We prove that if D* has no maximal subgroup, then deg(D) is not a power of 2,…
We study the common splitting fields of symbol algebras of degree $p^m$ over fields $F$ of $\operatorname{char}(F)=p$. We first show that if any finite number of such algebras share a degree $p^m$ simple purely inseparable splitting field,…
Milliet asks the following question: given two prime numbers $p\neq q$, is there a division algebra of characteristic $p$ which is of dp-rank $q^2$ and of dimension $q^2$ over its center? We answer in the affirmative. We also give an…
Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…
Let $K$ be a complete discretely valued field of rank one, with residue field $\Q_p$. It is well known that period equals index in $\Br(K)$. We prove that when $p=2$ there exist noncyclic $K$-division algebras of every $2$-power degree…
We reprove two results of Saltman, Theorem 5.1 and Corollary 5.2 of [Sa07]: If F is the function field of a smooth p-adic curve and D is an F-division algebra of prime degree l\neq p, then D is Z/l-cyclic, and that if D is an F-division…
Given a field $F$ of characteristic $3$ and division symbol $p$-algebras $[\alpha,\beta)_{3,F}$ and $[\alpha,\gamma)_{3,F}$ of degree $3$ over $F$, we prove that if $\alpha \text{dlog}(\beta)\wedge \text{dlog}(\gamma)$ is trivial in the…
We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…
We associate an Albert form to any pair of cyclic algebras of prime degree $p$ over a field $F$ with $\operatorname{char}(F)=p$ which coincides with the classical Albert form when $p=2$. We prove that if every Albert form is isotropic then…
The number of linear independent algebraic relations among elementary symmetric polynomial functions over finite fields is computed. An algorithm able to find all such relations is described. It is proved that the basis of the ideal of…
Let p be a prime and suppose that K/F is a cyclic extension of degree p^n with group G. Let J be the F_pG-module K^*/K^{*p} of pth-power classes. In our previous paper we established precise conditions for J to contain an indecomposable…
Given a field $F$ of characteristic 2, we prove that if every three quadratic $n$-fold Pfister forms have a common quadratic $(n-1)$-fold Pfister factor then $I_q^{n+1} F=0$. As a result, we obtain that if every three quaternion algebras…
We study graded connected algebras over a field of characteristic zero and give an explicit formula for the cyclic homology of a tensor algebra. By means of a slightly new definition of David Anick's notion "strongly free" we are able to…
We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the…
Let \(G\) be a finite solvable group, and let \(\Delta(G)\) denote the \emph{prime graph} built on the set of degrees of the irreducible complex characters of \(G\). A fundamental result by P.P. P\'alfy asserts that the complement…
We define and compute $\operatorname{ABrd}_p(F)$, the asymptotic Brauer $p$-dimension of a field $F$, in cases where $F$ is a rational function field or Laurent series field. $\operatorname{ABrd}_p(F)$ is defined like the Brauer…
We prove that the maximal dimension of a $p$-central subspace of the generic symbol $p$-algebra of prime degree $p$ is $p+1$. We do it by proving the following number theoretic fact: let $\{s_1,\dots,s_{p+1}\}$ be $p+1$ distinct nonzero…
There are two outstanding questions about division algebras of prime degree $p$. The first is whether they are cyclic, or equivalently crossed products. The second is whether the center, $Z(F,p)$, of the generic division algebra $UD(F,p)$…