For questions concerning groups defined via a presentation by generators and relations.

learn more… | top users | synonyms (1)

0
votes
0answers
18 views

Which correct sentence to explain the function $g(\nabla I)=\frac{1}{1+\beta |\nabla(G_{\sigma}*I)|^2}$

I have a edge indicator function that has formula as $$g(\nabla I)=\frac{1}{1+\beta |\nabla(G_{\sigma}*I)|^2}$$ where $\nabla$ is gradient operator, $*$ is convolution operator, $G_{\sigma}$ is a ...
2
votes
1answer
34 views

Presentation of Abelianization of a group

Say $G$ is a finite group with presentation $\langle S | R \rangle$ and let $C$ be the commutator subgroup of $G$. Then $\langle S | R \cup \{ sts^{-1}t^{-1} \} \rangle$ is a presentation of $G/C$. ...
1
vote
0answers
21 views

Finite subgroups of $PSL(2,R)$

I know $PSL(2,R)$ is $SL(2,R)/SZ(2,R)$ and it is a simple group, but I do not have single clue how to get on finding its group presentation. How can I find its presentation and also I am looking for ...
1
vote
0answers
25 views

When is a finitely presented positively admissible group uniformly reachable?

This is a follow-up from this question. For a finitely presented group $G=⟨S|R⟩$, a positive element g∈G is an element of G that can be written as a finite product of elements of $S$ only. A ...
2
votes
3answers
62 views

Is a finite index subgroup of a finitely presented subgroup finitely presented?

I do know Schreier's theorem, which states that a finite index subgroup of a finitely generated group is finitely generated. Other than this, I have no reason to suspect a positive answer to my ...
2
votes
0answers
53 views

How can I show that $D_{2n}$ follows from these relations?

Suppose we have a group $A$ which is generated by generators $R$ and $F$, subject to the relation $$ R^n=I, F^2=I,RF= FR^{-1}.$$ It should be just the dihedral group of order $2n$, the one generated ...
5
votes
4answers
398 views

Does a Conjugacy Class always contain an element and its inverse?

The definition of a conjugate element We say that $x$ is conjugate to $y$ in $G$ if $y = g^{-1}xg $ for some $g \in G$ Now for the group $G=Q_8$ , we have the group presentation $$Q_8 = ...
6
votes
1answer
125 views

Is the minimum number of relations in a free product, the sum of the minimum number of relations in the free factors?

Say $\rho(G)$ is the minimum number of relations required to present the group $G$. Is $\rho(A*B)= \rho(A)+\rho(B)$? What can be said about $\rho(A*B)$? A while ago I was thinking about $C_3*C_4$, ...
2
votes
0answers
72 views

What is the group for the following presentation?

This group has four generators $a, b, c$ and $d$. Generators satisfy the following relations: $a$ commutes with $b$ and $c$ commutes with $d$. $a^2=b^2=1$ and $c^{m_1}=d^{m_2}=1$ for some integers ...
1
vote
1answer
39 views

Presentation of the symmetric group of 5 symbols.

I am trying to write the presentation of the symmetric group $S_{5}$. We know that $S_{5}$ is generated by $a=(1,2)$ and $b=(1,2,3,4,5)$. Using this I am trying to write presentation of $S_{5}$. My ...
4
votes
1answer
40 views

Presentations of the unity group

I have been told Bernhard Neumann wrote an article on how to concoct presentations of the trivial group $G=\{1_G\}$. I was curious to see examples of presentations of this simple group. I googled for ...
5
votes
2answers
77 views

$G=\langle x,y\ |\ x^{-1}y^2x=y^{-2}, y^{-1}x^2y=x^{-2} \rangle$ is torsion-free.

I have to prove that $G=\langle x,y\ |\ x^{-1}y^2x=y^{-2}, y^{-1}x^2y=x^{-2} \rangle$ is torsion-free. Some things about this group that I understand are first show that $M=\langle (xy)^2,x^2,y^2 ...
4
votes
1answer
53 views

Presentation of groups and positive expressions

For a group $G=〈S|R〉$, $S,R$ are both finite. A positive element $g\in G$ is an element of $G$ that can be written as a finite product of elements of $S$ only. A positive expression of $g$ is a word ...
0
votes
1answer
29 views

Dihederal Group $D_{2n}$ Where $n$ is even/odd

I know that the group presentation of $D_{2n}$ is the following $$D_{2n} = \big<a,b: a^n=b^2=1,b^{-1}ab =a^{-1} \big>$$ Now if we consider the case where $n$ is even and we write $n =2m$ for ...
5
votes
2answers
93 views

How to obtain a presentation for each group of order $64$

I am new to his forum, and would like to know how to obtain a presentation for each group of order $64$. I wish to do this for all the groups of order $64$. Thanks in advance.
2
votes
2answers
57 views

Presentation of the additive group of the rational numbers

We know that $\mathbb{Q}\cong\mathbb{Z}\times\mathbb{Z}/\sim$, where the isomorphism is a ring isomorphism and the equivalence relation is defined as $$(a,b)\sim(c,d)\Longleftrightarrow ad=bc$$ Then ...
2
votes
1answer
74 views

