I think it also holds when 𝑎=ℓ, some unit octonion orthogonal to ℍ.
Don't we have ℍℓ=ℓℍ and (ℍℓ)⋅(ℍℓ)⊂ℍ?
Paul Schwahn
npub1zz…59mhx
2025-12-03 15:42:39 UTC
in reply to nevent1q…42m9
Author Public Key
npub1zz2mah7y6j4nld7dwedl7eh0yph4swkkv88spuvh0urq32xgz3ws459mhxSeen on
wss://relay.momostr.pinkPublished at
2025-12-03 15:42:39 UTCEvent JSON
{
"id": "2f5a83dc7b9661b4419887bd06112e35d87732d305861c151fee6fd94c445b7b",
"pubkey": "1095bedfc4d4ab3fb7cd765bff66ef206f583ad661cf00f1977f0608a8c8145d",
"created_at": 1764776559,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@pschwahn/115656396598291893",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"1095bedfc4d4ab3fb7cd765bff66ef206f583ad661cf00f1977f0608a8c8145d"
],
[
"e",
"073558e7a8fa40db4838c7cb269f4b55a154a309f504f99bfbdf58d8e0878230",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"8bef4afbb9ea34f00fe2970faf88832de335b356ac8ed763db95a4459c20a95a",
"",
"root",
"1095bedfc4d4ab3fb7cd765bff66ef206f583ad661cf00f1977f0608a8c8145d"
],
[
"proxy",
"https://mathstodon.xyz/users/pschwahn/statuses/115656396598291893",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/pschwahn/statuses/115656396598291893",
"pink.momostr"
],
[
"-"
]
],
"content": "I think it also holds when 𝑎=ℓ, some unit octonion orthogonal to ℍ.\n\nDon't we have ℍℓ=ℓℍ and (ℍℓ)⋅(ℍℓ)⊂ℍ?",
"sig": "155d65b138b8130cd688064bc9ad26d662c250edd4a8598faeaba34fae5f8fc96d06a765f615afe1b108778b21a6fff83224738e4d879a2e755e03b8f9c13b04"
}