Marshall’s Quotient and the Arason–Pfister Hauptsatz for Reduced Special Groups

Abstract

We provide a new proof of the Arason–Pfister Hauptsatz (APH) in the setting of reduced special groups, as developed by Dickmann and Miraglia. Our approach avoids the use of Boolean invariants and instead relies on a construction inspired by Marshall’s quotient, suitably adapted to the context of special groups. We establish structural properties of this quotient and show that it generalizes the Pfister quotient by a Pfister subgroup. Using this framework, we define iterated quadratic extensions of special groups and develop a theory of Arason–Pfister sequences. These tools allow us to prove that any anisotropic form $\phi \in I^n\left(G\right)$ over a reduced special group G satisfies the inequality $dim\left(\phi \right)\ge 2^n$, where $I^n\left(G\right)$ denotes the n-th power of the fundamental ideal of the Witt ring of G. Our methods are purely algebraic and internal to the theory of special groups, contributing with novel tools to the categorical study of abstract theories of quadratic forms.

1. Introduction

It can be said that the Algebraic Theory of Quadratic Forms was founded in 1937 by E. Witt, with the introduction of the concept of the Witt ring of a given field, constructed from the quadratic forms with coefficients in the field: given F, an arbitrary field of characteristic $\ne 2$, $W\left(F\right)$, the Witt ring of F, classifies the quadratic forms over F that are regular and anisotropic, being in one-to-one correspondence with them; thus, the focus of the theory is the quadratic forms defined on the ground field where all their coefficients are invertible. In this way, the set of orders in F is in one-to-one correspondence with the set of minimal prime ideals of the Witt ring of F, and more, the set of orders in F provided with the Harrison’s topology is a Boolean topological space that, by the bijection above, is identified with a subspace of the Zariski spectrum of the Witt ring of F.

Questions about the structure of Witt rings $W\left(F\right)$ could only be solved about three decades after Witt’s original idea, through the introduction and analysis of the concept of Pfister form. The Pfister forms of degree $n\in \mathbb{N}$, in turn, are generators of the power $I^n\left(F\right)$ of the fundamental ideal $I\left(F\right)\subseteq W\left(F\right)$ (the ideal determined by the anisotropic forms of even dimension).

One of the most emblematic results in the algebraic and abstract theories of quadratic forms is the so-called Arason–Pfister Hauptsatz (APH), whose historical context is as given below.

In his seminal 1970 paper [1], John Milnor posed two central problems related to fields of characteristics different from 2—both of which were positively resolved in many cases within the same work. One of the questions was related to the so-called Milnor conjectures for the graded cohomology ring and the graded Witt ring, which were eventually resolved by Voevodsky and collaborators around 2000. The other question asked whether for every such field F, the intersection ${\bigcap }_{n\in \mathbb{N}}{I}^n\left(F\right)$ contains only $0\in W\left(F\right)$, where $I^n\left(F\right)$ is the n-th power of the fundamental ideal $I\left(F\right)$ of the Witt ring of F ($I\left(F\right)=$ {even-dimensional anisotropic forms over the field $F\}$).

In the subsequent year, J. Arason and A. Pfister solved this question as an immediate Corollary of what is now known as “Arason–Pfister Hauptsatz” (APH), as stated in [2]:

Let $\varphi \ne \varnothing$ be an anisotropic form. If $\varphi \in I^n\left(F\right)$, then $dim\left(\varphi \right)\ge 2^n$.

The theory of special groups, an abstract (first-order) theory of quadratic forms developed by Dickmann and Miraglia in the mid-1990s, allows a functorial encoding of the algebraic theory of quadratic forms of fields (with char $\ne 2$). This theory has proven effective in attacking and resolving various open problems involving the theory of quadratic forms, see, e.g., [3,4].

In [5], Dickmann–Miraglia restated the APH to the setting of special groups and, employing Boolean-theoretic methods to define and calculate the Stiefel–Whitney and the Horn–Tarski invariants of a special group, established a generalization of the APH to the setting of reduced special groups, in particular providing an alternative proof of the APH for formally real Pythagorean fields.

The difficulty in attacking APH for general special groups lies in the fact that the methods available for reduced special groups (the invariants) and for special groups arising from fields (quadratic and transcendental extensions, valuations and so on) do not admit a clear generalization for the class of all special groups.

In the present work, we provide a new proof of the Arason–Pfister Hauptsatz for reduced special groups. More specifically, we prove the content of Theorem 12:

Theorem 1

(Arason–Pfister Hauptsatz). Let G be a reduced special group, then $A{P}_G\left(n\right)$ holds for all $n\ge 0$. In more detail: for each $n\ge 0$ and each non-zero ($k\ge 1$), regular and anisotropic form $\phi =\langle a_1,\dots ,a_k\rangle$, if $\phi \in I^n\left(G\right)$, then $dim\left(\phi \right)=k\ge 2^n$.

Our proof completely avoids the use of the Horn–Tarski and Stiefel–Whitney invariants developed in [3]. Instead, we use Marshall’s quotient, inspired by the techniques developed by Murray Marshall in [6] for multirings. We finish this short paper by pointing out the difficulties in dealing with the general case and providing some perspectives on how to attack the general problem.

2. Preliminaries

For the benefit of the reader, we provide some basic definitions and results concerning the theory of special groups.

Definition 1 (Extension of a Relation).

Let A be a set and ≡ a binary relation on $A\times A$. We extend ≡ to a binary relation ${\equiv }_n$ on $A^n$, by induction on $n\ge 1$, as follows:

(i) 

${\equiv }_1$ is the diagonal relation ${\Delta }_A\subseteq A\times A$

(ii) 

${\equiv }_2=\equiv$.

(iii) 

if $n\ge 3$, $\langle a_1,\dots ,a_n\rangle {\equiv }_n\langle b_1,\dots ,b_n\rangle$ if and only there are $x,y,z_3,\dots ,z_n\in A$ such that

$$\begin{array}{cc}\hfill & \langle a_1,x\rangle \equiv \langle b_1,y\rangle \hfill \\ \hfill & \langle a_2,\dots ,a_n\rangle {\equiv }_{n-1}\langle x,z_3,\dots ,z_n\rangle and\hfill \\ \hfill & \langle b_2,\dots ,b_n\rangle {\equiv }_{n-1}\langle y,z_3,\dots ,z_n\rangle \hfill \end{array}$$

Whenever clear from the context, we frequently abuse notation and indicate the aforementioned extension ≡ by the same symbol.

Definition 2

 (Special Group, 1.2 of [5]). A special group is a tuple $(G,-1,\equiv )$, where G is a group of exponent 2, i.e., $g^2=1$ for all $g\in G$; $-1$ is a distinguished element of G, and $\equiv \subseteq G\times G\times G\times G$ is a relation (the special relation), satisfying the following axioms for all $a,b,c,d,x\in G$:

SG0 

≡ is an equivalence relation on $G^2$;

SG1 

$\langle a,b\rangle \equiv \langle b,a\rangle$;

SG2 

$\langle a,-a\rangle \equiv \langle 1,-1\rangle$;

SG3 

$\langle a,b\rangle \equiv \langle c,d\rangle$ imply $ab=cd$;

SG4 

$\langle a,b\rangle \equiv \langle c,d\rangle$ imply $\langle a,-c\rangle \equiv \langle -b,d\rangle$;

SG5 

For all $g\in G$, $\langle a,b\rangle \equiv \langle c,d\rangle$ imply $\langle ga,gb\rangle \equiv \langle gc,gd\rangle$.

SG6 (3-transitivity)

 the extension of ≡ for a binary relation on $G^3$ (as in 1) is a transitive relation.

Definition 3

 (1.1 of [5]). A map $(G,{\equiv }_G,-1)\stackrel{f}{\to }(H,{\equiv }_H,-1)$ between pre-special groups is a morphism of pre-special groups or PSG-morphism if $f:G\to H$ is a homomorphism of groups, $f(-1)=-1$ and for all $a,b,c,d\in G$

$$\langle a,b\rangle {\equiv }_G\langle c,d\rangle \Rightarrow \langle f\left(a\right),f\left(b\right)\rangle {\equiv }_H\langle f\left(c\right),f\left(d\right)\rangle$$

A morphism of special groups or SG-morphism is a PSG-morphism between the corresponding pre- special groups. f will be an isomorphism if the function f is bijective and both $f, f^{-1}$ are PSG-morphisms.

A special group, G, is formally acknowledged if it admits some SG-morphism $f:G\to 2$. The category of special groups, respectively, reduced special groups, and their morphisms will be denoted by $\mathrm{S}\mathrm{G}$ and $\mathrm{R}\mathrm{S}\mathrm{G}$, respectively.

Example 1

