Representation dimension and finitely generated cohomology

We consider selfinjective Artin algebras whose cohomology groups are finitely generated over a central ring of cohomology operators. For such an algebra, we show that the representation dimension is strictly greater than the maximal complexity occurring among its modules. This provides a unified approach to computing lower bounds for the representation dimension of group algebras, exterior algebras and Artin complete intersections. We also obtain new examples of classes of algebras with arbitrarily large representation dimension.     

On finitely generated idempotent semigroups

We give two short proofs of the well-known fact that every finitely generated idempotent semigroup is finite.     

Finitely generated permutative varieties

We show that there exists an algorithm which decides whether a finite set of identities containing a permutation identity defines a variety generated by a finite semigroup or not.     

Finitely additive random walks on infinitely generated free groups

We consider any purely finitely additive probability measure supported on the generators of an infinitely generated free group and the Markov strategy with stationary transition probability . As well as for the case of random walks (with countably additive transition probability) on finitely generated free groups, we prove that all bounded sets are transient. Finally, we consider any finitely additive measure (supported on the group generators) and we prove that the classification of the state space depends only on the continuous part of .     

Uncertainty principles in finitely generated shift-invariant spaces with additional invariance

We consider finitely generated shift-invariant spaces (SIS) with additional invariance in L²(R^d)$L^2({\mathbb{R}}^d)$. We prove that if the generators and their translates form a frame, then they must satisfy some stringent restrictions on their behavior at infinity. Part of this work (non-trivially) generalizes recent results obtained in the special case of a principal shift-invariant spaces in L²(R)$L^2(\mathbb{R})$ whose generator and its translates form a Riesz basis.     

When Essential Extensions of Finitely Generated Modules are Finitely Generated

For certain classes 𝒞 of R-modules, including singular modules or modules with locally Krull dimensions, it is investigated when every module in 𝒞 with a finitely generated essential submodule is finitely generated. In case 𝒞 = Mod-R, this means E(M)/M is Noetherian for any finitely generated module M_R. Rings R with latter property are studied and shown that they form a class 𝒬 properly between the class of pure semisimple rings and the class of certain max rings. Duo rings in 𝒬 are precisely Artinian rings. If R is a quasi continuous ring in 𝒬 then R ? A ⊕ T where A is a semisimple Artinian ring and T ∈ 𝒬 with Z(T_T) ≤_ess T_T.     

The finite images of finitely generated groups

Given any sequence of non-abelian finite simple primitive permutationgroups S_n, we construct a finitely generated group G whose profinitecompletion is the infinite permutational wreath product ...S_n S_n–1 ... S₀. It follows that the upper compositionfactors of G are exactly the groups S_n. By suitably choosingthe sequence S_n we can arrange that G has any one of a continuousrange of slow, non-polynomial subgroup growth types. We alsoconstruct a 61-generator perfect group that has every non-abelianfinite simple group as a quotient. 2000 Mathematics SubjectClassification: 20E07, 20E08, 20E18, 20E32.     

Finitely generated subgroups of free profinite groups and of some Galois groups

It is proved that, for a (closed) subgroupH of a free profinite or free prosolvable groupF of rankF>1 such thatH contains a nontrivial composition subgroupN ofF, we have rankF< and [F:H]<.Translated fromMatematicheskie Zametki, Vol. 64, No. 1, pp. 95–106, July, 1998.     

On monomial representations of finitely generated nilpotent groups

A result of Segal states that every complex irreducible representation of a finitely generated nilpotent group G is monomial if and only if G is abelian-by-finite. A conjecture of Parshin, recently proved affirmatively by Beloshapka and Gorchinskii (2016), characterizes the monomial irreducible representations of finitely generated nilpotent groups. This article gives a slightly shorter proof of the conjecture using ideas of Kutzko and Brown. We also give a characterization of the finite-dimensional irreducible representations of two-step nilpotent groups and describe these completely for two-step groups whose center has rank one.     

Metric spaces are universal for bi-interpretation with metric structures

In the context of metric structures introduced by Ben Yaacov, Berenstein, Henson, and Usvyatsov [3], we exhibit an explicit encoding of metric structures in countable signatures as pure metric spaces in the empty signature, showing that such structures are universal for bi-interpretation among metric structures with positive diameter. This is analogous to the classical encoding of arbitrary discrete structures in finite signatures as graphs, but is stronger in certain ways and weaker in others. There are also certain fine grained topological concerns with no analog in the discrete setting.     

Finitely generated relatively universal varieties of Heyting algebras

Given distinct varieties and of the same type, we say that is relatively -universal if there exists an embedding :K from a universal categoryK such that for every pairA, B ofK-objects, a homomorphismf:A B has the formf=_g for someK-morphismg:A B if and only if Im(f) . Finitely generated relatively -universal varieties of Heyting algebras are described for the variety of Boolean algebras, the variety generated by a three element chain, and for the variety generated by the four element Boolean algebra with an added greatest element.Dedicated to the memory of Alan DayPresented by J. Sichler.The support of the NSERC is gratefully acknowledged.     

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.     

Universally generic finitely generated ordered Abelian groups

It is shown that a finitely generated ordered Abelian group is generic if and only if it is superdiscrete, i.e., each homomorphic image is discretely ordered. The forcing concept uses universal sentences as forcing conditions.     

On linearity of finitely generated R-analytic groups

In this paper we prove that if R is a commutative Noetherian local pro-p domain of characteristic 0, then every finitely generated R-standard group is linear. This work has been partially supported by the FEDER, the MEC Grant MTM2004-04665 and the Ramón y Cajal Program.     

Cumulants are universal homomorphisms into Hausdorff groups

This is a contribution to the theory of sums of independent random variables at an algebraico-analytical level: Let Prob denote the convolution semigroup of all probability measures on with all moments finite, topologized by polynomially weighted total variation. We prove that the cumulant sequence regarded as a function from Prob into the additive topological group ofall real sequences, is universal among continuous homomorphisms from Prob into Hausdorff topological groups, in the usual sense that every other such homomorphism factorizes uniquely through . An analogous result, referring to just the first cumulants,holds for the semigroup of all probability measures with existing rth moments. In particular, there is no nontrivial continuous homomorphism from the convolution semigroup of all probability measures, topologized by the total variation metric, into any Hausdorff topological group.Mathematics Subject Classification (2000): 60B15, 60E10, 60G50     

Covering the Baire space by families which are not finitely dominating

It is consistent (relative to ZFC) that each union of many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter , the cofinality of the reduced ultrapower is greater than . The model is constructed by oracle chain condition forcing, to which we give a self-contained introduction.     

Elementary equivalence of rings with finitely generated additive groups

We give algebraic characterizations of elementary equivalence between rings with finitely generated additive groups. They are similar to those previously obtained for finitely generated nilpotent groups. Here, the rings are not supposed associative, commutative or unitary.