nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrt40hcuxctvenkxq2rzwpj004jjmx6fphfx9hn3meahe2kccu7fxmxaamk (nprofile…aamk) I'm ashamed to admit it, but:
It holds in an arbitrary commutative ring (no assumptions like being a domain) that if a and b are not units then ab is not a unit.
(After I did the proof, I concluded that this was the right time to stop my work day.)
Jean Abou Samra (new account)
npub14p…htzwd
2025-11-02 11:53:40 UTC
in reply to nevent1q…sxhw
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdSeen on
wss://relay.ditto.pubPublished at
2025-11-02 11:53:40 UTCEvent JSON
{
"id": "61cd8f0e28c1f13432e790deb95438701b9cb3123549704b325049b2464551c8",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1762084420,
"kind": 1,
"tags": [
[
"p",
"d757df1c3616cccec6028627064f7d652d9b490dd262de71de7b7caad8c73c93",
"wss://relay.ditto.pub/"
],
[
"p",
"7b98460cb7b7bef17b51e91c1d25366e335435cbbdec7e45a883190d2ba3346f",
"wss://relay.ditto.pub/"
],
[
"e",
"4c8b8196518a11d8f0b6bdd3daca361bac5182d9f7a05f4869ef062211573301",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115479964549323067",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyrt40hcuxctvenkxq2rzwpj004jjmx6fphfx9hn3meahe2kccu7fxmxaamk I'm ashamed to admit it, but:\n\nIt holds in an arbitrary commutative ring (no assumptions like being a domain) that if a and b are not units then ab is not a unit.\n\n(After I did the proof, I concluded that this was the right time to stop my work day.)",
"sig": "b4e4037784b08f78114e891b8a9d48dd7df75b15cf41e0ae93266eb6704ca5ca19068a94076246c127980811c2b7fca92ef9869379e179fcc692fb8c6ead3354"
}