(The trivial special relation, 1.9 of [5]). Let G be a group of exponent 2 and take $-1$ as any element of G different of 1. For $a,b,c,d\in G$, define $\langle a,b\rangle {\equiv }_t\langle c,d\rangle$ if and only if $ab=cd$. Then, $G_t=(G,{\equiv }_t,-1)$ is an SG [5]. In particular, $2=\{-1,1\}$ is a reduced special group.

Example 2

(Special group of a field, Theorem 1.32 of [5]). Let F be a field. We denote $\dot{F}=F\setminus \left\{0\right\}$, ${\dot{F}}^2=\{x^2:x\in \dot{F}\}$ and $\Sigma {\dot{F}}^2=\{{\sum }_{i\in I}{x}_i^2:I is finite and x_i\in {\dot{F}}^2\}$. Let $G\left(F\right)=\dot{F}/{\dot{F}}^2$. In the case of F, take $\Sigma {\dot{F}}^2$ as a subgroup of $\dot{F}$, then $G_{red}\left(F\right)=\dot{F}/\Sigma {\dot{F}}^2$. Note that $G\left(F\right)$ and $G_{red}\left(F\right)$ are groups of exponent 2. In [5] they prove that $G\left(F\right)$ and $G_{red}\left(F\right)$ are special groups with the special relation given by usual notion of isometry, and $G_{red}\left(F\right)$ is always reduced.

A group of exponent 2, with a distinguished element $-1$, satisfying the axioms SG0–SG3 and SG5 is called a proto-special group; a pre-special group is a proto-special group that also satisfies SG4. Thus, a special group is a pre-special group that satisfies SG6 (or, equivalently, for each $n\ge 1$, ${\equiv }_n$ is an equivalent relation of $G^n$).

A n-form (or form of dimension $n\ge 1$) is an n-tuple of elements of a pre-special G. If $\phi =\langle a_1,a_2,\dots ,a_k\rangle$ and $\psi =\langle b_1,b_2,\dots ,b_n\rangle$, then $\phi \oplus \psi :=\langle a_1,a_2,\dots ,a_k,b_1,b_2,\dots ,b_n\rangle$ and $\phi \otimes \psi :=\langle a_1{b}_1,\dots ,a_1{b}_n,a_2{b}_1,\dots ,a_2{b}_n,\dots ,a_k{b}_1,\dots ,a_k{b}_n\rangle$.

An element $b\in G$ is represented on G by the form $\phi =\langle a_1,\dots ,a_n\rangle$, in symbols $b\in D_G\left(\phi \right)$, if there exists $b_2,\dots ,b_n\in G$ such that $\langle b,b_2,\dots ,b_n\rangle \equiv \phi$. A pre-special group (or special group) $(G,-1,\equiv )$ is:

• formally real if $-1\notin {\bigcup }_{n\in \mathbb{N}}{D}_G\left(n\langle 1\rangle \right)$ (Here, the notation $n\langle 1\rangle$ means the form $\langle a_1,\dots ,a_n\rangle$ where $a_j=1$ for all $j=1,\dots ,n$. In other words, $n\langle 1\rangle$ is the form $\langle 1,\dots ,1\rangle$ with n entries equal to 1);
• reduced if it is formally real and, for each $a\in G$, $a\in D_G\left(\langle 1,1\rangle \right)$ if $a=1$.

Definition 4

(2.1 of [5]). Let G be a special group. A Pfister form over G is a quadratic form φ of the type ${\otimes }_{i=1}^n{\langle 1,a\rangle }_i=\langle \langle a_1,\dots ,a_n\rangle \rangle$, where $n\ge 1$ and $a_1,\dots ,a_n\in G$, or the form $\langle 1\rangle$, if $n=0$. The integer n is called the degree of φ and written $deg\left(\phi \right)$. If the coefficients of φ happen to belong to a subgroup Δ of G, we say that φ is Pfister over Δ.

Since the Pfister form φ contains 1 as a coefficient, we may write φ as $\langle 1\rangle \oplus {\phi }^{\prime }$. The subform ${\phi }^{\prime }$ is called the pure subform of φ.

Proposition 1

 (Basic properties of Pfister forms (2.2 of [5])). Let G be a special group, $\phi =\langle \langle a_1,\dots ,a_n\rangle \rangle$ a Pfister form over G of degree $n\ge 1$ and $b\in G$. Then,

(i) 

$b\in D_G(1,a_1)\Rightarrow \langle \langle a_1,a_2\rangle \rangle {\equiv }_G\langle \langle a_1,a_{2}b\rangle \rangle$.

(ii) 

$b\in D_G(a_1,a_2)\Rightarrow \langle \langle a_1,a_2\rangle \rangle {\equiv }_G\langle \langle b,a_1{a}_2\rangle \rangle$.

(iii) 

$\langle \langle a_{1}b,\dots ,a_{n}b\rangle \rangle {\equiv }_G\langle \langle 1,a_{1}b\rangle \rangle \otimes \langle \langle a_1{a}_2,\dots ,a_1{a}_n\rangle \rangle$.

(iv) 

If $b\in D_G\left({\phi }^{\prime }\right)$, then $\phi {\equiv }_G\langle \langle b,b_2,\dots ,b_n\rangle \rangle$, with $b_2,\dots ,b_n\in G$.

(v) 

An isotropic Pfister form is hyperbolic.

(vi) 

$D_G\left(\phi \right)=\{x\in G:x\phi {\equiv }_G\phi \}$. Hence, $D_G\left(\phi \right)$ is a subgroup of G. If ψ is a Pfister form over G, then $D_G\left(\phi \right)D_G\left(\psi \right)\subseteq D_G(\phi \otimes \psi )$.

(vii) 

If $a\in D_G\left(\phi \right)$, then $\langle \langle a_1,\dots ,a_n,b\rangle \rangle {\equiv }_G\langle \langle a_1,\dots ,a_n,ab\rangle \rangle$.

(viii) 

$a\in D_G\left(\phi \right)\Rightarrow \langle 1,a\rangle \otimes \phi {\equiv }_{G}2\otimes \phi$ and $\langle 1,-a\rangle \otimes \phi$ is hyperbolic.

(ix) 

$a\in D_G\left(\phi \right)$ and $b\in D_G(1,a)\Rightarrow b\in D_G(2\otimes \phi )$.

(x) 

$\langle 1,a\rangle \otimes \phi {\equiv }_{G}2\otimes \phi \Rightarrow a\in D_G\left(\phi \right)$.

(xi) 

$\langle 1,-a\rangle \otimes \phi$ hyperbolic $\Rightarrow a\in D_G\left(\phi \right)$.

(xii) 

The following are equivalent:

(a) 

G is a reduced special group.

(b) 

$1\ne -1$ and for every Pfister form φ over G of degree $\ge 1$ and $a\in G$:

$$a,-a\in D_G\left(\phi \right)\Rightarrow \phi hyperbolic.$$

(c) 

$1\ne -1$ and for every Pfister form φ over G and $a\in G$

$$a\in D_G(\langle 1,-a\rangle \otimes \phi )\Rightarrow a\in D_G\left(\phi \right).$$

Remark 1 (Notations and Facts).

Let G be a fixed special group. Here, we summarize some notations and results about Witt equivalence, Witt ring, and the powers of fundamental ideal of the Witt ring. For more details, see for instance [5,7,8,9].

• Let $\phi ,\psi$ be forms on G. We can say that φ and ψ are Witt equivalent, denoted $\phi {\approx }_{W,G}\psi$, if there exist non negative integers $k,l$ such that

  $$k\langle 1,-1\rangle \oplus \phi {\equiv }_{G}l\langle 1,-1\rangle \oplus \psi .$$
  By Witt’s Decomposition Theorem, if φ is a form on G, there are unique forms ${\phi }_{an},{\phi }_{hip},{\phi }_0$ (up to isometry) with $\phi \equiv {\phi }_{an}\oplus {\phi }_{hip}\oplus {\phi }_0$, ${\phi }_{an}$ anisotropic, ${\phi }_{hip}$ hyperbolic and ${\phi }_0$ totally isotropic. We define ${dim}_{W,G}\left(\phi \right):=dim\left({\phi }_{an}\right)$.
• The Witt ring of G, $W\left(G\right)$, is the set of equivalence classes of forms modulo ${\approx }_{W,G}$, with sum and product endowed form ⊕ and ⊗, respectively. The fundamental ideal, $I\left(G\right)\subseteq W\left(G\right)$, is the ideal determined by even dimensional anisotropic forms.
• For each $n\in \mathbb{N}$ consider the statement:
  $A{P}_G\left(n\right)$: For each $\phi =\langle a_1,\dots ,a_k\rangle$, a non-empty ($k\ge 1$), regular ($a_i\in G$) and anisotropic form, if $\phi \in I^n\left(G\right)$, then $dim\left(\phi \right)\ge 2^n$.
