Minimum size of generating set

From Groupprops
Jump to: navigation, search
This article defines an arithmetic function on groups
View other such arithmetic functions

Definition

Let be a group. The minimum size of generating set for , often called the rank or generating set-rank of , and sometimes denoted or , is defined as the minimum possible size of a generating set for .

This number is finite if and only if the group is a finitely generated group.

Particular cases

Upper bound on minimum size of generating set Name of groups satisfying this upper bound
0 trivial group
1 cyclic group
2 2-generated group (examples include symmetric group on a finite set, see symmetric group on a finite set is 2-generated)

Facts

Relation with other arithmetic functions

Arithmetic functions defined using it

Arithmetic functions taking values greater than or equal to minimum size of generating set

Arithmetic function Meaning Proof of comparison
maximum size of minimal generating set The maximum, over all minimal generating sets of the group, of their sizes
max-length of a group maximum possible length of a subgroup series for the group (via maximum size of minimal generating set)
sum of exponents of prime divisors in prime factorization of order (via max-length). See minimum size of generating set is bounded by sum of exponents of prime divisors of order
{"cc_re__cc_re__cc_by_sa_3_0": ["is revision of the page\">Permanent link</a></li><li id=\"t-info\"><a href=\"/w/index.php?title=Minimum_size_of_generating_set&amp;action=info\" title=\"More information about this page\">Page information</a></li>\t\t\t\t\t</ul>\n\t\t\t\t\t\t\t</div>\n\t\t</div>\n\t\t\t\t</div>\n\t\t</div>\n\t\t<div id=\"footer\" role=\"contentinfo\">\n\t\t\t\t\t\t\t<ul id=\"footer-info\">\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-info-lastmod\"> This page was last edited on 26 December 2011, at 02:06.</li>\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-info-copyright\">Content is available under <a class=\"external\" rel=\"nofollow\" href=\"https://creativecommons.org/licenses/by-sa/3.0/\">Attribution-Share Alike 3.0 Unported</a> unless otherwise noted.</li>\n\t\t\t\t\t\t\t\t\t</ul>\n\t\t\t\t\t\t\t<ul id=\"footer-places\">\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-places-privacy\"><a href=\"/wiki/Groupprops:Privacy_policy\" title=\"Groupprops:Privacy policy\">Privacy policy</a></li>\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-places-about\"><a href=\"/wiki/Groupprops:About\" title=\"Groupprops:About\">About Groupprops</a></li>\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-places-disclaimer\"><a href=\"/wiki/Groupprops:General_disclaimer\" title=\"Groupprops:General d", "/li>\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-places-disclaimer\"><a href=\"/wiki/Groupprops:General_disclaimer\" title=\"Groupprops:General disclaimer\">Disclaimers</a></li>\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-places-mobileview\"><a href=\"https://groupprops.subwiki.org/w/index.php?title=Minimum_size_of_generating_set&amp;mobileaction=toggle_view_mobile\" class=\"noprint stopMobileRedirectToggle\">Mobile view</a></li>\n\t\t\t\t\t\t\t\t\t</ul>\n\t\t\t\t\t\t\t\t\t\t<ul id=\"footer-icons\" class=\"noprint\">\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-copyrightico\">\n\t\t\t\t\t\t\t<a href=\"https://creativecommons.org/licenses/by-sa/3.0/\" target=\"_blank\"><img src=\"https://licensebuttons.net/l/by-sa/3.0/88x31.png\" alt=\"Attribution-Share Alike 3.0 Unported\" width=\"88\" height=\"31\"/></a>\t\t\t\t\t\t</li>\n\t\t\t\t\t\t\t\t\t\t\t<li id=\"footer-poweredbyico\">\n\t\t\t\t\t\t\t<a href=\"//www.mediawiki.org/\" target=\"_blank\"><img src=\"/w/resources/assets/poweredby_mediawiki_88x31.png\" alt=\"Powered by MediaWiki\" srcset=\"/w/resources/assets/poweredby_mediawiki_132x47.png 1.5x, /w/resources/assets/poweredby_mediawiki_176x62.png 2x\" width=\"88\" height=\"31\"/></a><a href=\"https://www.seman"], "copyright__copyright__copyright": ["to minimum size of generating set\n\nArithmetic function Meaning Proof of comparison\nmaximum size of minimal generating set The maximum, over all minimal generating sets of the group, of their sizes\nmax-length of a group maximum possible length of a subgroup series for the group (via maximum size of minimal generating set)\nsum of exponents of prime divisors in prime factorization of order (via max-length). See minimum size of generating set is bounded by sum of exponents of prime divisors of order", "to minimum size of generating set\n\nArithmetic function Meaning Proof of comparison\nmaximum size of minimal generating set The maximum, over all minimal generating sets of the group, of their sizes\nmax-length of a group maximum possible length of a subgroup series for the group (via maximum size of minimal generating set)\nsum of exponents of prime divisors in prime factorization of order (via max-length). See minimum size of generating set is bounded by sum of exponents of prime divisors of order", "to minimum size of generating set\n\nArithmetic function Meaning Proof of comparison\nmaximum size of minimal generating set The maximum, over all minimal generating sets of the group, of their sizes\nmax-length of a group maximum possible length of a subgroup series for the group (via maximum size of minimal generating set)\nsum of exponents of prime divisors in prime factorization of order (via max-length). See minimum size of generating set is bounded by sum of exponents of prime divisors of order"]}