Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/forms/doc/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 5.4.2025 mit Größe 50 kB

Quelle chap5_mj.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/forms/doc/chap5_mj.html

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
 src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (Forms) - Chapter 5: Morphisms of forms</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap5" onload="jscontent()">

<div class="chlinktop">Goto Chapter: <a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap4_mj.html">[Previous Chapter]</a> <a href="chapBib_mj.html">[Next Chapter]</a> </div>

<a href="chap5.html">[MathJax off]</a>
<a id="X7B9AF2E784EB8481" name="X7B9AF2E784EB8481"></a>
<div class="ChapSects"><a href="chap5_mj.html#X7B9AF2E784EB8481">5 Morphisms of forms</a>
<div class="ContSect"> <a href="chap5_mj.html#X784D3B338055EC9D">5.1 Morphisms of sesquilinear forms</a>

<div class="ContSSBlock">
 <a href="chap5_mj.html#X807E16A383D2E04C">5.1-1 Hermitian forms</a>

 <a href="chap5_mj.html#X8042784984331FF4">5.1-2 Alternating forms</a>

 <a href="chap5_mj.html#X7F1255F77B6874E3">5.1-3 Bilinear forms</a>

 <a href="chap5_mj.html#X79453E2B7DDE1412">5.1-4 Degenerate forms</a>

</div></div>
<div class="ContSect"> <a href="chap5_mj.html#X87C0B98C8669A34A">5.2 Morphisms of quadratic forms</a>

<div class="ContSSBlock">
 <a href="chap5_mj.html#X7C738FBB80F533AC">5.2-1 Singular forms</a>

</div></div>
<div class="ContSect"> <a href="chap5_mj.html#X790B24568376AACE">5.3 Operations based on morphisms of forms</a>

<div class="ContSSBlock">
 <a href="chap5_mj.html#X78CCFB957A6153F5">5.3-1 BaseChangeToCanonical</a>
 <a href="chap5_mj.html#X87A6F5C979551677">5.3-2 BaseChangeHomomorphism</a>
 <a href="chap5_mj.html#X7DFEFA2C7945A5AD">5.3-3 IsometricCanonicalForm</a>
 <a href="chap5_mj.html#X7C7D92267EFE71DB">5.3-4 ScalarOfSimilarity</a>
 <a href="chap5_mj.html#X85FA387280DAEA69">5.3-5 WittIndex</a>
 <a href="chap5_mj.html#X853AF8D97E00F1DB">5.3-6 IsEllipticForm</a>
 <a href="chap5_mj.html#X7B73832A786FEC21">5.3-7 IsParabolicForm</a>
 <a href="chap5_mj.html#X85551B28798B07C7">5.3-8 IsHyperbolicForm</a>
 <a href="chap5_mj.html#X85F7092783AA2968">5.3-9 TypeOfForm</a>
</div></div>
</div>

<h3>5 Morphisms of forms</h3>

In this chapter we give a very brief overview on morphisms of sesquilinear and quadratic forms. The reader can find more in the texts: Cameron <a href="chapBib_mj.html#biBCameron">[Cam00]</a>, Taylor <a href="chapBib_mj.html#biBTaylor">[Tay92]</a>, Aschbacher <a href="chapBib_mj.html#biBAschbacher">[Asc00]</a>, or Kleidman and Liebeck <a href="chapBib_mj.html#biBKleidmanLiebeck">[KL90]</a>.

In this chapter we consider an \(n\)-dimensional vector space \(V\) over a finite field. Suppose that \(f\) is a sesquilinear form or a quadratic form on \(V\), then we call the pair \((V,f)\) a formed vector space.

<a id="X784D3B338055EC9D" name="X784D3B338055EC9D"></a>

<h4>5.1 Morphisms of sesquilinear forms</h4>

Consider two formed vector spaces \((V,f)\) and \((W,g)\) over the same field \(F\), where both \(f\) and \(g\) are sesquilinear forms. Suppose that \(\phi\) is a linear map from \(V\) to \(W\). The map \(\phi\) is an isometry from the formed space \((V,f)\) to the formed space \((W,g)\) if for all \(v,w \in V\) we have

\[

f(v,w) = f'(\phi(v), \phi(w)).
\]

The map \(\phi\) is a similarity from the formed space \((V,f)\) to the formed space \((W,g)\) if for all \(v,w \in V\) we have

\[

f(v,w) = \lambda f'(\phi(v), \phi(w)).

\]

for some non-zero \(\lambda \in F\). Finally, the map \(\phi\) is a semi-similarity from the formed space \((V,f)\) to the formed space \((W,g)\) if for all \(v,w\) in \(V\) we have

\[

f(v,w) = \lambda f'(\phi(v), \phi(w))^\alpha
\]