• Let ψ be a Pfister form. Then, ψ is hyperbolic if it is isotropic. Moreover, if G is reduced and $-1\in D_G\left(\psi \right)$, then ψ is hyperbolic.
• $I^n\left(G\right)\subseteq W\left(G\right)$ is additively generated by the Pfister forms of degree n.
• If $\phi \in I^n\left(G\right)\setminus \{Ø\}$, then $\phi ={\epsilon }_1{\phi }_1+\dots +{\epsilon }_r{\phi }_r$, where $r\ge 1$ and ${\epsilon }_j=\pm 1$ for all $j=1,\dots ,r$. Moreover, if φ is anisotropic, we will suppose without loss of generality that ${\epsilon }_j=1$ for all $j=1,\dots ,r$.
• Let $\phi \in I^{n}G$ with $\phi ={\phi }_1+\dots +{\phi }_r$ for suitable Pfister forms ${\phi }_1,\dots ,{\phi }_r$. If φ is anisotropic, then for all positive integers m with $1\le m\le r$ and all $\sigma \in S_m$ the form ${\phi }_{\sigma \left(1\right)}+\dots +{\phi }_{\sigma \left(m\right)}$ is anisotropic.

3. Marshall’s Quotient of a Special Group

Here, we present the main ingredient of the paper, that are inspired by the techniques developed by Murray Marshall in [6] in the setting of multirings.

Let G be a special group and let $Ø\ne S\subseteq G$ be such that $S·S\subseteq S$. Denote

$$a\sim b \mathrm{i}\mathrm{f} ar=bs \mathrm{f}\mathrm{o}\mathrm{r} \mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e} r,s\in S.$$

Note that, since every special group is an exponent 2 group, the condition $S\ne Ø$ and $S·S\subseteq S$ implies that S is a subgroup of G.

Lemma 1.

Under the above circumstances, the relation ∼ is an equivalence relation.

Proof. 

Let $a,b,c\in G$. Of course ∼ is reflexive and symmetric as a consequence of reflexivity and symmetry of equality. Now, suppose $a\sim b$ and $b\sim c$, saying $ar=bs$ and $bv=cw$ with $r,s,v,w\in S$. Then, $ars=b$ and $b=cwv$ imply $a\left(rs\right)=c\left(vw\right)$ with $rs,vw\in S$. Then, ∼ is transitive. □

Elements in $G{/}_{m}S$ will be denoted by $\left[a\right]\in G{/}_{m}S$, $a\in S$. Then, $\left[a\right]=\left[b\right]$ means $a\sim b$ and we denote

$$G{/}_{m}S:=\{\left[a\right]:a\in G\}.$$

We call $G{/}_{m}S$ the Marshall quotient of G by S.

Lemma 2.

The set $G{/}_{m}S=\{\left[a\right]:a\in G\}$ is a group with the operation inherited from G.

Proof. 

Let $a,a^{\prime },b,b^{\prime }\in S$ with $\left[a\right]=\left[a^{\prime }\right]$ and $\left[b\right]=\left[b^{\prime }\right]$, saying $a{r}_1=a^{\prime }{s}_1$ and $b{r}_2=b^{\prime }{s}_2$. Then

$$\left(ab\right)\left(r_1{r}_2\right)=\left(a{r}_1\right)\left(b{r}_2\right)=\left(a^{\prime }{s}_1\right)\left(b^{\prime }{s}_2\right)=\left(a^{\prime }{b}^{\prime }\right)\left(r_2{s}_2\right).$$

Then, $\left[ab\right]=\left[a^{\prime }{b}^{\prime }\right]$. Moreover, we have an operation in $G{/}_{m}S$ given by the rule $\left[a\right]\left[b\right]:=\left[ab\right]$. The fact that this operation provides a group structure on $G{/}_{m}S$ is an immediate consequence of the group properties holding in G. □

Our next step is to define a structure of special group over $G{/}_{m}S$. Note that if $-1\in S$, then $G{/}_{m}S\cong \left\{\left[1\right]\right\}$. Thus, we may always suppose that $-1\notin S$.

We proceed by steps. First, for $\left[a\right],\left[b\right]\in G{/}_{m}S$ define

$$D_{G{/}_{m}S}(\left[a\right],\left[b\right]):=\{\left[d\right]:d\in D_G(as,bt) \mathrm{f}\mathrm{o}\mathrm{r} \mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e} s,t\in S\}$$

and

