Computational group theory. Abstracts from the workshop held August 15--21, 2021 (hybrid meeting)

DOI10.4171/OWR/2021/38zbMath1506.00067OpenAlexW4310084182MaRDI QIDQ2693019

No author found.

Publication date: 17 March 2023

Published in: Oberwolfach Reports (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4171/owr/2021/38

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Topological methods in group theory (57M07) Proceedings, conferences, collections, etc. pertaining to group theory (20-06) Collections of abstracts of lectures (00B05) Decidability of theories and sets of sentences (03B25) Algebraic combinatorics (05Exx)

Uses Software

• GAP
• Magma
• nauty
• CHEVIE
• GRAPE
• Traces
• GitHub
• images
• GraphBacktracking

Cites Work

• Normalisers of primitive permutation groups in quasipolynomial time
• On the Weisfeiler-Leman Dimension of Finite Groups
• Normalizes and permutational isomorphisms in simply-exponential time
• Computation of Galois groups of rational polynomials
• The Character Theory of Finite Groups of Lie Type
• On the Saxl graph of a permutation group
• Membership Problem for the Modular Group
• On the n^{log n} isomorphism technique (A Preliminary Report)
• A variant of a recursively unsolvable problem
• Schur's exponent conjecture - counterexamples of exponent $5$ and exponent $9$
• Marked PCP is decidable
• Jacobians of genus one curves
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Post correspondence problem in groups.
• A fast isomorphism test for groups whose Lie algebra has genus 2
• A height gap theorem for finite subsets of \(\mathrm{GL}_{d}(\overline{\mathbb{Q}})\) and nonamenable subgroups
• On minimal degrees and base sizes of primitive permutation groups
• Variations on the post correspondence problem for free groups
• Tackling the generation problem in condensation.
• Sharply 3-transitive groups.
• Uniform independence in linear groups.
• Subgroups of direct products of limit groups.
• Topology of finite graphs
• Permutation group algorithms based on partitions. I: Theory and algorithms
• Graph isomorphism, general remarks
• On the orders of directly indecomposable groups
• The finiteness conjecture for the generalized spectral radius of a set of matrices
• The generalized spectral radius and extremal norms
• The Magma algebra system. I: The user language
• Inequalities for numerical invariants of sets of matrices
• Automorphism group computation and isomorphism testing in finite groups
• Fibre products, non-positive curvature, and decision problems
• Sharply 2-transitive groups of characteristic 0
• Minimal and canonical images
• New refiners for permutation group search
• The \(p\)-group generation algorithm
• Sets of primes determined by systems of polynomial congruences
• Matroids, motives, and a conjecture of Kontsevich.
• CHEVIE -- A system for computing and processing generic character tables
• Non-PORC behaviour of a class of descendant \(p\)-groups.
• Symplectic singularities
• On the joint spectral radius for isometries of non-positively curved spaces and uniform growth
• Strong external difference families in abelian and non-abelian groups
• Permutation group algorithms based on directed graphs
• Groups whose orders factorise into at most four primes
• Base sizes of primitive permutation groups
• On relational complexity and base size of finite primitive groups
• Computing Green functions in small characteristic
• Universal covers of finite groups
• Generation of finite groups with cyclic Sylow subgroups
• Hessian matrices, automorphisms of \(p\)-groups, and torsion points of elliptic curves
• The Hall-Paige conjecture, and synchronization for affine and diagonal groups
• Exact sequences of inner automorphisms of tensors
• Construction of the irreducible modular representations of a finite group
• Isomorphism testing of groups of cube-free order
• Linear groups and computation
• Bivariate representation and conjugacy class zeta functions associated to unipotent group schemes. I: Arithmetic properties
• On the values of unipotent characters in bad characteristic
• The average size of the kernel of a matrix and orbits of linear groups. II: Duality
• The development version of the \texttt{CHEVIE} package of \texttt{GAP3}.
• A sharply 2-transitive group without a non-trivial abelian normal subgroup
• Between primitive and 2-transitive: synchronization and its friends
• All principal congruence link groups
• The strong approximation theorem and computing with linear groups
• Practical graph isomorphism. II.
• Generation of groups of square-free order.
• Computing the character table of a finite group.
• Representations of algebraic groups of type \(F_ 4\) in characteristic 2
• The primitive permutation groups of degree less than 2500.
• The enumeration of groups of order \(p^{n}q\) for \(n\leq 5\)
• Linear time algorithms for Abelian group isomorphism and related problems
• Über modulare Darstellungen endlicher Gruppen, die von freien Gruppen induziert werden
• Polynomial-Time Isomorphism Test for Groups with No Abelian Normal Subgroups
• On the finite presentation of subdirect products and the nature of residually free groups
• SUBDIRECT PRODUCTS OF GROUPS AND THE n-(n + 1)-(n + 2) CONJECTURE
• Enumerating classes and characters of 𝑝-groups
• The Primitive Permutation Groups of Degree Less Than 4096
• Prime Power Representations of Finite Linear Groups II
• An O'Nan-Scott Theorem for Finite Quasiprimitive Permutation Groups and an Application to 2-Arc Transitive Graphs
• On subdirect products of type FP m of limit groups
• Minimum bases for permutation groups: The greedy approximation
• Brauer trees of 2.F₄(2)
• Decomposition matrices of the chevalley group F₄(2) and its covering group^∗
• Zariski density and computing in arithmetic groups
• Finding the smallest image of a set
• COUNTING CONJUGACY CLASSES
• The average size of the kernel of a matrix and orbits of linear groups
• The Determination of Galois Groups
• A MILLENNIUM PROJECT: CONSTRUCTING SMALL GROUPS
• Uniform cell decomposition with applications to Chevalley groups
• Verification of Identities
• Kirillov's orbit method and polynomiality of the faithful dimension of $p$-groups
• Concise presentations of direct products
• The perfect groups of order up to two million
• Towards Efficient Normalizers of Primitive Groups
• ON THE HEIGHT AND RELATIONAL COMPLEXITY OF A FINITE PERMUTATION GROUP