Prove $G \cong \langle x,y\ |\ x^{-1}y^2x=y^{-2}, y^{-1}x^2y=x^{-2} \rangle$

Let $D^3= D \times D \times D$ where $D = D_\infty$ where we see $D$ as the group generated by $\mathbb{Z}$ and element $0^*$ of order $2$ such that $0^*n0^*=-n$ for all $n \in \mathbb{Z}$. Letting ...
6
votes
1answer
90 views

Presentation of a group question

So I know that given a presentation of a group $G$, one can derive from the relations of the group presentation any element in the group $G$ right. However, I do have some confusion. If we take ...
3
votes
1answer
34 views

simple question on conjugacy classes

if $ \;G = \langle a,b\;|\; a^9 = b^3 = 1, bab^{-1} = a^4\rangle\; $ of order $\;27\;$ Then how would i show that $b$ is conjugate to $ba^3$ I have been fiddling around with this for ages and cannot ...
2
votes
0answers
43 views

$X_{2n}$ be group presentation as displayed below proof verification

Hi so I am solving problems in dummit and foote, however this problem I am not able to do it Show that if $n = 3k$, then $X_{2n}$ has order 6, and it has same generators and relations as $D_6$ when x ...
0
votes
1answer
52 views

Describing groups with given presentation? $\langle x,y\ |\ xy=yx,x^5=y^3\rangle$ and $\langle x,y\ |\ xy=yx,x^4=y^2\rangle$.

I'm trying to describe the groups with presentations $\langle x,y\ |\ xy=yx,x^5=y^3\rangle$ and $\langle x,y\ |\ xy=yx,x^4=y^2\rangle$. I have some problems getting a good picture of what they look ...
2
votes
1answer
61 views

Equivalent presentation for the fundamental group of the projective plane

We know that $\langle a,b;(ab)^2=1\rangle$ and $\langle z;z^2\rangle$ are presentations of the fundamental group of the projective plane. Therefore, one is obtained from the other via Tietze ...
3
votes
1answer
53 views

Prove that $g\in \ker \varphi$

Let $G \approx \langle a,b \mid b^{-1}a^3b = a^5 \rangle$. Let $H$ be a finite group and $\varphi:G \to H$ be a homomorphism. Then $g = a^{-1}b^{-1} a^{-1}bab^{-1}ab \in \ker \varphi$. My attempt: ...
3
votes
1answer
68 views

Working with finitely presented groups in GAP

This is more of a question specifically about how GAP handles calculations with finitely presented groups rather than about group theory. I have several finite group presentations that I would like ...
1
vote
1answer
107 views

Showing that a one-relator group, $\langle a,b \mid W \rangle$, is not a free product.

Let $W=W(a,b)$ be a cyclically reduced word in $\langle a,b;\emptyset\rangle$ not equal $1$ that contains at least one non-zero power of $a$ and at least one non-zero power of $b$. How can be proved ...
0
votes
1answer
39 views

How to find presentation of $G'$

If my $G=\langle a,b\ |\ a^4,b^4,a^2=b^2 \rangle$, then how to find presentation for $G'$ (derived subgroup of $G$). Should I proceed by Reidemeister-Schreier process, that is too cumbersome. Iisn't ...
2
votes
2answers
58 views

Equation over finite group with presentation $G=\langle a,b|R\rangle$

This question arised like a curiosity, I've been trying to find out information about the solution (after trying to solve it by myself) with no success. The question is: Given a finite group with ...
2
votes
0answers
55 views

Group presentation: How can we determine the group with the presentation below?

Please how can we determine the finite group whose presentation is given as: $$G:=\left\langle g,h|g^4=h^4=1,hg=g^{-1}h \right\rangle?$$
1
vote
1answer
40 views

Size of conjugacy classes in SL(2,3)

I've been given the representations of the conjugacy classes for a group presentation $G = <x,y,z | x^2 = y^3 = z^3 = xyz>$ which is isomorphic to $SL(2,\mathbb{F}_3)$ which are: ...
2
votes
1answer
40 views

Notation of Burnside's group theory book “The theory of finite groups”

According to the classification of finite non-abelian groups of order $p^4$ in Burnside's book "The theory of finite groups, 1897, pages 87-88" one of the types of these groups is the following ...
0
votes
0answers
55 views

groups of order $p^4$

I need the classification of finite non-abelian groups of order $p^4$ from E. Schenkman's book "Group theory, 1965". Unfortunately our library has no this book and there does not exist the full ...
1
vote
1answer
31 views

A generating set of a finitely generated group

A group is called finitely generated if it has a presentation with finite generators. Edit: My original question was vacuous. Suppose that $G$ is a finitely generated group and $\{g_i\}_{i\in I}$ is ...
1
vote
0answers
75 views

Seminar topic in Combinatorial Group Theory

I am doing a course on "Combinatorial Group Theory" and we have a choice of giving a presentation on topics related to the course, Course outline is as follows- Free groups: groups defined by ...
1
vote
2answers
91 views

Semi group presentation $<a, b | a^{2} = b^{2} = 0, aba = a, bab = b>$

