scientific article; zbMATH DE number 2133330

zbMath1091.20001MaRDI QIDQ4650358

E. A. O'Brien, Bettina Eick, Derek F. Holt

Publication date: 11 February 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

textbook finitely presented groups character tables matrix group recognition computational group theory coset enumeration permutation group algorithms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Algebraic theory of languages and automata (68Q70) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Software, source code, etc. for problems pertaining to group theory (20-04) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01)

Related Items

Mathematical frameworks for oscillatory network dynamics in neuroscience, Hyper-algebras of vector-valued modular forms, Word problems of groups: formal languages, characterizations and decidability, The automorphism group of a finitely generated virtually abelian group., Hyperbolic groups of Fibonacci type and T(5) cyclically presented groups, A Lyndon's identity theorem for one-relator monoids, Computing normalisers of intransitive groups, Computing automorphisms of semigroups., A class of descendant $p$-groups of order $p^{9}$ and Higman's PORC conjecture, Effective subgroup separability of finitely generated nilpotent groups, A parallel evolutionary approach to solving systems of equations in polycyclic groups, The status of polycyclic group-based cryptography: a survey and open problems, Efficient characteristic refinements for finite groups, Enumeration of conformers for octahedral $[\mathrm{MX(AB)}_{5}$ and $[\mathrm{MX(ABC)}_{5}]$ complexes on the basis of computational group theory], Computational aspects of Burnside rings. I: The ring structure, An algorithm for canonical forms of finite subsets of $\mathbb {Z}^d$ up to affinities, Baby-step giant-step algorithms for the symmetric group, On Coxeter's families of group presentations., Irreducibility testing of finite nilpotent linear groups., Random nilpotent groups, polycyclic presentations, and Diophantine problems, A note on computing involution centralizers., Small partial Latin squares that embed in an infinite group but not into any finite group, The construction of finite solvable groups revisited., Recognising the small Ree groups in their natural representations., Character degrees of finite $p$-groups by coclass., Presentations of finite simple groups: a computational approach., The Picard group of the moduli space of curves with level structures, On the embedding of central extensions into permutation wreath products, Residual dimension of nilpotent groups, Constructive recognition of classical groups in even characteristic., Computing conjugacy classes of elements in matrix groups., Enumeration of conformers for octahedral \textit{trans}/\textit{cis}-[MX$_2$(AB)$_4$ and \textit{trans}/\textit{cis}-[MX$_2$(ABC)$_4$] complexes on the basis of computational group theory], Products of vector valued Eisenstein series, Efficiency issues in the KBMAG procedure, Universal covers of finite groups, Generation of finite groups with cyclic Sylow subgroups, The module isomorphism problem reconsidered., Algorithms for a class of infinite permutation groups., 3-class field towers of exact length 3, Solving a fixed number of equations over finite groups, Orbit invariants and an application to the Baby Monster., A practical model for computation with matrix groups., Computing polycyclic presentations for polycyclic rational matrix groups., String rewriting for double coset systems., Computing subfields of number fields and applications to Galois group computations, Polynomial-time proofs that groups are hyperbolic, Low time complexity algorithms for path computation in Cayley graphs, Cubic surfaces over small finite fields, Constructive Sylow theorems for the classical groups., Using the Mal'cev correspondence for collection in polycyclic groups., Beating the generator-enumeration bound for $p$-group isomorphism, A fast isomorphism test for groups whose Lie algebra has genus 2, Optimal line packings from nonabelian groups, Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group., Algorithms for polycyclic-by-finite groups, Automorphism groups of 2-groups of coclass at most 3, Maximal linear groups induced on the Frattini quotient of a $p$-group, Full symmetry implementation in condensed matter and molecular physics-modified group projector technique, The constructive membership problem for discrete two-generator subgroups of $\operatorname{SL}_2(\mathbb{R})$, The isomorphism problem for torsion free nilpotent groups of Hirsch length at most $5$, Minimal and canonical images, Computing automorphism groups and testing isomorphisms for modular group algebras., On some questions about a family of cyclically presented groups., Computing stable epimorphisms onto finite groups, The use of permutation representations in structural computations in large finite matrix groups, Algorithms for computing with nilpotent matrix groups over infinite domains., On the semigroup rank of a group, On the constructive orbit problem, Finite 3-groups of class 3 whose elements commute with their automorphic images., Deciding finiteness of matrix groups in positive characteristic., A simple group generated by involutions interchanging residue classes of the integers., From automatic structures to automatic groups., Recognising the Suzuki groups in their natural representations., A computer-assisted analysis of some matrix groups., Computing conjugacy class representatives in permutation groups., Computing the soluble radical of a permutation group., Improved method for finding optimal formulas for bilinear maps in a finite field, Some new simple Lie algebras in characteristic 2, Construction of the irreducible modular representations of a finite group, Isomorphism testing of groups of cube-free order, A polycyclic presentation for the $q$-tensor square of a polycyclic group, Computing Chevalley bases in small characteristics, Computing $p$-groups with trivial Schur multiplicator., On counterexamples to the Hughes conjecture., Constructive recognition of classical groups in odd characteristic., Subquadratic-time algorithms for normal bases, Linear groups and computation, Disjoint direct product decompositions of permutation groups, Groups whose orders factorise into at most four primes, Computation of orders and cycle lengths of automorphisms of finite solvable groups, An algorithm for decomposing representations of finite groups using invariant projections, Computing the nonabelian tensor squares of polycyclic groups., Algorithms for the Tits alternative and related problems., Primitive normalisers in quasipolynomial time, Finite groups with only small automorphism orbits, New classes of quantum codes on closed orientable surfaces, Modular flavor symmetry and vector-valued modular forms, Some computational aspects of solvable regular covers of graphs, Faster tensor canonicalization, Symmetry type graphs of polytopes and maniplexes, Proving infinite index for a subgroup of matrices, Galois/Monodromy Groups for Decomposing Minimal Problems in 3D Reconstruction, Algorithms for Group Isomorphism via Group Extensions and Cohomology, Minimum Circuit Size, Graph Isomorphism, and Related Problems, On Two Group Functors Extending Schur Multipliers, Enumeration of groups of prime-power order, On isomorphism testing of groups with normal Hall subgroups, Classifying semisimple orbits of $\theta $-groups, On the number of groups of order 1024, On split liftings with sectional complements, Fibonacci groups $F(2,n)$ are hyperbolic for $n$ odd and $n\geq 11$, Groups with a solvable subgroup of prime-power index, On the Frattini subgroup of a polycyclic group, Unnamed Item, Nonsingular cubic surfaces over F2k, Experimenting with Symplectic Hypergeometric Monodromy Groups, Local symmetry groups for arbitrary wavevectors, Frobenius non-stability of nilpotent groups, A classification of the finite 2-generator cyclic-by-abelian groups of prime-power order, Equational Theorem Proving for Clauses over Strings, On the computation of general vector-valued modular forms, ON -GROUPS WITH AUTOMORPHISM GROUPS RELATED TO THE CHEVALLEY GROUP, Fast computation of the centralizer of a permutation group in the symmetric group, Isomorphism and non-isomorphism for interval groups of type $D_n$, On the computation of overorders, Orbit isomorphic skeleton groups, Post's Correspondence Problem for hyperbolic and virtually nilpotent groups, Unnamed Item, Ideal classes of orders in quaternion algebras, Interactions of computational complexity theory and mathematics, Homological representations of low genus mapping class groups, An enumeration process for racks, Factorizations of finite groups by conjugate subgroups which are solvable or nilpotent, Unnamed Item, SCHREIER CONDITIONS ON CHIEF FACTORS AND RESIDUALS OF SOLVABLE-LIKE GROUP FORMATIONS, A method for building permutation representations of finitely presented groups, Modular polynomials via isogeny volcanoes, Duality between p-groups with three characteristic subgroups and semisimple anti-commutative algebras, AN ALGORITHM FOR COMPUTATION OF THE GROWTH FUNCTIONS IN FINITE TWO-GENERATED GROUPS OF EXPONENT 5, A resource-efficient algorithm for study the growth in finite two-generator groups of exponent 5, Relations between Control Mechanisms for Sequential Grammars1, Algorithms for crystallographic groups, Presentations of finite simple groups: A quantitative approach, Embedding theorems for tree-free groups, Matrix representations for torsion-free nilpotent groups by Deep Thought., Explicit representations of maximal subgroups of the Monster., Unnamed Item, Minimum Circuit Size, Graph Isomorphism, and Related Problems, Recognition of finite exceptional groups of Lie type, The simultaneous conjugacy problem in the symmetric group, Orbit Computation for Atomically Generated Subgroups of Isometries of $\mathbb{Z}^n$, Nearly linear time isomorphism algorithms for some nonabelian group classes, Enumeration of Conformers of Octahedral [M(ABC)_{6} Complex on the Basis of Computational Group Theory], Solving the Conjugacy Decision Problem via Machine Learning, The Markov chain Monte Carlo revolution, Orbits of crystallographic embedding of non-crystallographic groups and applications to virology, On the geometry of symmetry breaking inequalities, Computing Hilbert class polynomials with the Chinese remainder theorem, Low-complexity computations for nilpotent subgroup problems, The conjugacy problem in GL (n,Z), Equivariant Simplicial Reconstruction, On the Action of the Sporadic Simple Baby Monster Group on its Conjugacy Class 2B, Computing a Chief Series and the Soluble Radical of a Matrix Group Over a Finite Field, Computing in Unipotent and Reductive Algebraic Groups, ON THE CONJUGACY PROBLEM IN CERTAIN METABELIAN GROUPS, Book Review: Theory of finite simple groups, Unnamed Item, Unnamed Item, Exploiting Symmetries in Polyhedral Computations, Fundamental Domains for Symmetric Optimization: Construction and Search, On Applications of the Cayley Graphs of some Finite Groups of Exponent Five, Algorithms for Experimenting with Zariski Dense Subgroups, Testing polycyclicity of finitely generated rational matrix groups, The perfect groups of order up to two million

Uses Software