A finiteness theorem for isoparametric hypersurfaces

In this note we prove that for eachn there are only finitely many diffeomorphism classes of compact isoparametric hypersurfaces ofS ⁿ⁺¹ with four distinct principal curvatures.     

On finitely presented,cancellative and commutative ordered monoids

We show that every finitely presented, cancellative and commutative ordered monoid is determined by a finitely generated and cancellative pseudoorder on the monoid (ℕ ⁿ ,+) for some positive integer n. Every cancellative pseudoorder on (ℕ ⁿ ,+) is determined by a submonoid of the group (ℤ ⁿ ,+), and we prove that the pseudoorder is finitely generated if and only if the submonoid is an affine monoid in ℤ ⁿ .     

Wakamatsu tilting modules with finite injective dimension

Let R be a left Noetherian ring, S a right Noetherian ring and _R ω a Wakamatsu tilting module with S = End( _R ω). We introduce the notion of the ω-torsionfree dimension of finitely generated R-modules and give some criteria for computing it. For any n ? 0, we prove that l.id _R (ω) = r.id _S (ω) ? n if and only if every finitely generated left R-module and every finitely generated right S-module have ω-torsionfree dimension at most n, if and only if every finitely generated left R-module (or right S-module) has generalized Gorenstein dimension at most n. Then some examples and applications are given.     

<Emphasis Type="Italic">N</Emphasis>-homogeneous <Emphasis Type="Italic">C</Emphasis>*-algebras generated by idempotents

In this paper we consider n-homogeneous C*-algebras generated by idempotents. We prove that a finitely generated unital n-homogeneous (when n is greater than or equals 2) C*-algebra A can be generated by a finite set of idempotents if and only if the algebra A contains at least one nontrivial idempotent.     

Virtually free factors of pro-p groups

Letp be a prime number,G a pro-p group, andH a closed (topologically) finitely generated subgroup ofG. We give conditions under whichH is virtually a free factor ofG, i.e., that there exists an open subgroupU ofG such thatU is the free pro-p product ofH and some other subgroup ofU. We prove that this happens if eitherG is a free pro-p group of any rank, or ifG is a free pro-p product of finitely generated pro-p groups. Research supported in part by grants from NSERC (Canada) and DGICYT (Spain).     

Generators and relations for subsemigroups via boundaries in Cayley graphs

Given a finitely generated semigroup S and subsemigroup T of S, we define the notion of the boundary of T in S which, intuitively, describes the position of T inside the left and right Cayley graphs of S. We prove that if S is finitely generated and T has a finite boundary in S then T is finitely generated. We also prove that if S is finitely presented and T has a finite boundary in S then T is finitely presented. Several corollaries and examples are given.     

Permutability of normal extensions of a semilattice

LetS be a semigroup;S is said to bepermutable if, for some integern, every product ofn elements ofS can be re-ordered. We prove that every normal extension of a semilattice by an inverse permutable semigroupsis permutable. Also, some properties of permutable groups are extended to inverse semigroups.     

Noether环上的幂稳定自由模

