Edge reduction for unit forms
type: Item
instance of: scholarly article
title: Edge reduction for unit forms
zbMATH Open document ID: 0832.15010
DOI: 10.1007/BF01195540
author: Hans-Joachim von Höhne
published in: Archiv der Mathematik
publication date: 1996-01-07T00:00:00Z
review text: We give an algorithm which decides whether or not an integral quadratic form \(q: \mathbb{Z}^n\to \mathbb{Z}\) of the form \(q(x)= \sum_i x_i^2+ \sum_{i<j} q_{ij} x_i x_j\) (unit form) is weakly positive, that is, satisfies \(q(x)> 0\) for all \(0\neq x\in \mathbb{N}^n\); if this is the case we obtain an explicit description of the set \(R_q= \{x\in \mathbb{N}^n\mid q(x)= 1\}\) of positive roots of \(q\). The presented algorithm is an adaptation of the `edge reduction' algorithm formulated originally by \textit{A. V. Roiter} and \textit{M. M. Kleiner} for DGC's and bocses [Lect. Notes Math. 488, 316-339 (1975; Zbl 0356.16011)].
Mathematics Subject Classification ID: 15A63
Mathematics Subject Classification ID: 16G99
zbMATH DE Number: 815693
zbMATH Keywords: unit form
zbMATH Keywords: edge reduction
zbMATH Keywords: algorithm
zbMATH Keywords: integral quadratic form
MaRDI profile type: Publication
cites work: Algebras and Quadratic Forms
cites work: Coxeter transformations and representations of partially ordered sets
cites work: Q4128934
cites work: Q3895605
cites work: Prinjective Modules, Reflection Functors, Quadratic Forms, and Auslander-Reiten Sequences
description: scientific article; zbMATH DE number 815693