Timeline for Dimension of infinite product of vector spaces
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 27, 2023 at 21:55 | comment | added | Junyan Xu | Thanks! This proof of largeness is nice as it works over a division ring, unlike the proof using the Vandermonde determinant mathoverflow.net/a/420455/3332, and is also simpler and clearer than the argument on Jacobson's book. It is formalized in Lean and merged into mathlib today: github.com/leanprover-community/mathlib4/pull/9159/… | |
| Oct 1, 2019 at 23:40 | history | edited | Pete L. Clark | CC BY-SA 4.0 |
A small change to deal with the case in which K is finite
|
| Jun 5, 2014 at 6:37 | history | edited | Pierre-Yves Gaillard | CC BY-SA 3.0 |
rewrote the answer
|
| Jun 1, 2014 at 7:55 | history | edited | Pierre-Yves Gaillard | CC BY-SA 3.0 |
added EDIT 2
|
| May 30, 2014 at 17:29 | history | edited | Pierre-Yves Gaillard | CC BY-SA 3.0 |
edit clearly indicated
|
| May 30, 2014 at 17:11 | comment | added | Todd Trimble | Dear Pierre -- Yes, I noticed, and I like it. +1. | |
| S May 30, 2014 at 14:23 | history | answered | Pierre-Yves Gaillard | CC BY-SA 3.0 | |
| S May 30, 2014 at 14:23 | history | made wiki | Post Made Community Wiki by Pierre-Yves Gaillard |