设I是Noether环R的投射理想, I^m=Iⁿ, m≠n. 该文证明, 有限生成投射右R - 模幂稳定自由当且仅当(1) 存在环S使得I^|m-n|( S ( R且有限生成投射S - 模是幂稳定自由; (2) 有限生成投射右R/I^|m-n| - 模幂稳定自由.     

On Automatic Rees Matrix Semigroups

We consider a Rees matrix semigroup S = M[U; I, J; P] over a semigroup U, with I and J finite index sets, and relate the automaticity of S with the automaticity of U. We prove that if U is an automatic semigroup and S is finitely generated then S is an automatic semigroup. If S is an automatic semigroup and there is an entry p in the matrix P such that pU ¹ = U then U is automatic. We also prove that if S is a prefix-automatic semigroup, then U is a prefix-automatic semigroup.     

Theories of linear order

LetT be a complete theory of linear order; the language ofT may contain a finite or a countable set of unary predicates. We prove the following results. (i) The number of nonisomorphic countable models ofT is either finite or 2^ω. (ii) If the language ofT is finite then the number of nonisomorphic countable models ofT is either 1 or 2^ω. (iii) IfS ₁(T) is countable then so isS _n(T) for everyn. (iv) In caseS ₁(T) is countable we find a relation between the Cantor Bendixon rank ofS ₁(T) and the Cantor Bendixon rank ofS _n(T). (v) We define a class of modelsL, and show thatS ₁(T) is finite iff the models ofT belong toL. We conclude that ifS ₁(T) is finite thenT is finitely axiomatizable. (vi) We prove some theorems concerning the existence and the structure of saturated models. Most of the results in this paper appeared in the author’s Master of Science thesis which was prepared at the Hebrew University under the supervision of Professor H. Gaifman.     

Palindromic Width of Finitely Generated Solvable Groups

We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated 3-step solvable group has finite palindromic width. More generally, we show the finiteness of the palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step ≥3, we prove that if G is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of G is finite. We also prove that the palindromic width of ??? with respect to the set of standard generators is 3.     

A characterisation of virtually free groups

We prove that a finitely generated group G is virtually free if and only if there exists a generating set for G and k > 0 such that all k-locally geodesic words with respect to that generating set are geodesic. Received: 30 October 2006     

Indecomposable finitely generated modules over valuation domains

Summary LetR be a valuation domain,S a maximal immediate extension ofR. We introduce the definition of unitary independence. We use units ofS, which are unitarily independent over an ideal ofR, to construct indecomposable finitely generatedR-modules with Goldie dimension greater than one. We prove that, ifR is archimedean, the endomorphism ring of an indecomposable finitely generatedR-module is local. On the other hand, we prove that, ifR is a suitable non archimedean valuation domain, there exist indecomposable finitely generatedR-modulesM such that End (M) is not local.

---

Riassunto SiaR un dominio di valutazione,S un'estensione massimale immediate diR. Si introduce la definizione di indipendenza unitaria. Si usano unità diS unitariamente indipendenti su un ideale diR per costruireR-moduli finitamente generati indecomponibili con dimensione di Goldie maggiore di uno. Si dimostra che, seR è archimedeo, l'anello degli endomorfismi di unR-modulo finitamente generato indecomponibile è locale. Si prova altresì che, seR è un opportuno dominio di valutazione non archimedeo, esistonoR-moduliM finitamente generati indecomponibili, tali che End (M) non è locale.

---

---

Lavoro eseguito nell'ambito del GNSAGA.     

A Ramsey theorem for trees

We prove a Ramsey theorem for trees. The infinite version of this theorem can be stated: if T is a rooted tree of infinite height with each node of T having at least one but finitely many immediate successors, if n is a positive integer, and if the collection of all strongly embedded, height-n subtrees of T is partitioned into finitely many classes, then there must exist a strongly embedded subtree S of T with S having infinite height and with all the strongly embedded, height-n subtrees of S in the same class.     

OnL 2-homology and asphericity

We useL ² methods to show that if a group with a presentation of deficiency one is an extension ofZ by a finitely generated normal subgroup then the 2-complex corresponding to any presentation of optimal deficiency is aspherical and to prove a converse of the Cheeger-Gromov-Gottlieb theorem relating Euler characteristic and asphericity. These results are applied to the Whitehead conjecture, 4-manifolds and 2-knot groups.     

On generators and relations for unions of semigroups

Finite generation and presentability of general unions of semigroups, as well as of bands of semigroups, bands of monoids, semilattices of semigroups and strong semilattices of semigroups, are investigated. For instance, it is proved that a band Y of monoids S _α (α∈ Y ) is finitely generated/presented if and only if Y is finite and all S _α are finitely generated/presented. By way of contrast, an example is exhibited of a finitely generated semigroup which is not finitely presented, but which is a disjoint union of two finitely presented subsemigroups. January 21, 2000     

On finitely generated multiplication modules

We shall prove that if M is a finitely generated multiplication module and Ann(M) is a finitely generated ideal of R, then there exists a distributive lattice M such that Spec(M) with Zariski topology is homeomorphic to Spec(M) to Stone topology. Finally we shall give a characterization of finitely generated multiplication R-modules M such that Ann(M) is a finitely generated ideal of R.     

Gorenstein algebras of finite Cohen-Macaulay type

An Artin algebra A is said to be CM-finite if there are only finitely many isomorphism classes of indecomposable finitely generated Gorenstein-projective A-modules. Inspired by Auslander's idea on representation dimension, we prove that for 2?n<∞, A is a CM-finite n-Gorenstein algebra if and only if there is a resolving Gorenstein-projective A-module E such that gl.dimEndAop(E)?n.     

M-Canonical ideals in integral domains

We prove that a Priifer domain R has an m-canonical ideal J, that is, an ideal I such that J: (I: J) = J for every ideal J of R, if and only if R is h-local with only finitely many maximal ideals that are not finitely generated; moreover, if these conditions are satisfied, then the product of the non-finitely generated maximal ideals is an m-canonical ideal of R     

On uniformly repetitive semigroups

Letk be an integer greater than 1 andS be a finitely generated semigroup. The following propositions are equivalent: 1) the semigroup of non negative integers is not uniformlyk-repetitive; 2) any finitely generated and uniformlyk-repetitive semigroup is finite. As a consequence we prove that any finitely generated and uniformly 4-repetitive semigroup is finite.