$$\langle \left[a\right],\left[b\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[c\right],\left[d\right]\rangle \mathrm{i}\mathrm{f}\left[ab\right]=\left[cd\right]\mathrm{a}\mathrm{n}\mathrm{d}\left[ac\right]\in D_{G{/}_{m}S}(\left[1\right],\left[cd\right]).$$

Theorem 2.

With the above notations, $(G{/}_{m}S,·,{\equiv }_{G{/}_{m}S},-\left[1\right])$ satisfies the axioms [SG1]–[SG5] of Definition 2.

Proof. 

We verify axioms [SG1]–[SG5].

SG1 

$\langle \left[a\right],\left[b\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[b\right],\left[a\right]\rangle$ follows directly from the definition of ${\equiv }_{G{/}_{m}S}$.

SG2 

Since $a\in D_G(1,-1)$ for all $a\in G$ and $1\in S$, it follows that $\left[a\right]\in D_{G{/}_{m}S}(\left[1\right],[-1])$, hence $\langle \left[a\right],-\left[a\right]\rangle \equiv \langle \left[1\right],-\left[1\right]\rangle$.

SG3 

$\langle \left[a\right],\left[b\right]\rangle \equiv \langle \left[c\right],\left[d\right]\rangle \Rightarrow \left[ab\right]=\left[cd\right]$ follows directly from the definition of ${\equiv }_{G{/}_{m}S}$.

SG4 

Let $\langle \left[a\right],\left[b\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[c\right],\left[d\right]\rangle$. Then

$$ab=cdt \mathrm{a}\mathrm{n}\mathrm{d} ac\in D_G(r,cds) \mathrm{f}\mathrm{o}\mathrm{r} \mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e} r,s,t\in S.$$

In particular, $a(-c)=(-b)dt$. Moreover, $ac\in D_G(r,cds)=D_G(r,abst)$ imply, by axiom SG4 for G, that $-abst\in D_G(r,-ac)=D_G(r,-bst)$, with $st,r\in S$, which proves that $\langle \left[a\right],-\left[c\right]\rangle {\equiv }_{G{/}_{m}S}\langle -\left[b\right],\left[d\right]\rangle$.

SG5 

Since

$$ab=cdt \mathrm{a}\mathrm{n}\mathrm{d} ac\in D_G(r,cds) \mathrm{f}\mathrm{o}\mathrm{r} \mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e} r,s,t\in S$$

provide

$$\left(ag\right)\left(bg\right)=\left(cg\right)\left(dg\right)t \mathrm{a}\mathrm{n}\mathrm{d} \left(ag\right)\left(cg\right)\in D_G(r,\left(cg\right)\left(dg\right)s) \mathrm{f}\mathrm{o}\mathrm{r} \mathrm{s}\mathrm{o}\mathrm{m}\mathrm{e} r,s,t\in S.$$

we obtain that $\langle \left[a\right],\left[b\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[c\right],\left[d\right]\rangle$ imply $\langle \left[ag\right],\left[bg\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[cg\right],\left[dg\right]\rangle$ for all $g\in G$.

□

Of course, the relation ${\equiv }_{G{/}_{m}S}$ is transitive and symmetric: Let $\left[a\right],\left[b\right],\left[c\right],\left[d\right],\left[e\right],\left[f\right]\in G{/}_{m}S$. Since $1\in D_G(1,ab)$, we have

$$\left[aa\right]=\left[1\right]\in D_{G{/}_{m}S}(\left[1\right],\left[ab\right]),$$

which means that $\langle \left[a\right],\left[b\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[a\right],\left[b\right]\rangle$ (${\equiv }_{G{/}_{m}S}$ is reflexive). Now, let $\langle \left[a\right],\left[b\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[c\right],\left[d\right]\rangle$. This means that $\left[ab\right]=\left[cd\right]$ and $\left[ac\right]\in D_{G{/}_{m}S}(\left[1\right],\left[cd\right])$. Then, $ab=cdt$ and $ac\in D_G(r,cds)$ for suitable $r,s,t\in S$. Hence, we get

$$cd=abt \mathrm{a}\mathrm{n}\mathrm{d} ca\in D_G(r,abts) \mathrm{w}\mathrm{i}\mathrm{t}\mathrm{h} r,s,ts\in S.$$

This means that $\langle \left[c\right],\left[d\right]\rangle {\equiv }_{G{/}_{m}S}\langle \left[a\right],\left[b\right]\rangle$ (${\equiv }_{G{/}_{m}S}$ is symmetric).

Unfortunately, axioms [SG0] (the transitive condition) and [SG6] do not hold for a general S.

Since our main goal here is to discuss what should be a quadratic extension for special groups (and not deal with the most general quotient available), we christen the following Definition.

Definition 5.

Let G be a special group and $S\subseteq G$. We say that S is a Dickmann–Miraglia subset of G (or DM-subset for short) if $S·S\subseteq S$ and the above described structure on $(G{/}_{m}S,{\equiv }_{G{/}_{m}S}$, $[-1])$ provides a special group.

The terminology “Dickmann–Miraglia” subset suits two purposes: (1) it pays homage to professors Maximo Dickmann and Francisco Miraglia, the creators of the special group theory; (2) it makes the notation coherent with other papers in the area, for example, [10]. Moreover, the Axioms [DM 0]–[DM 3] in [10] (in the language of hyperfields) provides a general description of DM-subsets.

The next step is to investigate the relations between the Pfister quotient defined and developed in Chapter 2 of [5] and the Marshall’s quotient. We recover some terminology and results from Chapter 2 of [5].

Definition 6

(2.15 of [5]). Let G be a special group. A collection $\mathcal{S}$ of Pfister forms is said to be (upward) directed if for every $\phi ,\psi \in \mathcal{S}$, there exists $\theta \in \mathcal{S}$ such that $D_G\left(\phi \right),D_G\left(\psi \right)\subseteq D_G\left(\theta \right)$.

A subgroup Δ of G is a Pfister subgroup if there is a directed family $\mathcal{S}$ of Pfister forms over G such that $\Delta =\bigcup \{D_G\left(\phi \right):\phi \in \mathcal{S}\}$.

Note that if $\phi$ is a Pfister form, then $D_G\left(\phi \right)$ is a Pfister subgroup, as $\mathcal{S}=\left\{\phi \right\}$ is directed.

Proposition 2

(2.18 of [5]). Let G be a special group and Δ a Pfister subgroup of G, $\Delta =\bigcup \{D_G\left(\phi \right):\phi \in \mathcal{S}\}$, $\mathcal{S}$ a directed family of Pfister forms. For $a,b,c,d\in G$, the following are equivalent:

(a) 

$\langle a/\Delta ,b/\Delta \rangle {\equiv }_{G/\Delta }^{*}\langle c/\Delta ,d/\Delta \rangle$.

(b) 

There is a $\phi \in \mathcal{S}$ such that $\langle a,b\rangle \otimes \phi {\equiv }_G\langle c,d\rangle \otimes \phi$.

Lemma 3

(2.19 of [5]). Let G be a special group and φ a Pfister form over G.

(a) 

For $a,b,c,d\in G$, the following are equivalent:

(i) 

$\langle a,b\rangle \otimes \phi {\equiv }_G\langle c,d\rangle \otimes \phi$.

(ii) 

There are $a^{\prime },b^{\prime },c^{\prime },d^{\prime }\in G$ such that $a{a}^{\prime },b{b}^{\prime },c{c}^{\prime },d{d}^{\prime }\in D_G\left(\phi \right)$ and $\langle a^{\prime },b^{\prime }\rangle {\equiv }_G\langle c^{\prime },d^{\prime }\rangle$.

(b) 

Conditions (i) or (ii) imply $abcd\in D_G\left(\phi \right)$.

Lemma 4

(2.20 of [5]). Let G be a special group and let ${\phi }_1,{\phi }_2$ be anisotropic Pfister forms over G, such that $D_G\left({\phi }_1\right)\subseteq D_G\left({\phi }_2\right)$. Then, for all forms $\psi ,\theta$ over G,

$$\psi \otimes {\phi }_1{\equiv }_G\theta \otimes {\phi }_1\Rightarrow \psi \otimes {\phi }_2{\equiv }_G\theta \otimes {\phi }_2.$$

Proposition 2 with Lemmas 3 and 4, yield

Proposition 3

(2.21 of [5]). Let G be a special group and Δ a Pfister subgroup of G, determined by the directed family $\mathcal{S}$ of Pfister forms over G. Then, $(G/\Delta ,{\equiv }_{G/\Delta }^{*},-1/\Delta )$ is a special group, and the quotient map $\pi :G\to G/\Delta$ is a morphism of special groups. Further, $1\ne -1$ in $G/\Delta$ if $-1\notin \Delta$. Moreover, in this situation we have

(a) 

If $\phi ,\psi$ are n-forms in G, then $\pi ★\phi {\equiv }_{G/\Delta }^{\ast }\pi ★\psi$ if there is a Pfister form $\mathcal{P}$ in $\mathcal{S}$ such that $\phi \otimes \mathcal{P}{\equiv }_G\psi \otimes \mathcal{P}$.

(b) 

If $f:G\to H$ is a morphism of special groups satisfying $\Delta \subseteq Ker\left(f\right)$, then there is a unique SG-morphism $\widehat{f}:G/\Delta \to H$ such that $f=\widehat{f}\circ \pi$.

Concerning the Marshall’s quotient under Pfister subgroups, we have a similar result to the Pfister quotients in [5].

Theorem 3.

Let G be a special group and $\Delta \subseteq G$ be a Pfister subgroup.

$$\Delta =\bigcup \{D_G\left(\phi \right):\phi \in \mathcal{S}\}$$

where $\mathcal{S}$ is a directed family of Pfister forms. Then,

$$\begin{array}{c}\hfill \left[\phi \right]{\equiv }_{G{/}_{m}S}\left[\psi \right] if there is a Pfister form \theta \in \mathcal{S} such that \theta \otimes \phi {\equiv }_G\theta \otimes \psi .\end{array}$$

(1)

In particular $(G{/}_{m}S,{\equiv }_{G{/}_{m}S},-\left[1\right])$ is a special group.

Proof. 

What remains is to check the Axioms [SG0] and [SG6]. Transitivity of the relation ${\equiv }_{G{/}_{m}S}$ follows from Lemma 4, using Proposition 2. Likewise, Axiom [SG6] is an immediate consequence of Equation (1), which is proven by induction on n, using Lemma 4 and Proposition 2. □

Theorem 4

(Universal Property of Marshall’s Quotient). Let $G,H$ be special groups and $S\subseteq A$ a DM-subset of G. Then, for every SG-morphism $f:G\to H$ such that $f\left[S\right]=\left\{1\right\}$, there exists a unique morphism $\tilde{f}:G{/}_{m}S\to H$ such that the following diagram commute:

where $\pi :G\to G{/}_{m}S$ is the canonical projection $\pi \left(a\right)=\left[a\right]$.

Proof. 

Note that if $\left[a\right]=\left[b\right]$, saying $ar=bs$, we have (under the hypothesis that $f\left[S\right]=\left\{1\right\}$) that

$$f\left(a\right)=f\left(a\right)f\left(r\right)=f\left(ar\right)=f\left(bs\right)=f\left(b\right)f\left(s\right)=f\left(b\right).$$

Then we are able to define $\tilde{f}\left(\left[a\right]\right):=f\left(a\right)$. It is straightforward to prove that $\tilde{f}$ is the unique morphism such that $f=\tilde{f}\circ \pi$. □

Using the Universal Properties of Marshall’s Quotient (Theorem 4) and Pfister’s Quotient (Proposition 2.21, Chapter 2 of [5]) we obtain the following.

Theorem 5.

Let G be a special group and $\Delta \subseteq G$ be a Pfister subgroup of G. Then,

$$G/\Delta \cong G{/}_m\Delta .$$

We have an interesting (and non obvious) consequence of the Universal Property.

Proposition 4.

Let G be a special group and $S_1,S_2\subseteq G$ be Pfister subgroups of G with $S_1\subseteq S_2$. Then, there exists a unique surjective morphism $G{/}_m{S}_1\to G{/}_m{S}_2$ in the sense of Universal Property.

Proof. 

Let ${\pi }_1:G\to G{/}_m{S}_1$ and ${\pi }_2:G\to G{/}_m{S}_2$ be the quotient morphisms. Since

$${\pi }_2\left[S_1\right]\subseteq {\pi }_2\left[S_2\right]=\left\{\left[1\right]\right\},$$

the Universal property Theorem 4 provides a unique morphism $\phi :G{/}_m{S}_1\to G{/}_m{S}_2$ such that ${\pi }_2=\phi \circ {\pi }_1$. Since both ${\pi }_1$ and ${\pi }_2$ are surjective, it follows that $\phi$ is also surjective. □

The following was unexpected: for $S_1\subseteq S_2$, it was desired to obtain an injective morphism $G{/}_m{S}_2\to G{/}_m{S}_1$, but Proposition 4 provides a morphism in the reverse direction.

4. Quadratic Extensions of Special Groups

Let G be a special group and let $\delta \in G$. Note that $D_G(1,\delta )=D_G\left(\langle \langle \delta \rangle \rangle \right)$ is a Pfister subgroup of G. We define

$$G\left(\sqrt{\delta }\right):=G{/}_m{D}_G(1,\delta ).$$

Remark 2.

By Theorem 3, we have

$$\begin{array}{c}\hfill \left[\phi \right]{\equiv }_{G\left(\sqrt{\delta }\right)}\left[\psi \right]if\langle 1,\delta \rangle \otimes \phi {\equiv }_G\langle 1,\delta \rangle \otimes \psi .\end{array}$$

(2)

Theorem 6.

Let G be a special group and $\alpha ,\beta \in G$. Then,

$$\left[G\left(\sqrt{\alpha }\right)\right]\left(\sqrt{\beta }\right)\cong \left[G\left(\sqrt{\beta }\right)\right]\left(\sqrt{\alpha }\right).$$

Proof. 

Here, we will deal with many quotients. In order to simplify the proof, let us denote the following:

$$\begin{array}{cc}\hfill G\left(\sqrt{\alpha }\right)& :=G{/}_m{D}_G(1,\alpha )=\{{\left[g\right]}_{\alpha }:g\in G\}\hfill \\ \hfill G\left(\sqrt{\beta }\right)& :=G{/}_m{D}_G(1,\beta )=\{{\left[g\right]}_{\beta }:\beta \in G\}\hfill \\ \hfill \left(\right[G\sqrt{\alpha }\left)\right]\left(\sqrt{\beta }\right)& =G\left(\sqrt{\alpha }\right){/}_m{D}_{G\left(\sqrt{\alpha }\right)}({\left[1\right]}_{\alpha },{\left[\beta \right]}_{\alpha })=\{{\left[g\right]}_{\alpha ,\beta }:{\left[g\right]}_{\alpha }\in G\left(\sqrt{\alpha }\right)\}\hfill \\ \hfill \left(\right[G\sqrt{\beta }\left)\right]\left(\sqrt{\alpha }\right)& =G\left(\sqrt{\beta }\right){/}_m{D}_{G\left(\sqrt{\beta }\right)}({\left[1\right]}_{\beta },{\left[\alpha \right]}_{\beta })=\{{\left[g\right]}_{\beta ,\alpha }:{\left[g\right]}_{\beta }\in G\left(\sqrt{\beta }\right)\}.\hfill \end{array}$$

(3)

In this sense, the quotient morphisms ${\pi }_1:G\left(\sqrt{\alpha }\right)\to \left[G\left(\sqrt{\alpha }\right)\right]\left(\sqrt{\beta }\right)$ and ${\pi }_2:G\left(\sqrt{\beta }\right)\to \left[G\left(\sqrt{\beta }\right)\right]\left(\sqrt{\alpha }\right)$ are given, respectively, by ${\pi }_1\left({\left[g\right]}_{\alpha }\right)={\left[g\right]}_{\alpha ,\beta }$ and ${\pi }_2\left({\left[g\right]}_{\beta }\right)={\left[g\right]}_{\beta ,\alpha }$.

We have morphisms $q_1:G\left(\sqrt{\alpha }\right)\to \left[G\left(\sqrt{\beta }\right)\right]\left(\sqrt{\alpha }\right)$ and $q_2:G\left(\sqrt{\beta }\right)\to \left[G\left(\sqrt{\alpha }\right)\right]\left(\sqrt{\beta }\right)$ given, respectively, by the rules $q_1\left({\left[g\right]}_{\alpha }\right)={\left[g\right]}_{\beta ,\alpha }$ and $q_2\left({\left[g\right]}_{\beta }\right)={\left[g\right]}_{\alpha ,\beta }$. We check for $q_1$; the case for $q_2$ is analogous. Let $g,h\in G$ with ${\left[g\right]}_{\alpha }={\left[h\right]}_{\alpha }$. Then, $gr=hs$ for some $r,s\in D_G(1,\alpha )$ which imply (after application of the morphism ${\pi }_2$) that ${\left[g\right]}_{\beta }{\left[r\right]}_{\beta }={\left[h\right]}_{\beta }{\left[s\right]}_{\beta }$ with ${\left[r\right]}_{\beta },{\left[s\right]}_{\beta }\in D_{G\left(\sqrt{\beta }\right)}({\left[1\right]}_{\beta },{\left[\alpha \right]}_{\beta })$. In particular, ${\left[r\right]}_{\beta ,\alpha }={\left[s\right]}_{\beta ,\alpha }={\left[1\right]}_{\beta ,\alpha }$. Then

$$\begin{array}{cc}\hfill {\left[g\right]}_{\beta ,\alpha }& ={\left[g\right]}_{\beta ,\alpha }{\left[1\right]}_{\beta ,\alpha }={\left[g\right]}_{\beta ,\alpha }{\left[r\right]}_{\beta ,\alpha }={\left[gr\right]}_{\beta ,\alpha }\hfill \\ \hfill & ={\left[hs\right]}_{\beta ,\alpha }={\left[h\right]}_{\beta ,\alpha }{\left[s\right]}_{\beta ,\alpha }={\left[h\right]}_{\beta ,\alpha }{\left[1\right]}_{\beta ,\alpha }={\left[h\right]}_{\beta ,\alpha }.\hfill \end{array}$$

Then, the rule ${\left[g\right]}_{\alpha }\mapsto {\left[g\right]}_{\beta ,\alpha }$ in fact defines a function $q_1:G\left(\sqrt{\alpha }\right)\to [G(\sqrt{\beta })]\left(\sqrt{\alpha }\right)$. The fact that $q_1$ is a morphism follows directly then.

Hence, we have a morphism $q_1:G\left(\sqrt{\alpha }\right)\to [G(\sqrt{\beta })]\left(\sqrt{\alpha }\right)$ with $q_1\left[D_{G\left(\sqrt{\alpha }\right)}({\left[1\right]}_{\alpha },{\left[\beta \right]}_{\alpha })\right]=\left\{{\left[1\right]}_{\beta ,\alpha }\right\}$. The Universal Property Theorem 4 provides a unique morphism $q_{\alpha ,\beta }:\left[G\left(\sqrt{\alpha }\right)\right](\sqrt{\beta })\to [G(\sqrt{\beta })]\left(\sqrt{\alpha }\right)$ such that $q_1=q_{\alpha ,\beta }\circ {\pi }_1$. Similarly, there exists a unique morphism $q_{\beta ,\alpha }:[G(\sqrt{\beta })]\left(\sqrt{\alpha }\right)\to \left[G\left(\sqrt{\alpha }\right)\right](\sqrt{\beta })$ such that $q_2=q_{\beta ,\alpha }\circ {\pi }_2$. The universal property Theorem 4 forces $q_{\alpha \beta }\circ q_{\beta \alpha }=id$ and $q_{\beta \alpha }\circ q_{\alpha \beta }=id$. □

By Theorem 6, we may now define iterated quadratic extensions generalizing $G\left(\sqrt{\delta }\right)$.

Definition 7.

For ${\delta }_1,\dots ,{\delta }_n\in G$, we define recursively:

$$\begin{array}{cc}\hfill G(\sqrt{{\delta }_1},\sqrt{{\delta }_2})& :=\left[G\left(\sqrt{{\delta }_1}\right)\right]\left(\sqrt{{\delta }_2}\right);\hfill \\ \hfill G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_{n+1}})& :=\left[G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n})\right]\left(\sqrt{{\delta }_{n+1}}\right).\hfill \end{array}$$

Later in this paper, we will show that this definition is independent (up to isomorphism) of the order of the “roots” $\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n}$.

