Timeline for Posets obtained from a semigroup by the definition $x \leq y \iff x \cdot y = x$
Current License: CC BY-SA 3.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14 at 20:14 | history | edited | Pedro Sánchez Terraf |
Edited tags according to the characterization in Joel's answer
|
|
| Apr 13 at 15:21 | answer | added | Joel Kuperman | timeline score: 2 | |
| May 2, 2023 at 13:17 | comment | added | Pedro Sánchez Terraf | @BenjaminSteinberg No problem, thank you both very much for the info. | |
| May 2, 2023 at 10:14 | comment | added | Benjamin Steinberg | @PedroSánchezTerraf, we tried to reconstruct his argument and their was a gap so I don't think it works | |
| Apr 28, 2023 at 19:15 | comment | added | Pedro Sánchez Terraf |
@BenjaminSteinberg Thanks a lot. If I may bother you again, please let him know that I'm interested in any ideas. He can contact me at sterraf at famaf dot unc dot edu dot ar (with the obvious replacements).
|
|
| Apr 27, 2023 at 18:47 | comment | added | Benjamin Steinberg | There is no published reference. He once sketched the idea in an email. I don't think he ever wrote it up in detail so the claim should be taken with a grain of salt | |
| Apr 27, 2023 at 18:02 | comment | added | Pedro Sánchez Terraf | @BenjaminSteinberg It's been a while but, could you provide a reference for the claim of your friend? Thank you very much in advance. | |
| Jan 23, 2017 at 14:37 | vote | accept | Pedro Sánchez Terraf | ||
| Jul 10, 2016 at 20:49 | answer | added | Alex Kruckman | timeline score: 5 | |
| Jul 10, 2016 at 11:38 | comment | added | Benjamin Steinberg | Yes. My phone autocorrected me. | |
| Jul 9, 2016 at 23:21 | comment | added | Pedro Sánchez Terraf | @BenjaminSteinberg Is a "principal diem set" the order ideal $(a]$ generated by $a$? | |
| Jul 9, 2016 at 14:49 | comment | added | Benjamin Steinberg | There are some obvious conditions like if a is below b then the principal diem set generated by a is a retract of that generated by b. | |
| Jul 9, 2016 at 14:18 | comment | added | Pedro Sánchez Terraf | @ToddTrimble Yes; we use that symbol to indicate universal closure of the equations. | |
| Jul 9, 2016 at 13:58 | comment | added | Todd Trimble | Is $\approx$ supposed to be $=$? | |
| Jul 9, 2016 at 13:38 | comment | added | Pedro Sánchez Terraf | @BenjaminSteinberg Thank you very much. Anyway, I don't know if this implies that there is no characterization of the form "omit these subposets/configurations". | |
| Jul 9, 2016 at 13:26 | comment | added | Benjamin Steinberg | Semigroups satisfying these identities are called right regular bands. Not all posets can have structure of this sort. One of my friends says he can prove it is NP-hard to determine if a poset comes from a right regular band if I remember rightly. | |
| Jul 9, 2016 at 12:29 | history | asked | Pedro Sánchez Terraf | CC BY-SA 3.0 |