Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz’s construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occurring in the associated topological groupoid.

We present, given an odd integer d, a decomposition of the multiset of bar lengths of a bar partition λ as the union of two multisets, one consisting of the bar lengths in its d-core partition cd(λ) and the other consisting of modified bar lengths in its d-quotient partition. In particular, we obtain that the multiset of bar lengths in cd(λ) is a sub-multiset of the multiset of bar lengths in λ. Also, we obtain a relative bar formula for the degrees of spin characters of the Schur extensions of . The proof involves a recent similar result for partitions, proved by Bessenrodt and the authors.

This is a report on recent work of Chałupnik and Touzé. We explain the Koszul duality for the category of strict polynomial functors and make explicit the underlying monoidal structure which seems to be of independent interest. Then we connect this to Ringel duality for Schur algebras and describe Serre duality for strict polynomial functors.

The $p$-length of a finite $p$-soluble group is an important invariant parameter. The well-known Hall–Higman $p$-length theorem states that the $p$-length of a $p$-soluble group is bounded above by the nilpotent class of its Sylow $p$-subgroups. In this paper, we improve this result by giving a better estimation on the $p$-length of a $p$-soluble group in terms of other invariant parameters of its Sylow $p$-subgroups.

We show that every non-elementary hyperbolic group $\G $ admits a proper affine isometric action on $L^p(\bd \G \times \bd \G )$, where $\bd \G $ denotes the boundary of $\G $ and $p$ is large enough. Our construction involves a $\G $-invariant measure on $\bd \G \times \bd \G $ analogous to the Bowen–Margulis measure from the ${\rm CAT}(-1)$ setting, as well as a geometric, Busemann-type cocycle. We also deduce that $\G $ admits a proper affine isometric action on the first $\ell ^p$-cohomology group $H^1_{(p)}(\G )$ for large enough $p$.

We characterize the abelian groups $G$ for which the functors $\mathrm{Ext} (G, - )$ or $\mathrm{Ext} (- , G)$ commute with or invert certain direct sums or direct products.

Towards an involutive analogue of a result on the semisimplicity of ${\ell }^{1} (S)$ by Hewitt and Zuckerman, we show that, given an abelian $\ast $-semigroup $S$, the commutative convolution Banach $\ast $-algebra ${\ell }^{1} (S)$ is $\ast $-semisimple if and only if Hermitian bounded semicharacters on $S$ separate the points of $S$; and we search for an intrinsic separation property on $S$ equivalent to $\ast $-semisimplicity. Very many natural involutive analogues of Hewitt and Zuckerman’s separation property are shown not to work, thereby exhibiting intricacies involved in analysis on $S$.

The commutativity degree of a finite group is the probability that two randomly chosen group elements commute. The object of this paper is to compute the commutativity degree of a class of finite groups obtained by semidirect product of two finite abelian groups. As a byproduct of our result, we provide an affirmative answer to an open question posed by Lescot.

Let ${ \mathcal{T} }_{X} $ be the full transformation semigroup on a set $X$ and $E$ be a nontrivial equivalence relation on $X$. Denote

$$\begin{eqnarray*}{T}_{\exists } (X)= \{ f\in { \mathcal{T} }_{X} : \forall x, y\in X, (f(x), f(y))\in E\Rightarrow (x, y)\in E\} ,\end{eqnarray*}$$

${T}_{\exists } (X)$

${ \mathcal{T} }_{X} $

${T}_{\exists } (X)$

Let $G$ be a finite $p$-solvable group and let ${G}^{\ast } $ be the set of elements of primary and biprimary orders of $G$. Suppose that the conjugacy class sizes of ${G}^{\ast } $ are $\{ 1, {p}^{a} , n, {p}^{a} n\} $, where the prime $p$ divides the positive integer $n$ and ${p}^{a} $ does not divide $n$. Then $G$ is, up to central factors, a $\{ p, q\} $-group with $p$ and $q$ two distinct primes. In particular, $G$ is solvable.

