Category Theory, Logic, and Discrete Mathematics

213 Members
Category theory, logic, combinatorics || part of #mathematics-on:matrix.org19 Servers

Load older messages

20 Nov 2021
@plan2:matrix.orgplan2 The lattice should be those subsets that are mapped into themselves by f, probably 07:04:26
@plan2:matrix.orgplan2https://core.ac.uk/download/pdf/82716175.pdf it seems to be more subtle than that even12:21:51
@yyoojoba11:matrix.org@yyoojoba11:matrix.org joined the room.19:40:36
21 Nov 2021
@latterly:matrix.orglatterly 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:matrix.orglatterlyto 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 degrees12:31:56
@latterly:matrix.orglatterlyRedacted or Malformed Event12:33:25
@latterly:matrix.orglatterlyRedacted or Malformed Event12:34:53
@quantumanon:matrix.orgQuantum latterly: You might want to try #math.algebra:matrix.org for questions like this, but maybe try Eisenstein's Criterion? 12:39:45
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
@quantumanon:matrix.orgQuantumThere's a generalisation to any domain12:40:41
@quantumanon:matrix.orgQuantum 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@yyoojoba11:matrix.org left the room.00:16:06
@pierinevanboline:matrix.orgSulalaoload changed their profile picture.16:22:46
@pierinevanboline:matrix.orgSulalaoload changed their profile picture.16:54:08
@bbbbrrrzzt:nerdsin.space森 海斗 changed their profile picture.23:35:36
@ana-ka:matrix.organa-ka joined the room.23:51:54
23 Nov 2021
@server_stats:nordgedanken.dev@server_stats:nordgedanken.dev left the room.02:40:15
24 Nov 2021
@sunsower:matrix.orgsunshower joined the room.02:11:13
@pierinevanboline:matrix.orgSulalaoload changed their display name from Pyerine to ArgoLargo.17:43:59
25 Nov 2021
@availabled:matrix.orgavailabled joined the room.00:28:13
@pierinevanboline:matrix.orgSulalaoload changed their display name from ArgoLargo to Sulalaoload.23:21:46
@pierinevanboline:matrix.orgSulalaoload changed their profile picture.23:22:40
26 Nov 2021
@undobutton:matrix.orgundo button joined the room.11:48:25
@dkasak:termina.org.ukdkasak joined the room.14:05:14
27 Nov 2021
@bbbbrrrzzt:nerdsin.space森 海斗 changed their profile picture.15:33:14
@3o14pfj1hlc3ljmsx3s5:matrix.org3o14pfj1hlc3ljmsx3s5 joined the room.17:25:50
@3o14pfj1hlc3ljmsx3s5:matrix.org3o14pfj1hlc3ljmsx3s5 set a profile picture.18:59:20
28 Nov 2021
@pierinevanboline:matrix.orgSulalaoload changed their profile picture.01:06:50
29 Nov 2021
@7368moons:matrix.org7368moons set a profile picture.02:11:50
@bl1mp:matrix.orgbl1mp joined the room.21:24:25

There are no newer messages yet.

Back to Room List