Search

Let $(R, \frak m)$ be a Noetherian local ring. This paper deals with the annihilator of Artinian local cohomology modules $H^i_{\frak m}(M)$ in the relation with the structure of the base ring $R$, for non negative integers $i$ and finitely generated $R$-modules $M$. Firstly, the catenarity and the unmixedness of local rings are characterized via the compatibility of annihilator of top local cohomology modules under localization and completion, respectively. Secondly, some necessary and sufficient conditions for a local ring being a quotient of a Cohen-Macaulay local ring are given in term of the annihilator of all local cohomology modules under localization and completion., Comment: 10 pages

Let $R$ be a Noetherian ring. For a finitely generated $R$-module $M$, Northcott introduced the reducibility index of $M$, which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule $0$ in $M$. On the other hand, for an Artinian $R$-module $A$, Macdonald proved that the number of sum-irreducible submodules appearing in an irredundant sum-irreducible representation of $A$ does not depend on the choice of the representation. This number is called the sum-reducibility index of $A$. In the former part of this paper, we compute the reducibility index of $S\otimes_R M$, where $R\to S$ is a flat homomorphism of Noetherian rings. Especially, the localization, the polynomial extension, and the completion of $R$ are studied. For the latter part of this paper, we clarify the relation among the reducibility index of $M$, that of the completion of $M$, and the sum-reducibility index of the Matlis dual of $M$., Comment: 12 pages

Let $(R,\m)$ be a Noetherian local ring and $M$ a finitely generated $R$-module. Following I. G. Macdonald \cite{Mac}, the set of all attached primes of the Artinian local cohomology module $H^i_{\m}(M)$ is denoted by $\Att_R(H^i_{\m}(M))$. In \cite[Theorem 3.7]{Sh}, R. Y. Sharp proved that if $R$ is a quotient of a Gorenstein local ring then the shifted localization principle always holds true, i.e. $$ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \Att_{R_{\p}}\big(H^{i-\dim (R/\p)}_{\p R_{\p}}(M_{\p})\big)=\big\{\q R_{\p}\mid \q\in\Att_RH^i_{\m}(M), \q\subseteq \p\big\} \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (1)$$ for any local cohomology modules $H^i_{\m}(M)$ and any $\p\in\Spec (R).$ In this paper, we improve Sharp's result as follows: the shifted localization principle always holds true if and only if $R$ is universally catenary and all its formal fibers are Cohen-Macaulay, if and only if $$\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \displaystyle \Att_{\R}(H^i_{\m}(M))=\bigcup_{\p\in\Att_R(H^i_{\m}(M))}\Ass_{\R}(\R/\p\R)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (2)$$ holds true for any finitely generated $R$-module $M$ and any integer $i\geq 0.$ This also improves the main result of the paper \cite{CN}., Comment: Comments welcome

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a building, and to minimize its environmental impact. In this paper, we are particularly interested in the modeling of the regulatory constraints derived from the Technical Guides issued by CSTB and used to validate Technical Assessments. We first describe our approach for modeling regulatory constraints in the SBVR language, and formalizing them in the SPARQL language. Second, we describe how we model the processes of compliance checking described in the CSTB Technical Guides. Third, we show how we implement these processes to assist industrials in drafting Technical Documents in order to acquire a Technical Assessment; a compliance report is automatically generated to explain the compliance or noncompliance of this Technical Documents.

Let $(R,\m)$ be a Noetherian local ring and $M$ a finitely generated $R$-module with $\dim M=d.$ Let $i\geq 0$ be an integer. Following M. Brodmann and R. Y. Sharp \cite{BS1}, the $i$-th pseudo support of $M$ is the set of all prime ideals $\p$ of $R$ such that $ H^{i-\dim (R/\p)}_{\p R_{\p}}(M_{\p})\neq 0.$ In this paper, we study the pseudo supports and the non Cohen-Macaulay locus of $M$ in connections with the catenarity of the ring $R/\Ann_RM$, the Serre conditions on $M$, and the unmixedness of the local rings $R/\p$ for certain prime ideals $\p$ in $\Supp_R (M)$., Comment: To appear in Journal of Algebra

Let $(R,\m)$ be a Noetherian local ring and $M$ a finitely generated $R-$module with $\dim M=d.$ This paper is concerned with the following property for the top local cohomology module $H^d_\m(M)$: $$\Ann (0:_{H^d_\m(M)}\p)=\p\ \text{for all prime ideals} \p\supseteq\Ann H^d_\m(M).$$ In this paper we will show that this property is equivalent to the catenaricity of the unmixed support $\Usupp M$ of $M$ which is defined by $\Usupp M=\Supp M/U_M(0)$, where $U_M(0)$ is the largest submodule of $M$ of dimension less than $d.$ Some characterizations of this property in terms of system of parameters as well as the relation between the unmixed supports of $M$ and of the $\m$-adic completion $\hat M$ are given., Comment: 11 pages