Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
6 May 2024
|
|
N 07:13 | Outer Jordan Content of Right Triangle 3 changes history +2,809 [CircuitCraft; Prime.mover (2×)] | |||
|
|
07:13 (cur | prev) +286 Prime.mover talk contribs | ||||
|
|
07:12 (cur | prev) +67 Prime.mover talk contribs | ||||
| N |
|
06:14 (cur | prev) +2,456 CircuitCraft talk contribs (Created page with "== Theorem == Let $T \subseteq \R^2$ be defined as: :$T = \set {\tuple {x, y} \in \R^2 : x \ge 0 \land y \ge 0 \land x + y \le 1}$ Then: :$\map {m^*} T = \dfrac 1 2$ == Proof == Let $\epsilon > 0$ be arbitrary. By the Axiom of Archimedes, let $n \in \N$ such that: :$n > 2 \epsilon$ Define $C \subseteq \powerset {\R^2}$ as: :$C = \set {\closedint {\dfrac p n} {\dfrac {p + 1} n} \times \closedint {\dfrac q n} {\dfrac {q + 1} n} : p, q \in \set {0, 1, \dotsc, n...") | |||
5 May 2024
| 10:03 | Decomposition of Field Extension as Separable Extension followed by Purely Inseparable diffhist +155 Hbghlyj talk contribs (Fixed {{explain|why?}}) | ||||
4 May 2024
|
|
23:52 | Decomposition of Field Extension as Separable Extension followed by Purely Inseparable 4 changes history +186 [Hbghlyj; Prime.mover (3×)] | |||
| m |
|
23:52 (cur | prev) +1 Prime.mover talk contribs | |||
|
|
23:52 (cur | prev) +21 Prime.mover talk contribs | ||||
|
|
15:15 (cur | prev) +95 Hbghlyj talk contribs (add one more step) | ||||
|
|
08:45 (cur | prev) +69 Prime.mover talk contribs | ||||
|
|
15:13 | Definition:Separable Degree/Definition 2 2 changes history +307 [Prime.mover; Hbghlyj] | |||
| m |
|
15:13 (cur | prev) +259 Hbghlyj talk contribs (Fixed {{NoSources}}) | |||
|
|
08:42 (cur | prev) +48 Prime.mover talk contribs | ||||
| 08:41 | Definition:Separable Degree/Definition 3 diffhist +49 Prime.mover talk contribs | ||||
| 08:41 | Separable Degree is At Most Equal To Degree diffhist +47 Prime.mover talk contribs | ||||
|
|
08:36 | Separable Degree of Field Extensions is Multiplicative 2 changes history +56 [Prime.mover (2×)] | |||
|
|
08:36 (cur | prev) +20 Prime.mover talk contribs | ||||
| m |
|
08:30 (cur | prev) +36 Prime.mover talk contribs | |||
|
|
08:20 | Primitive Element Theorem 6 changes history +1,913 [Prime.mover; Hbghlyj (5×)] | |||
| m |
|
08:20 (cur | prev) +72 Prime.mover talk contribs | |||
| m |
|
01:00 (cur | prev) +65 Hbghlyj talk contribs (add more words) | |||
| m |
|
00:57 (cur | prev) −33 Hbghlyj talk contribs (not necessary to write " : E \longrightarrow \overline{F}" so removed it) | |||
| m |
|
00:55 (cur | prev) +5 Hbghlyj talk contribs (\bar to \overline) | |||
| m |
|
00:54 (cur | prev) 0 Hbghlyj talk contribs (Fix mistake) | |||
|
|
00:53 (cur | prev) +1,804 Hbghlyj talk contribs (Add proof) | ||||
|
|
08:16 | Steinitz's Theorem 4 changes history +2,101 [Prime.mover (2×); Hbghlyj (2×)] | |||
| m |
|
08:16 (cur | prev) +1 Prime.mover talk contribs | |||
|
|
08:14 (cur | prev) +50 Prime.mover talk contribs | ||||
|
|
01:35 (cur | prev) +30 Hbghlyj talk contribs (add more words) | ||||
|
|
01:33 (cur | prev) +2,020 Hbghlyj talk contribs (Add proof) | ||||
3 May 2024
|
|
N 23:41 | Separable Degree of Field Extensions is Multiplicative 3 changes history +1,473 [Hbghlyj (3×)] | |||
| m |
|
23:41 (cur | prev) +101 Hbghlyj talk contribs (add more words) | |||
|
|
23:38 (cur | prev) +879 Hbghlyj talk contribs (Add proof) | ||||
| N |
|
19:53 (cur | prev) +493 Hbghlyj talk contribs (Creating the page based on a theorem in Lang's book, which in needed in Transitivity of Separable Field Extensions) | |||
|
|
N 23:12 | Steinitz's Theorem 3 changes history +1,154 [Hbghlyj (3×)] | |||
|
|
23:12 (cur | prev) +157 Hbghlyj talk contribs (add a BookReference) Tag: Visual edit: Switched | ||||
| m |
|
20:27 (cur | prev) −61 Hbghlyj talk contribs | |||
| N |
|
20:26 (cur | prev) +1,058 Hbghlyj talk contribs (A theorem needed in the proof of Primitive Element Theorem. name based on Wikipedia page https://en.wikipedia.org/wiki/Steinitz%27s_theorem_(field_theory)) | |||
|
|
23:11 | Primitive Element Theorem 4 changes history +357 [Hbghlyj (4×)] | |||
|
|
23:11 (cur | prev) +155 Hbghlyj talk contribs (add a BookReference) | ||||
|
|
20:24 (cur | prev) +41 Hbghlyj talk contribs (Add "Also see") | ||||
| m |
|
20:23 (cur | prev) +15 Hbghlyj talk contribs | |||
|
|
20:11 (cur | prev) +146 Hbghlyj talk contribs (add a BookReference) | ||||
|
|
N 19:55 | Separable Degree is At Most Equal To Degree 5 changes history +657 [Hbghlyj (5×)] | |||
|
|
19:55 (cur | prev) −47 Hbghlyj talk contribs (Change $k$ to $F$) | ||||
| m |
|
19:52 (cur | prev) −11 Hbghlyj talk contribs (Typo) | |||
|
|
19:52 (cur | prev) +142 Hbghlyj talk contribs (Links) | ||||
| m |
|
19:51 (cur | prev) +4 Hbghlyj talk contribs (Typo) | |||
| N |
|
19:51 (cur | prev) +569 Hbghlyj talk contribs (Creating the page based on a theorem in Lang's book, which in needed in Transitivity of Separable Field Extensions) | |||
| N 19:37 | Definition:Separable Degree/Definition 3 diffhist +348 Hbghlyj talk contribs (Created page with "== Definition == <onlyinclude> Let $K$ be a normal extension of $F$ that contains $E$. The '''separable degree''' $\index E F_{\operatorname {sep} }$ of $E / F$ is the number of embeddings of $E$ into $K$ that fix $F$. </onlyinclude> Category:Separable Field Extensions") | ||||
|
|
N 19:36 | Definition:Separable Degree/Definition 2 2 changes history +345 [Hbghlyj (2×)] | |||
| m |
|
19:36 (cur | prev) +1 Hbghlyj talk contribs (Add a blank line) | |||
| N |
|
19:35 (cur | prev) +344 Hbghlyj talk contribs (Created page with "== Definition == <onlyinclude> Let $\bar F$ be the algebraic closure of $F$. The '''separable degree''' $\index E F_{\operatorname {sep} }$ of $E / F$ is the number of embeddings of $E$ into $\bar F$ that fix $F$. </onlyinclude> Category:Separable Field Extensions") | |||
| 19:19 | Decomposition of Field Extension as Separable Extension followed by Purely Inseparable diffhist +499 Hbghlyj talk contribs (Fixed {{proof wanted|use transitivity of separable extensions}}) | ||||
|
|
09:24 | Kernel of Linear Transformation is Null Space of Matrix Representation 3 changes history +98 [Prime.mover (3×)] | |||
|
|
09:24 (cur | prev) −455 Prime.mover talk contribs (no that does not belong here) Tag: Manual revert | ||||
| m |
|
08:53 (cur | prev) +455 Prime.mover talk contribs Tag: Reverted | |||
| m |
|
08:51 (cur | prev) +98 Prime.mover talk contribs | |||
2 May 2024
|
|
m 10:24 | Cyclicity Condition for Units of Ring of Integers Modulo n 4 changes history +34 [Prime.mover; Hbghlyj (3×)] | |||
| m |
|
10:24 (cur | prev) −9 Hbghlyj talk contribs (replace words by formula) | |||
| m |
|
10:20 (cur | prev) +27 Hbghlyj talk contribs (add more words) | |||
| m |
|
10:19 (cur | prev) +9 Prime.mover talk contribs | |||
| m |
|
10:18 (cur | prev) +7 Hbghlyj talk contribs (typo) | |||