User contributions for Plammens

19 February 2024

• 18:2318:23, 19 February 2024 diff hist 0‎ m Equivalence of Definitions of Projective Module ‎ fix my own typo current
• 16:5516:55, 19 February 2024 diff hist −29‎ m Equivalence of Definitions of Projective Module ‎No edit summary
• 16:5116:51, 19 February 2024 diff hist +1,188‎ Equivalence of Definitions of Projective Module ‎ add (2) implies (3)

6 October 2023

• 08:4708:47, 6 October 2023 diff hist +54‎ m Universal Property of Direct Sum of Modules ‎ add link to canonical injection (btw that page needs a definition for arbitrary products)

20 April 2022

• 11:0911:09, 20 April 2022 diff hist +132‎ m Carathéodory's Theorem (Measure Theory)/Corollary ‎ Undo revision 568229 by Plammens (talk) -- nevermind, that definition is for a measure, here we have a pre-measure Tag: Undo
• 11:0811:08, 20 April 2022 diff hist −132‎ m Carathéodory's Theorem (Measure Theory)/Corollary ‎ Refactor: reuse definition of sigma-finite measure
• 10:5110:51, 20 April 2022 diff hist +355‎ m Ring of Sets is Semiring of Sets ‎ Inidcate missing proof current

23 February 2022

• 15:3715:37, 23 February 2022 diff hist +15‎ m Formal Derivative of Polynomials Satisfies Leibniz's Rule ‎ missing -1 in degree of derivative
• 14:1114:11, 23 February 2022 diff hist 0‎ m Definition:Galois Group of Field Extension ‎ Possible clarity improvement

22 February 2022

• 11:2911:29, 22 February 2022 diff hist +17‎ m Subfield Test/Three-Step ‎ y has to be nonzero for it to have an inverse

16 February 2022

• 16:0916:09, 16 February 2022 diff hist +90‎ m Definition:Relative Algebraic Closure ‎ add related to link current
• 16:0716:07, 16 February 2022 diff hist +2‎ m Complex Number is Algebraic over Real Numbers ‎ add missing X

15 February 2022

• 15:1615:16, 15 February 2022 diff hist +3,516‎ N Relative Algebraic Closure with Algebraically Closed Extension is Algebraic Closure ‎ Created page with "== Theorem == Let $L$ be an algebraically closed field. Let $L/K$ be a field extension. Then the relative algebraic closure of $K$ contained in $L$ is an algebraic closure of $K$. == Proof == Let $K'$ denote the relative algebraic closure of $K$ contained in $L$. By definition,..."

8 February 2022

• 13:3213:32, 8 February 2022 diff hist +25‎ m Definition:Algebraically Independent ‎ fix typo

4 February 2022

• 14:0114:01, 4 February 2022 diff hist −167‎ m P-Sequence Space with P-Norm forms Banach Space ‎No edit summary
• 13:4413:44, 4 February 2022 diff hist +184‎ P-Sequence Space with P-Norm forms Banach Space ‎No edit summary Tag: Visual edit: Switched
• 13:3813:38, 4 February 2022 diff hist −4‎ m P-Sequence Space with P-Norm forms Banach Space ‎No edit summary Tag: Visual edit: Switched
• 12:1112:11, 4 February 2022 diff hist +16‎ m P-Norm is Norm/P-Sequence Space ‎No edit summary Tag: Visual edit: Switched

29 January 2022

• 09:2409:24, 29 January 2022 diff hist +13‎ m Definition:Field (Abstract Algebra)/Addition ‎ More specific link for distributand

26 January 2022

• 15:5915:59, 26 January 2022 diff hist +2‎ m Definition:Bounded Linear Transformation/Normed Vector Space ‎ Missing c

29 October 2021

• 15:0315:03, 29 October 2021 diff hist +249‎ m Second Borel-Cantelli Lemma ‎ Add some links
• 10:1910:19, 29 October 2021 diff hist −24‎ Definition:Experiment/Formal Definition ‎ Reuse definition of probability space (instead of inlining) current

27 October 2021

• 10:3810:38, 27 October 2021 diff hist +189‎ Carathéodory's Theorem (Measure Theory) ‎ Suggest refactoring of corollary
• 09:2009:20, 27 October 2021 diff hist +281‎ Definition:Coset Space/Left Coset Space ‎ Suggest refactoring
• 09:1209:12, 27 October 2021 diff hist +1,916‎ Universal Property of Quotient Group ‎ Draft of existence proof

20 October 2021

• 10:4210:42, 20 October 2021 diff hist +65‎ m Definition:Pre-Measure ‎ Make nonnegativity explicit condition for consistency with Definition:Measure (Measure Theory)