Bob Oliver conjectures that if p is an odd prime and S is a finite p-group, then the Oliver subgroup contains the Thompson subgroup Je(S). A positive resolution of this conjecture would give the existence and uniqueness of centric linking systems for fusion systems at odd primes. Using the ideas and work of Glauberman, we prove that if p ≥ 5, G is a finite p-group, and V is an elementary abelian p-group which is an F-module for G, then there exists a quadratic offender which is 2-subnormal (normal in its normal closure) in G. We apply this to show that Oliver's Conjecture holds provided that the quotient has class at most log2(p − 2) + 1, or p ≥ 5 and G is equal to its own Baumann subgroup.

We find conditions which imply that a saturated fusion system over a product of 2-groups splits as a product of fusion systems over the factors.

We develop a theory of 2-fusion systems of even characteristic, and use that theory to show that all S3-free saturated 2-fusion systems are constrained. This supplies a new proof of Glauberman's Theorem on S4-free groups and its various corollaries.

For any finite group G, we impose an algebraic condition, the Gnil-coset condition, and prove that any finite Oliver group G satisfying the Gnil-coset condition has a smooth action on some sphere with isolated fixed points at which the tangent G-modules are not isomorphic to each other. Moreover, we prove that, for any finite non-solvable group G not isomorphic to Aut(A6) or PΣL(2, 27), the Gnil-coset condition holds if and only if rG ≥ 2, where rG is the number of real conjugacy classes of elements of G not of prime power order. As a conclusion, the Laitinen Conjecture holds for any finite non-solvable group not isomorphic to Aut(A6).

We study bounds on nilpotence in H*(BG), the mod p cohomology of the classifying space of a compact Lie group G. Part of this is a report of our previous work on this problem, updated to reflect the consequences of Peter Symonds's recent verification of Dave Benson's Regularity Conjecture. New results are given for finite p-groups, leading to good bounds on nilpotence in H*(BP) determined by the subgroup structure of the p-group P.

After summarizing from previous papers the definitions of the concepts associated with nets, i.e. triples of 6-transpositions in the Monster up to braiding, we give some results.

The well-known fiber dimension theorem in algebraic geometry says that for every morphism f:X→Y of integral schemes of finite type the dimension of every fiber of f is at least dim X−dim Y. This has recently been generalized by Brosnan, Reichstein and Vistoli to certain morphisms of algebraic stacks f:𝒳→𝒴, where the usual dimension is replaced by essential dimension. We will prove a general version for morphisms of categories fibered in groupoids. Moreover, we will prove a variant of this theorem, where essential dimension and canonical dimension are linked. These results let us relate essential dimension to canonical dimension of algebraic groups. In particular, using the recent computation of the essential dimension of algebraic tori by MacDonald, Meyer, Reichstein and the author, we establish a lower bound on the canonical dimension of algebraic tori.

We revise the matching algorithm of Noeske (LMS J. Comput. Math. 11 (2008) 213–222) and introduce a new approach via composition series to expedite the calculations. Furthermore, we show how the matching algorithm may be applied in the more general and frequently occurring setting that we are only given subalgebras of the condensed algebras which each contain the separable algebra of one of their Wedderburn–Malcev decompositions.

We identify the groups ${\text{PSU} }_{6} (2)$, ${\text{PSU} }_{6} (2){: }2$, ${\text{PSU} }_{6} (2){: }3$ and $\text{Aut} ({\text{PSU} }_{6} (2))$ from the structure of the centralizer of an element of order three.

Let $w$ be a multilinear commutator word. We prove that if $e$ is a positive integer and $G$ is a finite group in which any nilpotent subgroup generated by $w$-values has exponent dividing $e$, then the exponent of the corresponding verbal subgroup $w(G)$ is bounded in terms of $e$ and $w$only.