@soaproot No, it's the same thing. Wikipedia just uses multiplicative notation and talks about (X_1)^(m_r) * … * (X_m)^(m_r) where X_1, …, X_r are formal symbols and (m_1, …, m_r) ∈ ℕ^r, instead of (m_1, …, m_r) directly. I just decided to strip away the multiplicative notation to make the post more widely accessible.
At first they leave the conditions »total order« and »the neutral element is minimal« from my original post away, but they add them in »Definition, details and variants« and mention the relation with well-ordering.
Jakob
@jdw@mathstodon.xyz
I’m a mathematician working as a #Rust programmer, based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible. I’m also interested in literature, history, sociology, economics and philosophy and I enjoy reading books from these fields. I try to be friendly towards my fellow creatures, which of course has political implications.
mathstodon.xyz
Jakob
@jdw@mathstodon.xyz
I’m a mathematician working as a #Rust programmer, based in #Regensburg, Germany. I enjoy fun and easy math questions, mostly within algebraic geometry. I like constructive mathematics, mainly for aesthetical reasons, and try to think and write constructively when possible. I’m also interested in literature, history, sociology, economics and philosophy and I enjoy reading books from these fields. I try to be friendly towards my fellow creatures, which of course has political implications.
mathstodon.xyz
@jdw@mathstodon.xyz
·
Mar 24, 2026
1
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...