| 20 Nov 2021 |
 plan2 | The lattice should be those subsets that are mapped into themselves by f, probably | 07:04:26 |
| plan2 | https://core.ac.uk/download/pdf/82716175.pdf it seems to be more subtle than that even | 12:21:51 |
|  @yyoojoba11:matrix.org joined the room. | 19:40:36 |
| 21 Nov 2021 |
 latterly | does anyone know how I can demonstrate x^4 + x + 1 is irreducible over Z_3 without a brute force approach? | 12:30:02 |
| latterly | to be irreducible I have to show it has a factor of degree 1, 2, or 3, where I can list all possible factors of those degrees | 12:31:56 |
| latterly | Redacted or Malformed Event | 12:33:25 |
| latterly | Redacted or Malformed Event | 12:34:53 |
 Quantum | latterly: You might want to try #math.algebra:matrix.org for questions like this, but maybe try Eisenstein's Criterion? | 12:39:45 |
| latterly | In reply to @quantumanon:matrix.org
latterly: You might want to try #math.algebra:matrix.org for questions like this, but maybe try Eisenstein's Criterion? thanks for the redirect, I thought the Eisenstein criterion is only for irreducibility over the rational numbers | 12:40:30 |
| Quantum | There's a generalisation to any domain | 12:40:41 |
| Quantum | Though idk if it'll work here. Your constant term is 1, so it can't lie in a non-trivial prime ideal of ℤ₃ | 12:42:16 |
| 22 Nov 2021 |
| @yyoojoba11:matrix.org left the room. | 00:16:06 |
|  Sulalaoload changed their profile picture. | 16:22:46 |
| Sulalaoload changed their profile picture. | 16:54:08 |
|  森 海斗 changed their profile picture. | 23:35:36 |
|  ana-ka joined the room. | 23:51:54 |
| 23 Nov 2021 |
|  @server_stats:nordgedanken.dev left the room. | 02:40:15 |
| 24 Nov 2021 |
|  sunshower joined the room. | 02:11:13 |
| Sulalaoload changed their display name from Pyerine to ArgoLargo. | 17:43:59 |
| 25 Nov 2021 |
|  availabled joined the room. | 00:28:13 |
| Sulalaoload changed their display name from ArgoLargo to Sulalaoload. | 23:21:46 |
| Sulalaoload changed their profile picture. | 23:22:40 |
| 26 Nov 2021 |
|  undo button joined the room. | 11:48:25 |
|  dkasak joined the room. | 14:05:14 |
| 27 Nov 2021 |
| 森 海斗 changed their profile picture. | 15:33:14 |
|  3o14pfj1hlc3ljmsx3s5 joined the room. | 17:25:50 |
| 3o14pfj1hlc3ljmsx3s5 set a profile picture. | 18:59:20 |
| 28 Nov 2021 |
| Sulalaoload changed their profile picture. | 01:06:50 |
| 29 Nov 2021 |
|  7368moons set a profile picture. | 02:11:50 |
|  bl1mp joined the room. | 21:24:25 |
