Talk:Braid group

message: I'm a non-mathematician. It would be really nice if someone could add a short paragraph, maybe by way of introduction, expkaining what Braid groups are used for, or the sorts of problems which they help to solve. (The only such reference is a comment that they could potentially be used for encryption.) Thanks very much.  — Preceding unsigned comment added by 188.39.10.18 (talk) 11:51, 27 August 2011 (UTC)
thread_title:  Introduction 

message: The article mentions that the Braid group for n > 1 is infinite. As far as I can tell, it is possible to enumerate all possible Braids in a given Braid group. So would someone please elaborate on this point?
:Hi.  By "enumerate", you mean "list" them, right?  Does this list ever end?  For example, with B_2, you can keep twisting the two strands in one direction and keep getting different elements of the braid group (n twists is not the same as m twists for n not equal to m).  So "enumerate" here means that you can list the braid elements, but you can never stop.  That means the group is infinite.  --C S (Talk) 12:43, 23 April 2006 (UTC)
thread_title:  Infinite? 

message: This article is written like a math lesson, not an encyclopedia ("We" "you", etc.)  Someone needs to rewrite the examples into a neutral third person. Night Gyr 02:55, 1 May 2006 (UTC)
replies: text: This is standard terminology used in mathematical texts, so, using terms such as "we" make the tone of the article more appropriate, not less. See also "Tone", pronoun use, etc. in math articles at Wikipedia talk:WikiProject Mathematics. Dysprosia 22:26, 1 May 2006 (UTC)

text: Wikipedia articles aren't supposed to contain exercises, as we intend to be a reference work. What would be really nice and appropriate is a verification in the article. Clearly that skips the point of the reader performing the exercise, but we're not an educational work. Dysprosia 00:54, 3 May 2006 (UTC)

text: I've attempted a minor re-wording of the main sections of the article to make the tone a little less informal, but hopefully without losing the excellent clarity of the article. I have also added a MathWorld reference. Gandalf61 12:50, 4 May 2006 (UTC)
replies: text: Thanks for doing that. I moved the MathWorld link to the External links section. It's probably best to restrict references to peer reviewed work or standard texts in the field; I don't think that MathWorld is any more authoritative than we are, although they certainly are better with listing relevant references. AxelBoldt 17:05, 4 May 2006 (UTC)
thread_title:  unencyclopedic tone 

message: Firstly, I would like to say that I like this article a lot, as a mathematician who is rather unfamiliar with this area (despite having John Horton Conway tell me about it informally in 1979). Being realistic, it is doubtful if many readers with very little mathematical knowledge are going to be even looking at this article, so comments above that it is not aimed at a general reader are rather spurious.
The issue I want to bring up is the ways in which the Braid groups are subgroups of bigger Braid groups - the article mentions one monomorphism, but there are clearly many others. The question is "how many?". Intuitively, I see 2(n-1) ways in which Bn-1 is a subgroup of Bn, one for each of the braids on the ends and 2 for each of the ones not on the end (with the other braids being linked in a way that is either all "on top" or all "underneath" the unused braid. I doubt this is the final answer. Is anyone aware of what can be said about the monomorphisms between Bn-1 and Bn beyond the existence of one (as currently described)? Elroch 15:25, 15 May 2006 (UTC)
replies: text: I don't know the answer, but I feel there are a lot more subgroups isomorphic to Bn-1 in Bn. One could start with the examples you have above, and then let automorphisms of Bn (which I also don't know, except for the inner ones) act on them. AxelBoldt 16:21, 16 May 2006 (UTC)
replies: text: True. I was thinking only of the ones where the subgroup corresponded to a subset of the braids in the most obvious way, but there may well be others. The most obvious automorphism is the one which inverts the order of the braids, but this just swaps around the examples I mentioned. The braid group seems more rigid than the symmetric group, because the order of the braids is significant, whereas the order of the permuted elements isn't. Despite this, in the situation with symmetric groups, it's clear (or seems so at 2:30 am) that there are n analogous subgroups, the obvious ones. Elroch 01:32, 17 May 2006 (UTC)
thread_title: Braid subgroups