for some non-zero \(λ\) in \(F\) and a field automorphism \(\alpha\) of \(F\).

One of the objectives of studying maps between formed vector spaces is the classification of sesquilinear forms on a vector space \(V\), where it is sufficient to classify non-degenerate forms. The following results are well known.

It can be proved that (see for example Section 6.3 of <a href="chapBib_mj.html#biBCameron">[Cam00]</a>):

<ul>
<li>all non-degenerate alternating forms of a given vector space over a given finite field are similar,

</li>
<li>all non-degenerate hermitian forms of a given vector space over a given finite field are similar, and,

</li>
<li>the non-degenerate symmetric bilinear forms on a vector space over a field with odd characteristic come in three flavours, two of which occur when the dimension of the vector space is even, one of which occurs when the dimension of the vector space is odd.

</li>
</ul>
In principle, within each similarity class, different isometry classes can occur, but we will see that in most cases, each similarity class contains exactly one isometry class.

Given a sesquilinear form \(f\) over a vector space \(V\), Forms provides functionality to compute the linear map φ from \(V\) to itself (or, equivalently, a matrix describing a change of basis), such that \(f\) is mapped to its canonical representative in its isometry class. In the next sections, we describe the representative(s) of the similarity class(es) used in Forms, and, when necessary, the different isometry classes, for each of the three reflexive sesquilinear forms. The easiest cases are the hermitian and alternating cases.

<a id="X807E16A383D2E04C" name="X807E16A383D2E04C"></a>

<h5>5.1-1 Hermitian forms</h5>

