scientific article; zbMATH DE number 534859

zbMath0828.20001MaRDI QIDQ4285784

Publication date: 20 March 1994

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

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Solvable groups, supersolvable groups (20F16) Generators, relations, and presentations of groups (20F05) Generalizations of solvable and nilpotent groups (20F19) Nilpotent groups (20F18) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Finite nilpotent groups, (p)-groups (20D15) Software, source code, etc. for problems pertaining to group theory (20-04) Research exposition (monographs, survey articles) pertaining to group theory (20-02)

Related Items

Invariants for metabelian groups of prime power exponent, colorings, and stairs ⋮ Measuring the tameness of almost convex groups ⋮ Proving infinite index for a subgroup of matrices ⋮ An Approach to the Herzog-Schönheim Conjecture Using Automata ⋮ On the orbit-stabilizer problem for integral matrix actions of polycyclic groups ⋮ Computing the multiplicative group of residue class rings ⋮ CONSTRUCTING AUTOMORPHISM GROUPS OF p-GROUPS ⋮ Computing in groups of Lie type ⋮ Symmetric cubic graphs of small girth ⋮ Applications and adaptations of the low index subgroups procedure ⋮ About an extension of the Davenport-Rado result to the Herzog-Schonheim conjecture for free groups ⋮ Coset Enumeration Using Prefix Gröbner Bases: An Experimental Approach ⋮ The Solvable Primitive Permutation Groups of Degree at Most 6560 ⋮ Parallel complexity for nilpotent groups ⋮ On the Frattini subgroup of a polycyclic group ⋮ Unnamed Item ⋮ Systolic length of triangular modular curves ⋮ Book Review: Groups of prime power order. Vol. 1 (with a foreword by Zvonimir Janko); Groups of prime power order. Vol. 2 ⋮ Logspace and compressed-word computations in nilpotent groups ⋮ Crossed product of infinite groups and complete rewriting systems ⋮ Small volume 3-manifolds constructible from string Coxeter groups of rank 4 ⋮ Local symmetry groups for arbitrary wavevectors ⋮ An explicit algorithm for normal forms in small overlap monoids ⋮ A Sublinear Time Randomized Algorithm for Coset Enumeration in the Black Box Model ⋮ Automorphisms of the 3-sphere that preserve spatial graphs and handlebody-knots ⋮ Complete rewriting system for the Schützenberger product of n groups ⋮ Two-sided configuration equivalence and isomorphism ⋮ Rigid surfaces arbitrarily close to the Bogomolov--Miyaoka--Yau line ⋮ A Simple Generalization of the ElGamal Cryptosystem to Non-Abelian Groups ⋮ Short presentations for alternating and symmetric groups ⋮ 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 ⋮ Conjugacy growth series and languages in groups ⋮ Theorem proving with group presentations: Examples and questions ⋮ Algebra and automated deduction ⋮ Herzog–Schönheim conjecture, vanishing sums of roots of Unity and convex polygons ⋮ Remarks concerning finitely generated semigroups having regular sets of unique normal forms ⋮ Presentations of finite simple groups: A quantitative approach ⋮ Cocyclic orthogonal designs and the asymptotic existence of cocyclic Hadamard matrices and maximal size relative difference sets with forbidden subgroup of size 2 ⋮ Finite p-groups with the least number of outer p-automorphisms ⋮ Representing Subgroups of Finitely Presented Groups by Quotient Subgroups ⋮ TC^0 circuits for algorithmic problems in nilpotent groups ⋮ Unnamed Item ⋮ Computing with quantized enveloping algebras: PBW-type bases, highest-weight modules and $R$-matrices ⋮ On noninner automorphisms of finite $p$-groups that fix the center elementwise ⋮ Integral representations of $\mathbb{Z}_p$ and fixed point sets of $p$-group actions on tori. ⋮ Invariant tensors for the spin representation of (7) ⋮ Computing 2-cocyeles for central extensions and relative difference sets ⋮ Nonequilibrium transport through quantum-wire junctions and boundary defects for free massless bosonic fields ⋮ Homology and closure properties of autostackable groups ⋮ The complexity of the equation solvability and equivalence problems over finite groups ⋮ A Survey of Solving SVP Algorithms and Recent Strategies for Solving the SVP Challenge ⋮ Symmetry groups associated with tilings on a flat torus ⋮ Low-complexity computations for nilpotent subgroup problems ⋮ On Reachability Problems for Low-Dimensional Matrix Semigroups ⋮ On the lower central series of the free nilpotent groups of finite rank ⋮ ON THE CONJUGACY PROBLEM IN CERTAIN METABELIAN GROUPS ⋮ The Herzog–Schönheim conjecture for finitely generated groups ⋮ Unnamed Item ⋮ Some structural and closure properties of an extension of the q-tensor product of groups, q≥0 ⋮ Generators and relations of direct products of semigroups ⋮ Not every 𝑝-group can be generated by elements of the same order ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Applications of the Cayley Graphs of some Finite Groups of Exponent Five ⋮ The Fibonacci length of certain centro-polyhedral groups. ⋮ The groups with order $p^7$ for odd prime $p$. ⋮ Computing in Nilpotent Matrix Groups ⋮ Computing residue class rings and Picard groups of orders ⋮ Symbolic Collection using Deep Thought ⋮ Proving a group trivial made easy: A case study in coset enumeration ⋮ Commutative images of rational languages and the Abelian kernel of a monoid ⋮ The perfect groups of order up to two million ⋮ Knapsack Problems for Wreath Products ⋮ Connected quandles of size $pq$ and $4p$ ⋮ Groups and nilpotent Lie rings whose order is the sixth power of a prime. ⋮ Word problems of groups: formal languages, characterizations and decidability ⋮ Metabelian groups: full-rank presentations, randomness and Diophantine problems ⋮ Engel elements in groups ⋮ Groups of order $p^5$ and their unramified Brauer groups ⋮ Computing generators of the unit group of an integral Abelian group ring. ⋮ Delaunay triangulations of closed Euclidean $d$-orbifolds ⋮ Reidemeister-Schreier type rewriting for semigroups ⋮ A subgroup involvement of the Fibonacci length. ⋮ Slightly commutative Kleene semigroups ⋮ Finite index and finite codimension ⋮ Kleinian groups and the rank problem. ⋮ A nonlinear decomposition attack ⋮ Finite covers of random 3-manifolds ⋮ The origins of combinatorics on words ⋮ Sliding piece puzzles with oriented tiles ⋮ Embedding theorems for non-positively curved polygons of finite groups ⋮ An algorithm for canonical forms of finite subsets of $\mathbb {Z}^d$ up to affinities ⋮ On Coxeter's families of group presentations. ⋮ Cryptanalysis of a combinatorial public key cryptosystem ⋮ Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity ⋮ Symmetries of knowledge bases ⋮ The $\mathrm{R}_\infty$-property for nilpotent quotients of Baumslag-Solitar groups ⋮ Algorithms for finitely $L$-presented groups and their applications to some self-similar groups. ⋮ Presentations of finite simple groups: a computational approach. ⋮ Coset diagrams in the study of finitely presented groups with an application to quotients of the modular group. ⋮ Space efficient representations of finite groups ⋮ Quantum property testing of group solvability ⋮ On refined Bruhat decompositions and endomorphism algebras of Gelfand-Graev representations ⋮ Filters compatible with isomorphism testing ⋮ Tilings and submonoids of metabelian groups. ⋮ Random equations in nilpotent groups. ⋮ An effective version of the Lazard correspondence. ⋮ Algorithms for linear groups of finite rank. ⋮ Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm ⋮ Efficiency issues in the KBMAG procedure ⋮ Universal covers of finite groups ⋮ Computing left Kan extensions. ⋮ The virtual Haken conjecture: Experiments and examples ⋮ Fixed points of endomorphisms of trace monoids. ⋮ On complexity of multiplication in finite soluble groups. ⋮ An algorithmic approach to fundamental groups and covers of combinatorial cell complexes ⋮ Regular subalgebras and nilpotent orbits of real graded Lie algebras ⋮ An $L_2$-quotient algorithm for finitely presented groups on arbitrarily many generators. ⋮ Computing polycyclic presentations for polycyclic rational matrix groups. ⋮ String rewriting for double coset systems. ⋮ Practical algorithms for polycyclic matrix groups ⋮ A practical algorithm for finding matrix representations for polycyclic groups ⋮ Iterated crossed product of cyclic groups ⋮ The Diffie-Hellman key exchange protocol and non-Abelian nilpotent groups ⋮ Using the Mal'cev correspondence for collection in polycyclic groups. ⋮ Confluence theory for graphs ⋮ Dehn functions of finitely presented metabelian groups ⋮ Principal and doubly homogeneous quandles ⋮ Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group. ⋮ Schur multiplicators of infinite pro-$p$-groups with finite coclass. ⋮ Algorithms for polycyclic-by-finite 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 ⋮ Construction of all polynomial relations among Dedekind eta functions of level $N$ ⋮ Algorithms for computing with nilpotent matrix groups over infinite domains. ⋮ DFT-based word normalization in finite supersolvable groups. ⋮ Reduction of Smith normal form transformation matrices ⋮ On the semigroup rank of a group ⋮ Linear and sublinear time algorithms for the basis of abelian groups ⋮ Constructing arithmetic subgroups of unipotent groups. ⋮ Computing subgroup presentations, using the coherence arguments of McCammond and Wise. ⋮ A computer-assisted analysis of some matrix groups. ⋮ Computing the Schur multipliers of the Lie $p$-rings in the family defined by a symbolic Lie $p$-ring presentation ⋮ On presentations for unitary groups ⋮ Computing relative Abelian kernels of finite monoids. ⋮ Direct construction of code loops. ⋮ A polycyclic presentation for the $q$-tensor square of a polycyclic group ⋮ On counterexamples to the Hughes conjecture. ⋮ On $p$-groups having the minimal number of conjugacy classes of maximal size. ⋮ On connected quandles of prime power order ⋮ Linear groups and computation ⋮ Malcev presentations for subsemigroups of direct products of coherent groups. ⋮ Syntactic and Rees indices of subsemigroups ⋮ Algebraic criteria to decide if a finite group acts effectively on a model aspherical manifold ⋮ Are two given maps homotopic? An algorithmic viewpoint ⋮ Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition. II ⋮ Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings ⋮ The finiteness of finitely presented monoids ⋮ Constructing algebraic groups from their Lie algebras. ⋮ Comparative analysis of the Burnside groups $B(2,5)$ and $B_0(2,5)$. ⋮ Algorithms for matrix groups and the Tits alternative ⋮ \texttt{PSPACE}-complete problems for subgroups of free groups and inverse finite automata ⋮ Latin trades in groups defined on planar triangulations ⋮ Recognising tensor-induced matrix groups. ⋮ Computational group theory in St. Petersburg ⋮ Random walks on free solvable groups ⋮ Constructing a short defining set of relations for a finite group ⋮ Recognizing badly presented $Z$-modules ⋮ 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 ⋮ Orbit-stabilizer problems and computing normalizers for polycyclic groups.