Another semi group question here, trying to get my head around the topic. Consider the semi group $S=\left<a, b | a^{2} = b^{2} = 0, aba = a, bab = b\right>$ I need to prove that $S$ has order ...
1
vote
1answer
18 views

Presentation of $Dih_n$

Let $\varphi:Z_2\rightarrow Aut(Z_n)$ be a homomorphism such that $\varphi(\overline{1})$ is the automorphism by inversion. Set $Dih_n\triangleq Z_n\rtimes_{\varphi} Z_2$. How do I prove that ...
3
votes
2answers
59 views

Minimal presentations and (co)homology groups

I wonder whether there exists a link between the number of generators and relations of a presentation for a given group $G$ and the ranks of its (co)homology groups $H_1(G,\mathbb{Z})$ and $H_2(G, ...
3
votes
1answer
130 views

Show that the group is trivial. [duplicate]

Show that the following group is identity: $$G=\langle x,y,z \mid xyx^{-1}=y^{2}\, , \, yzy^{-1}=z^{2}\, , \, zxz^{-1}=x^{2} \rangle.$$ This group is its own derived group. So all I get is group ...
11
votes
8answers
2k views

Why the group $\langle x,y\mid x^2=y^2\rangle $ is not free?

$G= \langle x,y\mid x^2=y^2\rangle $. I can't find any reason like an element of finite order or some subgroup of it that is not free etc.
0
votes
0answers
55 views

On the group algebra of a group specified by generators and relations

Let $k$ be a field, $G = \langle S \rangle/N(R)$ be a group specified by a set of generators $S$ and a set of relations $R$ (the brackets denote the free group, and $N(R)$ means the conjugate closure ...
2
votes
1answer
65 views

Why $G$ is not free?

I have to show that $G=\langle x,y,z\ |xz=zx \rangle$ is not free. Now either I show it has an element of finite order which I dont see works here or I show it has no non-trivial defining relators ...
2
votes
1answer
44 views

Tietze transformation

I have a question in which I have to transform $\textbf{I.}$ $\langle a,b,c \mid b^2, (bc)^2\rangle$ to $\textbf{II.}$ $\langle x,y,z\mid y^2, z^2\rangle$ using Tietze transformations. My ...
5
votes
1answer
104 views

Presentation of a group isomorphic to $A_4$

I have a group $G$ defined by $G = \langle x,y,z|x^2 = y^3 = z^3 = xyz \rangle$ and we know that $a$ $=$ $xyz$ belongs to the centre of $G$. But im struggling to show that $\frac{G}{\langle a\rangle} ...
2
votes
1answer
73 views

centre of a group presentation

having trouble showing that an element belongs to a centre of a group presentation. Let $G = \langle x,y,z\mid x^2=y^3=z^3=xyz\rangle$ I have to show that $ a = xyz$ belongs to the centre of $G$. I ...
1
vote
0answers
45 views

Definition of minimal presentation of a group

I'm working on a problem on the braid monodromy of complex lines arrangements in $\mathbb{C}^{2}.$ I have the following question. It's just a simple definition. However, I didn't find anywhere. Let ...
0
votes
0answers
50 views

How can I work out if a certain group presentation implies a certain relation?

I thought that maybe it would be possible to answer this question using the concept of a group presentation. Let $x_1,x_2,\ldots,x_k$ be k different elements of a group G and $k\geq4$. If we ...
3
votes
2answers
57 views

The group $\langle a,b,c \ | a^3,b^2, ab=ba^2, c^2, ac=ca, bc=cb \rangle$?

The group $\langle a,b,c \ | a^3,b^2, ab=ba^2, c^2, ac=ca, bc=cb \rangle$ is isomorphic to which permutation group. I have calculated its order and it is $12$, so my guess was $A_4$ but it is not ...
3
votes
0answers
45 views

Frattini subgroup of a $p$- group of order $p^4$

Let $p$ be an odd prime and $G$ be a finite non-abelian $p$-group of order $p^4$ with the following presentation: $$\langle a, b, c, d\mid a^p=b^p=c^p=d^p=1, c^d=cb, b^d=ba, ...
2
votes
0answers
77 views

Trying to find a group isomorphism

I'm trying to find an isomorphism of a group with the following presentation:$$\langle a,b \mid (ab)^2=(abaa)^2=(abbb)^2=e\rangle$$ Basically, I'm not that experienced with groups so I'm wondering if ...
3
votes
1answer
88 views

Presentation of a non-abelian group of order $p^4$ such that ${G}/{\Phi(G)}\cong \Bbb{Z}_p\times \Bbb{Z}_p$

Let $G$ be a finite non-abelian $p$-group of order $p^4$ and $\frac{G}{\Phi(G)}\cong \Bbb{Z}_p\times \Bbb{Z}_p$, where $p$ is a prime. What is the presentation(s) of $G$?(If $G$ exixsts). Thanks ...
6
votes
1answer
93 views

on Cayley diagrams

is the picture the Cayley Graph of the group $\langle a,b,c\mid a^2, b^2,c^2\rangle$ ? What would it be for $\langle a,b,c\mid a^2b^2c^2\rangle$?