Hilbert space compression and exactness of discrete groups

We show that the Hilbert space compression of any (unbounded) finite-dimensional CAT(0) cube complex is 1 and deduce that any finitely generated group acting properly, co-compactly on a CAT(0) cube complex is exact, and hence has Yu's Property A. The class of groups covered by this theorem includes free groups, finitely generated Coxeter groups, finitely generated right angled Artin groups, finitely presented groups satisfying the B(4)-T(4) small cancellation condition and all those word-hyperbolic groups satisfying the B(6) condition. Another family of examples is provided by certain canonical surgeries defined by link diagrams.     

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 Hilbert-Nagata theorem in noncommutative invariant theory

Nagata gave a fundamental sufficient condition on group actions on finitely generated commutative algebras for finite generation of the subalgebra of invariants. In this paper we consider groups acting on noncommutative algebras over a field of characteristic zero. We characterize all the T-ideals of the free associative algebra such that the algebra of invariants in the corresponding relatively free algebra is finitely generated for any group action from the class of Nagata. In particular, in the case of unitary algebras this condition is equivalent to the nilpotency of the algebra in Lie sense. As a consequence we extend the Hilbert-Nagata theorem on finite generation of the algebra of invariants to any finitely generated associative algebra which is Lie nilpotent. We also prove that the Hilbert series of the algebra of invariants of a group acting on a relatively free algebra with a non-matrix polynomial identity is rational, if the action satisfies the condition of Nagata.

     

关于L2(Rd)中仿射子空间小波标架的一个注记

研究了L2(Rd)的有限生成仿射子空间中小波标架的构造.证明了任意有限生成仿射子空间都容许一个具有有限多个生成元的Parseval小波标架,并且得到了仿射子空间是约化子空间的一个充分条件.对其傅里叶变换是一个特征函数的单个函数生成的仿射子空间,得到了与小波标架构造相关的投影算子在傅里叶域上的明确表达式,同时也给出了一些例子.     

Module valuations and representation theory of orders I: Algebraic aspects

ABSTRACT

In this article, we study finitely generated reflexive modules over coherent GCD-domains and finitely generated projective modules over polynomial rings. In particular, we give a sufficient condition for a finitely generated reflexive module over a coherent GCD-domain to be a free module. By use of this result, we prove that every finitely generated projective R + [X]-module can be extended from R if R is a commutative ring with gl.dim(R) ≤ 2.     

On Presentations of Bruck–Reilly Extensions

We first consider the class of monoids in which every left invertible element is also right invertible, and prove that if a monoid belonging to this class admits a finitely presented Bruck–Reilly extension then it is finitely generated. This allow us to obtain necessary and sufficient conditions for the Bruck–Reilly extensions of this class of monoids to be finitely presented. We then prove that thes 𝒟-classes of a Bruck–Reilly extension of a Clifford monoid are Bruck–Reilly extensions of groups. This yields another necessary and sufficient condition for these Bruck–Reilly extensions to be finitely generated and presented. Finally, we show that a Bruck–Reilly extension of a Clifford monoid is finitely presented as an inverse monoid if and only if it is finitely presented as a monoid, and that this property cannot be generalized to Bruck–Reilly extensions of arbitrary inverse monoids.     

A counterexample to the paper ��Weakly associated primes and primary decomposition of modules over commutative rings��

In this note we will show that finitely generated condition is necessary in Theorem 1.2 of the above mentioned paper.     

On coatoms in lattices of quasivarieties of algebraic systems

It is found the necessary condition for the lattice of quasivarieties has a finite set of coatoms. In particular if a quasivariety is generated by a finitely generated abelian-by-polycyclic-by-finite group or a totally ordered group then it has a finite set of proper maximal subquasivarieties. Also it is proved that the set of quasiverbal congruence relations of a finitely defined universal algebra is closed under any meets. Received March 23, 1999; accepted in final form June 7, 1999.     

Groups with Maximality Condition for Nonhypercentral Subgroups

We obtain a characterization of not finitely generated groups with maximality condition for nonhypercentral (respectively, nonnilpotent) subgroups.     

SEPARABILITY CONDITIONS IN ACTS OVER MONOIDS

We discuss residual finiteness and several related separability conditions for the class of monoid acts, namely weak subact separability, strong subact separability and complete separability. For each of these four separability conditions, we investigate which monoids have the property that all their (finitely generated) acts satisfy the condition. In particular, we prove that: all acts over a finite monoid are completely separable (and hence satisfy the other three separability conditions); all finitely generated acts over a finitely generated commutative monoid are residually finite and strongly subact separable (and hence weakly subact separable); all acts over a commutative idempotent monoid are residually finite and strongly subact separable; and all acts over a Clifford monoid are strongly subact separable.

     

