John Carlos Baez on Nostr: There was a man who liked small ornamental boxes. He didn't do much with them: he ...
There was a man who liked small ornamental boxes. He didn't do much with them: he just collected them and put them on a shelf. But sometimes he would take one down, turn it over in his hands, and admire it. And one day he noticed one of his boxes had a false bottom that could slide open, revealing... something much more interesting!
I feel a bit like that now. This is the McGee graph. I've known about it for almost 10 years. I've thought a lot about its symmetries. But recently I discovered a surprising fact about the symmetries *of* the symmetries of the McGee graph:
The symmetries of any object form a group. But groups themselves have symmetries, called 'automorphisms'. They come in two kinds. The obvious ones , called 'inner automorphisms', come from the group elements themselves. But there may also be nonobvious ones, called 'outer automorphisms'.
The symmetries of the McGee graph form the smallest group with an outer automorphism that does a good job of pretending to be an inner automorphism, in the following way: acting on any *one* element of the group, this outer automorphism does the same thing as some inner automorphism!
{
"id":"9c0ac6fe61e0de5f8ddf7a176116794116158ff37bc0da0ede39d519dacc2d89",
"pubkey":"f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at":1743196215,
"kind":1,
"tags": [
[
"p",
"5fb5d869121f82243d7d155f9a521b94b28dc8e5e37c87d35d065a57de1ec127",
"wss://relay.mostr.pub"
],
[
"p",
"0037e9f1404aa866c76ed1358206ac5387eb2d3589361a3802af0f260bda26d7",
"wss://relay.mostr.pub"
],
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/114/242/000/963/290/300/original/da69f2d93b130cc3.mp4",
"m video/mp4",
"dim 400x400",
"blurhash UtSEtFj[y?j[j[fQfRfQy?fjZhfQj[fQfQfQ"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/114242107168921047",
"activitypub"
]
],
"content":"There was a man who liked small ornamental boxes. He didn't do much with them: he just collected them and put them on a shelf. But sometimes he would take one down, turn it over in his hands, and admire it. And one day he noticed one of his boxes had a false bottom that could slide open, revealing... something much more interesting! \n\nI feel a bit like that now. This is the McGee graph. I've known about it for almost 10 years. I've thought a lot about its symmetries. But recently I discovered a surprising fact about the symmetries *of* the symmetries of the McGee graph:\n\nhttps://golem.ph.utexas.edu/category/2025/03/the_mcgee_group.html\n\nThe symmetries of any object form a group. But groups themselves have symmetries, called 'automorphisms'. They come in two kinds. The obvious ones , called 'inner automorphisms', come from the group elements themselves. But there may also be nonobvious ones, called 'outer automorphisms'. \n\nThe symmetries of the McGee graph form the smallest group with an outer automorphism that does a good job of pretending to be an inner automorphism, in the following way: acting on any *one* element of the group, this outer automorphism does the same thing as some inner automorphism!\n\nThe animation, made by nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqt76as6gjr7pzg0taz40e55smjjegmj89ud7g056aqed90hs7cynsacyu7x, shows one of the 32 symmetries of the McGee graph.\n\nhttps://media.mathstodon.xyz/media_attachments/files/114/242/000/963/290/300/original/da69f2d93b130cc3.mp4",
"sig":"941044f01254f9ebcb1875315a2b5722157b8f45fa3e6629fca103eacb6375fab5e98f60c1e130a064a690a2827878d7b528181a99841e7d8aae23ab4b1e135c"
}