Factorizations of automorphism groups of finitely generated module over a commutative ring. II

Proofs of the theorems, announced in [1], are given.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 9, pp. 1244–1251, September, 1990.     

The dual of a finitely generated multiplication module

This paper is based on the M. Sc. thesis written by the third author under the supervision of the first two authors. It was submitted to the University of Baghdad in 1986.     

Finiteness of basis of identities of a finitely generated alternative PI-algebra over a field of characteristic zero

Dedicated to the memory of Anatolii Illarionovich Shirshov.     

On an identity of Ramanujan over finitely generated domains

Summary We show that a well-known identity of Ramanujan admits only a bounded number of solutions over general finitely generated domains. The bound is explicit and uniform in the sense that it depends only on the dimensions of the domains involved. Our method is constructive, and opens up a possibility to determine the solutions in concrete instances. In some special cases all solutions are determined. Our results can also be considered as a continuation of some theorems of Z. Daróczy and G. Hajdu, obtained over Z. We note that in case of Hosszú's equation, similar results were obtained by several authors.     

Simultaneous weighted sums of elements of finitely generated multiplicative groups

Let {G_j}_jεJ be a finite set of finitely generated subgroups of the multiplicative group of complex numbers C^x. Write H=∩ _jεJ G_j. Let n be a positive integer and a_ij a complex number for i = 1, ..., n and j ε J. Then there exists a set W with the following properties. The cardinality of W depends only on {G_j}_jεJ and n. If, for each jεJ, α has a representation α = Σ _iⁿ = ₁a _ijg_ij in elements g_ij of G_j, then α has a representation a= Σ_k=1ⁿ w_kh_k with w_kεW, h_k εH for k = 1,..., n. The theorem in this note gives information on such representations.     

On a filtered multiplicative basis of group algebras

Let K be a field of characteristic p and G a nonabelian metacyclic finite p-group. We give an explicit list of all metacyclic p-groups G, such that the group algebra KG over a field of characteristic p has a filtered multiplicative K-basis. We also present an example of a non-metacyclic 2-group G, such that the group algebra KG over any field of characteristic 2 has a filtered multiplicative K-basis.     

Existence of finitely optimal solutions for infinite-horizon optimal control problems

In this paper, we investigate the existence of finitely optimal solutions for the Lagrange problem of optimal control defined on [0, ) under weaker convexity and seminormality hypotheses than those of previous authors. The notion of finite optimality has been introduced into the literature as the weakest of a hierarchy of types of optimality that have been defined to permit the study of Lagrange problems, arising in mathematical economics, whose cost functions either diverge or are not bounded below. Our method of proof requires us to analyze the continuous dependence of finite-interval Lagrange problems with respect to a prescribed terminal condition. Once this is done, we show that a finitely optimal solution can be obtained as the limit of a sequence of solutions to a sequence of corresponding finite-horizon optimal control problems. Our results utilize the convexity and seminormality hypotheses which are now classical in the existence theory of optimal control.This research forms part of the author's doctoral dissertation written at the University of Delaware, Newark, Delaware under the supervision of Professor Thomas S. Angell.     

Existence of unimodular elements in a projective module

(1) Let R be an affine algebra over an algebraically closed field of characteristic 0 with $\dim (R)=n$. Let P be a projective $A=R[T_1,?,T_k]$-module of rank n with determinant L. Suppose I is an ideal of A of height n such that there are two surjections $\alpha :P?I$ and $?:L\oplus A^{n?1}?I$. Assume that either (a) $k=1$ and $n\ge 3$ or (b) k is arbitrary but $n\ge 4$ is even. Then P has a unimodular element (see 4.1, 4.3).(2) Let R be a ring containing $\mathbb{Q}$ of even dimension n with height of the Jacobson radical of $R\ge 2$. Let P be a projective $R[T,T^{?1}]$-module of rank n with trivial determinant. Assume that there exists a surjection $\alpha :P?I$, where $I?R[T,T^{?1}]$ is an ideal of height n such that I is generated by n elements. Then P has a unimodular element (see 3.4).     

Existence of self-similar energies on finitely ramified fractals

A self-similar energy on finitely ramified fractals can be constructed starting from an eigenform, i.e., an eigenvector of a special operator defined on the fractal. In this paper, we prove two existence results for regular eigenforms that consequently are existence results for self-similar energies on finitely ramified fractals. The first result proves the existence of a regular eigenform for suitable weights on fractals, assuming only that the boundary cells are separated and the union of the interior cells is connected. This result improves previous results and applies to many finitely ramified fractals usually considered. The second result proves the existence of a regular eigenform in the general case of finitely ramified fractals in a setting similar to that of P.C.F. self-similar sets considered, for example, by R. Strichartz in [11]. In this general case, however, the eigenform is not necessarily on the given structure, but is rather on only a suitable power of it. Nevertheless, as the fractal generated is the same as the original fractal, the result provides a regular self-similar energy on the given fractal.     

Two-dimensional representations of finitely generated free group over an arbitrary field

Working over an arbitrary field, we give equivalent conditions for a representation of a finitely generated free group with given traces and determinants to exist and to be reducible, respectively; also, we classify all two-dimensional representations of a finitely generated free group.     

JSJ-splittings for finitely presented groups over slender groups

We generalize the JSJ-splitting of Rips and Sela to give decompositions of finitely presented groups which capture splittings over certain classes of small subgroups. Such classes include the class of all 2-ended groups and the class of all virtually Z⊕Z groups. The approach, called “track zipping”, is relatively elementary, and differs from the Rips-Sela approach in that it does not rely on the theory of R-trees but rather on an understanding of certain embedded 1-complexes (called patterns) in a presentation 2-complex for the ambient group. Oblatum 18-IV-1997 & 30-I-1998 / Published online: 18 September 1998