We suppose that \(f\) is a non-degenerate hermitian form on a vector space \(V\) over the finite field \(F\), with involutory field automorphism \(\alpha\). It can be proved (see <a href="chapBib_mj.html#biBKleidmanLiebeck">[KL90]</a>) that any vector space equipped with a non-degenerate hermitian form \(f\) contains an orthogonal basis such that \(f(e_i,e_i)=1\) for each basisvector \(e_i\). Hence \((V,f)\) is isometric with \((V,f')\) with \(f'\) the non-degenerate hermitian form with the identity matrix over \(F\). The Witt index of \(f\) equals \(\frac{n}{2}\) when \(n\) is even and \(\frac{n-1}{2}\) when \(n\) is odd.

<a id="X8042784984331FF4" name="X8042784984331FF4"></a>

<h5>5.1-2 Alternating forms</h5>

We suppose that \(f\) is a non-degenerate alternating bilinear form on a vector space \(V\) over a finite field \(F\). As already mentioned in Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>, non-degenerate alternating forms only exist on even dimensional vector spaces. Restricting to a two dimensional vector space, it is clear immediately that the Gram matrix of \(f\) must be

\[\left( \begin{array}{cc}0 & r \\ -r & 0 \end{array}
\right)\]

for some non-zero \(r \in F\). If we rescale one of the basisvectors, which induces an isometry, then we see that there always exists a basis such that \(r=1\). We call a two dimensional vector space equipped with a non-degenerate alternating form a symplectic hyperbolic line, and it is proved (see Theorem 6.7 of <a href="chapBib_mj.html#biBCameron">[Cam00]</a>) that the formed space \((V,f)\) can be written as an orthogonal direct sum of symplectic hyperbolic planes. Hence, up to isometry, there is only one non-degenerate alternating form of an even dimensional vector space, and we choose as canonical representative the alternating form with Gram matrix

\[\left( \begin{array}{ccccccc}
0 & 1 & 0 & 0 & \ldots & 0 & 0 \\
-1 & 0 & 0 & 0 & \ldots & 0 & 0 \\
0 & 0 & 0 & 1 & \ldots & 0 & 0 \\
0 & 0 & -1 & 0 & \ldots & 0 & 0 \\
\vdots & \vdots & \vdots & \vdots & \ddots & \vdots & \vdots \\
0 & 0 & 0 & 0 & \ldots & 0 & 1 \\
0 & 0 & 0 & 0 & \ldots & -1 & 0 \\
\end{array} \right).\]

The Witt index of \(f\) equals \(\frac{n}{2}\) .

<a id="X7F1255F77B6874E3" name="X7F1255F77B6874E3"></a>

<h5>5.1-3 Bilinear forms</h5>

We suppose that \(f\) is a non-degenerate symmetric bilinear form on a vector space \(V\) over a finite field \(F\) with odd characteristic. We call a two dimensional vector space a hyperbolic line if it contains a non-zero vector \(v\) such that \(f(v,v) = 0\). It is proved (see Proposition 6.9 of <a href="chapBib_mj.html#biBCameron">[Cam00]</a>) that any two hyperbolic lines are isometric, and we choose as canonical representative the orthogonal form with Gram matrix

\[\left( \begin{array}{cc}0 & 1 \\ 1 & 0 \end{array}
\right).\]

It can be proved (see Theorem 6.10 of <a href="chapBib_mj.html#biBCameron">[Cam00]</a>) that the formed space \((V,f)\) can be written as the orthogonal direct sum of hyperbolic lines and one subspace \(U\) of dimension at most two. The behaviour of \(f\) on the subspace \(U\) determines the similarity class of \(f\). We describe the three occurring cases, to describe the chosen canonical form, we use the polynomial rather than the Gram matrix.

<ul>
<li>If the dimension of \(U\) is zero, then \((V,f)\) is the orthogonal direct sum of hyperbolic lines, and hence \((V,f)\) is isometric to the formed space \((V,f')\), where the Gram matrix of \(f'\) consists of blocks as described above. The chosen canonical form has polynomial

\[x_1 x_2 + \ldots + x_{n-1}x_n\]

Note that the dimension of the vector space \(V\) is necessarily even. We call \(f\) hyperbolic (see also Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>). It follows also that in this similarity class, there is only one isometry class. The Witt index of \(f\) equals \(\frac{n}{2}\) .

</li>
<li>If the dimension of \(U\) is one, then necessarily the polynomial of \(f\) equals

\[\mu x_1^2 + x_2 x_3 + \ldots + x_{n-1}x_n\]

for some \(\mu \in F\), and the dimension of the vector space \(V\) is odd. We call \(f\) parabolic (see also Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>). It is clear that if \(\mu\) is a square in \(F\), then rescaling the first basis vector yields a polynomial

\[x_1^2 + x_2 x_3 + \ldots + x_{n-1}x_n\]

which we choose as the canonical form for this similarity class. If \(\mu\) is a non-square, a rescaling of \(x_2,x_4,\ldots,x_{n-1}\) yields a polynomial

\[\mu (x_1^2 + x_2 x_3 + \ldots + x_{n-1}x_n)\]

which represents now a bilinear form that is similar but not isometric to the given one. Hence, the parabolic similarity class contains two isometry classes. The Witt index of \(f\) equals \(\frac{n-1}{2}\) .

</li>
<li>Suppose at last that the dimension of \(U\) is two. We may suppose that \(U\) is not a hyperbolic line. It is not too difficult to see that a suitable base change yields the polynomial

\[\mu x_1^2 + x_2^2 + x_3 x_4 + \ldots + x_{n-1}x_n\]

for a non-square \(\mu \in F\), and the dimension of the vector space \(V\) is even. We call \(f\) elliptic. The Witt index of \(f\) equals \(\frac{n-2}{2}\) .

</li>
</ul>
<a id="X79453E2B7DDE1412" name="X79453E2B7DDE1412"></a>

<h5>5.1-4 Degenerate forms</h5>

Suppose that \(f\) is a degenerate sesquilinear form on the vector space \(V\), then \(\mathrm{Rad}(f)\) is a non-trivial subspace of the vector space \(V\). The vector space \(V\) can be written as the orthogonal direct sum of a subspace \(W\) and \(\mathrm{Rad}(f)\), and the restriction of \(f\) to \(W\) is a non-degenerate sesquilinear form on \(W\). Hence, \(f\) is isometric with a sesquilinear form having Gram matrix

\[\left( \begin{array}{cc} M & A \\ B & C \end{array}
\right)\]

where \(M\) is the Gram matrix of a non-degenerate sesquilinear form and \(A,B\) and \(C\) are appropriate zero matrices. As explained in Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>, the form \(f\) induces a non-degenerate form \(g\) on the vector space \(V/\mathrm{Rad}(f)\). The computed matrix \(M\) can be taken as Gram matrix for the form \(g\). As defined in Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>, the Witt index of the degenerate form \(f\) is the Witt index of the non-degenerate inducedform \(g\). The dimension of the maximal isotropic subspaces with relation to \(f\) is the sum of the Witt index and the dimension of the radical.

<a id="X87C0B98C8669A34A" name="X87C0B98C8669A34A"></a>

<h4>5.2 Morphisms of quadratic forms</h4>

Consider two formed vector spaces \((V,f)\) and \((W,g)\) over the same field \(F\), where both \(f\) and \(g\) are quadratic forms. Suppose that φ is a linear map from \(V\) to \(W\). The map φ is an isometry from the formed space \((V,f)\) to the formed space \((W,g)\) if for all \(v,w\) in \(V\) we have

\[

f(v) = f'(\phi(v)).
\]

The map \(\phi\) is a similarity from the formed space \((V,f)\) to a formed space \((W,g)\) if for all \(v,w\) in \(V\) we have

\[

f(v) = \lambda f'(\phi(v)).

\]

for some non-zero \(\lambda \in F\). Finally, the map \(\phi\) is a semi-similarity from the formed space \((V,f)\) to the formed space \((W,g)\) if for all \(v,w\) in \(V\) we have

\[

f(v)=\lambda f'(\phi(v))^\alpha

\]

for some non-zero \(\lambda \in F\) and a field automorphism \(\alpha\) of \(F\).

Also in this case, one of the objectives of studying maps between formed vector spaces is the classification of quadratic forms of the same vector space \(V\), where it is sufficient to classify non-singular forms.

Since there is a one-to-one relationship between quadratic forms in odd characteristic and orthogonal bilinear forms in odd characteristic, we suppose in this section that \(f\) is a quadratic form in even characteristic. We call a two dimensional vector space a hyperbolic line if it contains a non-zero vector such that \(f(v) = 0\). It is proved (see Proposition 6.9 of <a href="chapBib_mj.html#biBCameron">[Cam00]</a>) that any two hyperbolic lines are isometric, and we choose as canonical representative the quadratic form with polynomial \(x_1 x_2\). As in the case of the orthogonal bilinear forms, it can be proved (see Theorem 6.10 of <a href="chapBib_mj.html#biBCameron">[Cam00]</a>) that \((V,f)\) can be written as the orthogonal direct sum of hyperbolic lines and one subspace \(U\) of dimension at most two. The behaviour of \(f\) on the subspace \(U\) determines the similarity class of \(f\). The classification of quadratic forms in even characteristic is analogous to the one in odd characteristic.

<ul>
<li>If the dimension of \(U\) is zero, then \((V,f)\) is the orthogonal direct sum of hyperbolic lines, and hence \((V,f)\) is isometric to the formed space \((V,f')\), with polynomial

\[x_1 x_2 + \ldots + x_{n-1}x_n,\]

which is chosen as the canonical form. Note that the dimension of the vector space \(V\) is necessarily even. We call \(f\) hyperbolic (see also Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>). It follows also that in this similarity class, there is only one isometry class. The Witt index of \(f\) equals \(\frac{n}{2}\).

</li>
<li>If the dimension of \(U\) is one, then necessarily the polynomial of \(f\) equals

\[
\mu x_1^2 + x_2 x_3 + \ldots + x_{n-1}x_n
\]

for some \(\mu \in F\), and the dimension of the vector space \(V\) is odd. We call \(f\) parabolic (see also Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>). Since every element is a square in even characteristic, rescaling the first basis vector yields \(\mu=1\) The Witt index of \(f\) equals \(\frac{n-1}{2}\).

</li>
<li>Suppose at last that the dimension of \(U\) is two. We may suppose that \(U\) is not a hyperbolic line. It is not difficult to see that a suitable base change yields the polynomial

\[
d x_1^2 + x_1x_2 + x_2^2 + x_3 x_4 + \ldots + x_{n-1}x_n
\]

for an element of category 1, this is, an element \(d\) such that \(\mathrm{Tr}(d)=1\) with \(\mathrm{Tr}\) the trace map from \(F\) to \(\mathrm{GF}(2)\). Furthermore, an easy argument shows that an appropriate base change allows to choose any element of category 1 for \(d\). It follows also that the dimension of the vector space \(V\) is even. We call \(f\) elliptic (see also Section <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a>). The Witt index of \(f\) equals \(\frac{n-2}{2}\).

</li>
</ul>
Hence, non-singular quadratic forms in even characteristic come in three similarity classes, which is analogous to the odd characteristic case, and each similarity class contains only one isometry class, which is different than in the odd characteristic case

Suppose that \(f\) is a singular quadratic form on the \(n\)-dimensional vector space \(V\), then \(\mathrm{Rad}(f)\) is a non-trivial subspace of the vector space \(V\). The vector space \(V\) can be written as the orthogonal direct sum of a subspace \(W\) and \(\mathrm{Rad}(f)\), and the restriction of \(f\) to \(W\) is a non-singular quadratic form on \(W\). Hence, \(f\) is isometric with a quadratic form with one of the three above polynomials. The dimension of the maximal isotropic subspaces is the sum of the Witt index and the dimension of the radical.

<a id="X7C738FBB80F533AC" name="X7C738FBB80F533AC"></a>

<h5>5.2-1 Singular forms</h5>

Suppose that \(f\) is a singular quadratic form on the vector space \(V\), then \(\mathrm{Rad}(f)\) is a non-trivial subspace of the vector space \(V\). The vector space \(V\) can be written as the orthogonal direct sum of a subspace \(W\) and \(\mathrm{Rad}(f)\), and the restriction of \(f\) to \(W\) is a non-singular quadratic form on \(W\). Hence, \(f\) is isometric with a quadratic form having Gram matrix

\[\left( \begin{array}{cc} M & A \\ B & C \end{array}
\right)\]

where \(M\) is the Gram matrix of a non-singular quadratic form and \(A,B\) and \(C\) are appropriate zero matrices. As explained in Section <a href="chap3_mj.html#X864CAF8881067D8A">3.2</a>, the form \(f\) induces a non-singular form \(g\) on the vector space \(V/\mathrm{Rad}(f)\). The computed matrix \(M\) can be taken as Gram matrix for the form \(g\). As defined in Section <a href="chap3_mj.html#X864CAF8881067D8A">3.2</a>, the Witt index of the singular form \(f\) is the Witt index of the non-singular induced form \(g\). The dimension of the maximal isotropic subspaces with relation to \(f\) is the sum of the Witt index and the dimension of the radical.

<a id="X790B24568376AACE" name="X790B24568376AACE"></a>

<h4>5.3 Operations based on morphisms of forms</h4>

<a id="X78CCFB957A6153F5" name="X78CCFB957A6153F5"></a>

<h5>5.3-1 BaseChangeToCanonical</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BaseChangeToCanonical</code>( <var class="Arg">f</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
Returns: a transition matrix \(b\) from one basis to another

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form. For every isometry class of forms, there is a canonical representative, as described in Section <a href="chap5_mj.html#X784D3B338055EC9D">5.1</a>. If \(M\) is the Gram matrix of the form <var class="Arg">f</var>, then this method returns an invertible matrix \(b\) such that \(b M\) <code class="code">TransposedMat</code>\((b)\) (or \(b M\) <code class="code">TransposedFrobeniusMat</code>\((b, q)\) for suitable \(q\) if <var class="Arg">f</var> is a hermitian form) is the Gram matrix of the canonical representative. That is, \(b\) is the transition matrix from a basis of the underlying vector space of <var class="Arg">f</var> to another basis.

<div class="example"><pre>
gap> gf := GF(3);
GF(3)
gap> gram := [
> [0,0,0,1,0,0], 
> [0,0,0,0,1,0],
> [0,0,0,0,0,1],
> [-1,0,0,0,0,0],
> [0,-1,0,0,0,0],
> [0,0,-1,0,0,0]] * One(gf);;
gap> form := BilinearFormByMatrix( gram, gf );
< bilinear form >
gap> b := BaseChangeToCanonical( form );;
gap> Display( b * gram * TransposedMat(b) );
. 1 . . . .
2 . . . . .
. . . 1 . .
. . 2 . . .
. . . . . 1
. . . . 2 .

</pre></div>

<a id="X87A6F5C979551677" name="X87A6F5C979551677"></a>

<h5>5.3-2 BaseChangeHomomorphism</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ BaseChangeHomomorphism</code>( <var class="Arg">b</var>, <var class="Arg">gf</var> )</td><td class="tdright">( operation )</td></tr></table></div>
Returns: the inner automorphism of \(\mathrm{GL}(d,q)\) associated to the transition matrix <var class="Arg">b</var>.

The argument <var class="Arg">b</var> must be an invertible matrix of size \(d\) over the finite field <var class="Arg">gf</var> of order \(q\). This method returns the inner automorphism of \(\mathrm{GL}(d,q)\) induces by conjugation by \(b\).

<div class="example"><pre>
gap> gl:=GL(3,3);
GL(3,3)
gap> go:=GO(3,3);
GO(0,3,3)
gap> form := PreservedSesquilinearForms(go)[1]; 
< bilinear form >
gap> gram := GramMatrix( form ); 
[ [ 0*Z(3), Z(3)^0, 0*Z(3) ], [ Z(3)^0, 0*Z(3), 0*Z(3) ],
 [ 0*Z(3), 0*Z(3), Z(3) ] ]
gap> b := BaseChangeToCanonical(form);;
gap> hom := BaseChangeHomomorphism(b, GF(3));
^[ [ 0*Z(3), 0*Z(3), Z(3) ], [ Z(3), Z(3), Z(3)^0 ], [ Z(3), 0*Z(3), Z(3) ] ]
gap> newgo := Image(hom, go); 
Group(
[
 [ [ Z(3)^0, 0*Z(3), Z(3) ], [ Z(3)^0, Z(3), Z(3)^0 ],
 [ 0*Z(3), 0*Z(3), Z(3) ] ],
 [ [ Z(3), Z(3)^0, 0*Z(3) ], [ 0*Z(3), Z(3), 0*Z(3) ],
 [ Z(3)^0, Z(3)^0, Z(3) ] ] ])
gap> gens := GeneratorsOfGroup(newgo);;
gap> canonical := b * gram * TransposedMat(b);
[ [ Z(3), 0*Z(3), 0*Z(3) ], [ 0*Z(3), 0*Z(3), Z(3)^0 ],
 [ 0*Z(3), Z(3)^0, 0*Z(3) ] ]
gap> ForAll(gens, y -> y * canonical * TransposedMat(y) = canonical);
true

</pre></div>

<a id="X7DFEFA2C7945A5AD" name="X7DFEFA2C7945A5AD"></a>

<h5>5.3-3 IsometricCanonicalForm</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsometricCanonicalForm</code>( <var class="Arg">f</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
Returns: the canonical form isometric to the sesquilinear or quadratic form <var class="Arg">f</var>.

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form. For every isometry class of forms, there is a canonical representative, as described in Section <a href="chap5_mj.html#X784D3B338055EC9D">5.1</a>, which is the returned form.

<div class="example"><pre>
gap> mat := [ [ Z(8) , 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], 
> [ 0*Z(2), Z(2)^0, Z(2^3)^5, 0*Z(2), 0*Z(2) ], 
> [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ], 
> [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0 ], 
> [ 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ] ];;
gap> form := QuadraticFormByMatrix(mat,GF(8));
< quadratic form >
gap> iso := IsometricCanonicalForm(form);
< parabolic quadratic form >
gap> Display(form);
Parabolic quadratic form
Gram Matrix:
z = Z(8)
z^1 . . . .
 . 1 z^5 . .
 . . . . .
 . . . . 1
 . . . . .
Witt Index: 2
gap> Display(iso);
Parabolic quadratic form
Gram Matrix:
1 . . . .
. . 1 . .
. . . . .
. . . . 1
. . . . .
Witt Index: 2

</pre></div>

<a id="X7C7D92267EFE71DB" name="X7C7D92267EFE71DB"></a>

<h5>5.3-4 ScalarOfSimilarity</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ScalarOfSimilarity</code>( <var class="Arg">M</var>, <var class="Arg">form</var> )</td><td class="tdright">( operation )</td></tr></table></div>
Returns: a finite field element

Recall that a similarity of a form \(f\) on a vector space \(V\), is a linear transformation \(g\) of \(V\) where there exists some nonzero scalar \(c\) such that for all \(v,w\) in \(V\),

\[f(u^g,v^g) = c f(u,v).\]

This operation finds for a particular matrix <var class="Arg">M</var>, giving rise to a similarity of the sesquilinear form <var class="Arg">form</var>, the said scalar \(c\).

<div class="example"><pre>
gap> gram := [ [ 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ], 
> [ Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3) ], 
> [ 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3) ], 
> [ 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3), 0*Z(3), 0*Z(3) ], 
> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0 ], 
> [ 0*Z(3), 0*Z(3), 0*Z(3), 0*Z(3), Z(3)^0, 0*Z(3) ] ];;
gap> form := BilinearFormByMatrix( gram, GF(3) );
< bilinear form >
gap> m := [ [ Z(3)^0, Z(3)^0, Z(3), 0*Z(3), Z(3)^0, Z(3) ], 
> [ Z(3), Z(3), Z(3)^0, 0*Z(3), Z(3)^0, Z(3) ], 
> [ 0*Z(3), Z(3), 0*Z(3), Z(3), 0*Z(3), 0*Z(3) ], 
> [ 0*Z(3), Z(3), Z(3)^0, Z(3), Z(3), Z(3) ], 
> [ Z(3)^0, Z(3)^0, Z(3), Z(3), Z(3)^0, Z(3)^0 ], 
> [ Z(3)^0, 0*Z(3), Z(3), Z(3)^0, Z(3), Z(3) ] ];;
gap> ScalarOfSimilarity( m, form );
Z(3)

</pre></div>

<a id="X85FA387280DAEA69" name="X85FA387280DAEA69"></a>

<h5>5.3-5 WittIndex</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ WittIndex</code>( <var class="Arg">f</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
Returns: the Witt index of the form <var class="Arg">f</var>.

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form on the vector space \(V\). When <var class="Arg">f</var> is degenerate, respectively singular, its Witt index is defined as the Witt index of the induced non-degenerate, respectively non-singular form on the vector space \(V/\mathrm{Rad}(f)\), see Sections <a href="chap3_mj.html#X874CD5E0802FEB50">3.1</a> and <a href="chap3_mj.html#X864CAF8881067D8A">3.2</a>.

<div class="example"><pre>
gap> mat := [[0,0,1,0,0],[0,0,0,0,0],[-1,0,0,0,0],[0,0,0,0,0],[0,0,0,0,0]]*Z(7)^0;
[ [ 0*Z(7), 0*Z(7), Z(7)^0, 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7) ],
 [ Z(7)^3, 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7) ] ]
gap> form := BilinearFormByMatrix(mat,GF(7));
< bilinear form >
gap> WittIndex(form);
1
gap> RadicalOfForm(form);
<vector space of dimension 3 over GF(7)>
gap> Dimension(last);
3
gap> mat := IdentityMat(6,GF(5));
[ [ Z(5)^0, 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5) ],
 [ 0*Z(5), Z(5)^0, 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5) ],
 [ 0*Z(5), 0*Z(5), Z(5)^0, 0*Z(5), 0*Z(5), 0*Z(5) ],
 [ 0*Z(5), 0*Z(5), 0*Z(5), Z(5)^0, 0*Z(5), 0*Z(5) ],
 [ 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5), Z(5)^0, 0*Z(5) ],
 [ 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5), Z(5)^0 ] ]
