Timeline for Counterexamples in universal algebra
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2017 at 7:45 | comment | added | William DeMeo | Bryant (1982) proved that the theorem of Oates and Powell does not generalize to "pointed" groups. That is, if you take a finite group and simply identify one of its elements as "special," then it no longer has a finite basis for its identities. That seems striking at first, but think about all the new identities you have once you can recognize a special element of the group (besides the identity, of course). | |
| Jan 9, 2014 at 14:54 | history | edited | Benjamin Steinberg | CC BY-SA 3.0 |
added 128 characters in body
|
| Jan 9, 2014 at 14:53 | comment | added | Benjamin Steinberg | You can find it in in his book math.vanderbilt.edu/~msapir/book/b2.pdf where in Chapter 3 he uses symbolic dynamics to characterize in an algorithmic way all finite inherently non finitely based semigroups. | |
| Jan 9, 2014 at 4:18 | comment | added | Todd Trimble | Benjamin, can you add a reference for Mark Sapir's tour-de-force? | |
| S Jan 9, 2014 at 3:14 | history | answered | Benjamin Steinberg | CC BY-SA 3.0 | |
| S Jan 9, 2014 at 3:14 | history | made wiki | Post Made Community Wiki by Benjamin Steinberg |