Modules in Which Every Fully Invariant Submodule is Essential in a Direct Summand

A module M is called extending if every submodule of M is essential in a direct summand. We call a module FI-extending if every fully invariant submodule is essential in a direct summand. Initially we develop basic properties in the general module setting. For example, in contrast to extending modules, a direct sum of FI-extending modules is FI-extending. Later we largely focus on the specific case when a ring is FI-extending (considered as a module over itself). Again, unlike the extending property, the FI-extending property is shown to carry over to matrix rings. Several results on ring direct decompositions of FI-extending rings are obtained, including a proper generalization of a result of C. Faith on the splitting-off of the maximal regular ideal in a continuous ring.     

Abelian groups with normal endomorphism rings

A ring is said to be normal if all of its idempotents are central. It is proved that a mixed group A with a normal endomorphism ring contains a pure fully invariant subgroup G ⊕ B, the endomorphism ring of a group G is commutative, and a subgroup B is not always distinguished by a direct summand in A. We describe separable, coperiodic, and other groups with normal endomorphism rings. Also we consider Abelian groups in which the square of the Lie bracket of any two endomorphisms is the zero endomorphism. It is proved that every central invariant subgroup of a group is fully invariant iff the endomorphism ring of the group is commutative.     

Putting the squeeze on the Noether gap – The case of the alternating groups A_n

Let be a faithful representation of the finite group G over the field . In 1916 E. Noether proved that for of characteristic zero the ring of invariants is generated as an algebra by the invariant polynomials of degree at most . This upper bound for the degrees of the generators in a minimal generating set is referred to as Noether's bound. The result has been generalized to the case where the characteristic of is greater than the order of G, or when the characteristic of is prime to the order of G, and the group G is solvable. In this note we prove that if Noether's bound fails when the order of the group is prime to the characteristic of , referred to as the nonmodular case, then it fails for a finite nonabelian simple group. We then show how yet another reworking of Noether's argument leads to a proof that Noether's bound holds in the nonmodular case for the alternating groups. Received: 15 June 1998 / in final form: 3 January 1999     

Strongly lifting modules and strongly dual Rickart modules

The concepts of strongly lifting modules and strongly dual Rickart modules are introduced and their properties are studied and relations between them are given in this paper. It is shown that a strongly lifting module has the strongly summand sum property and the generalized Hopfian property, and a ring R is a strongly regular ring if and only if R_R is a strongly dual Rickart module, if and only if aR is a fully invariant direct summand of R_R for every a ∈ R.     

On the inheritance of the strongly π-extending property

In this article, we focus on modules with the property that every projection invariant submodule is essential in a fully invariant direct summand. In contrast to π-extending condition, it is shown that the former property is inherited by direct summands and Morita invariant. An application of our results yields that the endomorphism ring of a free module enjoys the property. Moreover, we characterize generalized triangular matrix rings with the aforementioned property and apply to somewhat special cases.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

Matrix Rings with Summand Intersection Property

A ring R has right SIP (SSP) if the intersection (sum) of two direct summands of R is also a direct summand. We show that the right SIP (SSP) is the Morita invariant property. We also prove that the trivial extension of R by M has SIP if and only if R has SIP and (1 – e)Me = 0 for every idempotent e in R. Moreover, we give necessary and sufficient conditions for the generalized upper triangular matrix rings to have SIP.     

WEAKLY CONTINUOUS AND C2-RINGS

A ring R is called right weakly continuous if the right annihilator of each element is essential in a summand of R, and R satisfies the right C2-condition (every right ideal that is isomorphic to a direct summand of R is itself a direct summand). We show that a ring R is right weakly continuous if and only if it is semiregular and J(R) = Z(R _R ). Unlike right continuous rings, these right weakly continuous rings form a Morita invariant class. The rings satisfying the right C2-condition are studied and used to investigate two conjectures about strongly right Johns rings and right FGF-rings and their relation to quasi-Frobenius rings.     

关于基本可数生成子模的扩张性

称左R-模M是ecg-扩张模,如果M的任意基本可数生成子模是M的直和因子的基本子模.在研究了ecg-扩张模的基本性质的基础上,本文证明了对于非奇异环R,所有左R-模是ecg-扩张模当且仅当所有左R-模是扩张模.同时我们还用ecg-拟连续模刻画了Noether环和Artin半单环.     

Homotopy equivalent group representations and Picard groups op the burnside ring and the character ring

We are concerned with the homotopy theory of group representations and its relation to character theory and the theory of the Burnside ring. We combine the methods of tom Dieck — Petrie [4] and torn Dieck [3] to show that the canonical map from the J-group jO(G), a subquotient of the representation ring RO(G), into the Picard group of the rational representation ring is injective for p-groups G. Moreover we compute the order of the cokernel of this map. We show that the Picard group of the rational representation ring is a direct summand in the Picard group of the Burnside ring. Finally we compute the Picard groups if G is abelian and indicate a computation for general G.     

Infinite Direct Sums of Lifting Modules