gap> form := QuadraticFormByMatrix(mat,GF(5));
< quadratic form >
gap> WittIndex(form);
3
gap> mat := IdentityMat(6,GF(7));
[ [ Z(7)^0, 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), Z(7)^0, 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), Z(7)^0, 0*Z(7), 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), Z(7)^0, 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), Z(7)^0, 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), 0*Z(7), Z(7)^0 ] ]
gap> form := QuadraticFormByMatrix(mat,GF(7));
< quadratic form >
gap> WittIndex(form);
2

</pre></div>

<a id="X853AF8D97E00F1DB" name="X853AF8D97E00F1DB"></a>

<h5>5.3-6 IsEllipticForm</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsEllipticForm</code>( <var class="Arg">f</var> )</td><td class="tdright">( property )</td></tr></table></div>
Returns: true or false.

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form on the vector space \(V\). This operation returns <var class="Arg">true</var> is and only if <var class="Arg">f</var> is elliptic; that is, it is orthogonal of minus type, or in other words, has even dimension and non-maximal Witt index (see Section <a href="chap5_mj.html#X7F1255F77B6874E3">5.1-3</a> for sesquilinear forms and Section <a href="chap5_mj.html#X87C0B98C8669A34A">5.2</a> for quadratic forms). If <var class="Arg">f</var> is degenerate, respectively singular, then this operation refers to the inuced non-degenerate, respectively non-singular form induced on the vector space \(V/\mathrm{Rad}(f)\).

