Jump to content

Talk:Parabolic subgroup of a reflection group/GA1

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

GA review

[edit]
GA toolbox
Reviewing

Article (edit | visual edit | history) · Article talk (edit | history) · Watch

Nominator: JayBeeEll (talk · contribs) 23:03, 1 September 2024 (UTC)[reply]

Reviewer: Kingsif (talk · contribs) 21:20, 7 July 2025 (UTC)[reply]



Hi, I'm Kingsif, and I'll be doing this review. This is an automated message that helps keep the bot updating the nominated article's talkpage working and allows me to say hi. Feel free to reach out and, if you think the review has gone well, I have some open GA nominations that you could (but are under no obligation to) look at. Kingsif (talk) 21:20, 7 July 2025 (UTC)[reply]

Hello @Kingsif, I wanted to ask what the progress on this review is as its been a week since the start of the review and I haven't seen any other comments yet? I know you mentioned on JBL's talk page that you've had work taking up time away from editing, and that you've acknowledge the difficulty in reviewing this article, so no pressure if you need more time for doing this review. I just want to know where things stand right now as someone watching this review. And also, thank you for offering to take on this review in the first place considering the circumstances of how long this article has gone unreviewed and lingered in nominations. Gramix13 (talk) 16:27, 14 July 2025 (UTC)[reply]
Yeah, based on discussion with JBL that they're also quite busy this month, I've been taking this review criteria point by criteria point so far. I can add some comments but (for JBL) no pressure to address anything in a rushed way. Kingsif (talk) 20:12, 14 July 2025 (UTC)[reply]
Thanks -- I am travelling through the end of this week but I'm looking forward to digging in next week! JBL (talk) 00:41, 23 July 2025 (UTC)[reply]
Good Article review progress box
Criteria: 1a. prose () 1b. MoS () 2a. ref layout () 2b. cites WP:RS () 2c. no WP:OR () 2d. no WP:CV ()
3a. broadness () 3b. focus () 4. neutral () 5. stable () 6a. free or tagged images () 6b. pics relevant ()
Note: this represents where the article stands relative to the Good Article criteria. Criteria marked are unassessed

Source spot-check

[edit]

This spot-check will cover six of the citations in the article. Some of the sources are accessible to me on web, I'll ask if there's anything not accessible I would like to check.

  • Ref #2 (Kane 2001, pp.8–14): I recognise that the selected pages from the source are describing a mathematical theory that has been summarised in the article. Going over it, the text, especially these dihedral structures are indicative of the general situation, confirms the article's summary. I believe the summary is appropriate. checkY
  • Ref #6 (Lehrer & Taylor 2009, p.1): Would you be able to explain the content of this page in the source a bit? I can see how it implies or mentions the complexification of real reflections, but not the rest of the sentence in the article ("Every real reflection group can be complexified to give a complex reflection group, so the complex reflection groups form another generalization of finite real reflection groups.") I appreciate there is also another ref at the end of this sentence.
  • Ref #12 (Björner & Brenti 2005, p.17): Source is a selection of proofs with different variables, showing that the overall statement in footnote e is true. checkY
  • Ref #32 (Gobet 2017): Source is a proof example which, especially X is not conjugate to any of the three rank 2 standard parabolic subgroups of W, seems to confirm that article sentence. checkY
  • Ref #37 (Borel 2001): Note that the page number that I get for this is 121. Source confirms info in footnote j. The source also suggests the term is anachronistic, which could be mentioned in said footnote? checkY
  • Ref #38 (Digne & Michel 1991, pp.19–21): Source's 1.4 through 1.6 confirms the info in the article section. This is the only source for the section, is that it? checkY

I'm not sure exactly where to put my responses, hopefully here is good! About the second point (Ref #6): The sentence "In 1951, ..." in the reference verifies the sentence "Especially, if one replaces ..." in the article. The phrase "These groups include the Euclidean groups" verifies that the complex groups generalize the real groups. Although the word "complexification" appears, it does not quite verify the assertion in the article that "Every real reflection group can be complexified to give a complex reflection group"; however, that statement is verified directly by the other footnote (Ref #7), which includes the sentence "Among these [complex reflection] groups are the [finite real] reflection groups we have been studying (complexified)." In fact I think Ref #6 is superfluous here and Ref #7 covers both sentences. --JBL (talk) 19:44, 29 July 2025 (UTC)[reply]

Criteria