Theorem 7.

Let G be a special group, ${\delta }_1,\dots ,{\delta }_n\in G$ and $\sigma \in S_n$. Then

$$G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n})\cong G(\sqrt{{\delta }_{\sigma \left(1\right)}},\dots ,\sqrt{{\delta }_{\sigma \left(n\right)}}).$$

Furthermore, we have another (and more significant) description for $G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n})$.

Theorem 8.

Let $\alpha ,\beta \in G$. Then,

$$G(\sqrt{\alpha },\sqrt{\beta })\cong G{/}_m{D}_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right).$$

Proof. 

We import the terminology of Equation (3) of the proof of Theorem 6. Using Equation (1) (Theorem 3) and Equation (2), we have

$$\begin{array}{cc}\hfill {\left[\phi \right]}_{\alpha }{\equiv }_{G\left(\sqrt{\alpha }\right)}{\left[\psi \right]}_{\alpha }& \mathrm{if} \phi \otimes \langle 1,\alpha \rangle {\equiv }_G\psi \otimes \langle 1,\alpha \rangle \hfill \\ \hfill {\left[\phi \right]}_{\beta }{\equiv }_{G\left(\sqrt{\beta }\right)}{\left[\psi \right]}_{\beta }& \mathrm{if} \phi \otimes \langle 1,\beta \rangle {\equiv }_G\psi \otimes \langle 1,\beta \rangle \hfill \\ \hfill \left[\phi \right]{\equiv }_{G{/}_m{D}_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right)}\left[\psi \right]& \mathrm{if} \phi \otimes \langle \langle \alpha ,\beta \rangle \rangle {\equiv }_G\psi \otimes \langle \langle \alpha ,\beta \rangle \rangle \hfill \end{array}$$