message: This is the first time I've come across Braid groups, so hopefully someone can enlighten me.  
Reading the "Generators and relations" section reminded me of basis vector sets in linear algebra.  In fact, quite a few properties of braid groups reminded me of matrices.  Though I should note that all I know about lin alg is a undergrad course I took.  I'd like to add "This is analogous to the basis vector sets in linear algebra." under that section, but, never having seen this material before, I'm really not confident that I really know what I'm talking about.  So, to anyone who does know, is there some analogous connection?  -- 69.139.198.89 18:24, 20 May 2006 (UTC)
replies: text: There is a loose analogy between generators of a group and basis elements of a linear space, but it is a very tenuous one for non-abelian groups like Braid groups (but of some relevance to abelian groups), and is not worth mentioning here. Braid groups, like a large class of other groups, may be represented as matrix groups, which is a quite separate topic to generators and relations, and could justify a separate section if anyone knows enough about it. Elroch 23:19, 22 May 2006 (UTC)
thread_title: Reminded of Lin Alg

message: With the definitions given, I believe that the braid group is anti-isomorphic to the mapping class group of the punctured disk.  Similarly, the map from the braid group to the symmetric group is an antihomomorphism, not a homomorphism. Sam nead (talk) 21:53, 10 February 2008 (UTC)
replies: text: Every group is anti-isomorphic to itself via the inversion map, so it doesn't make any difference ie: the anti-isomorphism relation is the same as the isomorphism equivalence relation.  If you're referring to the specific map not being an isomorphism -- I don't think the article is formal enough to come to that conclusion.  For example, the answer depends on if you choose the convention that composition of functions is right-to-left or left-to-right.  IMO this is probably a good thing. In my papers I always set things up so that the natural map between the pi_1 of configuration spaces interpretation of braid groups and the pi_0 Diff interpretation is an isomorphism, but that's just me. Rybu (talk) 04:23, 15 August 2008 (UTC)
thread_title:  Antihomomorphism 

message: Before Fox, I believe Smale and Palais understood the relationship between the mapping class groups and configuration space interpretations of braid groups.  The earlier proof of Smale and Palais just took longer to sink into the collective consciousness of mathematicians -- much like the Brown representation theorem proof of the existance of Seifert surfaces for knots. 
Details:  If you look at Palais's 1960 "Local triviality of the restriction map for embeddings" and then read Smale's 1959 paper "Diffeomorphisms of the 2-sphere" you get a nice result. Diff(D^2 fix \partial) is contractible (by Smale).  Then there is the locally-trivial fiber bundle (by Palais) Diff(D^2 fix \partial \cup P) \to Diff(D^2 fix \partial) \to C_n(D^2) where the base-space is the configuration space of n points in the interior of the 2-disc -- this is a Palais-type restriction map (restriction to the set P).  The total space is the diffeomorphism group of the 2-disc that fixes the boundary point-wise, and the fiber is the diffeomorphism group of the 2-disc that fixes the boundary and preserves the n-point set P \subset D^2.  It's a fiber bundle therefore a fibration (the proof that it is just a Serre fibration is actually an easier result which was a well-known souping-up of the isotopy extension theorem, even back then).  So basic homotopy-theory nonsense tells you that  \pi_1 C_n(D^2) \simeq \pi_0 Diff(D^2 fix \partial \cup P), actually the far stronger result follows BDiff(D^2 fix \partial \cup P) \simeq C_n(D^2). 
IMO this might be too much to put in the article, but it probably deserves to stay in this discussion section.  Rybu (talk) 04:37, 15 August 2008 (UTC)
thread_title:  pi_1 config vs. pi_0 diff interpretations 

message: IMO the relation to the modular group section is uninformative.  The relation really has its "birth" in the observation that mapping class groups of surfaces are generated by Dehn twists.  So if the surface has genus 2 or less, the mapping class group is the hyper-elliptic mapping class group, which fits in a natural extension with mapping class groups of marked spheres. This is written up well in Birman's book. At some point this article will need a housecleaning. Rybu (talk) 05:04, 15 August 2008 (UTC)
thread_title:  relation to modular group 

