Since the ternary Goldbach is true by Helfgott: arxiv.org/abs/1312.7748. Then it immediately follows that every sufficiently large even integer is the sum of 4 primes. Is that correct? I ask here because it's kind of simplistic.
https://arxiv.org/abs/1312.7748
Every integer other than $1$ is at least the sum of at most $4$ prime numbers including $0$. Thus for all $x \in \Bbb{Z}\setminus 1, \ x = q_1 + q_2 + q_3 + q_4$ where each $q_i \geq 0$ and $(q_i)$ is a prime ideal of $\Bbb{Z}$. This is a corollary of Helfgott...
Simplicial homology chain maps all have the same formula, in this case I'm not working witho topological simplices but instead integer / prime sums
You definte it on a basic simplex, then extend it homomorphically (linearly)
It's pretty neat in general, but I'm not sure yet whether it will produce something worth while here. Perhaps I need to use coefficients in $\Bbb{Z}/(2)$ instead.
@Ted Remember how a few years ago you gave an exercise asking to prove that a matrix satisfies its own characteristic polynomial? I learned a nice generalization today: let $p\in\Bbb C[x]$ and $a\in A$ where $A$ a is unital $\Bbb C$-algebra, such that the spectrum $\sigma(a)$ is nonempty. Then $\sigma(p(a))=p(\sigma(a))$.
(If $A$ is a Banach algebra then $\sigma(a)$ is nonempty for every $a\in A$)
@Mr.President don't spend more than 20mins to an 1hr on one problem. If you get stuck, there is something easier that will help you solve that particular problem. Find what it is
@ShineOnYouCrazyDiamond - Thanks a lot!! Also, I just downloaded a book from the starred message(your link, Proofs_from_the_book)...thank youuuuu, very nice book
a tip: this professors lectures are easy going, about interesting high level stuff and with a verbal examination at the end - mathi.uni-heidelberg.de/~freitag