(4)

Since $\langle 1,\alpha \rangle =\langle \langle \alpha \rangle \rangle$, $\langle 1,\beta \rangle =\langle \langle \beta \rangle \rangle$ and $\langle \langle \alpha ,\beta \rangle \rangle$ are Pfister forms and both $D_G\left(\langle 1,\alpha \rangle \right)$ and $D_G\left(\langle 1,\beta \rangle \right)$ are subsets of $D_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right)$, using Equation (1) (Theorem 3), Equation (2), Lemma 4 and Equation (4) (above), we get

$$\begin{array}{c}\hfill \left[\phi \right]{\equiv }_{G{/}_m{D}_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right)}\left[\psi \right] \mathrm{i}\mathrm{m}\mathrm{p}\mathrm{l}\mathrm{y} \mathrm{t}\mathrm{h}\mathrm{a}\mathrm{t} {\left[\phi \right]}_{\alpha }{\equiv }_{G\left(\sqrt{\alpha }\right)}{\left[\psi \right]}_{\alpha } \mathrm{a}\mathrm{n}\mathrm{d} {\left[\phi \right]}_{\beta }{\equiv }_{G\left(\sqrt{\beta }\right)}{\left[\psi \right]}_{\beta }.\end{array}$$

(5)

In particular, by the Universal Property Theorem 4 we have a unique morphism $q_1:G{/}_m{D}_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right)\to G(\sqrt{\alpha },\sqrt{\beta })$ given by the rule $q_1\left(\left[g\right]\right):={\left[g\right]}_{\alpha \beta }$. On the other hand, Equations (4) and (5) provide a morphism $\pi :G\left(\sqrt{\alpha }\right)\to G{/}_m{D}_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right)$ given by $\pi \left({\left[g\right]}_{\alpha }\right):=\left[g\right]$, for which $\pi (D_{G\left(\sqrt{\alpha }\right)}({\left[1\right]}_{\alpha },{\left[\beta \right]}_{\alpha })=\left\{\left[1\right]\right\}$. Then, there exists a unique morphism $q_2:G(\sqrt{\alpha },\sqrt{\beta })\to G{/}_m{D}_G\left(\langle \langle \alpha ,\beta \rangle \rangle \right)$, given by the rule $q_2\left({\left[g\right]}_{\alpha \beta }\right):=\left[g\right]$ and such that $\pi =q_2\circ {\pi }_{G(\sqrt{\alpha },\sqrt{\beta })}$ (here ${\pi }_{G(\sqrt{\alpha },\sqrt{\beta })}:G\left(\sqrt{\alpha }\right)\to G(\sqrt{\alpha },\sqrt{\beta })$ is the quotient morphism).

The Universal Property Theorem 4 forces $q_1\circ q_2=id$ and $q_2\circ q_1=id$. □

Using Theorems 6–8 with an inductive argument we get the following description.

Theorem 9.

Let ${\delta }_1,\dots ,{\delta }_n\in G$. Then

$$G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n})\cong G{/}_m{D}_G\left(\langle \langle {\delta }_1,\dots ,{\delta }_n\rangle \rangle \right).$$

This leads to the following interesting Corollary of Theorem 9 (remember Equation (1) in Theorem 3!):

Corollary 1.

Let G be a special group and ${\delta }_1,\dots ,{\delta }_n\in G$. Then,

$$\langle \left[a_1\right],\dots ,\left[a_m\right]\rangle {\equiv }_{G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n})}\langle \left[b_1\right],\dots ,\left[b_m\right]\rangle$$

if

$$\langle a_1,\dots ,a_m\rangle \otimes \langle \langle {\delta }_1,\dots ,{\delta }_n\rangle \rangle {\equiv }_G\langle b_1,\dots ,b_m\rangle \otimes \langle \langle {\delta }_1,\dots ,{\delta }_n\rangle \rangle .$$

Based on these results, we introduce the following.

Definition 8.

Let G be a special group and $\phi =\langle \langle {\delta }_1,\dots ,{\delta }_n\rangle \rangle$ be a Pfister form. We define:

$$G\left(\phi \right):=G{/}_m{D}_G\left(\langle \langle {\delta }_1,\dots ,{\delta }_n\rangle \rangle \right)\cong G(\sqrt{{\delta }_1},\dots ,\sqrt{{\delta }_n}).$$

5. A New Proof of Arason–Pfister Hauptsatz

In the sequel, our objective is to characterize for a special group G, whether $\left[a\right]=\left[b\right]$ in $G(\sqrt{a_1},\dots ,\sqrt{a_n})$ in terms of the equations in G.

Theorem 10.

Let G be a special group and $a,b,c\in G$. Then, $\left[a\right]=\left[b\right]$ in $G\left(\sqrt{a}\right)$ if there is $s,t\in D_G(1,a)$ with $as=bt$ (or $a=bst$ or even $b=ats$).

Proof. 

Using the Definition of $G\left(\sqrt{a}\right)$ and the Marshall quotient we have $\left[a\right]=\left[b\right]$ (in $G\left(\sqrt{a}\right)$) if $as=bt$ for some $s,t\in D_G(1,a)$ (and since $D_G(1,a)·D_G(1,a)\subseteq D_G(1,a)$, we have assumed $st\in D_G(1,a)$ and $ast=b$, or $a=bst$). □

Theorem 11.

Let G be a special group and $a_1,\dots ,a_n,b,c\in G$. Then, $\left[a\right]=\left[b\right]$ in $G(\sqrt{a_1},\dots ,\sqrt{a_n})$ if there is $s,t\in D_G\left(\langle \langle a_1,a_2,\dots ,a_n\rangle \rangle \right)$ such that $as=bt$ (or $a=bst$ or even $ab\in D_G\left(\langle \langle a_1,a_2,\dots ,a_n\rangle \rangle \right)$).

Proof. 

We proceed by induction. The case $n=1$ is just Theorem 10 (since $\langle \langle a\rangle \rangle =\langle 1,a\rangle$). Now, suppose the result is valid for n. Here, we denote elements in $G(\sqrt{a_1},\dots ,\sqrt{a_{n+1}})$ by $\left[\left[a\right]\right]\in G(\sqrt{a_1},\dots ,\sqrt{a_{n+1}})$; and elements in $G(\sqrt{a_1},\dots ,\sqrt{a_n})$ by $\left[a\right]\in G(\sqrt{a_1},\dots ,\sqrt{a_n})$ ($a\in G$).

Let $\left[\right[a\left]\right]=\left[\right[b\left]\right]$ in $G(\sqrt{a_1},\dots ,\sqrt{a_{n+1}})$. Since

$$G(\sqrt{a_1},\dots ,\sqrt{a_{n+1}})\cong G(\sqrt{a_1},\dots ,\sqrt{a_n})\left(\sqrt{a_{n+1}}\right),$$

by Theorem 10 we have $\left[ar\right]=\left[bs\right]$ for some $\left[r\right],\left[s\right]\in D_{G(\sqrt{a_1},\dots ,\sqrt{a_n})}(\left[1\right],\left[a_{n+1}\right])$. By induction hypothesis, we get $art=bsw$ with $\left[r\right],\left[s\right]\in D_{G(\sqrt{a_1},\dots ,\sqrt{a_n})}(\left[1\right],\left[\sqrt{a_{n+1}}\right])$ and $t,w\in D_G\left(\langle \langle a_1,\dots ,a_n\rangle \rangle \right)$.

Now, since $\left[r\right]\in D_{G(a_1,\dots ,a_n)}(\left[1\right],\left[a_{n+1}\right])$, we have

$$\langle \left[r\right],\left[r{a}_{n+1}\right]\rangle {\equiv }_{G(\sqrt{a_1},\dots ,\sqrt{a_n})}\langle \left[1\right],\left[a_{n+1}\right]\rangle .$$

Using Corollary 1, we have

$$\langle r,r{a}_{n+1}\rangle \otimes \langle \langle a_1,\dots ,a_n\rangle \rangle {\equiv }_G\langle 1,a_{n+1}\rangle \otimes \langle \langle a_1,\dots ,a_n\rangle \rangle ,$$

