We obtain a criterion for quasiconvexity of a subgroup of an amalgamated free product of two word hyperbolic groups along a virtually cyclic subgroup. The result provides a method of constructing new word hyperbolic group in class (Q), that is such that all their finitely generated subgroups are quasiconvex. It is known that free groups, hyperbolic surface groups and most 3-dimensional Kleinian...

We believe that the study of the notions of universal algebra modelled in an arbitarry topos rather than in the category of sets provides a deeper understanding of the real features of the algebraic notions. [2], [3], [4], [S], [6], [7], [13], [14] are some examples of this approach. The lattice Id(L) of ideals of a lattice L (in the category of sets) is an important ingredient of the categ...

In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly the Rees algebra R(I) in terms of generators and relations we map another Rees ring R(M) onto it, where M is the direct sum of powers of m. We compute a Gröbne...

Theorem. A commutative B*-algebra K containing an identity e (with \\k*-k\\ =\\k\\2for all &GP and ||e|| =1) is isomorphic (in a norm and * preserving manner) to an algebra B(X) of all bounded complexvalued functions on an essentially unique set X if and only if: (1) Every nonzero closed ideal of K contains a minimal ideal; (2) The sum of two annulets is an annulet. An annulet is here understoo...

In this paper we compute the deformation theory of a special class of algebras, namely of Azumaya algebras on a manifold (C or complex analytic). Deformation theory of associative algebras was initiated by Gerstenhaber in [G]. A deformation of an associative algebra A over an Artinian ring a is an a-linear associative algebra structure on A⊗ a such that, for the maximal ideal m of a, A ⊗ m is a...

We show that the minimal cardinality of a dense subset of the measure algebra is the same as the minimal cardinality of a base of the ideal of Lebesgue measure zero subsets of the real line. 0. Introduction. Let (F, <) be a given partial ordering. A subset D ç P is called dense if for any p g F there exists d g D such that d < p. A subset D is called upward dense if D is dense in (F, > ). Let A...

Let F be a free Lie algebra of finite rank over a field K. We prove that if an ideal [Formula: see text] of the algebra [Formula: see text] contains a primitive element [Formula: see text] then the element [Formula: see text] is primitive. We also show that, in the Lie algebra [Formula: see text] there exists an element [Formula: see text] such that the ideal [Formula: see text] contains a prim...

The canonical trace on the reduced C∗-algebra of a discrete group gives rise to a homomorphism from the K-theory of this C∗-algebra to the real numbers. This paper addresses the range of this homomorphism. For torsion free groups, the Baum-Connes conjecture and Atiyah’s L-index theorem implies that the range consists of the integers. If the group is not torsion free, Baum and Connes conjecture ...

The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I . We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed th...