BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Adam Chapman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A division ring $D$ is Amitsur-Small if for every $n$ and every maximal left ideal $I$ in $D[x_1,\dots,x_n]$, $I \cap D[x_1,\dots,x_{n-1}]$ is maximal in $D[x_1,\dots,x_{n-1}]$. The goal of this note is to prove that cyclic division algebras of odd prime degree over their center are never Amitsur-Small.
We present a logic programming framework that orchestrates multiple variants of an optimization problem and reasons about their results to support high-stakes medical decision-making. The logic programming layer coordinates the construction and evaluation of multiple optimization formulations, translating solutions into logical facts that support further symbolic reasoning and ensure efficient resource allocation -- specifically targeting the "right patient, right platform, right escort, right time, right destination" principle. This capability is integrated into GuardianTwin, a decision support system for Forward Medical Evacuation (MEDEVAC), where rapid and explainable resource allocation is critical. Through a series of experiments, our framework demonstrates an average reduction in casualties by 35.75% compared to standard baselines. Additionally, we explore how users engage with the system via an intuitive interface that delivers explainable insights, ultimately enhancing decision-making in critical situations. This work demonstrates how logic programming can serve as a foundation for modular, interpretable, and operationally effective optimization in mission-critical domains.
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, then they share a cyclic splitting field of the same degree. As a consequence, we conclude that every finite number of symbol algebras of degrees $p^{m_0},\dots,p^{m_t}$ share a cyclic splitting field of degree $p^{m_0+\dots+m_t}$. This generalization recovers the known fact that every tensor product of symbol algebras is a symbol algebra. We apply a result of Tignol's to bound the symbol length of classes in $\operatorname{Br}_{p^m}(F)$ whose symbol length when embedded into $\operatorname{Br}_{p^{m+1}}(F)$ is 2 for $p\in \{2,3\}$. We also study similar situations in other Kato-Milne cohomology groups, where the necessary norm conditions for splitting exist.
The goal of this note is to reduce the existing upper bound for the essential dimension of central simple algebras of degree 8 and exponent 2 over fields of characteristic 2 from 10 to 9.
We study the roots of polynomials over Cayley--Dickson algebras over an arbitrary field and of arbitrary dimension. For this purpose we generalize the concept of spherical roots from quaternion and octonion polynomials to this setting, and demonstrate their basic properties. We show that the spherical roots (but not all roots) of a polynomial $f(x)$ are also roots of its companion polynomial $C_f(x)$ (defined to be the norm of $f(x)$). For locally-complex Cayley--Dickson algebras, we show that the spherical roots of $f'(x)$ (defined formally) belong to the convex hull of the roots of $C_f(x)$, and we also prove that all roots of $f'(x)$ are contained in the snail of $f(x)$, as defined by Ghiloni and Perotti for quaternions. The latter two results generalize the classical Gauss--Lucas theorem to the locally-complex Cayley--Dickson algebras, and we also generalize Jensen's classical theorem on real polynomials to this setting.
Given a field $F$, a positive integer $m$ and an integer $n\geq 2$, we prove that the symbol length of classes in Milnor's $K$-groups $K_n F/2^m K_n F$ that are equivalent to single symbols under the embedding into $K_n F/2^{m+1} K_n F$ is at most $2^{n-1}$ under the assumption that $F \supseteq μ_{2^{m+1}}$. Since for $n=2$, $K_2 F/2^m K_2 F \cong {_{2^m}Br(F)}$, this coincides with the upper bound of $2$ for the symbol length of central simple algebras of exponent $2^m$ that are Brauer equivalent to a single symbol algebra of degree $2^{m+1}$ proved by Tignol in 1983. We also consider the cases where the embedding into $K_n F/2^{m+1} K_n F$ is of symbol length 2, 3 and 4 (the latter when $n=2$). We finish with studying the symbol length of classes in $K_3/3^m K_3 F$ whose embedding into $K_3 F/3^{m+1} K_3 F$ is one symbol when $F \supseteq μ_{3^{m+1}}$.
This note contains two new observations on the linkage properties of quaternion algebras over fields of characteristic 2: first, that a 3-linked field need not be 4-linked (a case which was left open in previous papers) and that three inseparably linked quaternion algebras are also cyclically linked when the base-field is odd-closed.
We provide an analogue of Wedderburn's factorization method for central polynomials with coefficients in an octonion division algebra, and present an algorithm for fully factoring polynomials of degree $n$ with $n$ conjugacy classes of roots, counting multiplicities.
The symbol length of ${_pBr}(k(\!(α_1)\!)\dots(\!(α_n)\!))$ for an algebraically closed field $k$ of $\operatorname{char}(k) \neq p$ is known to be $\lfloor \frac{n}{2} \rfloor$. We prove that the symbol length for the case of $\operatorname{char}(k) = p$ is rather $n-1$. We also show that pairs of anisotropic quadratic or bilinear $n$-fold Pfister forms over this field need not share an $(n-1)$-fold factor.
Given a central division algebra $D$ of degree $d$ over a field $F$, we associate to any standard polynomial $ϕ(z)=z^n+c_{n-1} z^{n-1}+\dots+c_0$ over $D$ a "companion polynomial" $Φ(z)$ of degree $n d$ with coefficients in $F$ whose roots are exactly the conjugacy classes of the roots of $ϕ(z)$. We explain how in case $D$ is a quaternion algebra, all the roots of $ϕ(z)$ can be recovered from the roots of $Φ(z)$. On the way, we also generalize certain theorems that were known for $\mathbb{H}$ to any division algebra, such as the connection between the right eigenvalues of a matrix and the roots of its characteristic polynomial, and the connection between the roots of a standard polynomial and left eigenvalues of the companion matrix.
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 elements in the additive group $G=(\mathbb{Z}/p \mathbb{Z}) \times (\mathbb{Z}/p \mathbb{Z})$; then every nonzero element $g \in G$ can be expressed as $d_1 s_1+\dots+d_{p+1} s_{p+1}$ for some non-negative integers $d_1,\dots,d_{p+1}$ with $d_1+\dots+d_{p+1} \leq p-1$.
We prove that if the maximal dimension of an anisotropic homogeneous polynomial form of prime degree $p$ over a field $F$ with $\operatorname{char}(F)=p$ is a finite integer $d$ greater than 1 then the symbol length of $p$-algebras of exponent $p$ over $F$ is bounded from above by $\left \lceil \frac{d-1}{p} \right \rceil-1$, and show that every two tensor products of symbol algebras of lengths $k$ and $\ell$ with $(k+\ell) p \geq d-1$ can be modified so that they share a common slot. For $p=2$, we obtain an upper bound of $\frac{u(F)}{2}-1$ for the symbol length, which is sharp when $I_q^3 F=0$.
We prove that the maximal dimension of a Kummer space in the generic tensor product of $n$ cyclic algebras of degree 4 is $4 n+1$.
We study the subfields of quaternion algebras that are quadratic extensions of their center in characteristic 2. We provide examples of the following: two non-isomorphic quaternion algebras that share all their quadratic subfields, two quaternion algebras that share all their inseparable but not all their separable quadratic subfields and two algebras that share all their separable but not all their inseparable quadratic subfields. We also discuss quaternion algebras over global fields and fields of Laurent series over a perfect field of characteristic 2 and show that the quaternion algebras over these fields are determined by their separable quadratic subfields. Throughout, these linkage questions are treated in the more general setting by considering the linkage of Pfister forms.
We present a set of generators for the symplectic group which is different from the well-known set of transvections, from which the chain equivalence for quadratic forms in characteristic 2 is an immediate result. Based on the chain equivalences for quadratic forms, both in characteristic 2 and not 2, we provide chain equivalences for tensor products of quaternion algebras over fields with no nontrivial 3-fold Pfister forms. The chain equivalence for biquaternion algebras in characteristic 2 is also obtained in this process, without any assumption on the base-field.
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 the inseparable field extensions of the center does not imply sharing all the cyclic separable ones.
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 dimension of any Kummer subspace is at most $p+1$.
We study the behavior of square-central elements and Artin-Schreier elements in division algebras of exponent 2 and degree a power of 2. We provide chain lemmas for such elements in division algebras over 2-fields $F$ of cohomological $2$-dimension $\operatorname{cd}_2(F) \leq 2$, and deduce a common slot lemma for tensor products of quaternion algebras over such fields. We also extend to characteristic 2 a theorem proven by Merkurjev for characteristic not 2 on the decomposition of any central simple algebra of exponent 2 and degree a power of 2 over a field $F$ with $\operatorname{cd}_2(F) \leq 2$ as a tensor product of quaternion algebras.
We study central simple algebras in various ways, focusing on the role of $p$-central subspaces. The first part of my thesis is dedicated to the study of Clifford algebras. The standard Clifford algebra of a given form is the generic associative algebra containing a $p$-central subspace whose exponentiation form is equal to the given form. There is an old question as for whether these algebras have representations of finite rank over the center, and jointly with Daniel Krashen and Max Lieblich we managed to provide a positive answer. Different generalizations of the structure of the Clifford algebra are presented and studied in that part too. The second part is dedicated to the study of $p$-central subspaces of given central simple algebras, mainly tensor products of cyclic algebras of degree $p$. Among the results, we prove that $5$ is the upper bound for the dimension of 4-central subspaces of cyclic algebras of degree 4 containing pairs of standard generators. The third part is dedicated to chain lemmas. Chain lemmas are of importance in the theory of central simple algebras, because they form one approach to solving the word problem for the Brauer group. We prove the chain lemma for biquaternion algebras, both in characteristic 2 and characteristic not 2, and prove some partial results on the chain lemmas for cyclic algebras of degree $p$. The fourth part is dedicated to the more computational aspects of the theory. It contains results on quaternion polynomial equations and on left eigenvalues of quaternion matrices.
We construct a graph of Kummer elements in a given cyclic algebra of prime degree and study its properties. In case of degree 5, we provide sufficient conditions for two elements to have a chain of Kummer elements connecting them, such that the multiplicative commutator of any two consecutive elements in the chain is a root of unity.
We discuss the Kummer subspaces of tensor products of cyclic algebras, focusing mainly on the case of cyclic algebras of degree 3. We present a family of maximal spaces in the general case, classify all the monomial spaces in the case of tensor products of cyclic algebras of degree 3 using graph theory, and provide an upper bound for the dimension in the generic tensor product of cyclic algebras of degree 3.
In this paper we study the generalized Clifford algebra defined by Pappacena of a monic (with respect to the first variable) homogeneous polynomial $Φ(Z,X_1,\dots,X_n)=Z^d-\sum_{k=1}^d f_k(X_1,\dots,X_n) Z^{d-k}$ of degree $d$ in $n+1$ variables over some field $F$. We completely determine its structure in the following cases: $n=2$ and $d=3$ and either $\operatorname{char}(F)=3$, $f_1=0$ and $f_2(X_1,X_2)=e X_1 X_2$ for some $e \in F$, or $\operatorname{char}(F) \neq 3$, $f_1(X_1,X_2)=r X_2$ and $f_2(X_1,X_2)=e X_1 X_2+t X_2^2$ for some $r,t,e \in F$. Except for a few exceptions, this algebra is an Azumaya algebra of rank nine whose center is the coordinate ring of an affine elliptic curve. We also discuss representations of arbitrary generalized Clifford algebras assuming the base field $F$ is algebraically closed of characteristic zero.
In this paper we present a solution for any standard quaternion quadratic equation, i.e. an equation of the form $z^2+μz+ν=0$ where $μ$ and $ν$ belong to some quaternion division algebra $Q$ over some field $F$, assuming the characteristic of $F$ is $2$.
In this paper, we prove that for a given biquaternion algebra over a field of characteristic two, one can move from one symbol presentation to another by at most three steps, such that in each step at least one entry remains unchanged. If one requires that in each step two entries remain the same then their number increases to fifteen. We provide even more basic steps that in order to move from one symbol presentation to another one needs to use up to forty-five of them.
In this paper, we present a new method for solving standard quaternion equations. Using this method we reobtain the known formulas for the solution of a quadratic quaternion equation, and provide an explicit solution for the cubic quaternion equation, as long as the equation has at least one pure imaginary root. We also discuss the number of essential pure imaginary roots of a two-sided quaternion polynomial.
A generalization of the term "generalized Clifford algebras" (as appears in papers on advances in applied Clifford algebras) is introduced. This algebra is studied by means of structure theory of central simple algebras. A graph theoretical approach is proposed for studying the generating set of this algebra in case where the prime number under discussion is three. Finally, it is shown how to obtain solutions in to the equation $αY^3=αX_1^3+βX_2^3+α^2 β^2 X_3^3$ in $\mathbb{Z}[ρ]$ where $ρ$ is the primitive third root of unity.
In this paper, we present an isomorphism between the ring of general polynomials over a division ring of degree $p$ over its center $F$ and the group ring of the free monoid with $p^2$ variables. Using this isomorphism, we define the characteristic polynomial of a matrix over any division algebra, i.e. a general polynomial with one variable over the algebra whose roots are precisely the left eigenvalues. Plus, we show how the left eigenvalues of a $4 \times 4$ matrices over any division algebra can be found by solving a general polynomial equation of degree 6 over that algebra.