which implies that $r\in D_G\left(\langle \langle a_1,\dots ,a_n,a_{n+1}\rangle \rangle \right)$. Similarly, $s\in D_G\left(\langle \langle a_1,\dots ,a_n,a_{n+1}\rangle \rangle \right)$. Since Pfister forms are multiplicative, we conclude that $a\left(rt\right)=b\left(sw\right)$ with $rt,sw\in D_G\left(\langle \langle a_1,\dots ,a_n,a_{n+1}\rangle \rangle \right)$, completing the proof. □

Corollary 2.

Let G be a reduced special group and φ be a Pfister form, say $\phi =\langle \langle a_1,a_2,\dots ,a_n\rangle \rangle$ with $a_1,a_2,\dots ,a_n\in G$. If φ is anisotropic ($-1\notin D_G\left(\phi \right)$) then $G\left(\phi \right)$ is formally real.

Proof. 

Since $-1\notin D_G\left(\phi \right)$, by Separation Theorem (Theorem 2.11, Chapter 2 of [5]), there is a maximal saturated subgroup $\Delta$ such that $D_G\left(\phi \right)\subseteq \Delta$ and $-1\notin \Delta$. Then, $G{/}_m\Delta \cong {\mathbb{Z}}_2$ and by the Universal Property of Pfister quotient Theorem 4, there exists a morphism $\sigma :G\left(\phi \right)\to {\mathbb{Z}}_2$. Thus, $\sigma \in X_{G\left(\phi \right)}$ and $G\left(\phi \right)$ is formally real. □

Before we proceed with the proof of the main Theorem 12, let us establish some notation. Let G be a special group and $\phi \in I^n\left(G\right)$ be an anisotropic form. As we already have seen in Remark 1, for an anisotropic form $\phi \in I^{n}G$, we can suppose without loss of generality that $\phi ={\phi }_1+\dots +{\phi }_r$ with ${\phi }_j$ an anisotropic Pfister form ($j=1,\dots ,r$). Recall (Definition 8): If ${\phi }_1=\langle \langle a_1,\dots ,a_n\rangle \rangle$, we have

$$G\left({\phi }_1\right)=G{/}_m{D}_G\left(\langle \langle a_1,\dots ,a_n\rangle \rangle \right)\cong G(\sqrt{a_1},\dots ,\sqrt{a_n})$$

If $\psi =\langle b_1,\dots ,b_m\rangle$ is a form over G, we denote $\left[\psi \right]=\langle \left[b_1\right],\dots ,\left[b_m\right]\rangle$ the quotient form over $G\left({\phi }_1\right)$. In this sense, for $\phi ={\phi }_1+\dots +{\phi }_r$ we have

$$\left[\phi \right]=2^n·\langle \left[1\right]\rangle +\left[{\phi }_2\right]+\dots +\left[{\phi }_r\right].$$

where $2^n=dim\left({\phi }_1\right)$. Note that ${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G\left({\phi }_1\right)}\left(\left[\phi \right]\right)$.

We can suppose without loss of generality that for some positive integer $r\ge 1$, we have $\phi ={\phi }_1+\dots +{\phi }_r$, with ${\phi }_1,\dots ,{\phi }_r$ anisotropic Pfister forms (see Remark 1).

Definition 9.

Let G be a special group, ${\phi }_1,\dots ,{\phi }_r$ anisotropic Pfister forms and $\phi ={\phi }_1+\dots +{\phi }_r$. The Arason–Pfister sequence of φ over G, $AP(G,\phi ):=(G_0,\dots ,G_r)$, is defined recursively by:

$$\begin{array}{cc}\hfill G_0& :=G,\hfill \\ \hfill G_1& :=G\left({\phi }_1\right)\hfill \\ \hfill G_{m+1}& :=G_m\left({\left[{\phi }_{m+1}\right]}_m\right) for m=2,\dots ,r-1.\hfill \end{array}$$

where ${\left[{\phi }_{m+1}\right]}_m$ means the class of the form ${\phi }_{m+1}$ in $G_m$, with ${\left[\phi \right]}_m$ hyperbolic over $G_m$ and $G_{m+1}\cong \left\{1\right\}$, or (reindexing if necessary) ${\left[{\phi }_{m+1}\right]}_m$ anisotropic (over $G_{m+1}$) (The idea behind Arason–Pfister sequences is making iterate quotients by all the anisotropic forms in $\{{\phi }_1,\dots ,{\phi }_r\}$ until we achieve r steps or are left only the isotropic ones). We also denote elements (and forms) in $G_m$ by ${\left[a\right]}_m\in G_m$, $a\in G$ (${\left[\psi \right]}_m\in G_m$, ψ form over G).

Note that for all $m=1,\dots ,r$ we have

$${\left[\phi \right]}_m=m·2^n·\langle {\left[1\right]}_m\rangle +{\left[{\phi }_{m+1}\right]}_m+\dots +{\left[{\phi }_r\right]}_m\in G_m.$$

Lemma 5.

Let G be a formally real special group, ${\phi }_1,\dots ,{\phi }_r$ anisotropic Pfister forms and

$$\phi ={\phi }_1+\dots +{\phi }_r$$

with Arason–Pfister sequence $AP(G,\phi ):=(G_0,\dots ,G_r)$. Then:

(i) 

there exists the minimum $p\in \{1,\dots ,r-1\}$ such that $2^n\langle {\left[1\right]}_m\rangle$ is anisotropic for all $m\le p$ and $G_m\cong \left\{1\right\}$ for all $m>p$ (which means ${\left[\phi \right]}_p$ hyperbolic over $G_p$);

(ii) 

There exists a maximum $p\in \{1,\dots ,r\}$ such that ${\left[{\phi }_m\right]}_m+\dots +{\left[{\phi }_r\right]}_m$ is anisotropic over $G_m$ for all $m\le p$ (Observe that if condition (ii) holds, then ${\left[{\phi }_{m+1}\right]}_m+\dots +{\left[\phi \right]}_r$ is also anisotropic over $G_m$ for all $m\le p$).

Definition. 

This unique $p\ge 1$ is called the Arason–Pfister index of $AP(G,\phi )$.

Proof. 

We proceed by induction on r. If $r=1$, then condition (ii) holds (just take $p=1$).

Let $r=2$, with $\phi ={\phi }_1+{\phi }_2$. We have two cases:

(I)

${\left[{\phi }_2\right]}_1$ isotropic over $G_1$. Then, condition (i) and (ii) holds with $p=1$.

(II)

${\left[{\phi }_2\right]}_1$ anisotropic over $G_1$. Then, condition (ii) holds with $p=2$.

Now suppose the result valid for $r-1$ ($r\ge 2$) and let ${\phi }_1,\dots ,{\phi }_r$ and $\phi ={\phi }_1+\dots +{\phi }_r$ be anisotropic Pfister forms over G. Note that

$$AP(G_1,{\left[\phi \right]}_1)=(G_2,\dots ,G_r).$$

In other words, $(G_2,\dots ,G_r)$ is the Arason–Pfister sequence of ${\left[\phi \right]}_1$ over $G_1$. By the induction hypotheses, there exist an index $p^{\prime }$ from which one condition (i) or condition (ii) holds over $G_1$. This implies that condition (i) or condition (ii) holds over G with $p=p^{\prime }+1$. □

Theorem 12

(Arason–Pfister Hauptsatz). Let G be a reduced special group, then $A{P}_G\left(n\right)$ holds, for all $n\ge 0$. In more detail: for each $n\ge 0$ and each non-zero ($k\ge 1$), regular and anisotropic form $\phi =\langle a_1,\dots ,a_k\rangle$, if $\phi \in I^n\left(G\right)$, then $dim\left(\phi \right)=k\ge 2^n$.

Proof. 

If $1=-1$ in G the result is trivially valid. Then, we can suppose $1\ne -1$. Additionally, since $\phi$ is a non-zero regular anisotropic form in $\phi \in I^{n}G$ we can suppose without loss of generality that for some positive integer $r\ge 1$, we have $\phi ={\phi }_1+\dots +{\phi }_r$, with ${\phi }_1,\dots ,{\phi }_r$ anisotropic Pfister forms (see Remark 1).

We proceed by induction on r. If $r=1$, then $\phi ={\phi }_1$, with $dim\left(\phi \right)=dim\left({\phi }_1\right)=2^n$.

If $r=2$, we have some cases to consider:

I 

${\left[\phi \right]}_1$ is hyperbolic. Then, ${\left[\phi \right]}_1{\equiv }_{G_1}·2^{n-1}·\langle {\left[1\right]}_1,-{\left[1\right]}_1\rangle$, which means

$$2^n·\langle {\left[1\right]}_1\rangle +{\left[{\phi }_2\right]}_1{\equiv }_{G_1}{2}^n·\langle {\left[1\right]}_1,-{\left[1\right]}_1\rangle .$$