A module M over a ring R is called a lifting module if every submodule A of M contains a direct summand K of M such that A/K is a small submodule of M/K (e.g., local modules are lifting). It is known that a (finite) direct sum of lifting modules need not be lifting. We prove that R is right Noetherian and indecomposable injective right R-modules are hollow if and only if every injective right R-module is a direct sum of lifting modules. We also discuss the case when an infinite direct sum of finitely generated modules containing its radical as a small submodule is lifting.     

t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

When Does the Rational Torsion Split Off for Finitely Generated Modules

It is well known that the torsion part of any finitely generated module over the formal power series ring K[[X]] is a direct summand. In fact, K[[X]] is an algebra dual to the divided power coalgebra over K and the torsion part of any K[[X]]-module actually identifies with the rational part of that module. More generally, for a certain general enough class of coalgebras—those having only finite dimensional subcomodules—we see that the above phenomenon is preserved: the set of torsion elements of any C ^*-module is exactly the rational submodule. With this starting point in mind, given a coalgebra C we investigate when the rational submodule of any finitely generated left C ^*-module is a direct summand. We prove various properties of coalgebras C having this splitting property. Just like in the K[[X]] case, we see that standard examples of coalgebras with this property are the chain coalgebras which are coalgebras whose lattice of left (or equivalently, right, two-sided) coideals form a chain. We give some representation theoretic characterizations of chain coalgebras, which turn out to make a left-right symmetric concept. In fact, in the main result of this paper we characterize the colocal coalgebras where this splitting property holds non-trivially (i.e. infinite dimensional coalgebras) as being exactly the chain coalgebras. This characterizes the cocommutative coalgebras of this kind. Furthermore, we give characterizations of chain coalgebras in particular cases and construct various and general classes of examples of coalgebras with this splitting property.     

The module structure of a group action on a polynomial ring: A finiteness theorem

Consider a group acting on a polynomial ring over a finite field. We study the polynomial ring as a module for the group and prove a structure theorem with several striking corollaries. For example, any indecomposable module that appears as a summand must also appear in low degree, and so the number of isomorphism types of such summands is finite. There are also applications to invariant theory, giving a priori bounds on the degrees of the generators.

     

Equality of orthogonal transvection group and elementary orthogonal transvection group

H. Bass defined orthogonal transvection group of an orthogonal module and elementary orthogonal transvection group of an orthogonal module with a hyperbolic direct summand. We also have the notion of relative orthogonal transvection group and relative elementary orthogonal transvection group with respect to an ideal of the ring. According to the definition of Bass relative elementary orthogonal transvection group is a subgroup of the relative orthogonal transvection group of an orthogonal module with hyperbolic direct summand. Here we show that these two groups are the same in the case when the orthogonal module splits locally.     

FPF环和AUT-PIC性质

设R是—FPF环（不要求交换），本文研究了R的一些性质并给出了R上的有限生成投射左R-模的两种直和分解．在本文的第三部分，我们证明了以下结果：（a）FPF环具有Aut－Pic性质．（b）R有Aut-Pic性质当且当R／I有Aut－Pic性质，I是R的根式理想．（c）作为Aut－Pic性质的一个应用，定理3.3推广了[9]中的一个结果．     

Virtually semisimple modules and a generalization of the Wedderburn-Artin theorem

A widely used result of Wedderburn and Artin states that “every left ideal of a ring R is a direct summand of R if and only if R has a unique decomposition as a finite direct product of matrix rings over division rings.” Motivated by this, we call a module M virtually semisimple if every submodule of M is isomorphic to a direct summand of M and M is called completely virtually semisimple if every submodule of M is virtually semisimple. We show that the left R-module R is completely virtually semisimple if and only if R has a unique decomposition as a finite direct product of matrix rings over principal left ideal domains. This shows that R is completely virtually semisimple on both sides if and only if every finitely generated (left and right) R-module is a direct sum of a singular module and a projective virtually semisimple module. The Wedderburn-Artin theorem follows as a corollary from our result.     

Syzygy modules with semidualizing or G-projective summands

Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing summand. After that, we consider whether R is Gorenstein if and only if some syzygy module of k has a G-projective summand.     

On Weak Dual Rickart Modules and Dual Baer Modules

We introduce and study the notion of wd-Rickart modules (i.e. modules M such that for every nonzero endomorphism ? of M, the image of ? contains a nonzero direct summand of M). We show that the class of rings R for which every right R-module is wd-Rickart is exactly that of right semi-artinian right V-rings. We prove that a module M is dual Baer if and only if M is wd-Rickart and M has the strong summand sum property. Several structure results for some classes of wd-Rickart modules and dual Baer modules are provided. Some relevant counterexamples are indicated.     

MODULES WITH FULLY INVARIANT SUBMODULES ESSENTIAL IN FULLY INVARIANT SUMMANDS

ABSTRACT

A module M is called (strongly) FI-extending if every fully invariant submodule is essential in a (fully invariant) direct summand. The class of strongly FI-extending modules is properly contained in the class of FI-extending modules and includes all nonsingular FI-extending (hence nonsingular extending) modules and all semiprime FI-exten ding rings. In this paper we examine the behavior of the class of strongly FI-extending modules with respect to the preservation of this property in submodules, direct summands, direct sums, and endomorphism rings.