<a id="X7B73832A786FEC21" name="X7B73832A786FEC21"></a>

<h5>5.3-7 IsParabolicForm</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsParabolicForm</code>( <var class="Arg">f</var> )</td><td class="tdright">( property )</td></tr></table></div>
Returns: true or false.

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form on the vector space \(V\). This operation returns <var class="Arg">true</var> is and only if <var class="Arg">f</var> is parabolic; that is, it is orthogonal of neutral type, or in other words, it has odd dimension (see Section <a href="chap5_mj.html#X7F1255F77B6874E3">5.1-3</a> for sesquilinear forms and Section <a href="chap5_mj.html#X87C0B98C8669A34A">5.2</a> for quadratic forms). If <var class="Arg">f</var> is degenerate, respectively singular, then this operation refers to the inuced non-degenerate, respectively non-singular form induced on the vector space \(V/\mathrm{Rad}(f)\).

<a id="X85551B28798B07C7" name="X85551B28798B07C7"></a>

<h5>5.3-8 IsHyperbolicForm</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsHyperbolicForm</code>( <var class="Arg">f</var> )</td><td class="tdright">( attribute )</td></tr></table></div>
Returns: true or false.

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form on the vector space \(V\). This operation returns <var class="Arg">true</var> is and only if <var class="Arg">f</var> is hyperbolic; that is, it is orthogonal of plus type, or in other words, has even dimension and maximal Witt index (see Section <a href="chap5_mj.html#X7F1255F77B6874E3">5.1-3</a> for sesquilinear forms and Section <a href="chap5_mj.html#X87C0B98C8669A34A">5.2</a> for quadratic forms). If <var class="Arg">f</var> is degenerate, respectively singular, then this operation refers to the inuced non-degenerate, respectively non-singular form induced on the vector space \(V/\mathrm{Rad}(f)\).