[edit]
  • 1a: understandable to a sufficiently broad audience; prose and grammar correct and suitable.
    • As discussed, this is a topic which is introduced at undergraduate level mathematics. The applicable broad audience is therefore this group of people. Based on comments at the article's talkpage, especially from Gramix13, and subsequent edits in the last month, the article is written in a way to be understood by this group.
      • To expand on this, JayBeeEll's exact comment was "the high-quality sources that cover this topic are aimed at PhD students beginning to specialize or professional researchers in mathematics. In my opinion, this means that "an appropriately broad audience" should mean "advanced undergraduate mathematics majors and beginning PhD students in mathematics"." I take this to mean that the concept would be introduced at the academic level of an undergraduate, with deeper and independent understanding at academic level of a postgraduate researcher. One would assume the readers looking for Wikipedia's summary are more likely at the lower end of this range - and being understandable to an undergraduate does not mean limiting the content to this level. Effectively, we don't want an article that can only be understood by the people it's citing, as that's not useful to anyone. Kingsif (talk) 11:38, 20 July 2025 (UTC)[reply]
        To be precise: I don't think the topic of this article is introduced to undergraduates, with perhaps exceptions for advanced undergraduates doing research projects (via an REU or whatever), and the literature that discusses it is almost universally aimed at graduate students or professional mathematicians. However I think the group of people who could conceivably understand at least some part of the article includes sufficiently advanced undergraduates (say those who have taken a good course in abstract algebra), and so my target audience (per WP:ONEDOWN) includes them. --JBL (talk) 17:22, 1 August 2025 (UTC)[reply]
    • I have found no prose errors yet, and I find the article does a good job combining the mathematical equations; summary prose; and descriptive prose.
    Kingsif (talk) 22:12, 19 July 2025 (UTC)[reply]
    Thanks! JBL (talk) 17:17, 1 August 2025 (UTC)[reply]
    I must confess that the comments on the talk page were specifically for the lead, which I would agree would meet the criteria for being understandable to an audience of undergraduate mathematics students (although this is certainly not introduced at that level at least in my own experience). I can't say whether or not the rest of the article meets being understandable since I never really took the time to continue thoroughly reading it over, but I do think the rewrite in the lead was promising in this respect. Gramix13 (talk) 22:21, 19 July 2025 (UTC)[reply]
