Related papers: Realising fusion systems

Let $S$ be a semigroup. The elements $a,b\in S$ are called primarily conjugate if $a=xy$ and $b=yx$ for certain $x,y\in S$. The relation of conjugacy is defined as the transitive closure of the relation of primary conjugacy. In the case…

Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest…

We study the structure of discrete subgroups of the group $G[[r]]$ of complex formal power series under the operation of composition of series. In particular, we prove that every finitely generated fully residually free group is embeddable…

Given a finitely generated group $G$ that is relatively finitely presented with respect to a collection of peripheral subgroups, we prove that every infinite subgroup $H$ of $G$ that is bounded in the relative Cayley graph of $G$ is…

We prove the Identity Theorem for pro-$p$-groups with a single defining relation giving a positive feedback to a question of Serre on the structure of relation modules. A construction of "conjurings" indicates finality of our result in a…

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology…

In this paper, it is proved that every topological gyrogroup $G$ is topologically groupoid isomorphic to a closed subgyrogroup of a connected, locally connected topological gyrogroup $G^{\bullet}$.

We prove here that with a very small number of exceptions, when $G$ is a sporadic simple group and $p$ is a prime such that the Sylow $p$-subgroups of $G$ are nonabelian, then $Out(G)$ is isomorphic to the outer automorphism groups of the…

We prove that there exists a universal constant $D$ such that if $p$ is a prime divisor of the index of the Fitting subgroup of a finite group $G$, then the number of conjugacy classes of G is at least $Dp/log_2 p$. We conjecture that we…

A homographic map in the field of $p$-adic numbers $\mathbb{Q}_p}$ is studied as a dynamical system on $\mathbb{P}^{1}(\mathbb{Q}_p)$, the projective line over $\mathbb{Q}_p$. If such a system admits one or two fixed points in…

Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the…

Given a fusion system $\mathcal{F}$ defined on a $p$-group $S$, there exist infinite group models, constructed by Leary and Stancu, and Robinson, that realize $\mathcal{F}$. We study these models when $\mathcal{F}$ is a fusion system of a…

Let $G$ be a countable discrete group. We give a necessary and sufficient condition for a transitive $G$-system to be disjoint with all minimal $G$-systems, which implies that if a transitive $G$-system is disjoint with all minimal…

Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to…

Glauberman's $Z^*$-theorem and analogous statements for odd primes show that, for any prime $p$ and any finite group $G$ with Sylow $p$-subgroup $S$, the centre of $G/O_{p^\prime}(G)$ is determined by the fusion system $\mathcal{F}_S(G)$.…

Let $G$ be a finite group and $H$ be a subgroup of $G$. Then $H$ is called a weakly $S\Phi$-supplemented subgroup of $G$, if there exists a subgroup $T$ of $G$ such that $G =HT$ and $H \cap T \leq \Phi (H) H_{sG}$, where $H_{sG}$ denotes…

To any block idempotent $b$ of a group algebra $kG$ of a finite group $G$ over a field $k$ of characteristic $p>0$, Puig associated a fusion system and proved that it is saturated if the $k$-algebra $kC_G(P)e$ is split, where $(P,e)$ is a…

A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental…

We give an algebraic proof for a theorem of Mislin in the case of cohomology of saturated fusion systems defined on p-groups when p is odd. Some applications of this theorem to block algebras of finite groups are also given.

This is a survey of two papers joint with A. Borisov and a paper joint with I. Spakulova. It is based on my lectures at the conference "Groups St. Andrews 2009", Bath (August 2009). We prove that almost all 1-related groups with at least 3…