Event JSON
{
"id": "9abc9f4f7302c1175013118ee87fe497012d79a88765f0b022b960faa72f332f",
"pubkey": "9a5f0925acd9bda129a451dbab10f64cc814ca99278bc627f7d376a7e5101427",
"created_at": 1742190442,
"kind": 1,
"tags": [
[
"p",
"e6e109a519bafc96495a11ac9ee81e375a907144a2eab0b9d1f60065d5b9bf53"
],
[
"proxy",
"https://mathstodon.xyz/@joshuagrochow/114176192814639220",
"web"
],
[
"p",
"563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"e1eb5e95f8bf021a967980d92bdf260c14579083bfef15ea31b303fa386c5659",
"",
"reply",
"563821004c3e4e4f4fbef74a2657db3299a0e71a78214bf97db0b6ca05fb73d3"
],
[
"e",
"a4beab19db6cddb8e55e6c334995de4f3906f4005f2e8f008cd93d718915bfe5",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/users/joshuagrochow/statuses/114176192814639220",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/joshuagrochow/statuses/114176192814639220",
"pink.momostr"
],
[
"-"
]
],
"content": "those equations are exactly the definition of crossed homomorphism in this context (they all follow from the first equation, using the fact that the group doing the acting is commutative, and the action is faithful).",
"sig": "71f966f62a2b1fe924f965c7c7776cf32857a24a79f8a7fe6bb26e00213dd419a486c7e33af23a12a4574557443c776257aa160e0063727a8fcc7a8b7f315938"
}