Groups with a maximality condition for some non-normal subgroups

We describe (generalized) soluble-by-finite groups in which the set of non-normal subgroups which are not finitely generated satisfies the maximal condition.     

On Finite Basis Property for Joins of Varieties of Associative Rings

If all finitely generated rings in a variety of associative rings satisfy the ascending chain condition on two-sided ideals, the variety is called locally weak noetherian. If there is an upper bound on nilpotency indices of nilpotent rings in a variety, the variety is called a finite index variety. We prove that the join of a finitely based locally weak noetherian variety and a variety of finite index is also finitely based and locally weak noetherian. One consequence of this result is that if an associative ring variety is connected by a finite path in the lattice of all associative ring varieties to a finitely based locally weak noetherian variety then such variety is also finitely based and locally weak noetherian.     

An Example of a Quasigroup with a Distributive Subquasigroup Lattice

We first show (using ideas from Pióro, in Quasigroups Relat Syst 15:309–316, 2007) that if a finitely generated quasigroup or more general, an algebra satisfying some quasigroup-like condition, A has a distributive subalgebra lattice and satisfies the descending chain condition for finitely generated subalgebras, then A is cyclic (i.e. has one generator). But the main aim of the paper is to construct a two-generated non-cyclic quasigroup with a distributive subquasigroup lattice (as a part of this construction we will obtain an analogous example for groupoids). Thus distributivity of subquasigroup lattice is an essentially weaker condition than in the case of groups (it is well-know that such groups are locally cyclic).     

Engel conditions and symmetric tensors

In a recent study of Engel Lie rings, Serena Cicalò and Willem de Graaf have given a practical set of conditions for an additively finitely generated Lie ring L to satisfy an Engel condition. We present a simpler and more direct proof of this fact. Our main result generalizes this in the language of tensor algebra, and describes a relatively small generating set for the module generated by all n-th tensor powers of elements of a finitely generated ?-module M, in terms of a generating set for M.     

Subgroup properties of fully residually free groups

We prove that fully residually free groups have the Howson property, that is the intersection of any two finitely generated subgroups in such a group is again finitely generated. We also establish some commensurability properties for finitely generated fully residually free groups which are similar to those of free groups. Finally we prove that for a finitely generated fully residually free group the membership problem is solvable with respect to any finitely generated subgroup.

     

Locally nilpotent groups with the centralizers satisfying a finiteness condition

Locally nilpotent groups, in which the centralizer of a certain finitely generated subgroup satisfies a certain finiteness condition, are studied. It is proved that if a locally nilpotent group contains a finitely generated subgroup F such that C_G(F) has finite rank, then the center of G is nontrivial.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, Nos. 7 and 8, pp. 1084–1087, July–August, 1991.     

关于MHR-环的一个问题

ＭＨＲ－环指的是其主右理想适合极小条件的环．本文的环指的是结合环，未必有单位元． Ｆ．Ａ．Ｓｚａｓｚ在他的专著“Ｒａｄｉｃａｌ　ｏｆ　Ｒｉｎｇｓ”［１］中提出一系列问题，其中第３１问题是：是否存在一个诣零ＭＨＲ－环（或任意ＭＨＲ－环），其有限生成右理想不适合极小条件？本文证明了：任意一个ＭＨＲ－环其有限生成右理想均适合极小条件．从而给出了Ｆ．Ａ．Ｓｚａｓｚ第３１问题的完全解答．     

A remark on banks theorem

ABSTRACT

For discrete autonomous dynamical systems, it was found that in the three conditions defining Devaney chaos, topological transitivity and dense periodic points together imply sensitive dependence on initial condition (Banks, Brooks, Cairns, Davis and Stacey, On Devaney's definition of chaos, The Amer. Math. Monthly 99 (1992), pp. 332–334). In this paper, we give the definition of finitely generated non-autonomous dynamical systems (NADS) and generalize the Banks et al. theorem to the finitely generated NADS.     

A Generalized Dade’s Lemma for Local Rings

We prove a generalized Dade’s Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient (and necessary) condition for the vanishing of all higher Ext or Tor of the modules. This condition involves the vanishing of all higher Ext or Tor of the modules over all quotients by a minimal generator of the ideal generated by the regular sequence.     

Symmetric generation of Coxeter groups

We provide involutory symmetric generating sets of finitely generated Coxeter groups, fulfilling a suitable finiteness condition, which in particular is fulfilled in the finite, affine and compact hyperbolic cases.