By Witt’s cancellation, we get

$${\left[{\phi }_2\right]}_1{\equiv }_{G_1}{2}^n·\langle -{\left[1\right]}_1\rangle$$

Since hyperbolic forms are zero in the Witt ring, we get ${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}\left({\phi }_2\right)$ (see Remark 1) and ${dim}_{W,G}\left({\phi }_2\right)\ge {dim}_{W,G_1}\left({\left[{\phi }_2\right]}_1\right)$ by the quotient morphism $\pi :G\to G_1$. Putting this together, we arrive at

$${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}\left({\phi }_2\right)\ge {dim}_{W,G_1}\left({\left[{\phi }_2\right]}_1\right)={dim}_{W,G_1}{2}^n·\langle -{\left[1\right]}_1\rangle =2^n.$$

II 

${\left[\phi \right]}_1$ is anisotropic. Then, ${\phi }_2$ is an anisotropic Pfister form (see Remark 1) and ${dim}_{W,G}\left({\phi }_2\right)\ge 2^n$.

Moreover,

$${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G_1}\left({\left[\phi \right]}_1\right)\ge {dim}_{W,G_1}\left({\left[{\phi }_2\right]}_1\right)\ge 2^n.$$

III 

${\left[\phi \right]}_1$ is isotropic and not hyperbolic. Observe that this means that

$${\left[\phi \right]}_1=2^n\langle {\left[1\right]}_1\rangle +{\left[{\phi }_2\right]}_1$$

is isotropic over $G_1$. If ${\left[{\phi }_2\right]}_1$ is anisotropic over $G_1$, then $G_2=G_1\left({\left[{\phi }_2\right]}_1\right)$ is a formally real reduced special group and ${\left[\phi \right]}_2=2·2^n\langle {\left[1\right]}_2\rangle$ is isotropic, contradiction. Then, ${\left[{\phi }_2\right]}_1$ is isotropic over $G_1$, which means

$${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G_1}\left({\left[\phi \right]}_1\right)\ge {dim}_{W,G_1}{2}^n·\langle {\left[1\right]}_1\rangle \ge 2^n.$$

Let $r\ge 2$ and suppose the result valid for $r-1$. Then,

$${\left[\phi \right]}_1={[{\phi }_1+\dots +{\phi }_r]}_1={\left[{\phi }_1\right]}_1+\dots +{\left[{\phi }_r\right]}_1=2^n·\langle {\left[1\right]}_1\rangle +{\left[{\phi }_2\right]}_1+\dots +{\left[{\phi }_r\right]}_1.$$

We already know that ${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}({\phi }_2+\dots +{\phi }_r)\ge {dim}_{W,G\left({\phi }_1\right)}({\left[{\phi }_2\right]}_1+\dots +{\left[{\phi }_r\right]}_1)$. Then we have three cases:

I 

${\left[\phi \right]}_1$ is hyperbolic. Then, ${\left[\phi \right]}_1{\equiv }_{G_1}r·2^n·\langle {\left[1\right]}_1,-{\left[1\right]}_1\rangle$, which means

$$2^n·\langle {\left[1\right]}_1\rangle +{\left[{\phi }_2\right]}_1+\dots +{\left[{\phi }_r\right]}_1{\equiv }_{G_1}r·2^n·\langle {\left[1\right]}_1,-{\left[1\right]}_1\rangle .$$

By Witt’s cancellation we get

$${\left[{\phi }_2\right]}_1+\dots +{\left[{\phi }_r\right]}_1{\equiv }_{G_1}{2}^n·\langle -{\left[1\right]}_1\rangle +(r-1)·2^n·\langle {\left[1\right]}_1,-{\left[1\right]}_1\rangle$$

Since hyperbolic forms are zero in the Witt ring, we get

$$\begin{gathered} {dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}({\phi }_2+\dots +{\phi }_r)\ge {dim}_{W,G_1}({\left[{\phi }_2\right]}_1+\dots +{\left[{\phi }_r\right]}_1)= \\ {dim}_{W,G_1}{2}^n·\langle -{\left[1\right]}_1\rangle =2^n. \end{gathered}$$

II 

${\left[\phi \right]}_1$ is anisotropic. Since ${\phi }_2+\dots +{\phi }_r$ is also anisotropic (see Remark 1), by induction hypothesis we have ${dim}_{W,G}({\phi }_2+\dots +{\phi }_r)\ge 2^n$.

Moreover,

$${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}({\phi }_2+\dots +{\phi }_r)\ge {dim}_{W,G_1}({\left[{\phi }_2\right]}_1+\dots +{\left[{\phi }_r\right]}_1)\ge 2^n.$$

III 

${\left[\phi \right]}_1$ is isotropic and not hyperbolic. Let $AP(G,\phi )=(G_0,\dots ,G_r)$ be the Arason–Pfister sequence of $\phi$ over G (see Definition 5) and p its Arason–Pfister index (see Lemma 5). We have two subcases to consider:

• Condition (i) of Lemma 5 holds for p. Then, means that $G_m$ is formally real for all $m\le p$ and ${\left[\phi \right]}_p$ hyperbolic over $G_p$. Then,
  $${\left[\phi \right]}_p=p·2^n·\langle {\left[1\right]}_p\rangle +{\left[{\phi }_{p+1}\right]}_p+\dots +{\left[{\phi }_r\right]}_p$$
  is hyperbolic, which means

  $$p·2^n·\langle {\left[1\right]}_p\rangle +{\left[{\phi }_{p+1}\right]}_p+\dots +{\left[{\phi }_r\right]}_p{\equiv }_{G_p}p·2^n\langle {\left[1\right]}_p,-{\left[1\right]}_p\rangle .$$
  By Witt’s cancellation we get
  $${\left[{\phi }_{p+1}\right]}_p+\dots +{\left[{\phi }_r\right]}_p{\equiv }_{G_p}{2}^n·\langle -{\left[1\right]}_1\rangle +(r-p)·2^n·\langle {\left[1\right]}_1,-{\left[1\right]}_1\rangle$$
  Since hyperbolic forms are zero in the Witt ring, we get

  $$\begin{gathered} {dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}({\phi }_{p+1}+\dots +{\phi }_r)\ge \\ {dim}_{W,G_p}({\left[{\phi }_{p+1}\right]}_p+\dots +{\left[{\phi }_r\right]}_p)={dim}_{W,G_p}{2}^n·\langle -{\left[1\right]}_1\rangle =2^n. \end{gathered}$$
• Condition (ii) of Lemma 4.6 holds for p. In particular, ${\left[{\phi }_{p+1}\right]}_p+\dots +{\left[\phi \right]}_p$ is anisotropic over $G_p$. By induction hypothesis ${dim}_{W,G_p}({\left[{\phi }_{p+1}\right]}_p+\dots +{\left[\phi \right]}_p)\ge 2^n$. Then
  $${dim}_{W,G}\left(\phi \right)\ge {dim}_{W,G}({\phi }_p+\dots +{\phi }_r)\ge {dim}_{W,G_p}({\left[{\phi }_{p+1}\right]}_p+\dots +{\left[\phi \right]}_p)\ge 2^n.$$

□

The classical (and equivalent) way to state Theorem 12 is the following: if a form $\phi$ belongs to $I^{n}G$ and $dim\phi <2^n$ then $\phi$ must be a hyperbolic form (see for instance [9]).

6. Final Remarks and Further Research

We have obtained a new proof of Arason–Pfister Hauptsatz in the same abstract setting of the proof presented in [5]—the class of reduced special groups–, but avoiding completely the use of Horn–Tarski and Stiefel–Whitney invariants for n-ary isometry.

On the other hand, extending the Arason–Pfister Hauptsatz to arbitrary (or, at least, formally real) special groups remains a central challenge, specially because we do not have an analogous of Corollary 2 for general special groups. Possibly approaches require either a generalization of the quotient techniques or the development of some notion of “transcendental extensions” for special groups.

Since Marshall’s original notion of quotient arose in the context of real reduced hyperfields [6], it would be fruitful to explore whether our constructions admit natural reformulations in terms of hyperstructures or real spectra, possibly leading to a unified approach to abstract quadratic form theories.

The theory of special groups, their quotients, and associated invariants might benefit from a reinterpretation in categorical terms—e.g., through the lens of topos theory, or model categories. These perspectives may yield further structural results and pave the way for homotopical generalizations.

The explicit structure of Marshall’s quotient and quadratic extensions suggests algorithmic possibilities for detecting isotropy and computing dimensions in abstract settings, which could be valuable in calculations involving special groups.

The categorical tools introduced here may allow for AP-type results in settings beyond classical quadratic forms—for example, in hermitian or sesquilinear form theories, especially defined over (non-commutative) hyperfields and multirings endowed with involution [11].