Supernatural numbers: Difference between revisions
Jump to navigation
Jump to search
en>Jason Quinn new external links section started with link previously under References |
|||
| 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> | |||
==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–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 06:28, 3 January 2014
In the mathematical field of group theory, the Kurosh subgroup theorem describes the algebraic structure of subgroups of free products of groups. The theorem was obtained by Alexander Kurosh, a Russian mathematician, in 1934.[1] 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 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),[2] Mac Lane (1958)[3] and others. The theorem was also generalized for describing subgroups of amalgamated free products and HNN extensions.[4][5] Other generalizations include considering subgroups of free pro-finite products[6] and a version of the Kurosh subgroup theorem for topological groups.[7]
In modern terms, the Kurosh subgroup theorem is a straightforward corollary of the basic structural results of Bass–Serre theory about groups acting on trees.[8]
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 (Ai)i ∈ I of subgroups Ai ≤ A, a family (Bj)j ∈ J of subgroups Bj ≤ B, families gi, i ∈ I and fj, j ∈ J of elements of G, and a subset X ⊆ G such that
This means that X freely generates a subgroup of G isomorphic to the free group F(X) with free basis X and that, moreover, giAigi−1, fjBjfj−1 and X 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.[9] Its formulation is:
If H is a subgroup of ∗i∈IGi = G, then
where X ⊆ G and J is some index set and gj ∈ G and each Hj is a subgroup of some Gi.
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):[8]
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 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.[10]
See also
Notes
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- ↑ A. G. Kurosh, Die Untergruppen der freien Produkte von beliebigen Gruppen. Mathematische Annalen, vol. 109 (1934), pp. 647–660.
- ↑ H. W. Kuhn. Subgroup theorems for groups presented by generators and relations. Annals of Mathematics (2), vol. 56, (1952), pp. 22–46
- ↑ S. Mac Lane. A proof of the subgroup theorem for free products. Mathematika, vol. 5 (1958), pp. 13–19
- ↑ 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.
- ↑ 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.
- ↑ One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting
In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang
Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules
Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.
A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running
The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more
There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang - ↑ P. Nickolas. A Kurosh subgroup theorem for topological groups. Proceedings of the London Mathematical Society (3), vol. 42 (1981), no. 3, pp. 461–477
- ↑ 8.0 8.1 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
- ↑ William S. Massey, Algebraic topology: an introduction. Graduate Texts in Mathematics, Springer-Verlag, New York, 1977, ISBN 0-387-90271-6; pp. 218–225
- ↑ 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534