# New pages

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

- 15:29, 18 October 2018 Binding Priority/Examples/Disjunction over Biconditional (hist) [645 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Binding Priority == <onlyinclude> The convention for '''binding priority''' states that: :$x + y...")
- 15:28, 18 October 2018 Binding Priority/Examples/Conjunction over Conditional (hist) [679 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Binding Priority == <onlyinclude> The convention for '''binding priority''' states that: :$\paren...")
- 15:26, 18 October 2018 Binding Priority/Examples (hist) [456 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Binding Priority == <onlyinclude> === Conjunction over Conditional ==...")
- 15:17, 18 October 2018 Quantifier/Examples/Uniqueness of Additive Identity (hist) [516 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Use of Quantifiers == <onlyinclude> :$\forall x: \exists ! y: x + y = 0$ means: :''For every $x$ there exists a Definition:Unique|u...")
- 15:10, 18 October 2018 Quantifier/Examples/Epsilon-Delta Condition (hist) [693 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Use of Quantifiers == <onlyinclude> :$\forall \epsilon: \exists \delta: \forall y: \size {x - y} < \delta \implies \size {\map f x - \m...")
- 14:59, 18 October 2018 Quantifier/Examples/Existence for All of Element Greater Than (hist) [648 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Use of Quantifiers == <onlyinclude> :$\forall x: \exists y: x < y$ means: :''For every $x$ there exists a $y$ such that $x < y$ or (...")
- 14:44, 18 October 2018 Quantifier/Examples (hist) [608 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Use of Quantifiers == <onlyinclude> </onlyinclude> Category:Examples of Use of Quantifiers")
- 06:40, 18 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Unital Algebra (hist) [597 bytes] Leigh.Samphier (talk | contribs) (Created page with "== Definition == Let $R$ be a division ring with norm $\norm {\,\cdot\,}_R$. <onlyincl...")
- 06:25, 18 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Bounded Linear Functionals/Definition 4 (hist) [1,080 bytes] Leigh.Samphier (talk | contribs) (Created page with "== Definition == <onlyinclude> Let $H$ be a Hilbert space, and let $L$ be a bounded linear functional on...")
- 06:21, 18 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Bounded Linear Functionals/Definition 3 (hist) [982 bytes] Leigh.Samphier (talk | contribs) (Created page with "== Definition == Let $H$ be a Hilbert space, and let $L$ be a bounded linear functional on $H$. <onlyincl...")
- 06:19, 18 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Bounded Linear Functionals/Definition 2 (hist) [934 bytes] Leigh.Samphier (talk | contribs) (Created page with "== Definition == Let $H$ be a Hilbert space, and let $L$ be a bounded linear functional on $H$. <onlyincl...")
- 06:16, 18 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Bounded Linear Functionals/Definition 1 (hist) [990 bytes] Leigh.Samphier (talk | contribs) (Created page with "== Definition == Let $H$ be a Hilbert space, and let $L$ be a bounded linear functional on $H$. <onlyincl...")
- 08:19, 17 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Algebra (hist) [801 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{refactor|separate out subdefinition}} {{tidy}} == Definition == Let $R$ be a division ring with Definition:Absolute Value on Division Ring|a...")
- 08:19, 17 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Bounded Linear Functionals (hist) [1,877 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{About|the norm on bounded linear functionals|Definition:Norm}} == Definition == Let $H$ be a Definition:Hilbert Space|Hilbert spa...")
- 08:18, 17 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Bounded Linear Transformations (hist) [2,294 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{About|the norm on a bounded linear transformation (the operator norm)|Definition:Norm}} {{refactor}} == Definition == Let $H, K...")
- 07:37, 17 October 2018 Leigh.Samphier/Sandbox/Norm Refactor/Norm/Vector Space (hist) [2,038 bytes] Leigh.Samphier (talk | contribs) (Created page with "{{expand|Add an alternative (simplified) definition for vector spaces over usual number fields based on the Notes section. Prominently link to something about standard norms o...")
- 19:30, 15 October 2018 Coset/Examples/Subgroup of Infinite Cyclic Group (hist) [1,871 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Cosets == <onlyinclude> Let $G = \gen a$ be an infinite cyclic group. Let $s \in \Z_{>0}$ be a Defi...")
- 18:30, 15 October 2018 Coset/Examples/Symmetry Group of Equilateral Triangle/Cosets of Reflection Subgroup (hist) [1,757 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Cosets == <onlyinclude> Consider the symmetry group of the equilateral triangle $D_3$...")
- 17:49, 15 October 2018 Coset/Examples (hist) [511 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Cosets == <onlyinclude> </onlyinclude> Category:Examples of Cosets")
- 16:56, 15 October 2018 Element of Group is in its own Coset/Right (hist) [928 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $G$ be a group. Let $H$ be a subgroup of $G$. Let $x \in G$. <onlyinclude> Let: : $H x$ be the Definition:R...")
- 16:53, 15 October 2018 Element of Group is in its own Coset/Left (hist) [1,106 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $G$ be a group. Let $H$ be a subgroup of $G$. Let $x \in G$. <onlyinclude> Let: : $x H$ be the Definition:L...")
- 14:13, 15 October 2018 Equivalent Statements for Congruence Modulo Subgroup/Right (hist) [1,376 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $G$ be a group. Let $H$ be a subgroup of $G$. <onlyinclude> Let $x \equiv^r y \pmod H$ denote that $x$ is D...")
- 14:12, 15 October 2018 Equivalent Statements for Congruence Modulo Subgroup/Left (hist) [1,407 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $G$ be a group, and let $H$ be a subgroup of $G$. <onlyinclude> Let $x \equiv^l y \pmod H$ denote that $x$ is [...")
- 15:44, 14 October 2018 Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication/Proof 2 (hist) [4,214 bytes] Lord Farin (talk | contribs) (Created page with "== Theorem == {{:Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication}} == Proof == <onlyinclude> {{finish}} </...")
- 15:43, 14 October 2018 Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication/Proof 1 (hist) [2,689 bytes] Lord Farin (talk | contribs) (Created page with "== Theorem == {{:Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication}} == Proof == {{Refactor|Can be put into t...")
- 10:13, 14 October 2018 Hypothetical Syllogism/Formulation 1/Proof 3 (hist) [1,102 bytes] Lord Farin (talk | contribs) (Created page with "== Theorem == {{:Hypothetical Syllogism/Formulation 1}} == Proof == <onlyinclude> This proof uses $\mathscr H_2$, Instance 2 o...")
- 08:30, 14 October 2018 Number of Generators of Cyclic Group whose Order is Power of 2 (hist) [882 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $G$ be a finite cyclic group. Let the order of $G$ be $2^k$ for s...")
- 06:09, 14 October 2018 Reduced Residues Modulo 5 under Multiplication form Cyclic Group (hist) [1,920 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $\struct {Z'_5, \times_5}$ denote the multiplicative group of reduced residues modulo $5$. Then $\str...")
- 05:49, 14 October 2018 Multiplicative Group of Reduced Residues Modulo 7/Cayley Table (hist) [1,366 bytes] Prime.mover (talk | contribs) (Created page with "== Cayley Table for Multiplicative Group of Reduced Residues Modulo 7 == The Multiplicativ...")
- 05:43, 14 October 2018 Multiplicative Group of Reduced Residues/Examples/Modulo 7 (hist) [815 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Multiplicative Group of Reduced Residues == <onlyinclude> Consider the Definition:Reduced Residue Syste...")
- 05:11, 14 October 2018 Multiplicative Group of Reduced Residues/Examples (hist) [677 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Multiplicative Groups of Reduced Residues == <onlyinclude> </onlyinclude> Category:Examples of Multi...")
- 18:24, 13 October 2018 Multiplicative Group of Reduced Residues Modulo 7 is Cyclic (hist) [2,634 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $\struct {Z'_7, \times_7}$ denote the multiplicative group of reduced residues modulo 7. T...")
- 17:19, 13 October 2018 Dot Product of Constant Magnitude Vector-Valued Function with its Derivative is Zero/Proof 2 (hist) [1,001 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Dot Product of Constant Magnitude Vector-Valued Function with its Derivative is Zero}} == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \map {\mathbf f} x...")
- 17:18, 13 October 2018 Dot Product of Constant Magnitude Vector-Valued Function with its Derivative is Zero/Proof 1 (hist) [803 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{:Dot Product of Constant Magnitude Vector-Valued Function with its Derivative is Zero}} == Proof == <onlyinclude> {{begin-eqn}} {{eqn | l = \map {\mathbf f} x...")
- 17:08, 13 October 2018 Order of Elements in Quaternion Group (hist) [1,468 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == Let $Q = \Dic 2$ be the quaternion group, whose group presentation is given by: :$\Dic 2 = \g...")
- 15:28, 13 October 2018 Quaternion Group/Complex Matrices/Cayley Table (hist) [2,181 bytes] Prime.mover (talk | contribs) (Created page with "== Cayley Table for Quaternion Group== The Cayley table for the Definition:Quaternio...")
- 11:16, 13 October 2018 Quaternion Group/Cayley Table (hist) [1,322 bytes] Prime.mover (talk | contribs) (Created page with "== Cayley Table for Quaternion Group== The Cayley table for the Definition:Quaternio...")
- 06:41, 13 October 2018 Graph of Nonlinear Additive Function is Dense in the Plane (hist) [2,474 bytes] KarlFrei (talk | contribs) (new proof)
- 05:59, 13 October 2018 Order of Power of Group Element/Examples/Powers of Element of Order 20 (hist) [1,508 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Order of Power of Group Element == <onlyinclude> Let $G$ be a group. Let $x \in G$ be such that: :$\order x = 20$ where $\order x$ deno...")
- 05:41, 13 October 2018 Order of Power of Group Element/Examples (hist) [341 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Order of Power of Group Element == <onlyinclude> === Order of Group Element/Examples/Orders of Powers of Elements in Group of Order 20|Possible Orders of...")
- 05:39, 13 October 2018 Order of Group Element/Examples/Rotation Through nth Part of Full Angle (hist) [969 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Order of Group Element == <onlyinclude> Let $G$ denote the Definition:Group of Isometries in Plane|group of isometries in...")
- 02:28, 13 October 2018 Order of Group Element/Examples/Possible Orders of x when x^2 = x^12 (hist) [973 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Order of Group Element == <onlyinclude> Let $G$ be a group. Let $x \in G \setminus \set e$ be such t...")
- 01:18, 13 October 2018 Subgroup/Examples/Natural Numbers in Multiplicative Group of Real Numbers (hist) [1,335 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Closed Subset which is not a Subgroup == <onlyinclude> Consider the Def...")
- 01:04, 13 October 2018 Subgroup/Examples (hist) [319 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Subgroups == <onlyinclude> </onlyinclude> Category:Examples of Subgroups")
- 03:16, 12 October 2018 Element of Cyclic Group is not necessarily Generator (hist) [1,324 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == <onlyinclude> Let $\gen g = G$ be a cyclic group. Let $a \in G$ Then it is not necessarily the case that $a$ is also a Definitio...")
- 03:08, 12 October 2018 Generator of Cyclic Group/Examples/Subgroup of Multiplicative Group of Real Numbers Generated by 2 (hist) [1,536 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Generators of Cyclic Group == <onlyinclude> Consider the Definition:Multiplicative Group of Real Numbers|multiplicativ...")
- 03:01, 12 October 2018 Generator of Cyclic Group/Examples (hist) [443 bytes] Prime.mover (talk | contribs) (Created page with "== Examples of Generators of Cyclic Groups == <onlyinclude> </onlyinclude> Category:Examples of Generators of Cyclic Groups")
- 16:55, 11 October 2018 Equivalence of Definitions of Cyclic Group (hist) [1,476 bytes] Prime.mover (talk | contribs) (Created page with "== Theorem == {{TFAE|def = Cyclic Group}} === Definition 1 === {{:Definition:Cyclic Group/Definition 1}} === Definition:Cyclic Gro...")
- 16:19, 11 October 2018 Cyclic Group/Examples/Subgroup of Multiplicative Group of Complex Numbers Generated by i (hist) [1,377 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Cyclic Group == <onlyinclude> Consider the [[Definition:Multiplicative Group of Complex Numbers|multiplicative group of real numbers]...")
- 16:18, 11 October 2018 Cyclic Group/Examples/Subgroup of Multiplicative Group of Real Numbers Generated by 2 (hist) [1,323 bytes] Prime.mover (talk | contribs) (Created page with "== Example of Cyclic Group == <onlyinclude> Consider the multiplicative group of real numbers $...")