Related papers: Cellular objects and Shelah's singular compactness…
We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of…
We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…
We classify the locally compact second-countable (l.c.s.c.) groups $A$ that are abelian and topologically characteristically simple. All such groups $A$ occur as the monolith of some soluble l.c.s.c. group $G$ of derived length at most $3$;…
For $K$ an abstract elementary class with amalgamation and no maximal models, we show that categoricity in a high-enough cardinal implies structural properties such as the uniqueness of limit models and the existence of good frames. This…
Torsion theories are a pinnacle in the theory of abelian categories. They are a generalization of torsion abelian groups and in this generalization one of the most studied is that whose torsionfree class consists of nonsingular modules. To…
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…
We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…
Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on…
Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…
Let A be a finite dimensional symmetric cllular algebras. We construct a nilpotent ideal in A. The ideal connects the radicals of cell modules with the radical of the algebra. It also reveals some information on the dimensions of simple…
It was proved that for any finite set of elements of a free product of residually finite groups such that no two of them belong to conjugate cyclic subgroups and each of them do not belong to a subgroup which is conjugate a to free factor…
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah's Categoricity Conjecture in this…
The Countable Telescope Conjecture arose in the framework of stable homotopy theory, as a tool conceived to study the chromatic filtration. It turned out, however, to trigger extremely fertile research within the framework of Module…
A graph $G$ is called well-covered if all maximal independent sets of vertices have the same cardinality. A simplicial complex $\Delta$ is called pure if all of its facets have the same cardinality. Let $\mathcal G$ be the class of graphs…
For those deformations that satisfy a certain non-degeneracy condition, we describe the structure of certain simple modules of the deformations of the subcharacter algebra of a finite group. For finite abelian groups, we prove that the…
In this paper we adapt the notion of the nucleus defined by Benson, Carlson, and Robinson to compact Lie groups in non-modular characteristic. We show that it describes the singularities of the projective scheme of the cohomology of its…
We describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of…
For a cellular algebra $\A$ with a cellular basis $\ZC$, we consider a decomposition of the unit element $1_\A$ into orthogonal idempotents (not necessary primitive) satisfying some conditions. By using this decomposition, the cellular…
Let \lambda be a cardinal with \lambda=\lambda^{\aleph_0} and p be either 0 or a prime number. We show that there are fields K_0 and K_1 of cardinality \lambda and characteristic p such that the automorphism group of K_0 is a free group of…