15 October 2021

• 21:5021:50, 15 October 2021 diff hist +269‎ Alternating Group is Simple except on 4 Letters/Lemma 3 ‎ Add main theorem references
• 21:4321:43, 15 October 2021 diff hist +643‎ Alternating Group is Simple except on 4 Letters/Lemma 3 ‎ Rewrite case 4 in one-sentence-per-line style
• 21:1721:17, 15 October 2021 diff hist +1,238‎ Alternating Group is Simple except on 4 Letters/Lemma 3 ‎ Include links to main definitions
• 20:5620:56, 15 October 2021 diff hist −5‎ m Alternating Group is Simple except on 4 Letters/Lemma 3 ‎ Add QED
• 20:5420:54, 15 October 2021 diff hist −249‎ m Alternating Group is Simple except on 4 Letters/Lemma 3 ‎ Remove duplicate theorem statement in proof
• 20:5020:50, 15 October 2021 diff hist +436‎ Alternating Group is Simple except on 4 Letters ‎ Include proof of existence of such an even permutation in step 2
• 20:4220:42, 15 October 2021 diff hist +3,920‎ N Alternating Group is Simple except on 4 Letters/Lemma 3 ‎ Create lemma of existence of even permutation s such that s(1) = i, s(2) = j and s(3) = k
• 18:3018:30, 15 October 2021 diff hist +6‎ m Definition:Category ‎ Unify notation

10 October 2021

• 14:5614:56, 10 October 2021 diff hist +3,941‎ Talk:Alternating Group is Simple except on 4 Letters ‎No edit summary

9 October 2021

• 09:1209:12, 9 October 2021 diff hist +87‎ m Definition talk:Connected Sum ‎ Forgot signature current
• 09:1109:11, 9 October 2021 diff hist +1,034‎ N Talk:Alternating Group is Simple except on 4 Letters ‎ Created page with "In step two, the article reads (paraphrased) "let $\sigma$ be an even permutation; define $i = \sigma(1)$, $j = \sigma(2)$, $k = \sigma(3)$; then $\sigma (1\; 2\; 3) \sigma^{-..."

3 October 2021

• 18:0918:09, 3 October 2021 diff hist +990‎ N Definition talk:Connected Sum ‎ Created page with "Shouldn't the union be a disjoint union (with the Definition:Disjoint Union (Set Theory))? I'm trying to think what would happen if we had two manifolds which contain some..."
• 17:4517:45, 3 October 2021 diff hist +6‎ m Definition:Connected Sum ‎ Typo B^n -> D^n current

25 September 2021

• 10:4510:45, 25 September 2021 diff hist +764‎ N Talk:Closed Subspace of Compact Space is Compact ‎ Created page with "This might be more of a language question than anything else, but isn't any subspace closed (and open) as a space itself? Shouldn't we say something like "a subspace that, ''w..."

19 April 2021

• 16:3716:37, 19 April 2021 diff hist −1‎ m Finite Product Space is Connected iff Factors are Connected/Basis for the Induction ‎No edit summary current
• 16:3616:36, 19 April 2021 diff hist −5‎ m Finite Product Space is Connected iff Factors are Connected/Basis for the Induction ‎ $I$ is never used after being defined
• 15:1415:14, 19 April 2021 diff hist −39‎ m Preimage of Subset of Cartesian Product under Injection from Factor ‎ Remove redundant and potentially confusing "low-level" definition of function
• 15:1315:13, 19 April 2021 diff hist +18‎ m Preimage of Subset of Cartesian Product under Injection from Factor ‎ Explicitly state membership of s in set builder notation

17 April 2021

• 13:4413:44, 17 April 2021 diff hist +561‎ Definition talk:Product Topology/Natural Basis ‎No edit summary
• 13:3413:34, 17 April 2021 diff hist +86‎ m Definition talk:Product Topology/Natural Basis ‎No edit summary
• 13:3413:34, 17 April 2021 diff hist +138‎ m Definition talk:Product Topology/Natural Basis ‎No edit summary
• 13:2913:29, 17 April 2021 diff hist +674‎ Definition talk:Product Topology/Natural Basis ‎No edit summary
• 12:1812:18, 17 April 2021 diff hist +86‎ m Talk:Closed Real Interval is Compact/Topological Space ‎ Forgot signature... again
• 12:1712:17, 17 April 2021 diff hist +1,138‎ N Talk:Closed Real Interval is Compact/Topological Space ‎ Created page with "Added this page after discussion in Talk:Closed Bounded Subset of Real Numbers is Compact/Proof 1. I set this as Proof 1 in Closed Real Interval is Compact (and shifte..."