# How to verify this group presentation is contradictory

I'm studying group characters and representation on Hill's book, for fun self study. One of the exercises ask to verify the following presentation contains contradictory relations: $$\langle x, y : x^3 = y^3 = 1, yx = x^2y \rangle$$ The first concern I have is the book is claiming "a group of order 9 would presumably result", and it's not fully clear how it can estimate that.

The second is how to find a solution. I mean, the book also suggests that $$x^3=1$$ implies $$x^2\neq1$$ and $$x\neq1$$, so I thinking what really means to establish a contradiction.

If I was able to confirm the expected order is 9, I could try to build some table and verify the generated elements would be more than that value, but it would be eventually too mechanic and not sure if feasible neither.

For example I could update the last relation twofold, using the first two ones like: $$yxy^2=x^2\qquad\text{or}\qquad xyx=y$$ The last one puzzles me a bit from a "logical point of view", since I cannot "see" how $$y$$ could stay invariant when wrapped around two $$x_s$$.

Have you any hints about how to check that? I mean, an I forced to enumerate some possible group elements and search a contradiction among them, or could I found a more elegant solution finding a contradiction playing with relations only?

• Simply shuffle all the $x$ to the left of $y$. Commented Jul 11, 2022 at 14:28
• Group presentations cannot be "contradictory". They can imply that the group is trivial, but that is a different thing altogether. Commented Jul 11, 2022 at 14:29
• Can you give a precise and formal definition of what it means for a group presentation to contain contradictory relations? Commented Jul 11, 2022 at 14:30
• If your book claims that the relation $x^3=1$ implies the relation $x^2\neq 1$ and $x\neq 1$, then your book is using highly non-standard notation. That is not the case in any book or paper that I am aware of. That is just not true. Commented Jul 11, 2022 at 14:37
• @Randall: That presentation gives the cyclic group of order $4$, because we cannot deduce $x^2=1$ from just $x^4=1$. But just because a presentation includes $x^n=1$ among other relations, this does not imply that $x$ has order $n$; it only implies, by itself, that $x$ has order dividing $n$. Commented Jul 11, 2022 at 14:43

Why would we guess a group of order (at most) $$9$$ from the presentation $$\langle x, y : x^3 = y^3 = 1, yx = x^2y \rangle ?$$

Well, a bit of practice might help. Imagine you have a word in $$x$$ and $$y$$. By using the relation $$x^3=1$$, you can replace any negative powers of $$x$$ with positive powers (since $$x^{-1}=x^2$$), and reduce any exponent modulo $$3$$. Same for $$y$$. And by using the relation $$yx=x^2y$$, you can "shuffle" any $$y$$ that appears to the left of any $$x$$ to the right. After performing all suitable shuffles and reductions, you will end up with a word of the form $$x^ay^b$$, which is equal to whatever long word you originally had, and in which you have $$0\leq a\leq 2$$, $$0\leq b\leq 2$$. That is, one can tell from looking at the presentation (and with some experience) that whatever this group is, it has at most $$9$$ elements. It's possible it has exactly nine, but we have not established that.

"The book suggests that $$x^3=1$$ implies $$x^2\neq 1$$ and $$x\neq 1$$."

No. That is not correct. We know $$x^3=1$$; we are not told explicitly whether $$x=1$$ or not. It's possible that you can conclude that, and this is not a "contradiction". If your book says explicitly that the relation $$x^3=1$$ implies the non-equality $$x^2\neq 1$$, then your book is using nonstandard notation and definitions; that is not how group presentations generally work. (If you have somehow infered this from the book, then please discard that inference, because it is wrong.)

In a group presentation, you get the relations you are given plus any relation that may be deduced from those relations. They do not imply any inequality. The presentations describes the group as a quotient of a free group: in this case, your group is the quotient of the free group on $$x$$ and $$y$$ by the normal subgroup generated by $$x^3$$, $$y^3$$, and $$(yx)(x^2y)^{-1}$$. You are describing the normal subgroup, and the fact that this normal subgroups contains these three elements does not tell you, by virtue of what those three elements are, that $$x^2$$ or $$x$$ do not lie in the normal closure of those elements. So the fact that you have the relation $$x^3=1$$ does not tell you, in and of itself, that you cannot have $$x^2=1$$ or $$x=1$$.

Now, groups of order $$9$$ are abelian. If this were a group of order $$9$$, then $$yx=x^2y$$ would also give $$yx=yx^2$$, and hence $$x=x^2$$, which implies $$x=e$$. That would mean that the group has order $$3$$, generated by $$y$$.

