Source author record

Saul D. Freedman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RT

Catalog footprint

Research overview

4works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Spreading primitive groups of diagonal type do not exist

The synchronisation hierarchy of finite permutation groups consists of classes of groups lying between 2-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of diagonal type exists. As part of our proof, we show that all non-abelian finite simple groups, other than six sporadic groups, have a transitive action in which a proper normal subgroup of a point stabiliser is supplemented by all corresponding two-point stabilisers.

preprint2020arXiv

On $p$ -groups with automorphism groups related to the exceptional Chevalley groups

Let $\hat G$ be the finite simply connected version of an exceptional Chevalley group, and let $V$ be a nontrivial irreducible module, of minimal dimension, for $\hat G$ over its field of definition. We explore the overgroup structure of $\hat G$ in $\mathrm{GL}(V)$ , and the submodule structure of the exterior square (and sometimes the third Lie power) of $V$ . When $\hat G$ is defined over a field of odd prime order $p$ , this allows us to construct the smallest (with respect to certain properties) $p$ -groups $P$ such that the group induced by $\mathrm{Aut}(P)$ on $P/Φ(P)$ is either $\hat G$ or its normaliser in $\mathrm{GL}(V)$ .

preprint2020arXiv

The non-commuting, non-generating graph of a nilpotent group

For a nilpotent group $G$ , let $Ξ(G)$ be the difference between the complement of the generating graph of $G$ and the commuting graph of $G$ , with vertices corresponding to central elements of $G$ removed. That is, $Ξ(G)$ has vertex set $G \setminus Z(G)$ , with two vertices adjacent if and only if they do not commute and do not generate $G$ . Additionally, let $Ξ^+(G)$ be the subgraph of $Ξ(G)$ induced by its non-isolated vertices. We show that if $Ξ(G)$ has an edge, then $Ξ^+(G)$ is connected with diameter $2$ or $3$ , with $Ξ(G) = Ξ^+(G)$ in the diameter $3$ case. In the infinite case, our results apply more generally, to any group with every maximal subgroup normal. When $G$ is finite, we explore the relationship between the structures of $G$ and $Ξ(G)$ in more detail.

preprint2019arXiv

On $p$ -groups with automorphism groups related to the Chevalley group $G_2(p)$

Let $p$ be an odd prime. We construct a $p$ -group $P$ of nilpotency class two, rank seven and exponent $p$ , such that $\mathrm{Aut}(P)$ induces $N_{\mathrm{GL}(7,p)}(G_2(p)) = Z(\mathrm{GL}(7,p)) G_2(p)$ on the Frattini quotient $P/Φ(P)$ . The constructed group $P$ is the smallest $p$ -group with these properties, having order $p^{14}$ , and when $p = 3$ , our construction gives two nonisomorphic $p$ -groups. To show that $P$ satisfies the specified properties, we study the action of $G_2(q)$ on the octonion algebra over $\mathbb{F}_q$ , for each power $q$ of $p$ , and explore the reducibility of the exterior square of each irreducible seven-dimensional $\mathbb{F}_q[G_2(q)]$ -module.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Saul D. Freedman

Research overview

Is this your work?

4 publications

Spreading primitive groups of diagonal type do not exist

On $p$ -groups with automorphism groups related to the exceptional Chevalley groups

The non-commuting, non-generating graph of a nilpotent group

On $p$ -groups with automorphism groups related to the Chevalley group $G_2(p)$

See the researcher in context

Building this map preview

Saul D. Freedman

Research overview

Is this your work?

4 publications

Spreading primitive groups of diagonal type do not exist

On ppp-groups with automorphism groups related to the exceptional Chevalley groups

The non-commuting, non-generating graph of a nilpotent group

On ppp-groups with automorphism groups related to the Chevalley group G2(p)G_2(p)G2​(p)

See the researcher in context

Building this map preview

On $p$ -groups with automorphism groups related to the exceptional Chevalley groups

On $p$ -groups with automorphism groups related to the Chevalley group $G_2(p)$