BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Simon A. King contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a non-commutative version of the F5 algorithm, namely for right-modules over path algebra quotients. It terminates, if the path algebra quotient is a basic algebra. In addition, we use the F5 algorithm in negative degree monomial orderings to compute Loewy layers.
We introduce and investigate notions of persistent homology for p-groups and for coclass trees of p-groups. Using computer techniques we show that persistent homology provides fairly strong homological invariants for p-groups of order at most 81. The strength of these invariants, and some elementary theoretical properties, suggest that persistent homology may be a useful tool in the study of prime-power groups.
We describe the computation of the mod-2 cohomology rings of all 2328 groups of order 128. One consequence is that all groups of order less than 256 satisfy the strong form of Benson's Regularity Conjecture.
By explicit machine computation we obtain the mod-2 cohomology ring of the third Conway group Co_3. It is Cohen-Macaulay, has dimension 4, and is detected on the maximal elementary abelian 2-subgroups.
We introduce a numerical isomorphism invariant p(T) for any triangulation T of S^3. Although its definition is purely topological (inspired by the bridge number of knots), p(T) reflects the geometric properties of T. Specifically, if T is polytopal or shellable then p(T) is `small' in the sense that we obtain a linear upper bound for p(T) in the number n=n(T) of tetrahedra of T. Conversely, if p(T) is `small' then T is `almost' polytopal, since we show how to transform T into a polytopal triangulation by O((p(T))^2) local subdivisions. The minimal number of local subdivisions needed to transform T into a polytopal triangulation is at least $\frac{p(T)}{3n}-n-2$. Using our previous results [math.GT/0007032], we obtain a general upper bound for p(T) exponential in n^2. We prove here by explicit constructions that there is no general subexponential upper bound for p(T) in n. Thus, we obtain triangulations that are `very far' from being polytopal. Our results yield a recognition algorithm for S^3 that is conceptually simpler, though somewhat slower, as the famous Rubinstein-Thompson algorithm.