<a id="X85F7092783AA2968" name="X85F7092783AA2968"></a>

<h5>5.3-9 TypeOfForm</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TypeOfForm</code>( <var class="Arg">f</var> )</td><td class="tdright">( operation )</td></tr></table></div>
Returns: a number.

The argument <var class="Arg">f</var> is a sesquilinear or quadratic form on the vector space \(V\) with radical \(R\), a \(k\)-dimensional space. Then <var class="Arg">f</var> induces a non-degenerate/non-singular form \(g\) on \(V/R\). When \(R\) is the trivial vector space, the form \(g\) is just the given form <var class="Arg">f</var>. This operation returns

<ul>
<li>0 when \(g\) is symplecitc or parabolic;

</li>
<li>+1 when \(g\) is hyperbolic;

</li>
<li>-1 when \(g\) is elliptic;

</li>
<li>-1/2 when \(g\) is hermitian in odd dimension;

</li>
<li>+1/2 when \(g\) is hermitian in even dimension;

</li>
<li>an error message when <var class="Arg">f</var> is a pseudo form.

</li>
</ul>
Note that no method is installed for the trivial form. The methods for this operation rely on <code class="file">IsParabolicForm</code>, <code class="file">IsHyperbolicForm</code> and <code class="file">IsEllipticForm</code> for orthogonal bilinear forms and quadratic forms.

