- #1
LagrangeEuler
- 717
- 20
If group ##(G,\cdot)## is defined with two generators ##a## and ##b##. And ##a^n=e##, ##b^{m}=e##. Is there any Theorem to tell us what is the largest group they can form?
Sure. ##aba=b \Longrightarrow ab=ba^{-1}=ba ## hence we have a commutative group. Now ##\langle a \rangle \times \langle b \rangle = \mathbb{Z}_2\times \mathbb{Z}_3= \mathbb{Z}_6##.LagrangeEuler said:I do not understand. For instance let take example ##a^2=e##, ##b^3=3##, ##aba=b##. Could you explain me on that example?
Looks like ##Q_8=\langle x,y|x^4,x^2y^{-2},yxy^{-1}x\rangle##. Maybe I can figure it out - or you.LagrangeEuler said:Great. Interesting. You easily find that. But to understand could we see just one more example ##a^{4}=b^{4}=e##, ##aba=b##?
This is a mistake than in the link?fresh_42 said:Looks like ##Q_8=\langle x,y|x^4,x^2y^{-2},yxy^{-1}x\rangle##. Maybe I can figure it out - or you.
It is somehow too hard to see it sometimes from the relation between generators. From ##a^4=e##,##b^4=e## it should be at least group of order ##8## from Lagrange theorem. Right? However it could be ##12##,##16##... It is very hard to see. :(fresh_42 said:Yes, you are right, there are ##16## elements, listed by @pasmith in post #8. Hence the task is to calculate the group table or list all subgroups to identify which of the nine non Abelian groups it is.
The order of a group is the number of elements in the group. It is denoted by |G| or sometimes just by the letter n.
The order of an element in a group is the smallest positive integer k such that a^k = e, where a is the element and e is the identity element of the group.
Yes, the order of a group can be infinite. This means that the group has an infinite number of elements.
The order of a group can give us information about its structure. For example, if the order is a prime number, the group is cyclic. If the order is a power of a prime number, the group is abelian.
The order of an element can tell us about the structure of the group. For example, if the order of an element is equal to the order of the group, then the element is a generator of the group. Additionally, the order of an element can also be used to determine the subgroups of a group.