Relation between Minimum number of generator and number of elements?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite












For a finite group that needs n generator to construct, is the number of elements of the group the same as the product of the numbers of elements each of these generators alone can generate?
If so,is it also true that for two finite groups, if they have the same minimum number of generators needed to construct and that each generator alone can generate the same number of elements corresponding to another group, then the two groups are isomorphic?



For example, if I two groups that need 2 generators,and one of the generator generates 3 elements(including e) and another one generates 6 elements, then (3-1)(6-1)=10 is the number of elements of the group and the two groups are isomorphic to each other?



I just started learning group theory a few days ago, so hope you don't mind if I actually ask something stupid.



Briefly , My attempt is that the set generated by a generator is a cyclic group, and that the direct product of those cyclic groups should be isomorphic to the original group itself.










share|cite|improve this question

















  • 1




    The situation cannot be as simple as your last paragraph suggests, for that would mean all finite groups are abelian (evidently false).
    – hardmath
    Sep 13 at 0:31










  • @hardmath, you are right, I thought something wrong about the direct product. The operation is definitely not as simple.
    – Johnny Chen
    Sep 13 at 1:00














up vote
3
down vote

favorite












For a finite group that needs n generator to construct, is the number of elements of the group the same as the product of the numbers of elements each of these generators alone can generate?
If so,is it also true that for two finite groups, if they have the same minimum number of generators needed to construct and that each generator alone can generate the same number of elements corresponding to another group, then the two groups are isomorphic?



For example, if I two groups that need 2 generators,and one of the generator generates 3 elements(including e) and another one generates 6 elements, then (3-1)(6-1)=10 is the number of elements of the group and the two groups are isomorphic to each other?



I just started learning group theory a few days ago, so hope you don't mind if I actually ask something stupid.



Briefly , My attempt is that the set generated by a generator is a cyclic group, and that the direct product of those cyclic groups should be isomorphic to the original group itself.










share|cite|improve this question

















  • 1




    The situation cannot be as simple as your last paragraph suggests, for that would mean all finite groups are abelian (evidently false).
    – hardmath
    Sep 13 at 0:31










  • @hardmath, you are right, I thought something wrong about the direct product. The operation is definitely not as simple.
    – Johnny Chen
    Sep 13 at 1:00












up vote
3
down vote

favorite









up vote
3
down vote

favorite











For a finite group that needs n generator to construct, is the number of elements of the group the same as the product of the numbers of elements each of these generators alone can generate?
If so,is it also true that for two finite groups, if they have the same minimum number of generators needed to construct and that each generator alone can generate the same number of elements corresponding to another group, then the two groups are isomorphic?



For example, if I two groups that need 2 generators,and one of the generator generates 3 elements(including e) and another one generates 6 elements, then (3-1)(6-1)=10 is the number of elements of the group and the two groups are isomorphic to each other?



I just started learning group theory a few days ago, so hope you don't mind if I actually ask something stupid.



Briefly , My attempt is that the set generated by a generator is a cyclic group, and that the direct product of those cyclic groups should be isomorphic to the original group itself.










share|cite|improve this question













For a finite group that needs n generator to construct, is the number of elements of the group the same as the product of the numbers of elements each of these generators alone can generate?
If so,is it also true that for two finite groups, if they have the same minimum number of generators needed to construct and that each generator alone can generate the same number of elements corresponding to another group, then the two groups are isomorphic?



For example, if I two groups that need 2 generators,and one of the generator generates 3 elements(including e) and another one generates 6 elements, then (3-1)(6-1)=10 is the number of elements of the group and the two groups are isomorphic to each other?



I just started learning group theory a few days ago, so hope you don't mind if I actually ask something stupid.



Briefly , My attempt is that the set generated by a generator is a cyclic group, and that the direct product of those cyclic groups should be isomorphic to the original group itself.







group-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 13 at 0:19









Johnny Chen

1026




1026







  • 1




    The situation cannot be as simple as your last paragraph suggests, for that would mean all finite groups are abelian (evidently false).
    – hardmath
    Sep 13 at 0:31










  • @hardmath, you are right, I thought something wrong about the direct product. The operation is definitely not as simple.
    – Johnny Chen
    Sep 13 at 1:00












  • 1




    The situation cannot be as simple as your last paragraph suggests, for that would mean all finite groups are abelian (evidently false).
    – hardmath
    Sep 13 at 0:31










  • @hardmath, you are right, I thought something wrong about the direct product. The operation is definitely not as simple.
    – Johnny Chen
    Sep 13 at 1:00







1




1




The situation cannot be as simple as your last paragraph suggests, for that would mean all finite groups are abelian (evidently false).
– hardmath
Sep 13 at 0:31




The situation cannot be as simple as your last paragraph suggests, for that would mean all finite groups are abelian (evidently false).
– hardmath
Sep 13 at 0:31












@hardmath, you are right, I thought something wrong about the direct product. The operation is definitely not as simple.
– Johnny Chen
Sep 13 at 1:00




