Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

GAP (Groups, Algorithms and Programming) is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. It provides a programming language, a library of thousands of functions implementing algebraic algorithms, and large data libraries of algebraic objects.

5
votes
1answer
109 views

Is there a subgroup of dual depth 3?

This post is motivated by an exchange with Zhengwei Liu. It is more than the dual version of this post, because we consider any subgroup (instead of just maximal), and even more at the end... Let's ...
6
votes
3answers
286 views

Is there a maximal subgroup of depth 3?

Let's first define what we mean by depth of a subgroup. Let $G$ be a finite group and $H$ a subgroup. Let $(V_i)_{i \in I}$ and $(W_j)_{j \in J}$ be the irreducible complex representations of $G$ ...
4
votes
1answer
166 views

Database subgroups of free group

Is there some database that contains "all" low-index normal subgroups of the free group on two generators? Extension: does there exist such a GAP-database? Thank you!
1
vote
0answers
49 views

GAP/HAPcocyclic: How to work with CcGroups

This is probably not a conceptual question- but I would appreciate any suggestions. I am trying to construct central extensions of certain infinite groups (for example, a crystallographic space ...
4
votes
0answers
115 views

Interpreting $H^n(BG,\mathbb Z)$ when $G$ is an infinite discrete group

Suppose $G$ is a two-dimensional space group, for example a semidirect product of $\mathbb Z^2$ with a crystallographic point group such as $\mathbb Z_2$, where the action of $\mathbb Z_2$ on $\mathbb ...
1
vote
0answers
60 views

Lie Algebra Module Decomposition in GAP

Let $\mathfrak{g}$ be a complex finite-dimensional Lie algebra and let $V$ be a finite-dimensional $\mathfrak{g}$-module. Is there a way for me to check in GAP or some other software package whether $...
2
votes
0answers
105 views

Use GAP program to obtain explicit cocycles in group cohomology

I'm trying to compute group cohomology $H^n(G,\mathbb{Z})$ of some crystal groups $G$ which are infinite but finitely generated groups. I succeed in obtaining cohomology groups using projective ...
2
votes
0answers
199 views

Union of the conjugates of maximal subgroups

This post is a generalization of Union of the conjugates of a proper subgroup. Consider an interval $[H,G]$ in the subgroup lattice of the finite group $G$, with $H \neq G$ and such that: (1) $ \...
3
votes
1answer
230 views

Calculating cohomology group $H^3(point group,\mathbb{Z})$ using GAP program

I'm trying to compute $H^3(point group,\mathbb{Z})$ for all the 32 point groups in 3D which has some applications in physics. Unfortunately, I could not find literature discussing this problem. So I ...
5
votes
0answers
138 views

normal form for some finite groups, extending the small groups library

I am in need of a normal (that is, canonical) form for (some) finite groups, computable with - for example - gap or sage or any other freely available package. The goal is to make finite groups ...
13
votes
0answers
592 views

Algebra for the Baby

I am reading the following article. Ryba, Alexander J.E., A natural invariant algebra for the Baby Monster group., J. Group Theory 10, No. 1, 55-69 (2007). ZBL1228.20012.. Author works with 4370-...
0
votes
0answers
34 views

GAP: Find the decomposition of a (bi)graded module given by generators and relations

I am looking for a way to get the decomposition into indecomposables of a bi-graded modules $M$ over $S = Q[x, y]$ given by it's presentation : a $k \times n$ matrix ...
7
votes
1answer
318 views

recognition of symmetric groups in GAP

In GAP (https://www.gap-system.org), there is a function IsSymmetricGroup, which tells you whether a subgroup of $S_n$ generated by given permutations is all of the $S_n$. It looks like it takes ...
12
votes
0answers
153 views

Non-boolean Eulerian interval of finite groups

An Eulerian subgroup lattice is boolean (see here), so it is natural to wonder whether it is also true for an interval of finite groups. The smallest non-boolean Eulerian lattice is the following: It ...
0
votes
1answer
116 views

Finding all submodules

Given a finite dimensional local commutative algebra over a finite field $K$ and a finite dimensional module $M$. What is the fastest/best way to obtain all submodule from $M$ using a Computer algebra ...
9
votes
1answer
353 views

Algorithm for finding quiver algebras

Im looking for an algorithm that does the following in a quick way: Input: Natural number $r \geq 2$, natural number $s \geq 3$, prime power $q$. Output: Finds all two-sided ideals in $J^2/J^s \...