2
votes
0answers
60 views

Todd-Coxeter algorithm: coincidences

I'm trying to understand the Todd-Coxeter algorithm with the help of a multiplication and relator table, but there is one thing about coincidences that is not really clear. For some small groups (for ...
5
votes
1answer
94 views

How do you compute group cohomology in practice?

If you have a finite group $G$ and a finite $G$-module $K$, and you need to know $H^1(G,K)$ or $H^2(G,K)$, how do you do it? Do you use a computer algebra system? (If so, which one?) Do you use a ...
1
vote
1answer
95 views

Knuth-Bendix completion algorithm: word problem

Can someone explain me how to set up an algorithm to find the 12 normal forms of the group $A_4$ by making use of the Knuth-Bendix completion algorithm? So we have that $RRR=1, SSS=1$ and $RSRS=1$. ...
5
votes
2answers
41 views

Extracting Information from Lists in GAP

If I have a list $L$ in GAP, and a certain list of properties $a,b,c$, how can I count the the number of elements in my list that have all three properties? I've searched the manual (chapter on ...
4
votes
1answer
182 views

Computing Conjugacy Classes of Subgroups in GAP

GAP has the command ConjugacyClassesSubgroups which gives a list of the conjugacy classes of a finite group $G$. Is there a way I can specify further what types of subgroups GAP reports? For ...
4
votes
2answers
486 views

Computing Subgroup Lattices

Let $G$ be a finite group, and let $L(G)$ be the lattice of subgroups, partially ordered by inclusion. For example, below is $L(D_8)$. $\quad\qquad\quad\qquad\quad\quad\qquad$ I have two questions: ...
1
vote
1answer
132 views

Computing Invariant Subspaces of Matrix Groups

Does anyone have a program written in Mathematica (or SAGE or GAP) that computes the invariant subspace lattice of a matrix group?
0
votes
1answer
94 views

Semi directProduct and Maximal subgroup in gap [closed]

Let $P$ be a quaternion of order 8 and $Q$ a cyclic group of order 9 and $G=[p]Q$, a semidirect product ($P$ is normal in $G$). Let $M$ be a maximal subgroup of $G$ such that $Q<M$. I want to ...
4
votes
1answer
214 views

MAGMA question: SemidirectProduct using a homomorphism $f:G \rightarrow GL_n(\mathbb{F}_p)$.

Suppose I have a homomorphism $f:G\rightarrow GL_n(\mathbb{F}_p)$ and I wish to form the semidirect product $E\rtimes_f G$ with $E$ being the elementary abelian group of order $p^n$. The Semidirect ...
2
votes
2answers
88 views

Coercion in MAGMA

In MAGMA, if you are dealing with an element $x\in H$ for some group $H$, and you know that $H<G$ for some group $G$, is there an easy way to coerce $x$ into $G$ (e.g. if $H=\text{Alt}(n)$ and ...
6
votes
1answer
548 views

Semidirect Products with GAP

I'm wondering how to specify to GAP which homomorphism to use when constructing a semidirect product. I'm trying to have it construct $\left(\mathbb{Z}_p\times\mathbb{Z}_p\right)\rtimes_\varphi S_3$. ...
3
votes
1answer
122 views

How does the function CycleIndex work in GAP? ( undocumented in GAP )

Background: When I divide a hexagon in six triangles the group $D_6$ works on the triangles. The cycle index of the group action would be in this case $$p(x_1,x_2,x_3,x_6)=\frac{1}{12}(x_1^6 + ...
3
votes
2answers
146 views

Question about products of group elements using GAP

Background: In GAP I created the DihedralGroup of an octagon as a quotient of the freegroup on 2 variables and the presentation $r^8=s^2=s*r*(r^7*s)^{-1}=e \ $ as follows: ...
5
votes
1answer
148 views

Formula or code to compute number of subgroups of a certain order of an abelian $p$-group

Given a finite abelian $p$-group and its factorization into groups of the form $\mathbb{Z}/p^k\mathbb{Z}$, does anyone know of a formula that gives the number of subgroups of a certain index/order? As ...
5
votes
2answers
247 views

where can I find a library of finite groups with their multiplication tables?

Is there a library of finite groups given by their multiplication tables? can I get this result using the GAP SYSTEM ?