文摘

是一个戒指,让 是一个正确的 模块与 =结束( )。 被称为几乎一般quasi-principally内射(或AGQP-injective),如果任何 存在一个正整数 和左理想 这样 。AGQP-injective模块给出的一些特征和属性,和一些性质AGQP-injective模块附加条件进行了研究。

1。介绍

是一个关联环与身份,所有模块都是统一的。回想一下,一个环 被称为对主要是单射(1)(或正确的 内射),如果每一个同态从校长的理想 可扩展的自同态吗 同样, 对所有 。正确的概念P-injective戒指已经被许多作者广义。例如,在[2,3),分别在两个方向对P-injective环广义。后(2),一个环 被称为权利从而如果对任何 ,存在一个正整数 这样 和任何权利 同态从 可扩展的自同态吗 。注意,从而推广戒指也被称为YJ-injective在[4]。从[5),我们知道,从而推广P-injective戒指不需要。后(3),右 模块 被称为quasiprincipally内射(或QP-injective从一个),如果每一个同态 循环的子模块 可扩展的自同态吗 或者说, 对所有 。1998年,页面和周6)广义的概念从而环AGP-injective戒指。根据(6),一个环 被称为对AGP-injective如果对任何 存在一个正整数 和左理想 这样 。在[7),第一作者介绍GQP-injective模块的概念可以被视为泛化从而戒指和QP-injective模块。根据(7),右 模块 被称为GQP-injective如果对任何 ,存在一个正整数 这样 和任何权利 同态从 可扩展的自同态吗 ,或等价于对任何 ,存在一个正整数 这样 。好AGP-injective环结构和GQP-injective模块定义几乎吸引了我们的注意力GQP-injective模块,类似于AGP-injective戒指,并调查其属性。

2。结果

定义2.1。 是一个正确的 模块与 。然后, 据说几乎通用quasiprincipally单射(简而言之,AGQP-injective)如果任何 存在一个正整数 和左理想 这样

显然,一个环 是正确的AGP-injective当且仅当吗 AGQP-injective AGQP-injective GQP-injective模块。

我们的下一个结果给AGQP-injectivity模块的之间的关系和AGP-injectivity的自同态环。

定理2.2。 是一个正确的 模块与 。然后,
(1)如果 是正确的AGP-injective呢 AGQP-injective;(2)如果 AGQP-injective和 生成 为每一个 ,然后 AGP-injective是正确的。

证明。(1)假设 是正确的AGP-injective任何 存在一个正整数 和左理想 这样 。如果 ,然后 ,也就是说, 。因此, ,也就是说, 。这表明 。因此,我们有 ,保证 因此,(1)证明。
(2)假设 任何AGQP-injective然后吗 存在一个正整数 和左理想 这样 。假设 对于某些子集 。很容易看到 为每一个 ,我们有 为每一个 。这意味着 ,我们有 因此 因此, AGP-injective是正确的。

回想一下,一个模块 被称为 - - - - - -循环(3),如果是同态的形象 。让 =结束( 后),(8),我们写

定理2.3。 一个AGQP-injective模块 。然后,
(1) ,(2)如果每个非零子模块 包含一个非零 循环子模块,然后

证明。(1)让 。然后,为每个 , 所以 。自 存在一个正整数,AGQP-injective吗 和左理想 这样 。请注意, 对于一些 。自 ,我们有 ,然后 。所以 对于一些 ,接下去 。因此, 对于一些 ,因为 是至关重要的 ,如果 ,那么存在一个非零元素 ,因此 。但 ,一个矛盾。所以 因此 是可逆的,这意味着什么呢
(2)我们只需要证明 。让 。如果 ,然后存在 这样 通过假设。很明显, 。自 存在一个正整数,AGQP-injective吗 和左理想 这样 如果 ,然后 ,所以 。这表明 。因此, 。写 ,在那里 。然后 给了, ,一个矛盾。

推论2.4(见[6推论2.3])。如果 是一个右AGP-injective环呢

后(9),一组 力宏 ,子模块 被称为一个 - - - - - -歼灭者子模块 。由(7引理9]和定理2.3,我们有以下推论。

推论2.5。 一个AGQP-injective模块 。如果每个非零子模块 包含一个非零 循环子模块, 满足ACC在 歼灭者子,然后 是幂零。

回想一下,一个模块 据说是一个GC2模块(10)如果每个子模块 是直接被加数 。为了方便起见,我们写 来表示, 是直接被加数

定理2.6。 是一个AGQP-injective模块。然后,
(1)如果 子的 这样 ,然后 。特别是 是一个GC2模块;(2)如果 是简单的子 这样 ,然后

