User Joshua Grochow

26 votes

2 answers

1k views

Is the cohomology ring of a finite group computable?

asked May 9, 2018 at 2:48

24 votes

5 answers

3k views

Examples of incorrect arguments being fertilizer for good mathematics? [duplicate]

asked Feb 5, 2020 at 19:23

16 votes

3 answers

1k views

Unprovable statements S where the only way to prove S is to assume S

asked Nov 7, 2012 at 23:41

16 votes

4 answers

1k views

If tensor product of representations is a representation, must we have a bialgebra?

asked Oct 6, 2013 at 15:40

11 votes

0 answers

870 views

Reference/quote request: "All of combinatorics is the representation theory of $S_n$"

asked May 15, 2013 at 18:33

9 votes

2 answers

167 views

Coboundary matrix of bar resolution for group cohomology: do the elementary divisors always divide $|G|$?

asked Oct 1 at 5:18

8 votes

2 answers

469 views

Uniform-in-p classification* of p-groups of order p^n for each fixed n?

asked Feb 10, 2014 at 17:40

6 votes

0 answers

126 views

Dynamical phenomena in $\mathbb{R}^n$ first arising for n > 3?

asked Sep 1, 2021 at 5:52

5 votes

1 answer

247 views

Local vs global nilpotence class (Lazard correspondence)

asked May 18, 2021 at 15:46

5 votes

0 answers

140 views

Classification of visible actions for reducible representations?

asked Jun 25 at 2:53

5 votes

1 answer

151 views

Dimension from Hilbert series with variable-weighted grading?

asked Sep 5 at 14:39

3 votes

0 answers

181 views

Are all "reasonable" Gödel encodings isomorphic in some sense?

asked Feb 5 at 23:14

2 votes

1 answer

298 views

Tame/wild classification of cyclic quivers?

asked May 24, 2023 at 21:49

Stack Exchange Network

13 Questions

Is the cohomology ring of a finite group computable?

Examples of incorrect arguments being fertilizer for good mathematics? [duplicate]

Unprovable statements S where the only way to prove S is to assume S

If tensor product of representations is a representation, must we have a bialgebra?

Reference/quote request: "All of combinatorics is the representation theory of $S_n$"

Coboundary matrix of bar resolution for group cohomology: do the elementary divisors always divide $|G|$?

Uniform-in-p classification* of p-groups of order p^n for each fixed n?

Dynamical phenomena in $\mathbb{R}^n$ first arising for n > 3?

Local vs global nilpotence class (Lazard correspondence)

Classification of visible actions for reducible representations?

Dimension from Hilbert series with variable-weighted grading?

Are all "reasonable" Gödel encodings isomorphic in some sense?

Tame/wild classification of cyclic quivers?