message: I removed this paragraph for now:
:The braid group may be mapped onto the monodromy of an analytic function. This may be visualized by considering a disk with n-1 punctures, each puncture corresponding to a pole of the analytic function. The monodromy can then be visualized by taking each of the punctures to be a straight line perpendicular to the disk, and the monodromy path as a string, anchored at a point, that winds around each of the punctures, returning to its original starting point.
Several things should be clarified: can any analytic function be used? Are we talking about a homomorphism from the full braid group, or from the pure braid group? Either way, it is not clear to me how the homomorphism is defined. It seems that there are many braids that do not look like a string winding around a couple of vertical strings. Are we using the mapping class group interpretation here? AxelBoldt (talk) 19:30, 24 April 2009 (UTC)
replies: text: I believe the situation whomever was referring to was when you have a 1-parameter family of meromorphic functions.  The singularities are a path in the space of finite element subsets of the plane.  So if your path is a loop and no singularities are created or destroyed, the singularities are an element of the braid group.  By monodromy, they're referring to the relationship between loops in the configuration space vs elements of the diffeomorphism group of the punctured plane.   So you haven't erased anything that's particularly informative.  Rybu (talk) 03:01, 27 April 2009 (UTC)
thread_title:  Monodromy 

message: The article defines B_∞ as an "increasing union". Shouldn't that be "inverse limit"?
198.228.228.160 (talk) 08:35, 26 June 2014 (UTC)
thread_title:  Definition of B_∞ 

message: Hello fellow Wikipedians,
I have just modified  on Braid group. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20060109103339/http://www2.msstate.edu:80/~fabel/pb52.pdf to http://www2.msstate.edu/~fabel/pb52.pdf
*Added archive https://web.archive.org/web/20050129185221/http://www2.msstate.edu:80/~fabel/tb37.pdf to http://www2.msstate.edu/~fabel/tb37.pdf
When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at ).
Cheers.—InternetArchiveBot (Report bug) 08:58, 10 November 2016 (UTC)
thread_title:  External links modified 

message: As discussed on the talk page for Braid theory, there don't appear to be any other parts of "braid theory" other than the theory of braid groups. Additionally, the references between these pages are dense. In fact, the definition of a braid group is supposed to be given on the page on braid theory (note that it isn't -- see Configuration space (mathematics) for the rigorous definition). Any opposed to merging? siddharthist (talk) 07:07, 12 September 2017 (UTC)
replies: text: I have also wondered about why these separate articles exist.   Comfr (talk) 02:24, 15 November 2017 (UTC)
replies: text: These should absolutely be merged. — MarkH21 (talk) 23:41, 8 February 2019 (UTC)

text: Klbrain (talk) 21:37, 25 February 2019 (UTC)
thread_title:  Merge from [[Braid theory]] 

message: Hello fellow Wikipedians,
I have just modified one external link on Braid group. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20090803144521/http://research.cyber.ee/~lipmaa/crypto/link/public/braid/ to http://research.cyber.ee/~lipmaa/crypto//link/public/braid/
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 06:26, 14 December 2017 (UTC)
thread_title:  External links modified 

message: I found the text of the article very clear. I'm not claiming that I grasped all of it, but I got a lot further than I expected, given the specialised topic.
However, my understanding of the article was hampered by my having started by looking at the diagram at the top. This diagram portrays, rather nicely, the 24 elements of the symmetric group S4. I assumed that this would be related to the topic of braid groups. In fact, there's barely any connection, and my assumption led me astray until I realised that I should ignore the diagram. Here are some differences between symmetric groups and braid groups:
*If n</sub>>1 but finite, the braid group on n strands is infinite but the symmetric group n items if finite.
*The elements of a braid group all (except the identity) have infinite order. The elements of a symmetric group on finitely many items all have finite order.
*For an element of a braid group which swaps two strands, it matters whether the crossing goes "over" or "under". For an element of a symmetric group which swaps two items, there is no "over"/"under".
I believe the article would be improved by removing the diagram that shows S4. Maproom (talk) 12:34, 18 August 2020 (UTC)
thread_title:  The diagram at the top of the article 

message: In “Basic properties” > “Generators and relations”, we have the text “These relations can be appreciated best by drawing the braid on a piece of paper.”
This makes sense to me for a document that can't include graphical figures, but on Wikipedia would it make sense to provide such a drawing as a figure, rather than ask the reader to draw it themselves?
I understand that writing things out oneself can be good pedagogy, but for a reference such as Wikipedia it seems to me better to be direct. —Octavo (talk) 15:05, 5 March 2022 (UTC)
thread_title:  drawing the braid on a piece of paper