@hardmath, you are right, I thought something wrong about the direct product. The operation is definitely not as simple.
– Johnny Chen
Sep 13 at 1:00










1 Answer
1






active

oldest

votes

















up vote
7
down vote



accepted










$S_n$ can be generated by $sigma = (12)$ and $tau = (12dots n)$. The order of $sigma$ is $2$ and the order of $tau$ is $n$. However, the number of elements in $S_n$ is $n!$.






share|cite|improve this answer




















  • Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
    – Johnny Chen
    Sep 13 at 1:25











  • No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
    – matt stokes
    Sep 13 at 1:56










  • Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
    – Johnny Chen
    Sep 13 at 2:11











  • oh yeah, except for the identity. I am too new and to group. Too immature in this area.
    – Johnny Chen
    Sep 13 at 2:29










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2914982%2frelation-between-minimum-number-of-generator-and-number-of-elements%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
7
down vote



accepted










$S_n$ can be generated by $sigma = (12)$ and $tau = (12dots n)$. The order of $sigma$ is $2$ and the order of $tau$ is $n$. However, the number of elements in $S_n$ is $n!$.






share|cite|improve this answer




















  • Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
    – Johnny Chen
    Sep 13 at 1:25











  • No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
    – matt stokes
    Sep 13 at 1:56










  • Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
    – Johnny Chen
    Sep 13 at 2:11











  • oh yeah, except for the identity. I am too new and to group. Too immature in this area.
    – Johnny Chen
    Sep 13 at 2:29














up vote
7
down vote



accepted










$S_n$ can be generated by $sigma = (12)$ and $tau = (12dots n)$. The order of $sigma$ is $2$ and the order of $tau$ is $n$. However, the number of elements in $S_n$ is $n!$.






share|cite|improve this answer




















  • Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
    – Johnny Chen
    Sep 13 at 1:25











  • No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
    – matt stokes
    Sep 13 at 1:56










  • Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
    – Johnny Chen
    Sep 13 at 2:11











  • oh yeah, except for the identity. I am too new and to group. Too immature in this area.
    – Johnny Chen
    Sep 13 at 2:29












up vote
7
down vote



accepted







up vote
7
down vote



accepted






$S_n$ can be generated by $sigma = (12)$ and $tau = (12dots n)$. The order of $sigma$ is $2$ and the order of $tau$ is $n$. However, the number of elements in $S_n$ is $n!$.






share|cite|improve this answer












$S_n$ can be generated by $sigma = (12)$ and $tau = (12dots n)$. The order of $sigma$ is $2$ and the order of $tau$ is $n$. However, the number of elements in $S_n$ is $n!$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 13 at 0:44









matt stokes

57729




57729











  • Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
    – Johnny Chen
    Sep 13 at 1:25











  • No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
    – matt stokes
    Sep 13 at 1:56










  • Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
    – Johnny Chen
    Sep 13 at 2:11











  • oh yeah, except for the identity. I am too new and to group. Too immature in this area.
    – Johnny Chen
    Sep 13 at 2:29
















  • Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
    – Johnny Chen
    Sep 13 at 1:25











  • No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
    – matt stokes
    Sep 13 at 1:56










  • Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
    – Johnny Chen
    Sep 13 at 2:11











  • oh yeah, except for the identity. I am too new and to group. Too immature in this area.
    – Johnny Chen
    Sep 13 at 2:29















Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
– Johnny Chen
Sep 13 at 1:25





Thank you, I know what I got wrong now. I think that the product of the order of the generators only tells at least how many elements there are. Maybe, the number elements is the maximum bound of the product of order of distinct generators that work.
– Johnny Chen
Sep 13 at 1:25













No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
– matt stokes
Sep 13 at 1:56




No problem! This is a good question to ask. The order of the group being an upper bound for the product of generators of course depends on the generating set. For example, if $G$ is a group then the set $G$ generates itself and so the product of the orders of all elements of $G$ is probably much larger than the order of $G$. Given a finite group, can you ever pick a minimal generating set such that the product of the orders of the generators (there has to be an easier way to say that) is larger than the order of the group? I need to think about this some more.
– matt stokes
Sep 13 at 1:56












Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
– Johnny Chen
Sep 13 at 2:11





Oh, you are right. How could I not notice that. Let me arrange my argument again. What I had in mind should be that the order of the group is the upper bound for the product of those generators that the intersection of the elements sets each generator generate is empty. The elements each generator generate must be all different from each other.
– Johnny Chen
Sep 13 at 2:11













oh yeah, except for the identity. I am too new and to group. Too immature in this area.
– Johnny Chen
Sep 13 at 2:29




oh yeah, except for the identity. I am too new and to group. Too immature in this area.
– Johnny Chen
Sep 13 at 2:29

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2914982%2frelation-between-minimum-number-of-generator-and-number-of-elements%23new-answer', 'question_page');

);

Post as a guest













































































Popular posts from this blog

Peggy Mitchell

Palaiologos

The Forum (Inglewood, California)