Supernatural numbers: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older editNewer edit →
en>Jason Quinn
"we write" -> "is written"... tweak of phrasing to avoid personal pronouns
Line 1: Line 1:
In the [[Mathematics|mathematical]] field of [[group theory]], the '''Kurosh subgroup theorem''' describes the algebraic structure of [[subgroup]]s of [[free product]]s of [[group (mathematics)|groups]]. The theorem was obtained by [[Aleksandr Gennadievich Kurosh|Alexander Kurosh]], a Russian mathematician, in 1934.<ref>A. G. Kurosh, ''Die Untergruppen der freien Produkte von beliebigen Gruppen.'' [[Mathematische Annalen]], vol. 109 (1934), pp. 647–660.</ref> Informally, the theorem says that every subgroup of a free product is itself a free product of a [[free group]] and of its intersections with the [[Conjugate (group theory)|conjugates]] of the factors of the original free product.


==History and generalizations==
After the original 1934 proof of Kurosh, there were many subsequent proofs of the Kurosh subgroup theorem, including proofs of Kuhn (1952),<ref>H. W. Kuhn. ''Subgroup theorems for groups presented by generators and relations.'' [[Annals of Mathematics]] (2), vol. 56, (1952), pp. 22–46</ref> [[Saunders Mac Lane|Mac Lane]] (1958)<ref>S. Mac Lane.
''A proof of the subgroup theorem for free products.'' Mathematika, vol. 5 (1958), pp. 13–19</ref> and others. The theorem was also generalized for describing subgroups of [[free product with amalgamation|amalgamated free product]]s and [[HNN extension]]s.<ref>A. Karrass, and D. Solitar. ''The subgroups of a free product of two groups with an amalgamated subgroup.''
[[Transactions of the American Mathematical Society]], vol. 150 (1970), pp. 227–255.</ref><ref>A. Karrass, and D. Solitar. ''Subgroups of HNN groups and groups with one defining relation''. [[Canadian Journal of Mathematics]], vol. 23 (1971), pp. 627–643.</ref> Other generalizations include considering subgroups of free [[pro-finite group|pro-finite]] products<ref>{{cite journal| last=Zalesskii | first=Pavel Aleksandrovich | year=1990 | title=[Open subgroups of free profinite products over a profinite space of indices] | language=Russian | journal=[[Doklady Akademii Nauk SSSR]] | volume=34 | issue=1 | pages=17–20}}</ref> and a version of the Kurosh subgroup theorem for [[topological group]]s.<ref>P. Nickolas.  ''A Kurosh subgroup theorem for topological groups.'' [[Proceedings of the London Mathematical Society]] (3), vol. 42 (1981), no. 3, pp. 461–477</ref>


