共查询到20条相似文献,搜索用时 31 毫秒
1.
Zhong Kui Liu 《数学学报(英文版)》2002,18(2):245-252
Let A, B be associative rings with identity, and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. For any bimodule
A
M
B
, we show that the bimodule [[
AS,≤
]][M
S
,≤][[
BS, ≤
]] defines a Morita duality if and only if
A
M
B
defines a Morita duality and A is left noetherian, B is right noetherian. As a corollary, it is shown that the ring [[A
S
,≤]] of generalized power series over A has a Morita duality if and only if A is a left noetherian ring with a Morita duality induced by a bimodule
A
M
B
such that B is right noetherian.
Received April 13, 1999, Accepted December 12, 1999 相似文献
2.
Ali Benhissi 《Archiv der Mathematik》1999,73(2):109-113
Let A ì BA\subset B be rings. We say that A is t-closed in B, if for each a ? Aa\in A and b ? Bb\in B such that b2-ab,b3-ab2 ? Ab^2-ab,b^3-ab^2\in A, then b ? Ab\in A. We present a sufficient condition for the ring A[[X1,?,Xn]]A[[X_1,\ldots ,X_n]] to be t-closed in B[[X1,?,Xn]]B[[X_1,\ldots ,X_n]]. By an example, we show that our condition is not necessary. Even though the question is still open, some important cases are treated. For example, if A ì BA\subset B is an integral extension, or if A is p-injective, then A[[X1,?,Xn]]A[[X_1,\ldots ,X_n]] is t-closed in B[[X1,?,Xn]]B[[X_1,\ldots ,X_n]] if and only if A is t-closed in B. 相似文献
3.
广义幂级数环的Morita对偶 总被引:1,自引:0,他引:1
设A,B是有单位元的环, (S,≤)是有限生成的Artin的严格全序幺半群, AMB是双模.本文证明了双模[[AS,≤]][MS,≤][[BS,≤]]定义一个Morita对偶当且仅当 AMB定义一个Morita对偶且A是左noether的,B是右noether的.因此A上的广 义幂级数环[[AS,≤]]具有Morita对偶当且仅当A是左noether的且具有由双模AMB 诱导的Morita对偶,使得B是右noether的. 相似文献
4.
PP-Rings of Generalized Power Series 总被引:6,自引:0,他引:6
Abstract
As a generalization of power series rings, Ribenboim introduced the notion of the rings of generalized power series. Let
R be a commutative ring, and (S, ≤) a strictly totally ordered monoid. We prove that (1) the ring [[R
S,≤]] of generalized power series is a PP-ring if and only if R is a PP-ring and every S-indexed subset C of B(R) (the set of all idempotents of R) has a least upper bound in B(R) and (2) if (S, ≤) also satisfies the condition that 0 ≤s for any s∈S, then the ring [[R
S,≤
]] is weakly PP if and only if R is weakly PP.
Research supported by National Natural Science Foundation of China, 19501007, and Natural Science Foundation of Gansu, ZQ-96-01 相似文献
5.
The notion of a bimodule herd is introduced and studied. A bimodule herd consists of a B-A bimodule, its formal dual, called a pen, and a map, called a shepherd, which satisfies unitality and coassociativity conditions. It is shown that every bimodule herd gives rise to a pair of corings and coactions. If, in addition, a bimodule herd is tame i.e. it is faithfully flat and a progenerator, or if it is a progenerator and the underlying ring extensions are split, then these corings are associated to entwining structures; the bimodule herd is a Galois comodule of these corings. The notion of a bicomodule coherd is introduced as a formal dualisation of the definition of a bimodule herd. Every bicomodule coherd defines a pair of (non-unital) rings. It is shown that a tame B-A bimodule herd defines a bicomodule coherd, and sufficient conditions for the derived rings to be isomorphic to A and B are discussed. The composition of bimodule herds via the tensor product is outlined. The notion of a bimodule herd is illustrated by the example of Galois co-objects of a commutative, faithfully flat Hopf algebra. 相似文献
6.
设R是有单位元1的结合环,(S,≤)是严格全序Artin幺半群,M_R是右R-模,Att(M_R)与Att([M~(S,≤)]_([[R~(S,≤)]]))分别表示模M_R与广义逆多项式模[M~(S,≤)]_([[R~(S,≤)]])的所有Attached素理想组成的集合.该文主要讨论了广义幂级数环[[R~(S;≤)]]广义逆多项式模[[R~(S;≤)]]的Attached素理想的相关性质,证明了在一定条件下,有Att([M~(S,≤)]_([[R~(S,≤)]])={[[PR~(S;≤)]]P∈Att(M_R)}.这一结论表明广义逆多项式模([M~(S,≤)]_([[R~(S,≤)]])的Attached素理想在一定条件下可以用模M_R的Attached素理想来刻画,推广了Annin S在文献[1]中关于斜多项式环上逆多项式模的Attached素理想的相关结论. 相似文献
7.
《代数通讯》2013,41(8):3215-3226
Abstract Let R be a ring and (S, ≤) a strictly ordered monoid. Properties of the ring [[R S,≤]] of generalized power series with coefficients in R and exponents in S are considered in this paper. It is shown that [[R S,≤]] is reduced (2-primal, Dedekind finite, clean, uniquely clean) if and only if R is reduced (2-primal, Dedekind finite, clean, uniquely clean, respectively) under some additional conditions. Also a necessary and sufficient condition is given for rings under which the ring [[R S,≤]] is a reduced left PP-ring. 相似文献
8.
A. Majidinya 《代数通讯》2013,41(4):1460-1472
Let R be a ring and S a strictly totally ordered monoid. Let ω: S → End(R) be a monoid homomorphism. Let M R be an ω-compatible module and either R satisfies the ascending chain conditions (ACC) on left annihilator ideals or every S-indexed subset of right semicentral idempotents in R has a generalized S-indexed join. We show that M R is p.q.-Baer if and only if the generalized power series module M[[S]] R[[S, ω]] is p.q.-Baer. As a consequence, we deduce that for an ω-compatible ring R, the skew generalized power series ring R[[S, ω]] is right p.q.-Baer if and only if R is right p.q.-Baer and either R satisfies the ACC on left annihilator ideals or any S-indexed subset of right semicentral idempotents in R has a generalized S-indexed join in R. Examples to illustrate and delimit the theory are provided. 相似文献
9.
The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a B-A bimodule M which is a generator left B-module is formally smooth if and only if the M-Hochschild dimension of B is at most one. It is also shown that modules M which are generators in the category σ[M] of M-subgenerated modules provide natural examples of formally smooth bimodules. 相似文献
10.
A classical result of Magnus asserts that a free group F has a faithful representation in the group of units of a ring of non-commuting formal power series with integral coefficients. We generalize this result to the category of A-groups, where A is an associative ring or an Abelian group. We say that a free A-group FA has a faithful Magnus representation if there is a ring B containing A as an additive subgroup (or a subring) such that FA is faithfully represented (exactly as in Magnus' classical result in the case A = Z)in the group of units of the ring of formal power series in non-communting indeterminater over B.The three principal results are: (I) If A is a torsion free Abelian group and FA is a free A-groupp of Lyndon' type, then FA has a faithful Magnus representation; (II) If A is an ω‐residually Z ring, then FA has a faithful Magnus representation;(III) for every nontrivial torsion-free Abelian group A, FA has a faithful Magnus representation in B[[Y]] for a suitable ring B in and only if FQ has a faithful Magnus representation in Q[[Y]]. 相似文献
11.
Carl Faith 《代数通讯》2013,41(4):1807-1810
A right R-module M is (Goldie) finite dimensional (= f.d.) if M contains no infinite direct sums of submodules.M is quotient f.d. (= q.f.d.) if M/K is f.d. for all submodules K.A submodule I of M is subdirectly irreducible (= SDI) if V is the intersection of all submodules S α of M that properly contain I, then V ≠ I, equivalentlyM/I has simple essential socle V/I. A theorem of Shock [74] states that a q.f.d. right module M is Noether-ian iff every proper submodule of M is contained in a maximal submodule. Camillo [77], proved a companion theorem: M is q.f.d. iff every submodule A ≠ 0 contains a finitely generated (= f.g) submodule S such that A/S has no maximal submodules. Using these two results, and an idea of Camillo [75], we prove the theorem stated in the title. 相似文献
12.
Frank P. Weber 《Mathematical Logic Quarterly》1995,41(2):143-160
The main results of the present paper are the following theorems: 1. There is no e ∈ ω such that for any A, B ? ω, SA = W is simple in A, and if A′ ?T B′, then SA =* SB. 2 There is an e ∈ ω such that for any A, B ? ω, MA = We is incomplete maximal in A, and if A =* B, then MA ?T MB. 相似文献
13.
Bojan Magajna 《Journal of Functional Analysis》2005,219(2):306-339
For an operator bimodule X over von Neumann algebras A⊆B(H) and B⊆B(K), the space of all completely bounded A,B-bimodule maps from X into B(K,H), is the bimodule dual of X. Basic duality theory is developed with a particular attention to the Haagerup tensor product over von Neumann algebras. To X a normal operator bimodule Xn is associated so that completely bounded A,B-bimodule maps from X into normal operator bimodules factorize uniquely through Xn. A construction of Xn in terms of biduals of X, A and B is presented. Various operator bimodule structures are considered on a Banach bimodule admitting a normal such structure. 相似文献
14.
A ring R is called clean if every element of R is the sum of an idempotent and a unit. Let M be a R-module. It is obtained in this article that the endomorphism ring End(M) is clean if and only if, whenever A = M′ ⊕ B = A1 ⊕ A2 with M′ ? M, there is a decomposition M′ =M1 ⊕ M2 such that A = M′ ⊕ [A1 ∩ (M1 ⊕ B)] ⊕ [A2 ∩ (M2 ⊕ B)]. Then unit-regular endomorphism rings are also described by direct decompositions. 相似文献
15.
Abhishek Banerjee 《代数通讯》2013,41(10):4548-4558
Let A be a (not necessarily commutative) monoid object in an abelian symmetric monoidal category (C, ?,1) satisfying certain conditions. In this paper, we continue our study of the localization M S of any A-module M with respect to a subset S ? Hom A?Bimod (A, A) that is closed under composition. In particular, we prove the following theorem: if P is an A-bimodule such that P is symmetric as a bimodule over the center Z(A) of A, we have isomorphisms HH *(A, P) S ? HH *(A, P S ) ? HH *(A S , P S ) of Hochschild homology groups. 相似文献
16.
Let M be an n-generator projective MV-algebra. Then there is a rational polyhedron P in the n-cube [0, 1]
n
such that M is isomorphic to the MV-algebra M(P){{\rm{\mathcal {M}}}(P)} of restrictions to P of the McNaughton functions of the free n-generator MV-algebra. P necessarily contains a vertex vP of the n-cube. We characterize those polyhedra contained in the n-cube such that M(P){{\mathcal {M}}(P)} is projective. In particular, if the rational polyhedron P is a union of segments originating at some fixed vertex vP of the n-cube, then M(P){{\mathcal {M}}(P)} is projective. Using this result, we prove that if A = M(P){A = {\mathcal {M}}(P)} and B = M(Q){B = {\mathcal {M}}(Q)} are projective, then so is the subalgebra of A × B given by {(f, g) | f(v
P
) = g(v
Q
), and so is the free product
A \coprod B{A \coprod B} . 相似文献
17.
《Quaestiones Mathematicae》2013,36(2):205-229
ABSTRACT (PART I): A field-theoretic treatment of variational problems in n independent variables {xj} and N dependent variables {ψA)} is presented that differs substantially from the standard field theories, such as those of Carathéodory [4] and Weyl [10], inasmuch as it is not stipulated ab initio that the Lagrangian be everywhere positive. This is accomplished by the systematic use of a canonical formalism. Since the latter must necessarily be prescribed by appropriate Legendre transformations, the construction of such transformations is the central theme of Part I.—The underlying manifold is M = Mn x MN, where Mn, MN are manifolds with local coordinates {xj}, {ψA}, respectively. The basic ingredient of the theory consists of a pair of complementary distributions Dn, DN on M that are defined respectively by the characteristic subspaces in the tangent spaces of M of two sets of smooth 1-forms {πA:A = 1,…, N}, {πj = 1,…, n} on M. For a given local coordinate system on M the planes of 4, have unique (adapted) basis elements Bj = (?/?x j) + BA j (?/?ψA), whose coefficients BA j will assume the role of derivatives such as ?ψA/?xj in the final analysis of Part II. The first step toward a Legendre transformation is a stipulation that prescribes BA j as a function of the components {πj h,πj A} of {πj}—these components being ultimately the canonical Variables—in such a manner that BA j is unaffected by the action of any unimodular transformation applied to the exterior system {πj}. A function H of the canonical variables is said to be an acceptable Hamiltonian if it satisfies a similar invariance requirement, together with a determinantal condition that involves its Hessian with respect to πj A. The second part of the Legendre transformation consists of the identification in terms of H and the canonical variables of a function L that depends solely on BA j and the coordinates on M. This identification imposes a condition on the Hessian of L with respect to BA j. Conversely, any function L that satisfies these requirements is an acceptable Lagrangian, whose Hamiltonian is uniquely determined by the general construction. 相似文献
18.
Hongbo Zhang 《代数通讯》2013,41(4):1420-1427
An element of a ring R is called “strongly clean” if it is the sum of an idempotent and a unit that commute, and R is called “strongly clean” if every element of R is strongly clean. A module M is called “strongly clean” if its endomorphism ring End(M) is a strongly clean ring. In this article, strongly clean modules are characterized by direct sum decompositions, that is, M is a strongly clean module if and only if whenever M′⊕ B = A 1⊕ A 2 with M′? M, there are decompositions M′ = M 1⊕ M 2, B = B 1⊕ B 2, and A i = C i ⊕ D i (i = 1,2) such that M 1⊕ B 1 = C 1⊕ D 2 = M 1⊕ C 1 and M 2⊕ B 2 = D 1⊕ C 2 = M 2⊕ C 2. 相似文献
19.
Let R be an associated ring not necessarily with identity, M a left R-module having the property (F), and (S, ≤) a strictly totally ordered monoid which is also artinian and finitely generated. It is shown that the module [M S,≤] consisting of generalized inverse polynomials over M is an artinian left [[R S,≤]]-module if and only if M is an artinian left R-module. 相似文献
20.
Paul-Jean Cahen 《manuscripta mathematica》1990,67(1):333-343
Let A be a commutative domain with quotient field K and AS the ring of integer-valued polynomials thus AS={f∈K[X]; f(A)⊂A}; we show that the Krull dimension of AS is such that dim AS≥dim A[X]-1 and give examples where dim AS=dim A[X]-1. Considering chains of primes of AS above a maximal idealm of finite residue field, we give also examples where the length of such a chain can arbitrarily be prescribed (whereas in
A[X] the length of such chains is always 1). To provide such examples we consider a pair of domains A⊂B sharing an ideal I
such that A/I is finite; we give sufficient conditients to have AS⊂B[X] and show that in this case dim AS=dim B[X]. At last, as a generalisation of Noetherian rings of dimension 1, we consider domains with an ideal I such that
A/I is finite and a power In of I is contained in a proper principal ideal of A; for such domains we show that every prime of AS above a primem containing I is maximal.
相似文献