Post B5P7tj2Ooam9e34oWe by slava@mathstodon.xyz
 (DIR) More posts by slava@mathstodon.xyz
 (DIR) Post #B5P7ti5CMhQ8gRNXFY by slava@mathstodon.xyz
       0 likes, 0 repeats
       
       I just realized that this is (the shortest possible presentation of!) the quaternion group:〈a, b | aba=b, aabb=1〉Can you see it? What are i, j, k, and -1? https://factorcode.org/slava/2211/556.html
       
 (DIR) Post #B5P7tiJNVylNOQ0rLs by joe@f.duriansoftware.com
       1 likes, 0 repeats
       
       @slava [walks up to polycule] so uh which one of you is the -1, the i, the j, and the k
       
 (DIR) Post #B5P7tj2Ooam9e34oWe by slava@mathstodon.xyz
       0 likes, 0 repeats
       
       The shortest possible presentation of the symmetric group S_3 needs 9 letters: https://factorcode.org/slava/2211/1427.html