OCME · Bilingual mathematics & derivations
Wave6 Eighth Layer: Kernels, Quotient Groups, Conjugacy, Standard Normal, MSE, LP Standard Form and Vertex Covers
On this page
- Subgroups and group homomorphisms
- Finite normal subgroup
- Function mapping
- Quotient set
- Finite group
- Finite group action
- Orbit of a finite group action
- Continuous real distribution function
- Improper integral
- Real exponential function
- Natural-number powers and principal square roots
- Expectation in finite models
- Variance in finite probability models
- Estimator bias
- Estimator variance
- Sampling distribution
- Parametric statistical model
- Linear programming
- Finite matrices: dimensions, indexing, and transpose
- Linear systems in two variables and degenerate constraints
- Usual order on the real numbers
- Finite simple undirected graphs
- Subset
- Quantifiers and explicit domains
- Kernel of a finite group homomorphism
- Finite quotient group
- Conjugacy class in a finite group
- Standard normal distribution
- Mean squared error of an estimator
- Standard form of a linear program
- Vertex cover
Complete seven traceable knowledge objects in dependency order on the existing number-system and function foundations.
This is a suggested learning sequence, not a universal logical dependency or a formal proof.
Subgroups and group homomorphisms
Existing canonical prerequisite for the new objects in this pulse.
Finite normal subgroup
Existing canonical prerequisite for the new objects in this pulse.
Function mapping
Existing canonical prerequisite for the new objects in this pulse.
Quotient set
Existing canonical prerequisite for the new objects in this pulse.
Finite group
Existing canonical prerequisite for the new objects in this pulse.
Finite group action
Existing canonical prerequisite for the new objects in this pulse.
Orbit of a finite group action
Existing canonical prerequisite for the new objects in this pulse.
Continuous real distribution function
Existing canonical prerequisite for the new objects in this pulse.
Improper integral
Existing canonical prerequisite for the new objects in this pulse.
Real exponential function
Existing canonical prerequisite for the new objects in this pulse.
Natural-number powers and principal square roots
Existing canonical prerequisite for the new objects in this pulse.
Expectation in finite models
Existing canonical prerequisite for the new objects in this pulse.
Variance in finite probability models
Existing canonical prerequisite for the new objects in this pulse.
Estimator bias
Existing canonical prerequisite for the new objects in this pulse.
Estimator variance
Existing canonical prerequisite for the new objects in this pulse.
Sampling distribution
Existing canonical prerequisite for the new objects in this pulse.
Parametric statistical model
Existing canonical prerequisite for the new objects in this pulse.
Linear programming
Existing canonical prerequisite for the new objects in this pulse.
Finite matrices: dimensions, indexing, and transpose
Existing canonical prerequisite for the new objects in this pulse.
Linear systems in two variables and degenerate constraints
Existing canonical prerequisite for the new objects in this pulse.
Usual order on the real numbers
Existing canonical prerequisite for the new objects in this pulse.
Finite simple undirected graphs
Existing canonical prerequisite for the new objects in this pulse.
Subset
Existing canonical prerequisite for the new objects in this pulse.
Quantifiers and explicit domains
Existing canonical prerequisite for the new objects in this pulse.
Kernel of a finite group homomorphism
For a finite group homomorphism f:G→Q, the full preimage of the target identity is a normal subgroup of G, and nonempty fibers are its cosets.
Finite quotient group
Cosets of a normal subgroup N form a finite quotient group, with (gN)(hN)=(g*h)N independent of representatives.
Conjugacy class in a finite group
A finite group acts on itself by g*x=g*x*g^(-1); the orbits are conjugacy classes partitioning the group.
Standard normal distribution
The standard normal law has density phi(x)=(2*pi)^(-1/2)*exp(−x^2/2), continuous CDF Phi, mean0 and variance1.
Mean squared error of an estimator
For scalar parameter theta, MSE_theta(T)=E_theta[(T−theta)^2] is defined under each complete sampling distribution separately.
Standard form of a linear program
This node fixes one primal convention: maximize c^T*x subject to A*x≤b and x≥0.
Vertex cover
A vertex subset C covers a finite simple undirected graph if every edge has at least one endpoint in C.
Path source & status
path-pulse-foundations-20261114 · candidate