Timeline for Is the equational theory of groups axiomatized by the associative law?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 1, 2019 at 21:06 | comment | added | YCor | @GerhardPaseman I could do what? I didn't suggest any change to the question, and was barely mentioning a restatement in another language (or, if it were suggesting a change, it would only be only an addition, not a replacement). | |
| Sep 1, 2019 at 15:32 | comment | added | Gerhard Paseman | @Ycor, although you could do that, it obscures the linguistic intent. That is why I added the answer I did, as Bjorn's answer (while correct) does not address the question explicitly. Gerhard "Will Have Nonexperts Reading This" Paseman, 2019.09.01. | |
| Sep 1, 2019 at 9:17 | history | became hot network question | |||
| Sep 1, 2019 at 8:58 | history | edited | YCor | CC BY-SA 4.0 |
added tags, fixed typo
|
| Sep 1, 2019 at 8:58 | comment | added | YCor | I guess that the question can be restated (without model theory language, and universal algebra instead) as: among magmas, is the variety of semigroups generated by the class of groups? | |
| Sep 1, 2019 at 4:34 | comment | added | Tim Campion | Ah, I see. I guess I wasn't the only one to read it that way, so I'll leave my comment up. | |
| Sep 1, 2019 at 1:17 | answer | added | Gerhard Paseman | timeline score: 4 | |
| Aug 31, 2019 at 23:50 | comment | added | Noah Schweber | @TimCampion That's not the question - the question is about axiomatizing the equational theory, not capturing the class of structures. | |
| Aug 31, 2019 at 23:10 | review | Close votes | |||
| Sep 1, 2019 at 17:32 | |||||
| Aug 31, 2019 at 23:07 | vote | accept | user107952 | ||
| Aug 31, 2019 at 23:06 | answer | added | Bjørn Kjos-Hanssen | timeline score: 9 | |
| Aug 31, 2019 at 23:01 | comment | added | Tim Campion | Is this your MSE question? It appears to me that Berci has answered your question in the comments. If you still don't understand, try asking Berci to clarify. (Hint: there is an additional axiom that groups satisfy beyond the associative law. If you look up semigroups, as Berci suggested, you will find examples of semigroups which are not groups. Or maybe you can come up with examples yourself.) | |
| Aug 31, 2019 at 22:23 | history | asked | user107952 | CC BY-SA 4.0 |