The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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