Search

Abstract: Given a subroup G of a stable (in the model-theoric sense) group Γ, in particular when Γ is a group of finite Morley rank, the traces on G of the definable subsets of Γ have a remarkable property: if the definable closure of G is connected, they are either supergeneric, or supergenerically complemented, in the sense of the definition given at the very beginning of this paper. An example of this situation is provided by the linear groups: for some n, G is a subgroup of , where K is a field that we may take algebraically closed; the definable sets in the sense of are its constructible subsets, i.e. the boolean combinations of a finite number of its Zariski closed subsets. For any group G, the supergeneric subsets of G form a filter of large sets, which, to my best knowledge, is defined here for the first time. This paper undertakes the study of supergenericity in a general context, with no hypotheses of a model-theoric nature, but with a special attention given to the very specific properties of genericity possessed by the definable subsets of a stable group. It can be read without any knowledge of Logic, provided that one is ready to skip the proofs of the theorems showing precisely that these definable sets have these properties. [Copyright &y& Elsevier]

Abstract: In this paper, we first characterize the subsets of the Bruhat–Tits tree of , K a complete valued field, that are the sets of fixed points of a subgroup G of . When G is irreducible, the are the “strips” in the tree. We then evaluate the form of the strip , in particular in terms of algebraic invariants of the group G. We give two applications to representation theory, one about a new generalization of Ribet's lemma on extensions, the other about the trace-convergence of a sequence of representations. [Copyright &y& Elsevier]

Abstract: Let n be a positive integer. We say that a group G satisfies the condition , if every set of elements of G contains a pair such that , for some positive integer k. In this paper, we study finite groups G satisfying this condition. In particular, if G is a finitely generated soluble group, then , where is the hypercentre of G. [Copyright &y& Elsevier]