All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 16:00, 5 November 2021 Z423x5c6 talk contribs created page De Rham Cohomology of Sphere (Created page with "== Theorem == Let $S^n$ denote the n-Sphere. Then the de Rham Cohomology of $S^n$ are: :$H^0(S^0) = \Z^2$ :...")
- 15:50, 5 November 2021 Z423x5c6 talk contribs created page Definition talk:De Rham Cohomology (Created page with "Prime.mover: Maybe we pick $H^{\bullet}_{\text{dR}}$? Also could we make the 'de' in the title not capitalized? 'de Rham' is the surname and the 'd' shoul...")
- 06:15, 4 November 2021 Z423x5c6 talk contribs created page Definition:De Rham Cohomology (Should be de Rham Cohomology, 'de' should not be capitalized)
- 07:47, 29 July 2021 Z423x5c6 talk contribs created page Talk:Isomorphism between Additive Group Modulo 16 and Multiplicative Group Modulo 17 (Created page with "The fact that 3 is a primitive element mod 17 should be needed. Also, some \eqclass signs are missing. I will come back here later. --~~~~")
- 06:51, 27 July 2021 Z423x5c6 talk contribs created page Definition:Category of n-dimensional Cobordism (Created page with "== Definition == The '''category of n-dimensional cobordism''' is the category $\mathbf{nCob}$ with: {{DefineCategory |ob = Definition:Topological M...")
- 17:18, 26 July 2021 Z423x5c6 talk contribs created page Talk:Integer as Sum of 27 Primes (Created page with "Could be referring to the result of Vaughan in 1977. A long proof anyway. --~~~~")
- 07:19, 26 July 2021 Z423x5c6 talk contribs created page Talk:Friendship Theorem/Proof 1 (Created page with "Not sure how we could use Ramsey's Theorem to prove this, as Ramsey's Theorem only guarantees that the number $R(3,3)$ is finite. --~~~~")
- 13:31, 10 June 2021 Z423x5c6 talk contribs created page Talk:Lord Dunsany's Chess Problem (Created page with "IMO the labels for ranks and files should be removed in order to make this puzzle work. --~~~~")
- 08:54, 10 June 2021 Z423x5c6 talk contribs created page Definition talk:Curvature (Created page with "Maybe this page could be renamed as 'Curvature of Plane Curve' and then make the page 'Curvature' into a disambiguation page, linking to different (more general) definitions o...")
- 03:43, 9 June 2021 Z423x5c6 talk contribs created page Definition:Proper Submodule (Created page with "== Definition == Let $R$ be a ring. Let $M$ be a $R$-module. Then $N$ is a '''proper submodule''' of $M$ if $N$...")
- 05:02, 8 June 2021 Z423x5c6 talk contribs created page Talk:Direct Product iff Nontrivial Idempotent (Created page with "This could be made into a TFAE with a third statement: Spec(R) is disconnected. --~~~~")
- 16:56, 24 June 2020 Z423x5c6 talk contribs created page Talk:Empty Group Word is Reduced (Created page with "Greetings, Prime.mover. Just some little thoughts here. I know that group words are defined as Definition:Ordered Tuple on Set|ordered tuple...")
- 09:15, 21 June 2020 Z423x5c6 talk contribs created page Empty Group Word is Reduced (Created page with "== Theorem == Let $S$ be a set Let $\epsilon$ be the empty group word on $S$. Then $\epsilon$ is Definition:Reduced Gr...")
- 09:07, 21 June 2020 Z423x5c6 talk contribs created page Conjugacy Class of Identity is only Conjugacy Class which is Subgroup (This is the first time I mess with the Sources part...hopefully this is alright ^^)
- 16:52, 19 June 2020 Z423x5c6 talk contribs created page Talk:Sequence of Integers defining Abelian Group (Created page with "This is the [https://en.wikipedia.org/wiki/Finitely_generated_abelian_group#Invariant_factor_decomposition Invariant Factor] version of the Fundamental Theorem of Finite Abe...")
- 08:54, 16 June 2020 Z423x5c6 talk contribs created page Talk:Cayley-Menger Determinant (Created page with "The lowercase $2$ should be the vector 2-norm if I get it correctly from MathWorld. --~~~~")
- 08:03, 16 June 2020 Z423x5c6 talk contribs created page Definition:Adjacent Transposition (Redirected page to Definition:Transposition) Tag: New redirect
- 19:06, 12 June 2016 Z423x5c6 talk contribs moved page Square of Real Number is Positive to Square of Real Number is Non-Negative (More accurate title)
- 14:53, 2 December 2015 Z423x5c6 talk contribs moved page Scalar triple product to Definition:Scalar triple product (This is a definition page. Forgot to add 'definition' when creating this page.)
- 10:57, 12 August 2015 Z423x5c6 talk contribs moved page No Graph is Perfect to No Simple Graph is Perfect (More accurate title)