What is the minimum number of generators needed for Z2+Z2+Z2? Find a set of generators and relations for this group.
By definition, \(\displaystyle [g, h]:=g^{-1}h^{-1}gh\). This is called the commutator. Note that two elements \(\displaystyle g\) and \(\displaystyle h\) commute if and only if \(\displaystyle [g, h] = 1\).How would I prove that the minimum number of generators is 3? ( I think this is probable a stupid question, but my book does not explain anything about this generator stuff!!). i also do not understand to [a,b]=[a,c]=[b,c]=1 part. Thanks for your help.
By definition, \(\displaystyle [g, h]:=g^{-1}h^{-1}gh\). This is called the commutator. Note that two elements \(\displaystyle g\) and \(\displaystyle h\) commute if and only if \(\displaystyle [g, h] = 1\).
So, what they are saying is that the three generators all commute. In general, if \(\displaystyle G_1 = <X_1 ; R_1>\) and \(\displaystyle G_2 = <X_2 ; R_2>\) then \(\displaystyle G_1 \times G_2 = <X_1, X_2 ; R_1, R_2, [X_1, X_2]>\) because the direct product (although in your question it is the diect sum, but that is fine) means that the elements of each individual group commute with all the others. This holds if and only if the generators commute from the respective groups.
Now, as for the number of generators, note that every element has order two and your group is of order 8 and abelian. This means that it cannot be 2-generated. However, I will leave it to you to show that these facts also means that it cannot be 2-generated (a quick proof by contradiction will suffice).
I decided not to mention that proof as I was unsure if they would have covered this. Needless to say, my grasp of when concepts are encountered is somewhat lacking...Anyway, and i shoty: as the hint in my first post "hinted", the fact that the given group is in fact an elementary finite abelian group makes it clear that its minimal number of generators = its dimension as avector space over some finite field...
I decided not to mention that proof as I was unsure if they would have covered this. Needless to say, my grasp of when concepts are encountered is somewhat lacking...
That said, I have been reading a book recently called "Groups, Graphs and Trees". It's excellent, because it covers a lot of useful things, but in a really easy to read way because it's an undergrad book, it was taken from an undergrad course given by someone! It covers things like ends and introduces the Coxeter groups, and I was just flicking through it and I saw a wreath product! My point is, people cover weird things in the undergrads...
I decided not to mention that proof as I was unsure if they would have covered this. Needless to say, my grasp of when concepts are encountered is somewhat lacking...
That said, I have been reading a book recently called "Groups, Graphs and Trees". It's excellent, because it covers a lot of useful things, but in a really easy to read way because it's an undergrad book, it was taken from an undergrad course given by someone! It covers things like ends and introduces the Coxeter groups, and I was just flicking through it and I saw a wreath product! My point is, people cover weird things in the undergrads...
Just to add in, I saw the commutator quite a bit as an undergrad (which I guess is right now) and we even covered minimally basic examples regarding generators and relations.I have the book "Groups, Graphs and Trees", by John Meier. I don't know why you think it is an undergraduate one. It certainly covers some basic stuff, just like free groups and actions, but only shortly and it gets into deep waters right away.
This book could perhaps be covered in a seminar course for advanced undergraduates-graduates, but I doubt highly it could be an open course for unders in most schools I know of.
Tonio
The second last paragraph of the preface,I have the book "Groups, Graphs and Trees", by John Meier. I don't know why you think it is an undergraduate one. It certainly covers some basic stuff, just like free groups and actions, but only shortly and it gets into deep waters right away.
This book could perhaps be covered in a seminar course for advanced undergraduates-graduates, but I doubt highly it could be an open course for unders in most schools I know of.
Tonio
The second last paragraph of the preface,
"Groups, Graphs and Trees was developed from notes used in two undergraduate course offerings at Lafayette College, and can certainly serve as a primary text for an advanced undergraduate course."
Similar Math Discussions | Math Forum | Date |
---|---|---|
find all generators of a cyclic group | Advanced Math Topics | |
generators and relations | Advanced Algebra | |
SOLVED Generators and relations | Advanced Algebra | |
Set of Generators and Relations | Advanced Algebra |