Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 11th 2016
    • (edited Jan 11th 2016)

    added to icosahedral group discussion of the distinction of definitions as one moves up the Whitehead tower of O(3)O(3)

    String SU(2) 2I Spin(3)=SU(2) IA 5 SO(3) I hA 5×/2 O(3) \array{ \mathcal{I} &\hookrightarrow& String_{SU(2)} \\ \downarrow && \downarrow \\ 2 I &\hookrightarrow & Spin(3) = SU(2) \\ \downarrow && \downarrow \\ I \simeq A_5 &\hookrightarrow& SO(3) \\ \downarrow && \downarrow \\ I_h \simeq A_5\times \mathbb{Z}/2 &\hookrightarrow & O(3) }

    [edit: added analogous discussion to octahedral group and icosahedral group ]

    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 11th 2016

    I wonder if a crossed module presenting \mathcal{I} was already found in the Bangor school’s work on enumerating small examples? Having a look around, I think it might be out of range, given that |2I|=120|2I| = 120, and so |Mor()|=24×120=2880|Mor(\mathcal{I})| = 24\times 120 = 2880 (for others reading, this is not meant to be obvious: it’s a theorem in work of Epa-Ganter). The best I could find were this paper of Alp-Wensley (originally students at Bangor) on their GAP package with all isomorphism classes up to size 30, the latest GAP page for their package which says they have iso classes up to size 70, and this preprint of Ellis-van Luyen going up to 255.

    But perhaps someone already found this exceptional example in one of those groups…

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 11th 2016

    I added a few more points, including the exceptional isomorphisms to Lie-type groups over finite fields.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 11th 2016

    Thanks for this! I have added the pointers on discrete 2-group enumeration to the References at 2-group

    • CommentRowNumber5.
    • CommentAuthorzskoda
    • CommentTimeMay 27th 2016
    • (edited May 27th 2016)

    You use ambiguous wording “symmetry” at icosahedral group where you apparently mean “isometry”. Is there a reason ? Should we change to isometry ?

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 27th 2016

    I think for the Idea-section the word “symmetry” is just fine. What you should do is open a Definition-section and state the precise definition there!

    • CommentRowNumber7.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 31st 2016

    Wouldn’t it be true that the automorphism group of the poset of facets (vertices, edges, faces) is the same as the isometry group of the regular Platonic solid? That would be my immediate understanding of what “symmetry” means here.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2016
    • (edited May 31st 2016)

    Sorry, is there an actual question as to what the definition is? What Zoran is referring to is: consider the standard embedding of the Platonic solid into 3\mathbb{R}^3. Then a symmetry is an isometry of 3\mathbb{R}^3 that fixes the image of this embedding.

    I suppose that’s pretty much the archetypical case of what people back then and laymen still today understand as a symmetry.

    • CommentRowNumber9.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 31st 2016

    Sure, sure. All I’m saying (looking at #5) is that there should be no ambiguity under any reasonable interpretation: you could just as well refer to combinatorial, not metric structure, and still get it right.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2016

    Right. Now does anyone have the time to write this out in the entry?

    (I really don’t have any spare time right now. sorry.)

    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 31st 2016

    I added a stubby definition section.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2016


    I have copied this also to Platonic Solids – Symmetry groups.

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 27th 2018

    added the statement (here) that the binary icosahedral group is perfect (currently without proof or pointer to the literature)

    diff, v20, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeDec 7th 2018

    added definition of 2I2I in terms of unit quaterions and relation to the 24-cell (here)

    (entry needs cleaning up/streamlining, but not now)

    diff, v23, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJul 5th 2021

    added pointer to:

    for discussion of the group cohomology

    diff, v27, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)