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.     

Semiconvexity of invariant functions of rectangular matrices

The paper deals with the semiconvexity properties (i.e., the rank 1 convexity, quasiconvexity, polyconvexity, and convexity) of rotationally invariant functions f of matrices. For the invariance with respect to the proper orthogonal group and the invariance with respect to the full orthogonal group coincide. With each invariant f one can associate a fully invariant function of a square matrix of type where It is shown that f has the semi convexity of a given type if and only if has the semiconvexity of that type. Consequently the semiconvex hulls of f can be determined by evaluating the corresponding hulls of and then extending them to matrices by rotational invariance. Received: 10 October 2001 / Accepted: 23 January 2002 // Published online: 6 August 2002 RID="*" ID="*" This research was supported by Grant 201/00/1516 of the Czech Republic.     

On the socles of fully invariant subgroups of Abelian p-groups

The classification of the fully invariant subgroups of a reduced Abelian p-group is a difficult long-standing problem when one moves outside of the class of fully transitive groups. In this work we restrict attention to the socles of fully invariant subgroups and introduce a new class of groups which we term socle-regular groups; this class is shown to be large and strictly contains the class of fully transitive groups. The basic properties of such groups are investigated but it is shown that the classification of even this simplified class of groups, seems extremely difficult. Received: 4 September 2008     

FLATNESS AND THE RING OF QUASI-ENDOMORPHISMS

Abstract

This paper investigates torsion-free abelian groups A which are Q E-flat, i.e. for which Q A is flat as an Q E(A)-module. It is shown that a torsion-free A has this property iff Tor¹ (M, A) is torsion for all right E(A)-modules M. Furthermore, a torsion-free group of rank 4 is constructed which is Q E-flat but not quasi-isomorphic to an E-flat group. This gives a negative response to a question of R. Pierce. The paper concludes with a discussion of the structure of torsion-free groups of finite rank which are Q E-flat.     

QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

Characterization of Abelian groups with a minimal generating set

Abstract

We characterize Abelian groups with a minimal generating set: Let τ A denote the maximal torsion subgroup of A. An infinitely generated Abelian group A of cardinality κ has a minimal generating set iff at least one of the following conditions is satisfied:

1. dim(A/pA) = dim(A/qA) = κ for at least two different primes p, q.

2. dim(t A/pt A) = κ for some prime number p.

3. Σ{dim(A/(pA + B)) ∣ dim(A/(pA + B)) < κ} = κ for every finitely generated subgroup B of A.

