Root-induced integral quadratic forms (Q2576220): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: José Antonio de la Peña / rank | |||
Property / author | |||
Property / author: José Antonio de la Peña / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.laa.2005.06.030 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2071227896 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras whose Euler form is non-negative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Dynkin type of a non-negative unit form. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebra VIII: Representations of finite-dimensional algebras. Transl. from the Russian / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:26, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Root-induced integral quadratic forms |
scientific article |
Statements
Root-induced integral quadratic forms (English)
0 references
27 December 2005
0 references
The quadratic form \[ q : {\mathbb Z}^I\to {\mathbb Z},\quad v\mapsto q(v)=\sum_{i\in I} q_iv_i^2+{1\over 2}\sum_{i\neq j\in I} q_{ij}v_iv_j, \] where \(I\) is a finite set, is a \textit{unit form} if \(q_i=1\), it is a \textit{semiunit form} if \(q_i\in\{0,1\}\), for all \(i\in I\). A vector \(v\) is called a \textit{q-root} if \(q(v)=1\). Given a finite tuple of \(q\)-roots \(r=(r^j)_{j\in J}\), the \textit{\(q\)-root form induced by the tuple \(r\)} is \(q_r(y)=q\big(\sum_{j\in J} y_jr^j\big)\). Two forms \(q : {\mathbb Z}^I \to {\mathbb Z}\) and \(q' : {\mathbb Z}^J \to {\mathbb Z}\) are called \textit{equivalent} if there exists a linear \({\mathbb Z}\)-invertible transformation \(T : {\mathbb Z}^I \to {\mathbb Z}^J\) such that \(q=q'T\). Each equivalence class is assigned a Dynkin diagram of type \(A_n\), \(D_n\;(n\geq 4)\), or \(E_n\;(n=6,7,8)\). The authors show that two nonnegative unit forms are of the same Dynkin type precisely when they are root-induced one from the other. They also show that there are only finitely many nonnegative unit forms of any given Dynkin type.
0 references
integral quadratic form
0 references
unit form
0 references
Dynkin type
0 references