Page 1 Next

Displaying 1 – 20 of 33

Showing per page

Mappings of degree 5, part I

M. Maciejewski, A. Prószyński (2009)

Colloquium Mathematicae

The class of linear (resp. quadratic) mappings over a commutative ring is determined by a set of equation-type relations. For the class of homogeneous polynomial mappings of degree m ≥ 3 it is so over a field, and over a ring there exists a smallest equationally definable class of mappings containing the preceding one. It is proved that generating relations determining that class can be chosen to be strong relations (that is, of the same form over all commutative rings) if{f} m ≤ 5. These relations...

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]...

Maximal non-Jaffard subrings of a field.

Mabrouk Ben Nasr, Noôman Jarboui (2000)

Publicacions Matemàtiques

A domain R is called a maximal non-Jaffard subring of a field L if R ⊂ L, R is not a Jaffard domain and each domain T such that R ⊂ T ⊆ L is Jaffard. We show that maximal non-Jaffard subrings R of a field L are the integrally closed pseudo-valuation domains satisfying dimv R = dim R + 1. Further characterizations are given. Maximal non-universally catenarian subrings of their quotient fields are also studied. It is proved that this class of domains coincides with the previous class when R is integrally...

Melkersson condition on Serre subcategories

Reza Sazeedeh, Rasul Rasuli (2016)

Colloquium Mathematicae

Let R be a commutative noetherian ring, let be an ideal of R, and let be a subcategory of the category of R-modules. The condition C , defined for R-modules, was introduced by Aghapournahr and Melkersson (2008) in order to study when the local cohomology modules relative to belong to . In this paper, we define and study the class consisting of all modules satisfying C . If and are ideals of R, we get a necessary and sufficient condition for to satisfy C and C simultaneously. We also find some sufficient...

Modules for which the natural map of the maximal spectrum is surjective

H. Ansari-Toroghy, R. Ovlyaee-Sarmazdeh (2010)

Colloquium Mathematicae

Let R be a commutative ring with identity. The purpose of this paper is to introduce two new classes of modules over R, called Ms modules and fulmaximal modules respectively. The first (resp. second) class contains the family of finitely generated and primeful (resp. finitely generated and multiplication) modules properly. Our concern is to extend some properties of primeful and multiplication modules to these new classes of modules.

Currently displaying 1 – 20 of 33

Page 1 Next