Displaying 61 – 80 of 158

Showing per page

Matrix of ℤ-module1

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2015)

Formalized Mathematics

In this article, we formalize a matrix of ℤ-module and its properties. Specially, we formalize a matrix of a linear transformation of ℤ-module, a bilinear form and a matrix of the bilinear form (Gramian matrix). We formally prove that for a finite-rank free ℤ-module V, determinant of its Gramian matrix is constant regardless of selection of its basis. ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattices [22]...

On a generalization of de Rham lemma

Kyoji Saito (1976)

Annales de l'institut Fourier

Let M be a free module over a noetherian ring. For ω 1 , ... , ω k M , let 𝒜 be the ideal generated by coefficients of ω 1 ... ω k . For an element ω p M with p < prof . 𝒜 , if ω ω 1 ... ω k = 0 , there exists η 1 , ... , η k p - 1 M such that ω = i = 1 k η i ω i .This is a generalization of a lemma on the division of forms due to de Rham (Comment. Math. Helv., 28 (1954)) and has some applications to the study of singularities.

Currently displaying 61 – 80 of 158