In modern terms, the Kurosh subgroup theorem is a straightforward corollary of the basic structural results of [[Bass–Serre theory]] about groups [[group action|acting]] on [[Tree (graph theory)|trees]].<ref name="cohen">Daniel Cohen. ''Combinatorial group theory: a topological approach.'' [[London Mathematical Society]] Student Texts, 14. [[Cambridge University Press]], Cambridge, 1989. ISBN 0-521-34133-7; 0-521-34936-2</ref>
They're always ready to help, and they're always making changes to the site to make sure you won't have troubles in the first place. The next step is to visit your Word - Press blog dashboard. These templates are professionally designed and are also Adsense ready. Transforming your designs to Word - Press blogs is not that easy because of the simplified way in creating your very own themes. It's as simple as hiring a Wordpress plugin developer or learning how to create what is needed. <br><br>Thus, it is imperative that you must Hire Word - Press Developers who have the expertise and proficiency in delivering theme integration and customization services. If a newbie missed a certain part of the video then they could always rewind. If you have any issues about where by and how to use [http://miniminecraftgamefree.com/profile/27635/inzujr wordpress backup plugin], you can get in touch with us at our web site. This plugin is a must have for anyone who is serious about using Word - Press. You can up your site's rank with the search engines by simply taking a bit of time with your site. For a Wordpress website, you don't need a powerful web hosting account to host your site. <br><br>The least difficult and very best way to do this is by acquiring a Word - Press site. s cutthroat competition prevailing in the online space won. If Gandhi was empowered with a blogging system, every event in his life would have been minutely documented so that it could be recounted to the future generations. Thousands of plugins are available in Word - Press plugin's library which makes the task of selecting right set of plugins for your website a very tedious task. " Thus working with a Word - Press powered web application, making any changes in the website design or website content is really easy and self explanatory. <br><br>There has been a huge increase in the number of developers releasing free premium Word - Press themes over the years. Cameras with a pentaprism (as in comparison to pentamirror) ensure that little mild is lost before it strikes your eye, however these often increase the cost of the digital camera considerably. One of the great features of Wordpress is its ability to integrate SEO into your site. Fast Content Update  - It's easy to edit or add posts with free Wordpress websites. OSDI, a  Wordpress Development Company  based on ahmedabad, India. <br><br>Many developers design websites and give them to the clients, but still the client faces problems to handle the website. When you sign up with Wordpress, you gain access to several different templates and plug-in that allow you to customize your blog so that it fits in with your business website design seamlessly. You can select color of your choice, graphics of your favorite, skins, photos, pages, etc. Working with a Word - Press blog and the appropriate cost-free Word - Press theme, you can get a professional internet site up and published in no time at all. You can check out the statistics of page of views for your web pages using free tools that are available on the internet.
 
==Statement of the theorem==
 
Let ''G'' = ''A''∗''B'' be the [[free product]] of groups ''A'' and ''B'' and let ''H'' ≤ ''G'' be a [[subgroup]] of ''G''. Then there exist a family (''A''<sub>''i''</sub>)<sub>''i'' ∈ ''I''</sub> of subgroups ''A''<sub>''i''</sub> ≤ ''A'', a family (''B''<sub>''j''</sub>)<sub>''j'' ∈ ''J''</sub> of subgroups ''B''<sub>''j''</sub> ≤ ''B'', families ''g''<sub>''i''</sub>, ''i'' ∈ ''I'' and ''f''<sub>''j''</sub>, ''j'' ∈ ''J'' of elements of ''G'', and a subset ''X'' ⊆ ''G''  such that
 
:<math>H=F(X)*(*_{i\in I} g_i A_ig_i^{-1})* (*_{j\in J} f_jB_jf_j^{-1}).</math>
 
This means that ''X'' ''freely [[Generating set of a group|generates]]'' a subgroup of ''G'' isomorphic to the [[free group]] ''F''(''X'') with free basis ''X'' and that, moreover, ''g''<sub>''i''</sub>''A''<sub>''i''</sub>''g''<sub>''i''</sub><sup>−1</sup>, ''f''<sub>''j''</sub>''B''<sub>''j''</sub>''f''<sub>''j''</sub><sup>−1</sup> and ''X'' [[Generating set of a group|generate]] ''H'' in ''G'' as a free product of the above form.
 
There is a generalization of this to the case of free products with arbitrarily many factors.<ref>William S. Massey, [http://books.google.com/books?id=IX0dhDDHezgC&pg=PA218&dq=%22Kurosh+subgroup+theorem%22&as_brr=3&ei=dQ10S8zsKKasNaSNgJsE&cd=1#v=onepage&q=%22Kurosh%20subgroup%20theorem%22&f=false Algebraic topology: an introduction.] Graduate Texts in Mathematics, [[Springer-Verlag]], New York, 1977, ISBN 0-387-90271-6; pp. 218&ndash;225</ref> Its formulation is:
 
If ''H'' is a subgroup of ∗<sub>i∈I</sub>''G''<sub>i</sub> = ''G'', then
:<math>H=F(X)*(*_{j\in J} g_jH_jg_j^{-1}),</math>
where ''X'' ⊆ ''G'' and ''J'' is some index set and ''g''<sub>j</sub> ∈ ''G'' and each ''H''<sub>j</sub> is a subgroup of some ''G''<sub>i</sub>.
 
==Proof using Bass–Serre theory==
 
The Kurosh subgroup theorem easily follows from the basic structural results in [[Bass–Serre theory]], as explained, for example in the book of Cohen (1987):<ref name="cohen"/>
 
Let ''G'' = ''A''∗''B'' and consider ''G'' as the fundamental group of a [[graph of groups]] '''Y''' consisting of a single non-loop edge with the vertex groups ''A'' and ''B'' and with the trivial edge group. Let ''X'' be the Bass–Serre universal covering tree for the graph of groups '''Y'''. Since ''H'' ≤ ''G'' also acts on ''X'', consider the quotient graph of groups '''Z''' for the action of ''H'' on ''X''. The vertex groups of '''Z''' are subgroups of ''G''-stabilizers of vertices of ''X'', that is, they are conjugate in ''G'' to subgroups of ''A'' and ''B''. The edge groups of '''Z''' are trivial since the ''G''-stabilizers of edges of ''X'' were trivial. By the fundamental theorem of Bass–Serre theory, ''H'' is canonically [[Group isomorphism|isomorphic]] to the fundamental group of the [[graph of groups]] '''Z'''. Since the edge groups of '''Z''' are trivial, it follows that ''H'' is equal to the free product of the vertex groups of '''Z''' and the free group ''F''(''X'') which is the [[fundamental group]] (in the standard topological sense) of the underlying graph ''Z'' of '''Z'''. This implies the conclusion of the Kurosh subgroup theorem.
 
==Extension==
The result extends to the case that ''G'' is the [[amalgamated product]] along a common subgroup ''A'', under the condition that ''H'' meets every conjugate of ''A'' only in the identity element.<ref>{{cite book | title=Trees | first=Jean-Pierre | last=Serre | publisher=Springer | year=2003 | isbn=3-540-44237-5 | pages=56–57 }}</ref>
 
==See also==
*[[HNN extension]]
*[[Geometric group theory]]
 
==Notes==
{{reflist}}
 
[[Category:Geometric group theory]]
[[Category:Theorems in group theory]]

Revision as of 22:31, 3 March 2014


They're always ready to help, and they're always making changes to the site to make sure you won't have troubles in the first place. The next step is to visit your Word - Press blog dashboard. These templates are professionally designed and are also Adsense ready. Transforming your designs to Word - Press blogs is not that easy because of the simplified way in creating your very own themes. It's as simple as hiring a Wordpress plugin developer or learning how to create what is needed.

Thus, it is imperative that you must Hire Word - Press Developers who have the expertise and proficiency in delivering theme integration and customization services. If a newbie missed a certain part of the video then they could always rewind. If you have any issues about where by and how to use wordpress backup plugin, you can get in touch with us at our web site. This plugin is a must have for anyone who is serious about using Word - Press. You can up your site's rank with the search engines by simply taking a bit of time with your site. For a Wordpress website, you don't need a powerful web hosting account to host your site.

The least difficult and very best way to do this is by acquiring a Word - Press site. s cutthroat competition prevailing in the online space won. If Gandhi was empowered with a blogging system, every event in his life would have been minutely documented so that it could be recounted to the future generations. Thousands of plugins are available in Word - Press plugin's library which makes the task of selecting right set of plugins for your website a very tedious task. " Thus working with a Word - Press powered web application, making any changes in the website design or website content is really easy and self explanatory.

There has been a huge increase in the number of developers releasing free premium Word - Press themes over the years. Cameras with a pentaprism (as in comparison to pentamirror) ensure that little mild is lost before it strikes your eye, however these often increase the cost of the digital camera considerably. One of the great features of Wordpress is its ability to integrate SEO into your site. Fast Content Update - It's easy to edit or add posts with free Wordpress websites. OSDI, a Wordpress Development Company based on ahmedabad, India.

Many developers design websites and give them to the clients, but still the client faces problems to handle the website. When you sign up with Wordpress, you gain access to several different templates and plug-in that allow you to customize your blog so that it fits in with your business website design seamlessly. You can select color of your choice, graphics of your favorite, skins, photos, pages, etc. Working with a Word - Press blog and the appropriate cost-free Word - Press theme, you can get a professional internet site up and published in no time at all. You can check out the statistics of page of views for your web pages using free tools that are available on the internet.

Retrieved from "https://en.formulasearchengine.com/index.php?title=Supernatural_numbers&oldid=261546"