<div class="example"><pre>
gap> mat := [[0,0,0,-1],[0,0,3,0],[0,-3,0,0],[1,0,0,0]]*Z(25)^0;
[ [ 0*Z(5), 0*Z(5), 0*Z(5), Z(5)^2 ], [ 0*Z(5), 0*Z(5), Z(5)^3, 0*Z(5) ],
 [ 0*Z(5), Z(5), 0*Z(5), 0*Z(5) ], [ Z(5)^0, 0*Z(5), 0*Z(5), 0*Z(5) ] ]
gap> form := BilinearFormByMatrix(mat,GF(25));
< bilinear form >
gap> IsDegenerateForm(form);
false
gap> TypeOfForm(form);
0
gap> mat := IdentityMat(3,GF(7));
[ [ Z(7)^0, 0*Z(7), 0*Z(7) ], [ 0*Z(7), Z(7)^0, 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), Z(7)^0 ] ]
gap> form := QuadraticFormByMatrix(mat,GF(7));
< quadratic form >
gap> IsSingularForm(form);
false
gap> TypeOfForm(form);
0
gap> mat := [[0,1,0,0],[-1,0,0,0],[0,0,0,0],[0,0,0,0]]*Z(5)^0;
[ [ 0*Z(5), Z(5)^0, 0*Z(5), 0*Z(5) ], [ Z(5)^2, 0*Z(5), 0*Z(5), 0*Z(5) ],
 [ 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5) ], [ 0*Z(5), 0*Z(5), 0*Z(5), 0*Z(5) ] ]