证明。(1)让 。这是微不足道的 。现在假设 。然后 ,在那里 。自 存在一个正整数,AGQP-injective吗 和左理想 这样 。让 ,然后 。所以我们有 因此, 。因此,显示 ,这就可以证明 。请注意, 首一和 对于每一个 , 因此根据( )= Ker ( )。由此可见, 。现在,让 ,然后 。最后,让 ,然后 是必需的。
(2)让 ,在那里 ,让 。然后 ,在那里 。自 存在一个正整数,AGQP-injective吗 和左理想 这样 。请注意, 很简单。我们有 。很明显, 因为 是一个单型性。自 很简单, 是最大的子模块 。但 ,所以 然后 。由此可见, 。现在,让 ,然后 。最后,让 ,然后 是必需的。

回想一下,一个模块 据说是弱内射(11),如果任何有限生成子模块 ,存在 这样

推论2.7。 是一个有限生成模块。然后, 是单射当且仅当 弱内射,AGQP-injective。特别是,一个戒指 是正确的self-injective当且仅当吗 弱内射,AGP-injective。

证明。我们只需要证明的充分性。让 。然后,存在 这样 。因此, AGQP-injective和 遵循从定理2.6(1)。但是 是至关重要的 ,所以 因此

推论2.8。 一个AGQP-injective模块
(1)如果 有限的戈尔迪维度,然后是半局部。(2)如果 是诺特self-generator呢 semiprimary。

证明。(1)自 AGQP-injective,满足GC2-condition定理2.6(1),然后由[(1)遵循立即12引理1.1]。
(2)由(1)和推论2.5

回想一下,如果 是两个对吧 模块,然后 被称为M-projective对于每一个满射 而且每个同态 ,有一个 同态 这样 。一个模块 被称为quasiprojective如果它是 射影。

是一个戒指。回想一下,一个元素 被称为 定期,如果存在一个正整数 这样 (13)对于一些 。一个元素 被称为广义 常规的如果存在一个正整数 这样 对于一些 。一枚戒指 被称为 定期(分别地。广义 常规的如果每一个元素 定期(分别地。广义 常规)。如果 是的一个子集 ,然后我们说 常规的如果每一个元素 是常规的。

命题2.9。 quasiprojective有 。然后, 定期当且仅当吗 AGQP-injective和 射影每

证明。假设 是常规的。然后,每一个正确的理想 是直接被加数 ,所以每一个同态从校长的理想 可扩展的自同态吗 。因此, P-injective然后对AGP-injective是正确的。由定理2.2, AGQP-injective。的规律性 也意味着 是直接被加数 由(14定理37.7)。但 quasiprojective,所以 射影每
相反,假设 AGQP-injective和 射影每 。然后对任何 ,AGQP-injectivity的 存在一个正整数 和左理想 这样 。自 投影,根据( )= 对于一些 。然后,我们有 ,所以 对于一些 。因此, 。这证明 常规,因此广义 常规。很明显, 定期(在这种情况下, 必须等于1)。因此,或者 是常规的13定理2.2)。

回想一下,一个模块 被称为一个在模块(15如果 对于任何子 ,在那里

命题2.10。 是一个AGQP-injective在模块 。然后, 定期当且仅当吗

证明。由定理2.3,我们只需要证明充足。让 。自 存在一个正整数,AGQP-injective吗 和左理想 这样 。自 根据( )是不重要的 然后存在一个非零子模块 这样,根据 是至关重要的 。Moveover,我们也有 因为 是一个在模块和 。因此, , ,然后 。由此可见, 最后一部分是普通的命题的证明吗2.9

引理2.11。 是一个AGQP-injective模块,每个非零子模块包含一个非零 循环子模块和 。如果 ,然后将 是严格一些

证明。如果 ,然后根据 对于一些非零子模块 ,所以依然 对于一些 通过假设。很明显, 。自 存在一个正整数,AGQP-injective吗 和左理想 这样 。因此, 在哪里 ,然后 因此 这意味着 。很明显,依然 根据( )。请注意, 包含在Ker 但不包含在Ker ( ),包含Ker 根据 是严格的。

定理2.12。 AGQP-injective有 。如果每个非零子模块 包含一个非零 循环子模块,然后下列条件是等价的:
(1) 是对完美的;(2)对于任何序列 ,链 终止。

证明。由定理2.3,引理2.11,(16引理2.8),一个人可以完成的证明以类似的方式,16定理2.9)。

承认

作者非常感谢裁判有用的意见和建议。