nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm (nprofile…ztfm) "It seems to me like one can easily have such a setup where x doesn't come from the subfield k, namely take i=j."
Slightly less trivially, consider i, j : k(x, y) -> k(x, z, t) that send x to x and y to z or t respectively. I don't know about the rest.
Jean Abou Samra (new account)
npub14p…htzwd
2025-12-24 05:43:01 UTC
in reply to nevent1q…smqy
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdSeen on
wss://relay.ditto.pubPublished at
2025-12-24 05:43:01 UTCEvent JSON
{
"id": "d1b6a6a553c5473d769f67d02f7338566cb334e8acbea2c1b62e458501a56dfd",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1766554981,
"kind": 1,
"tags": [
[
"p",
"4799d2d48ee1532b5d44d40457b300731ef85c244a0949b487fac142c09a8083",
"wss://relay.ditto.pub/"
],
[
"p",
"0a815c7a135490b945de4160425052fb4cd3e683e5a692950726a3afc0ec31f3",
"wss://relay.ditto.pub/"
],
[
"e",
"0c2d9aa1803563c2cdb8b6adf3e5f5bdd20e5420d67cfa99665e19b506bd545c",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115772947255151469",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqypren5k53ms4x26agn2qg4anqpe3a7zuy39qjjd5slavzskqn2qgxcaztfm \"It seems to me like one can easily have such a setup where x doesn't come from the subfield k, namely take i=j.\"\n\nSlightly less trivially, consider i, j : k(x, y) -\u003e k(x, z, t) that send x to x and y to z or t respectively. I don't know about the rest.",
"sig": "81a175da212440a3650a970def462d1fecbc3ffe26fdd7731d0981669a3ad91ddc586e79adebf2e675dc6d659dd0a82d825702361f9f5fd84df6ff9533ce7a75"
}