nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqlsl9jz (nprofile…l9jz) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqt76as6gjr7pzg0taz40e55smjjegmj89ud7g056aqed90hs7cynsacyu7x (nprofile…yu7x) - 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 /
npub17u…8pd6m
2025-03-15 15:58:29
in reply to nevent1q…lg93
Author Public Key
npub17u6xav5rjq4d48fpcyy6j05rz2xelp7clnl8ptvpnval9tvmectqp8pd6mSeen on
wss://relay.mostr.pubPublished at
2025-03-15 15:58:29Event JSON
{
"id": "5b35f197cce940278a62bc9c1d751ff9f759f9f49a431366a7c9d1e5eb6baaa0",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1742054309,
"kind": 1,
"tags": [
[
"p",
"06e17c43fb77671c8e51e7f02c872701fa733489b4db3b1d3c6a1683e30e4684",
"wss://relay.mostr.pub"
],
[
"p",
"5fb5d869121f82243d7d155f9a521b94b28dc8e5e37c87d35d065a57de1ec127",
"wss://relay.mostr.pub"
],
[
"p",
"0037e9f1404aa866c76ed1358206ac5387eb2d3589361a3802af0f260bda26d7",
"wss://relay.mostr.pub"
],
[
"p",
"f6e5f6bc41d8187e776540f170adeab6d0d71bf2f6e396e4a3a73394e20b0e1c",
"wss://relay.mostr.pub"
],
[
"e",
"a07b31bf4c27e9b8a18646a510f707982336d7cadc1ff0b6ca8a35ccb8c74eb8",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/114167271225844177",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqqmshcslmwan3erj3ulczepe8q8a8xdyfkndnk8fudgtg8ccwg6zqlsl9jz nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqt76as6gjr7pzg0taz40e55smjjegmj89ud7g056aqed90hs7cynsacyu7x - 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": "02c1faac371c14217c43000535eac294029ca2acd59aecf21e954085d813100b1acc09f04f9518c108595598ddca2eb240283198ac05ece16d8596ae24816a9f"
}