scientific article; zbMATH DE number 534859
Gröbner basesTodd-Coxeter coset enumerationTietze transformationssubgroups of finite indexSchreier coset graphsrewriting systemspresentations of subgroupspolycyclic-by- finite groupspolycyclic presentationsKnuth-Bendix methodsalgorithmsfree products of cyclic groupsfinitely presented groupsfinitely generated Abelian groupsfinite presentationsenumeration of subgroupscoset tablescomputational methods for groupsautomatic groupsautomata
Research exposition (monographs, survey articles) pertaining to group theory (20-02) Software, source code, etc. for problems pertaining to group theory (20-04) Finite nilpotent groups, (p)-groups (20D15) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Solvable groups, supersolvable groups (20F16) Nilpotent groups (20F18) Generalizations of solvable and nilpotent groups (20F19) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Symbolic computation and algebraic computation (68W30)
- Malcev presentations for subsemigroups of direct products of coherent groups.
- Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II
- Constructing algebraic groups from their Lie algebras.
- Latin trades in groups defined on planar triangulations
- Tietze transformations with weighted substring search
- Computation of some Cayley diagrams
- Syntactic and Rees indices of subsemigroups
- Algebraic criteria to decide if a finite group acts effectively on a model aspherical manifold
- Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
- The finiteness of finitely presented monoids
- Algorithms for matrix groups and the Tits alternative
- Computational group theory in St. Petersburg
- Recognizing badly presented \(Z\)-modules
- Engel elements in groups
- Slightly commutative Kleene semigroups
- Sliding piece puzzles with oriented tiles
- Embedding theorems for non-positively curved polygons of finite groups
- Computing left Kan extensions.
- The virtual Haken conjecture: Experiments and examples
- \texttt{PSPACE}-complete problems for subgroups of free groups and inverse finite automata
- Constructing a short defining set of relations for a finite group
- Stallings foldings and subgroups of free groups
- Constructing faithful representations of finitely-generated torsion-free nilpotent groups
- Computing subgroups by exhibition in finite solvable groups
- Word problems of groups: formal languages, characterizations and decidability
- Cryptanalysis of a combinatorial public key cryptosystem
- Iterated crossed product of cyclic groups
- Regular dessins uniquely determined by a nilpotent automorphism group
- Computing stable epimorphisms onto finite groups
- Polynomials describing the multiplication in finitely generated torsion-free nilpotent groups
- DFT-based word normalization in finite supersolvable groups.
- Recognising tensor-induced matrix groups.
- Orbit-stabilizer problems and computing normalizers for polycyclic groups.
- Groups and nilpotent Lie rings whose order is the sixth power of a prime.
- Reidemeister-Schreier type rewriting for semigroups
- Finite index and finite codimension
- Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1
- Symmetries of knowledge bases
- An algorithmic approach to fundamental groups and covers of combinatorial cell complexes
- Practical algorithms for polycyclic matrix groups
- A practical algorithm for finding matrix representations for polycyclic groups
- Dehn functions of finitely presented metabelian groups
- Principal and doubly homogeneous quandles
- Construction of all polynomial relations among Dedekind eta functions of level \(N\)
- On the semigroup rank of a group
- Computing the Schur multipliers of the Lie \(p\)-rings in the family defined by a symbolic Lie \(p\)-ring presentation
- On connected quandles of prime power order
- Connected quandles of size \(pq\) and \(4p\)
- Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity
- The \(\mathrm{R}_\infty\)-property for nilpotent quotients of Baumslag-Solitar groups
- Space efficient representations of finite groups
- On refined Bruhat decompositions and endomorphism algebras of Gelfand-Graev representations
- Filters compatible with isomorphism testing
- Universal covers of finite groups
- Constructing arithmetic subgroups of unipotent groups.
- On presentations for unitary groups
- A polycyclic presentation for the \(q\)-tensor square of a polycyclic group
- Linear groups and computation
- Are two given maps homotopic? An algorithmic viewpoint
- Random walks on free solvable groups
- Groups of order \(p^5\) and their unramified Brauer groups
- Computing generators of the unit group of an integral Abelian group ring.
- A subgroup involvement of the Fibonacci length.
- Kleinian groups and the rank problem.
- An algorithm for canonical forms of finite subsets of \(\mathbb {Z}^d\) up to affinities
- Algorithms for linear groups of finite rank.
- Computing polycyclic presentations for polycyclic rational matrix groups.
- String rewriting for double coset systems.
- Using the Mal'cev correspondence for collection in polycyclic groups.
- Confluence theory for graphs
- Algorithms for computing with nilpotent matrix groups over infinite domains.
- Reduction of Smith normal form transformation matrices
- Computing subgroup presentations, using the coherence arguments of McCammond and Wise.
- A computer-assisted analysis of some matrix groups.
- Computing relative Abelian kernels of finite monoids.
- Integral representations of \(\mathbb{Z}_p\) and fixed point sets of \(p\)-group actions on tori.
- The Fibonacci length of certain centro-polyhedral groups.
- The groups with order p^7 for odd prime p.
- Computing residue class rings and Picard groups of orders
- Symmetric cubic graphs of small girth
- On the Frattini subgroup of a polycyclic group
- Systolic length of triangular modular curves
- Remarks concerning finitely generated semigroups having regular sets of unique normal forms
- Representing Subgroups of Finitely Presented Groups by Quotient Subgroups
- Symmetry groups associated with tilings on a flat torus
- Book Review: Groups of prime power order. Vol. 1 (with a foreword by Zvonimir Janko); Groups of prime power order. Vol. 2
- Short presentations for alternating and symmetric groups
- Delaunay triangulations of closed Euclidean d-orbifolds
- Commutative images of rational languages and the Abelian kernel of a monoid
- Knapsack problems for wreath products
- A nonlinear decomposition attack
- Not every 𝑝-group can be generated by elements of the same order
- Computing in Nilpotent Matrix Groups
- On proofs in finitely presented groups.
- A Sublinear Time Randomized Algorithm for Coset Enumeration in the Black Box Model
- A Simple Generalization of the ElGamal Cryptosystem to Non-Abelian Groups
- Presentations of finite simple groups: a quantitative approach.
- Algorithms for finitely L-presented groups and their applications to some self-similar groups.
- scientific article; zbMATH DE number 15580 (Why is no real title available?)
- Coset diagrams in the study of finitely presented groups with an application to quotients of the modular group.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4285784)