Moreover, if the group A is uncountable, property (3) can be simplified to (3') Σ{dim(A/pA) ∣ dim(A/pA) < κ} = κ, and if the cardinality of the group A has uncountable cofinality, then A has a minimal generating set iff any of properties (1) and (2) is satisfied.     

TORSION-FREE ABELIAN GROUPS WITH FINITE RANK ENDOMORPHISM RINGS

Abstract

We show that if A and C are torsion-free abelian groups with ∩{ker f|f: A → C} = 0 = ∩{ker g|g: C → A}, and if A has a left Artinian quasi-endomorphism ring then A and C share a nonzero quasi-summand. Some consequences explored.     

Edge sets contained in circuits

A graphG withn vertices has propertyp(r, s) ifG contains a path of lengthr and if every such path is contained in a circuit of lengths. G. A. Dirac and C. Thomassen [Math. Ann.203 (1973), 65–75] determined graphs with propertyp(r,r+1). We determine the least number of edges in a graphG in order to insure thatG has propertyp(r,s), we determine the least number of edges possible in a connected graph with propertyp(r,s) forr=1 and alls, forr=k ands=k+2 whenk=2, 3, 4, and we give bounds in other cases. Some resulting extremal graphs are determined. We also consider a generalization of propertyp(2,s) in which it is required that each pair of edges is contained in a circuit of lengths. Some cases of this last property have been treated previously by U. S. R. Murty [inProof Techniques in Graph Theory, ed. F. Harary, Academic Press, New York, 1969, pp. 111–118].     

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.     

On the vertex group of n-manifolds

In this paper we obtain the decomposition of the vertex group of n-manifolds, extending the one given by Kauffman and Lins for dimension 3 and solving the related conjecture. The result is obtained in the more general category of gems: the vertex group of a gem , representing an n-manifold M, is the free product of n copies of the fundamental group of M and a free group F of rank N–n, where N is the number of n-residues of . In particular, for crystallizations FZ and consequently the vertex group is an invariant of M.     

A criterion for an abelian variety to be simple

In this note we give a numerical criterion that expresses the condition that an abelian variety be simple in terms of an invariant that is closely related to the s-invariant of Ein-Cutkosky-Lazarsfeld. Received: 1 July 2007     

A problem of Erdős on abelian groups

The following theorem is proved. Ifa ₁,a ₂, ...a _n are nonzero elements inZ _n , and are not all equal, then ε₁ a ₁+ε₂ a ₂+...+ε _n a _n =0 has at leastn solutions with ε _i =0 or 1.     

E-varieties of regular semigroups,relatively bifree objects and fully invariant congruences

Analogous to the concept of a free object on a setX in a variety of algebras is the notion of a bifree object onX in an e-variety of regular semigroups. If an e-variety contains a bifree object onX, then a homomorphic image of that bifree object is itself bifree onX in some e-variety if and only if the corresponding congruence is fully invariant. Furthermore, the lattice of e-subvarieties of any locally inverse or E-solid e-variety ε is antiisomorphic with the lattice of all fully invariant congruences on the bifree object on a countably infinite setX in ε. We give a Birkhoff-type theorem for classes of locally inverse or E-solid semigroups, and we give an intrinsic test for whether or not a regular semigroup is bifree onX in the e-variety it generates.     

A proximal point algorithm for minimax problems

This paper presents a proximal point algorithm for solving discretel _∞ approximation problems of the form minimize ∥Ax−b∥_∞. Let ε_∞ be a preassigned positive constant and let ε _l ,l = 0,1,2,... be a sequence of positive real numbers such that 0 < ε _l < ε_∞. Then, starting from an arbitrary pointz ₀, the proposed method generates a sequence of points z _l ,l= 0,1,2,..., via the rule . One feature that characterizes this algorithm is its finite termination property. That is, a solution is reached within a finite number of iterations. The smaller are the numbers ε _l the smaller is the number of iterations. In fact, if ε ₀ is sufficiently small then z₁ solves the original minimax problem. The practical value of the proposed iteration depends on the availability of an efficient code for solving a regularized minimax problem of the form minimize where ∈ is a given positive constant. It is shown that the dual of this problem has the form maximize , and ify solves the dual thenx=A ^T y solves the primal. The simple structure of the dual enables us to apply a wide range of methods. In this paper we design and analyze a row relaxation method which is suitable for solving large sparse problems. Numerical experiments illustrate the feasibility of our ideas.     

Quantum affine Cartan matrices,Poincaré series of binary polyhedral groups,and reflection representations

We first review some invariant theoretic results about the finite subgroups of SU(2) in a quick algebraic way by using the McKay correspondence and quantum affine Cartan matrices. By the way it turns out that some parameters (a, b, h; p, q, r) that one usually associates with such a group and hence with a simply-laced Coxeter–Dynkin diagram have a meaningful definition for the non-simply-laced diagrams, too, and as a byproduct we extend Saito’s formula for the determinant of the Cartan matrix to all cases. Returning to invariant theory we show that for each irreducible representation i of a binary tetrahedral, octahedral, or icosahedral group one can find a homomorphism into a finite complex reflection group whose defining reflection representation restricts to i.     

A MAXIMAL CLASS OF ABELIAN GROUPS ARISING FROM THE ISOMORPHISM G = T[EXT[G.X)]

Abstract

We characterize the class of groups G having the property that G ? T[Ext(G,X)] for some group X. We show that for every prime p, the p-component of such a group G has the form T [π∞_n=1 Z(pn)^mpn] where m_pn is finite for every prime p and natural number n.     

Invariant measure for a class of parabolic degenerate equations

In this paper we consider a stochastic flow in Rⁿ which leaves a closed convex set K invariant. By using a recent characterization of the invariance, involving the distance function, we study the corresponding transition semigroup P_t and its infinitesimal generator N. Due to the invariance property, N is a degenerate elliptic operator. We study existence of an invariant measure ν of P_t and the realization of N in L² (H, ν).     

A Combinatorial Property for Semigroups of Matrices

Abstract. In this paper we study the semigroups of matrices over a commutative semiring. We prove that a semigroup of matrices over a tropical semiring satisfies a combinatorial property called weak permutation property . We consider an application of this result to the Burnside problem for groups.     

Equations in free groups and coincidence of mappings on surfaces

Let be a continuous map and a constant map between closed orientable surfaces of genus h,g, respectively. By definition the pair (f,c) has the Wecken property if f can be deformed into a map such that every coincidence classes of (f',c) is essential and consists of exactly one point. The main result is that (f,c) has the Wecken property if and only if where . Certain quadratic equations in free groups closely related to the coincidence problem are solved. Received January 26, 1999; in final form December 10, 1999 / Published online March 12, 2001