Jacobian criteria for complete intersections. The graded case.
Let be a commutative Noetherian ring. It is shown that the finitely generated -module with finite Gorenstein dimension is reflexive if and only if is reflexive for with , and for with . This gives a generalization of Serre and Samuel’s results on reflexive modules over a regular local ring and a generalization of a recent result due to Belshoff. In addition, for we give a characterization of -Gorenstein rings via Gorenstein dimension of the dual of modules. Finally it is shown...
We give a short overview on the subject of canonical reduction of a pair of bilinear forms, each being symmetric or alternating, making use of the classification of pairs of linear mappings between vector spaces given by J. Dieudonné.
For many domains R (including all Dedekind domains of characteristic 0 that are not fields or complete discrete valuation domains) we construct arbitrarily large superdecomposable R-algebras A that are at the same time E(R)-algebras. Here "superdecomposable" means that A admits no (directly) indecomposable R-algebra summands ≠ 0 and "E(R)-algebra" refers to the property that every R-endomorphism of the R-module, A is multiplication by an element of, A.
In this article, we formalize the definition of lattice of ℤ-module and its properties in the Mizar system [5].We formally prove that scalar products in lattices are bilinear forms over the field of real numbers ℝ. We also formalize the definitions of positive definite and integral lattices and their properties. Lattice of ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [14], and cryptographic systems with lattices [15] and coding theory [9]....