2
votes
1answer
52 views

Is there any efficient algorithm for finding subgroups of a given finite group?

I am implementing an algorithm which finds every subgroup of given group. Here's my algorithm. Let $G$ be a group of order $n$ with elements $g_1,\cdots,g_n$. Then I consider each $\langle ...
5
votes
1answer
72 views

Number of subgroups of order $4$ and $8$ in a group of order $72$

Let $G$ be a group of order $72$. I want to calculate the number of subgroups of order $4$ and $8$ with GAP. How can I do? thanks in advance.
4
votes
1answer
76 views

How to find presentation of a group using GAP?

I have a group from Small Group Library and I want to find its presentation using GAP. I have tried to use PresentationFpGroup(G) but failed. Please suggest me a method.
0
votes
0answers
41 views

Boosting of Coset diagrams

If we have the diagram that represents a transitive permutation representation of $(p,q,r_o)$ for some $p, q$ and $r_o$, we often use this diagram to get diagrams for any $r>r_o$. We can do this ...
1
vote
1answer
52 views

Expressing a matrix in terms of subgroup generators using Magma

With Magma, it is possible to define a subgroup $H$ of a finite matrix group $G$ in terms of generators. Given a matrix $M\in G$, Magma can also determine whether $M\in H$. Presumably, if Magma ...
2
votes
0answers
35 views

An algorithm for generating a finite group with a finite set of generators

Let $A$ be a finite set of permutations on $\Bbb N$ with finite support. Is there a good efficient algorithm to obtain the subgroup $\left<A\right>$ of the symmetric group ...
8
votes
1answer
164 views

Applications of computation on very large groups

I have been studying computational group theory and I am reading and trying to implement these algorithms. But what that is actually bothering me is, what is the practical advantage of computing all ...
14
votes
1answer
153 views

The equivalence classes of $N\sim M\Leftrightarrow G/N\cong G/M$.

Let $G$ be a finite group. Given some $N\unlhd G$, define $$\mathfrak{C}_N:=\{M\unlhd G : G/M \cong G/N\}.$$ How are the subgroups in $\mathfrak{C}_N$ related? Is there some other description ...
22
votes
1answer
643 views

Recovering a finite group's structure from the order of its elements.

Suppose you know the following two things about a group $G$ with $n$ elements: the order of each of the $n$ elements in $G$; $G$ is uniquely determined by the orders in (1). Question: How ...
6
votes
1answer
449 views

Algorithm to find conjugacy classes of subgroups/elements (in matrix groups)?

I'm looking for a simple (=doable to implement by myself) algorithm to compute the conjugacy classes of elements and subgroups of a given subgroup of $\text{P}{\Gamma}\text{L}(n,q)$. So given a group ...
2
votes
1answer
228 views

Converting GAP groups into SAGE permutation groups.

I have been working with SAGE online, and have made some programs to test some hypothesis about finite groups. However, the pre-defined "named" groups in SAGE are quite limited (basically, the ...
5
votes
2answers
273 views

Check whether two subgroup of $GL(n,\mathbb Z)$ are conjugate

Suppose I have two finite subgroups of $GL(n,\mathbb Z)$. Is there an algorithm to find out whether these two belong to the same conjugacy class in $GL(n,\mathbb Z)$? I tried by using the Jordan ...
3
votes
3answers
257 views

Is there a simple way to distinguish between group homomorphisms?

More precisely, I am given a function $f:G\to H$ with the promise that it is a homomorphism. Is there an easy way to determine which homomorphism it is without looking through all of its values? For ...