In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...

The ideal I 1 generated by the 2 2 quantum minors in the coordinate algebra of quantum matrices, O q (M m;n (k)), is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I 1 is a completely prime ideal, that is, O q (M m;n (k))=I 1 is an integral domain, and that O q (M m;n (k))=I 1 is the ring of coinvariants of a ...

Let R be a commutative Noetherian ring, a an ideal of R, M and N be two finitely generated R-modules. Let t be a positive integer. We prove that if R is local with maximal ideal m and M ⊗R N is of finite length then H t m (M, N) is of finite length for all t ≥ 0 and lR(H t m (M, N)) ≤ ∑t i=0 lR(Ext i R (M, H m (N))). This yields, lR(H t m (M, N)) = lR(Ext t R(M, N)). Additionally, we show that ...

in this paper, we introduce a new generalization of weakly prime ideals called $i$-prime. suppose $r$ is a commutative ring with identity and $i$ a fixed ideal of $r$. a proper ideal $p$ of $r$ is $i$-prime if for $a, b in r$ with $ab in p-ip$ implies either $a in p$ or $b in p$. we give some characterizations of $i$-prime ideals and study some of its properties.  moreover, we give conditions  ...

Let A be the ring obtained by localizing the polynomial ring κ[X, Y, Z, W ] over a field κ at the maximal ideal (X, Y, Z, W) and modulo the ideal (XW − Y Z). Let p be the ideal of A generated by X and Y. We study the module structure of a minimal injective resolution of A/p in details using local cohomology. Applications include the description of Ext i A (M, A/p), where M is a module construct...

In this paper we exhibit some examples of non-Gorenstein Hecke algebras, and hence some modular forms for which mod 2 multiplicity one does not hold. Define S2(Γ0(N)) to be the space of classical cuspidal modular forms of weight 2, level N , and trivial character. The Hecke algebra TN is defined to be the subring of End(S2(Γ0(N)) generated by the Hecke operators {Tp : p 6 |N} and {Uq : q|N}. Le...

Let K be an algebraically closed field. For n ≥ 0, let An denote Kn, and let A = K[An] denote K[X1, . . . , Xn]. We refer to An as affine n-space. For any subset S ⊆ An, let I(S) ⊆ A denote the ideal of all polynomials that vanish on S. (For those familiar with Spec, the affine scheme associated to S is Spec(A/I(S)). Note that any ideal I ⊆ A defines an affine subscheme of Spec(A), and ideals I...

Let A be the ring obtained by localizing the polynomial ring κ[X, Y, Z, W ] over a field κ at the maximal ideal (X, Y, Z, W) and modulo the ideal (XW − Y Z). Let p be the ideal of A generated by X and Y. We study the module structure of a minimal injective resolution of A/p in details using local cohomology. Applications include the description of Ext i A (M, A/p), where M is a module construct...

Let A be the ring obtained by localizing the polynomial ring κ[X,Y, Z,W ] over a field κ at the maximal ideal (X, Y, Z,W ) and modulo the ideal (XW − Y Z). Let p be the ideal of A generated by X and Y . We study the module structure of a minimal injective resolution of A/p in details using local cohomology. Applications include the description of Ext A (M,A/p), where M is a module constructed b...