Noted. If you have the time and inclination, it'd be helpful to have the eyes on the rest of the article; I was otherwise going to ask at the Mathematics WikiProject. Kingsif (talk) 22:28, 19 July 2025 (UTC)[reply]
Sure, I can go ahead and take this as an opportunity to read through the rest of the article to see if its understandable. I'll leave comments here if I find anything that might be unclear or could be explained better for clarity. Gramix13 (talk) 22:35, 19 July 2025 (UTC)[reply]
Thanks, that'd be really helpful. Kingsif (talk) 22:43, 19 July 2025 (UTC)[reply]
I don't see the Bruhat order being explained when it is introduced as an invariant on standard parabolic subgroups, although this is the only time the article mentions it. A brief description of what it means would help since this could be the first article for someone learning about Coxeter groups and is therefore unaware of what that ordering is. Gramix13 (talk) 23:09, 19 July 2025 (UTC)[reply]
Good point. I think that, unlike the length function, getting into an actual definition of Bruhat order would be way too far afield (and probably not too helpful), so I've just added a quick contextual gloss [1]. --JBL (talk) 17:32, 1 August 2025 (UTC)[reply]
That looks good to me, and probably a good call not to go too much into the weeds unnecessarily. Gramix13 (talk) 19:11, 1 August 2025 (UTC)[reply]
Consequently, the lattice of standard parabolic subgroups of W is a Boolean lattice Is this because the lattice is isomorphic to the subsets of the generators? If so, that being communicated could give the reader a much better picture in their mind of how to view the standard parabolic subgroups simply as analogous to the subsets of the generator, including with the operations of intersection and union/generated subgroup. It's possible the reader might not immediately see why it should be a Boolean lattice (or even know what that means), but certainly they will be familiar with the structure of subsets which might be more approachable to an undergraduate. Gramix13 (talk) 23:14, 19 July 2025 (UTC)[reply]
Is this because the lattice is isomorphic to the subsets of the generators? Yes, good, thank you. I've spelled it out more so you can get the idea without knowing the jargon: [2]. --JBL (talk) 17:28, 1 August 2025 (UTC)[reply]
This looks perfect! Gramix13 (talk) 19:12, 1 August 2025 (UTC)[reply]
In terms of the Coxeter–Dynkin diagram... I think it would be helpful to also explain what this kind of diagram is since I don't think its something all undergraduates would know. Gramix13 (talk) 23:21, 19 July 2025 (UTC)[reply]
Glossed: [3]. --JBL (talk) 18:09, 1 August 2025 (UTC)[reply]
That seems acceptable to not go too much into those diagrams. I did correct an error in the math tags I saw there, might be good to double check it. [4] Gramix13 (talk) 19:16, 1 August 2025 (UTC)[reply]
Yes, thank you, obviously I need to proofread my edits! --JBL (talk) 19:19, 1 August 2025 (UTC)[reply]
The collection of all intersections of subsets of these hyperplanes... This sounds vague, what subsets of hyperplanes are we intersecting by? All of them? Just the hyperplanes? Gramix13 (talk) 23:28, 19 July 2025 (UTC)[reply]
So what I mean is, you have all these hyperplanes; take any subset of these hyperplanes and take the intersection of the planes in that subset to get a subspace. Now do that in all possible ways. That's the collection I'm talking about here. I agree that this could be made gentler by some unpacking, let me think about it some more (or please make a suggestion if you have one). --JBL (talk) 17:37, 1 August 2025 (UTC)[reply]
Ok, I see the intent now behind this phrase! I think we could rewrite it as "The collection of all possible intersections among the hyperplanes in the reflection arrangement..." This makes it clear where those hyperplanes are coming form, and reuses the terminology established in the previous sentence. Gramix13 (talk) 19:21, 1 August 2025 (UTC)[reply]
Yes, that's better, thanks -- done verbatim. --JBL (talk) 20:07, 1 August 2025 (UTC)[reply]
In the case of a finite real reflection group, this definition differs from the classical one, where S necessarily comes from the reflections whose reflecting hyperplanes form the boundaries of a chamber. What chamber is this referring to? Gramix13 (talk) 00:04, 20 July 2025 (UTC)[reply]
Being held accountable for things I wrote in efns, yikes, brutal ;-p When you take all the reflections in a finite real reflection group, their hyperplanes divide space up a bunch of identical pieces (e.g., in the case of a dihedral group coming from an n-gon, you get 2n pizza slices) -- the technical name for these is chambers. Here's my attempt to gloss it (maybe could be better?): [5] --JBL (talk) 17:44, 1 August 2025 (UTC)[reply]
I like the example of the dihedral group of the -gon used to explain a chamber. I think that should be included as an example. At that point the efn might get too long (and sorry for brutally critiquing it), so it might be best to combine it with the rest of the paragraph. Gramix13 (talk) 20:00, 1 August 2025 (UTC)[reply]
I've rearranged and rewritten, moving the footnote to attach to the discussion of the dihedral group in the next paragraph [6]. Thoughts? --JBL (talk) 19:26, 3 August 2025 (UTC)[reply]
Took me a couple minutes to digest what this was saying (I needed to make a visual to see that the description of the slices was correct), but I think this is definitely much better. One change I'd recommended is in the sentence but one could instead choose as S one of the other pairs of reflections, which is not conjugate to the pairs coming from a chamber. I think this should additionally specify that the pair is again one that is the same angle apart bounding a slice (unless I am mistaken as to what pair this should be). Gramix13 (talk) 19:47, 3 August 2025 (UTC)[reply]
When W is an affine Coxeter group, the associated finite Weyl group... These two terms should be defined for the reader. Gramix13 (talk) 00:07, 20 July 2025 (UTC)[reply]
Added gloss; needs citations, though. [7] --JBL (talk) 18:40, 1 August 2025 (UTC)[reply]
That's a good description to Weyl groups. One comment I have is we already have used "lattice" for the order structure and now the geometric/group structure, so maybe consider clarifying the type of lattice we mean in the article each time the word is used to avoid confusion if the reader doesn't check the links (no explanation/definition for the lattice, just identification to disambiguate). Gramix13 (talk) 20:04, 1 August 2025 (UTC)[reply]
Thanks -- I had intended to do this originally and forgot to come back to it. I've glossed in a way that is not completely precise [8] but which hopefully succeeds in the key task of warning people that this is not the same kind of lattice as discussed elsewhere; totally open to tinkering. --JBL (talk) 19:34, 3 August 2025 (UTC)[reply]
That looks good. I was thinking of replacing "that is" with "in this context" to be more precise that the term lattice in that section is different from how the word is used outside of it to mean a special type of ordering. Gramix13 (talk) 19:51, 3 August 2025 (UTC)[reply]
I tried a different tweak, moving the technical term into the parenthetical instead of the other way around [9]. --JBL (talk) 21:13, 3 August 2025 (UTC)[reply]
Looks fine by me! I don't think we need to change this any further. Gramix13 (talk) 21:18, 3 August 2025 (UTC)[reply]
Now added citations for this material [10]. --JBL (talk) 19:46, 3 August 2025 (UTC)[reply]
The definition of crystallographic Coxeter group in the footnote doesn't quite seem clear to me, what is the natural geometric representation, and what does it mean to stabilize a lattice? Gramix13 (talk) 00:09, 20 July 2025 (UTC)[reply]
So for stabilize a lattice I've now glossed this in the previous paragraph and it means the same thing here. As for natural representation: ugh our Coxeter content is so incomplete that there's nowhere on Wikipedia to point to for this. The answer to the question "what is the natural geometric representation?" is that one can build (in a natural way) for every Coxeter group a space on which the group acts as a reflection group (in an appropriate sense); this is done over a few pages in Bjorner and Brenti (sections 4.1 and 4.2) or Humphreys (sections 5.3 and 6.2). I am not sure this is something I can gloss meaningfully, and expanding on it at length would be undue, in my opinion (it's a minor point). I'll come back and think about it again, but at present my preference order is
leave it somewhat cryptic (people can read the reference) > remove it >> try to explain it in sufficient detail.
--JBL (talk) 18:55, 1 August 2025 (UTC)[reply]
Alright, I think with the clarification from earlier, we can probably leave it as is. I think if we mention the example again and how it stabilizes a square lattice, we can maybe let the reader know that the square lattice is the group's geometric representation (assuming I understood that right) so they can a solid example to think on. Gramix13 (talk) 20:09, 1 August 2025 (UTC)[reply]
How do you feel about it now [11]? --JBL (talk) 21:12, 3 August 2025 (UTC)[reply]
The section titled Connection with the theory of algebraic groups should spend time explaining the terminology used in the section, such as algebraic groups, Borel subgroup, (B, N) pair, Bruhat decomposition, and possibly Double coset. None of these terms would be immediately understandable to an undergraduate reader. Gramix13 (talk) 00:15, 20 July 2025 (UTC)[reply]
None of these terms were understandable by me, a professional mathematician, until relatively recently ;). I have made some attempts, please feel free to tell me to do more. I will need to check if the present citations (page-ranges) cover this material. --JBL (talk) 20:29, 3 August 2025 (UTC)[reply]
I really like the approach here of introducing algebraic groups and their related terms with the example of the general linear group, and then generalizing in the case of algebraic varieties. Even if an undergraduate might not know what an algebraic variety is, they can keep the picture of the general linear group in their head, while those who are more versed in algebraic geometry can use the algebraic variety description as the more complete way to describe them.
If G is an algebraic group and B is a Borel subgroup for G, then a parabolic subgroup of G is any subgroup that contains B. Just to clarify, are these parabolic subgroups dependent on the choice of , or are we just considering here any subgroup that contains a Borel subgroup to be parabolic? From reading the rest of the section, it doesn't look like the definition is dependent, but if I am misunderstanding this then please let me know.
In terms of the pair, the is left unexplained, I think that should be specified as being essential to understanding the Weyl group of . Moreover, mentioning the special role plays in this pair would help show why we can form the Weyl group (the intersection being normal in ). I think also taking the time to mention the generators of the Weyl group and their properties that must hold from the pair would help the reader understand how we form the Coxeter system.
Overall, this section is definitely written much better than when I read it the first time, this feels much more tangible to read through and I mostly understand the core idea of what its trying to communicate. Gramix13 (talk) 21:16, 3 August 2025 (UTC)[reply]
I think what would be additionally nice would be to show an example Weyl group of the general linear group, using the Borel subgroup of lower triangular matrices. This would help give a concrete example of what such a group would look like to the reader, and it also continues to build up the prior examples of algebraic groups and Borel subgroups. Gramix13 (talk) 21:21, 3 August 2025 (UTC)[reply]
Just to clarify, are these parabolic subgroups dependent on the choice of , or are we just considering here any subgroup that contains a Borel subgroup to be parabolic? For each Borel subgroup, the subgroups that contain it are standard parabolics relative to B; different B give you different standard parabolics. But all the different Bs are conjugate to each other (at least if my field is algebraically complete), and so the set of parabolic subgroups (the conjugates of the standard parabolics) is the same regardless of the choice of B. I will revisit this.
The problem with N is that its definition requires yet another definition (of maximal torus) that I would really love to avoid getting into. I will think about it.
Your suggestion to extend this example is excellent, actually I can go as far as giving all the standard parabolics of GL_4 and seeing how they correspond to the standard parabolics of S_4, which already appear in a figure above. --JBL (talk) 23:22, 3 August 2025 (UTC)[reply]
Apparently the Digne--Michel reference gives a wrong definition of W in the context of a (B, N)-pair (either that or I've made a mistake in transcribing) and actually the torus is unavoidable; I'll need to double-check this with other sources tomorrow. --JBL (talk) 00:32, 4 August 2025 (UTC)[reply]
Well that's unfortunate, hopefully attempting to explain the torus and doesn't lead to an unnecessary side tangent in the article in that case. Gramix13 (talk) 00:43, 4 August 2025 (UTC)[reply]
In particular, the group W acts on the complement of the complexification of the arrangement of its reflecting hyperplanes; the generalized braid group of W is the fundamental group of the quotient of this space under the action of W. All of this could be elaborated and expanded into its own paragraph, this clarification would especially be useful for an undergraduate who might not be as familiar with algebraic topology and would be unfamiliar with these terminologies. Gramix13 (talk) 00:21, 20 July 2025 (UTC)[reply]
The above replies conclude my comments on the understandability of the article. I mainly commented on terms that the article doesn't explain which an undergraduate reader might reasonable not understand coming into the article nor be expected to know. I think if these are all addressed, including in the section titled Connection with the theory of algebraic groups, then I believe criteria 1a will have been met for this article. I hope the reviewer and nominator find these comments helpful, and I am willing to elaborate on them if there's any questions on what I have said. Gramix13 (talk) 00:26, 20 July 2025 (UTC)[reply]
@Gramix13: Thanks so much for this detailed review! Kingsif (talk) 01:05, 20 July 2025 (UTC)[reply]
Agreed! I have begun working my way through them; having guests over so whatever I don't get to in the next hour will have to wait until Monday probably. --JBL (talk) 18:28, 1 August 2025 (UTC)[reply]
Thanks for the work so far! Kingsif (talk) 01:55, 2 August 2025 (UTC)[reply]
I don't agree that this is a subject that is introduced at the undergraduate level. I opened two textbooks I owned on abstract algebra, both of which were mainly written for a graduate level, and I couldn't find a solid reference to parabolic subgroups, let alone Coxeter groups which is vital to the definition of parabolic subgroups. Dummit and Foote's Abstract Algebra has only a mere passing reference to them and certainly not one that would be expected of reader to remember and study. I believe JBL's intent was that the topic is introduced to PhD students, specifically to those who might want to study group theory, but the article itself is written one level down of that to be accessible to undergraduates (particularly those who have already done group theory).
While I agree that we shouldn't be removing content just because it might be above the level of an expected reader, that doesn't really mean we shouldn't make some effort to try explaining some of the content and terminology that is higher level that the reader may be unaware of. This would give a stepping stone into the content rather that a cliff that they would have to go around to find a way up. That's why in the comments above I focused on lingo that wasn't elaborated in the article as I felt it implied that the reader would be expected to understand what that meant, and if they have to follow a blue link to an article explaining those terms then the main article might not be succeeding in being understandable. With that said, the rest of this article is for the most part understandable aside from those hiccups I mentioned, and I don't really think those bumps really take away from delivering the key areas of the topic, so I don't think my points should greatly discount this article from meeting criteria 1a.
This is just me throwing my own two cents on the matter and hope it helps the reviewer at least to put this content in some perspective. I haven't performed any full GA review, nor have I gotten an article through GA, so feel free to take all this with a grain of salt if you wish. Gramix13 (talk) 17:16, 20 July 2025 (UTC)[reply]
As you describe your understanding of the intent is how I (tried to) explained it, I feel: when I wrote "the academic level of an undergraduate" I phrased it that way and precisely did not say 'undergraduate level' to distinguish between the academic abilities of an undergraduate student (intention) and the curriculum (not). Kingsif (talk) 21:16, 20 July 2025 (UTC)[reply]
  • 6b: illustrations and relevance to topic
  • I have a suggestion to move the image of the dihedral group from the section In complex reflection groups to Background: reflection groups since I think it would help establish an early picture to the reader of what a reflection group could look like, and I think dihedral group would be an excellent example for this. Some of the images in Dihedral group could also be useful for this section too if the image I suggested really should stay in that spot, in particular there's some showing the axes of reflection, and another showing reflections causing a rotation. Gramix13 (talk) 22:51, 19 July 2025 (UTC)[reply]
  • Do you think a gallery would be useful to illustrate different reflection groups? Also noting I have moved this comment to a section on illustration. Kingsif (talk) 22:54, 19 July 2025 (UTC)[reply]
    I was going to suggest that those illustrations would better served in the Reflection group article, until I then noticed there are absolutely no images in that article at all! Such a gallery would be much more suited to that article which could really use some illustrations. So no, I don't think a gallery of reflections would be necessary for this article.
    I still think at least one image in the background section for the dihedral group would at the very least support the reader in getting a picture for what these reflection groups should look like and build on the intuition on what a reflection is. It would also help them understand why we want for some generator of a coxeter group, because these should be thought of as reflections in the context of a reflection group, and it should be intuitive that doing a reflection twice does not change the orientation of the object, or in other words is the identity action. (take your phone and flip it on an axis, then do that same flip again, is the orientation of your phone now the same as before you did this exercise?) Gramix13 (talk) 23:03, 19 July 2025 (UTC)[reply]
Having an image of a Coxeter-Dynkin diagram could also help illustrate parabolic subgroups as the caption could explain how to identify those subgroups from the image. I imagine having such an image in the definition section under Coxeter groups. Gramix13 (talk) 23:22, 19 July 2025 (UTC)[reply]
I am noticing that the lattice diagrams have the full expressions of each group but that they are intersection with the inclusion lines of the diagram. Is there a way to move them or change their size in a way that prevents that issue and makes the images more clear to read from? Gramix13 (talk) 00:00, 20 July 2025 (UTC)[reply]
I don't understand what this comment/question means. Can you clarify? --JBL (talk) 18:26, 1 August 2025 (UTC)[reply]
The image of in the article is a good example of what I mean. Notice the text next to each of the middle four dots (the equations involving x and y) have lines going through the text, and that can make it difficult to read. Notice for example how the yellow equation has a line which happens to go directly through the equal sign, making it almost read like . This isn't the only image with that issue, other ones like it have issues where those lines will intersection with the equations. If the equations were moved to avoid those lines, or maybe the lines hide underneath the equations to avoid disrupting them, that would address the issue. Hopefully that clarification helps, if that doesn't make sense feel free to ask more clarifying question so I can better explain. Gramix13 (talk) 20:16, 1 August 2025 (UTC)[reply]
Ok, I get it. I'll try mocking up a few different versions in the next couple days and we can see what looks best. I do know that I didn't like putting the labels on the same line as the dots (which avoids the problem you note) because it was hard to tell whether labels went with the dot on the left or on the right. --JBL (talk) 23:22, 2 August 2025 (UTC)[reply]
Would be nice to have a picture of the Braid group in the titular section to illustrate what happens when we remove the relation. The image used in that article's lead might be a good candidate. Gramix13 (talk) 00:18, 20 July 2025 (UTC)[reply]
Good images are hard and take a lot of work. I don't see a way to draw the first and third images currently in the article to avoid the issue with group names crossing poset edges, at least as long as the picture is going to give the same amount of information. Here are two that are relatively easy, given what I've already done:
The reflection arrangement of D2×5. One chamber is shaded gray. Any two reflections form a Coxeter generating set, but the pair s, t is not conjugate to the pair r, t.
New version of something already there; better?
I can imagine a good image that showed all 8 elements of D2×4 via their action on a labeled square, and how they corresponded to the Coxeter structure, but it will take me several hours to create (that I don't have available at this moment). Braid images are very hard, but for the "usual" braid group (of the symmetric group) there are good ones in Braid group that I could steal. I could make a version of the first image in which the vertices of the Boolean lattice are labeled by the Coxeter--Dynkin diagrams of the parabolic subgroups, although I'm not entirely convinced how much that would add; maybe the information currently in that first image could be split over two images (one showing the groups explicitly but not in a lattice, leaving a simpler lattice without the edge-crossing issue)? Also will require a fair amount of time, though. --JBL (talk) 23:22, 3 August 2025 (UTC)[reply]
I think all of this is good, although if a new image will take time to produce, I wouldn't worry about having that image completed in time for the sake of GA since I think the article's illustrations already suffice for the criteria (but of course that is the reviewer's job to make that determination, this is my own two cents as a bystander). Gramix13 (talk) 00:39, 4 August 2025 (UTC)[reply]

Overall

[edit]