Engineering↗
Recovering Abelian Group Structure from a Relation Matrix
Recovering the structure and explicit generators of a finite abelian group from a matrix of relations among a generating set.
Every page in the KEVOS library tagged Relation Matrix. 4 pages.
Recovering the structure and explicit generators of a finite abelian group from a matrix of relations among a generating set.
Extracting fundamental units and the regulator from the kernel of the relation matrix, and confirming the unit system is fundamental.
Generating relations among ideal classes, assembling the sparse matrix, and knowing when enough relations have been collected.
The general sub-exponential algorithm for class groups and units: factor base selection, ideal reduction, relation collection, the relation matrix and its kernel, and verificati…