- SmallGroup(32,43) is indeed the group we're talking about here:
https://groupprops.subwiki.org/wiki/Holomorph_of_Z8
It's called the "holomorph" of ℤ/8 because it's the semidirect product of ℤ/8 and its automorphism group (which as Greg checked is the multiplicative group of ℤ/8).
John Carlos Baez
npub1nf…3nqe4
2025-03-15 15:58:29 UTC
in reply to nevent1q…chcy
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2025-03-15 15:58:29 UTCEvent JSON
{
"id": "f1471bc146b4bfe508c43052371b8b4fb321a18f279dc05fcdb2094844075cf2",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1742054309,
"kind": 1,
"tags": [
[
"p",
"e6e109a519bafc96495a11ac9ee81e375a907144a2eab0b9d1f60065d5b9bf53"
],
[
"e",
"5e74f7b704340c0d3180515425b514726737d9791e3591906ba37c50b3d05d52",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/114167271225844177",
"web"
],
[
"e",
"a4beab19db6cddb8e55e6c334995de4f3906f4005f2e8f008cd93d718915bfe5",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/114167271225844177",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/114167271225844177",
"pink.momostr"
],
[
"-"
]
],
"content": "- SmallGroup(32,43) is indeed the group we're talking about here:\n\nhttps://groupprops.subwiki.org/wiki/Holomorph_of_Z8\n\nIt's called the \"holomorph\" of ℤ/8 because it's the semidirect product of ℤ/8 and its automorphism group (which as Greg checked is the multiplicative group of ℤ/8).",
"sig": "afaa9192c9cdccd2b2e14d88698cb04b432e8821741f7fd6f9a000aab9b64fc4ce4612d1a545ab787f8a15828173ea1c70efdb0e7d07add85371ad48d454b575"
}