gap> form := BilinearFormByMatrix(mat,GF(5));
< bilinear form >
gap> IsDegenerateForm(form);
true
gap> TypeOfForm(form);
0
gap> mat := [[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]*Z(7)^0;
[ [ Z(7)^0, 0*Z(7), 0*Z(7), 0*Z(7) ], [ 0*Z(7), Z(7)^0, 0*Z(7), 0*Z(7) ],
 [ 0*Z(7), 0*Z(7), 0*Z(7), Z(7)^0 ], [ 0*Z(7), 0*Z(7), Z(7)^0, 0*Z(7) ] ]
gap> form := BilinearFormByMatrix(mat,GF(7));
< bilinear form >
gap> IsDegenerateForm(form);
false
gap> TypeOfForm(form);
-1
gap> mat := IdentityMat(3,GF(9));
[ [ Z(3)^0, 0*Z(3), 0*Z(3) ], [ 0*Z(3), Z(3)^0, 0*Z(3) ],
 [ 0*Z(3), 0*Z(3), Z(3)^0 ] ]
gap> form := HermitianFormByMatrix(mat,GF(9));
< hermitian form >
gap> IsDegenerateForm(form);
false
gap> TypeOfForm(form);
-1/2
gap> mat := [[0,0,0,1],[0,1,0,0],[0,0,1,0],[1,0,0,0]]*Z(8)^0;
[ [ 0*Z(2), 0*Z(2), 0*Z(2), Z(2)^0 ], [ 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2) ],
 [ 0*Z(2), 0*Z(2), Z(2)^0, 0*Z(2) ], [ Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2) ] ]
gap> form := BilinearFormByMatrix(mat,GF(8));
< bilinear form >
gap> IsDegenerateForm(form);
false
gap> TypeOfForm(form);
Error, <f> is a pseudo form and has no defined type at ./pkg/forms/lib/forms.gi:\
3129 called from
<function "TypeOfForm for a bilinear form">( <arguments> )
called from read-eval loop at *stdin*:25
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> quit;

</pre></div>

<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap4_mj.html">[Previous Chapter]</a> <a href="chapBib_mj.html">[Next Chapter]</a> </div>

<div class="chlinkbot">Goto Chapter: <a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chap5_mj.html">5</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>

<hr />
generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a>
</body>
</html>

quality96%

¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤

Normalansicht

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.