Without going into more details about how to try to establish an isomorphism type from a presentation (which is hard in general), let's consider that we already know that the group has order at most $$9$$, and show that your relations mean that the group must in fact be abelian. If it were nonabelian, then it is either of order $$6$$ or of order $$8$$, because those are the only orders less than or equal to $$9$$ which include nonabelian groups. But it cannot be of order $$8$$, because nontrivial elements in a group of order $$8$$ do not have exponent $$3$$ ($$x^3=y^3=1$$). And in a nonabelian group of order $$6$$, the only elements of order $$3$$ are powers of each other, so we would just be sitting inside the cyclic subgroup of order $$3$$ (and they do not satisfy $$yx=x^2y$$ in any iteration anyway). This tells us that the group cannot be nonabelian. So we are dealing with an abelian group.

Since it is necessarily abelian, we conclude that we can also deduce that $$x=e$$ as noted above, and so the presentation is that of the cyclic group of order $$3$$ generated by $$y$$.

If you wanted to play a bit more with the presentation instead, we might note after playing around a bit that $$y^2x=yyx = y(yx) = y(x^2y) = (yx)(xy) = (x^2y)(xy) = x^2(yx)y = x^2(x^2y)y = x^4y^2 = xy^2$$ which means that $$x$$ commutes with $$y^2=y^{-1}$$; therefore, $$x$$ commutes with $$y$$. Therefore, we have an abelian group, and the rest of the analysis to determine that $$x=1$$ follows.

• this makes a lot of sense to me, tx @Arturo. So basically there was not any contradiction at all, which puzzled me a lot. I mean the presentation just described the cyclic grou pof order 3. That's it, and there's no any contradiction in that. More than this we just derived exactly that $x=e$, which was explicitly avoided in the text, claiming $x\neq1$ due to $x^3=1$. May be this is the contradiction, but that would be based on a bad and wrong statement. Commented Jul 11, 2022 at 15:11
• @riccardoventrella Also, I do not own the book, so I cannot check page 35 (or any other page) to see the full context of the quote. If the book says that writing $x^n=1$ as a relation in a presentation necessarily implies that $x$ is of order exactly $n$ (and not merely of order dividing $n$), then what your book calls "presentation" is not what anyone else in the world calls a presentation. Commented Jul 11, 2022 at 15:29
• @riccardoventrella: English is my fourth language, so I can sympathize. For future reference: "book suggests/book implies" will likely be read as an implication, not an explicit statement. What you probably wanted to write was that "the book includes the suggestion [to the reader] that..." Commented Jul 11, 2022 at 15:37
• @ArturoMagidin: I've looked the book up in Google Books and page 41 was available, and it really did explicitly say that $x^3=1$ in a presentation implies that $x\neq 1$. That's insane, I agree. Commented Jul 12, 2022 at 10:14
• @riccardoventrella: Well, that is just a very nonstandard way to talk about presentations. No wonder you have "contradictory presentation", a term I had never encountered before. Just be aware that this is not how almost anyone else will think about or talk about "presentations". Commented Jul 13, 2022 at 0:18

Firstly, there's no such thing as a contradictory group presentation: By definition the group presentation $$\langle S \mid R \rangle$$ defines the quotient of the free group on $$S$$ by the normal subgroup generated by the relations $$R$$. For example, that the relations in the presentation $$\langle x \mid x^2 = x^3 = 1 \rangle$$ force $$x = 1$$ (and hence the group to be trivial), even though that latter identity is not stated explicitly in the representation.

In our particular case, given any string of generators we can apply the relation $$yx = x^2 y$$ repeatedly to rewrite the group element the string represents with all occurrences of $$x$$ before all those of $$y$$, i.e., in the form $$x^a y^b .$$

For example, we have $$y^2 x = y(yx) = y (x^2 y) = (yx) xy = (x^2 y) x y = x^2 (yx) y = x^2 (x^2 y) y = x^4 y^2 .$$

Since $$x^3 = y^3 = 1$$, any group element can be written in that form with $$a, b \in \{0, 1, 2\}$$---hence our group has at most $$9$$ elements---and so we can write our example element as $$y^2 x = x y^2$$. This computation also shows, by the way, that $$x$$ and $$y^2$$ commute, hence so do $$x$$ and $$(y^2)^2 = y$$, in which case we deduce from the relations that $$x y = y x = x^2 y$$ and thus $$x = 1$$. Substituting this identity shows that our group presentation is equivalent to $$\langle y \mid y^3 = 1\rangle ,$$ which we can recognize as a cyclic group of order $$3$$.