# Wave6 Eighth Layer: Kernels, Quotient Groups, Conjugacy, Standard Normal, MSE, LP Standard Form and Vertex Covers 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. - Stage 1 · required ## [Subgroups and group homomorphisms](/en/mko/mko-subgroup-homomorphism/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-subgroup-homomorphism) [Concept guides](/en/derivations/?q=mko-subgroup-homomorphism) - Stage 1 · required ## [Finite normal subgroup](/en/mko/mko-finite-normal-subgroup/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-normal-subgroup) [Concept guides](/en/derivations/?q=mko-finite-normal-subgroup) - Stage 1 · required ## [Function mapping](/en/mko/mko-function-mapping/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-function-mapping) [Concept guides](/en/derivations/?q=mko-function-mapping) - Stage 1 · required ## [Quotient set](/en/mko/mko-quotient-set/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-quotient-set) [Concept guides](/en/derivations/?q=mko-quotient-set) - Stage 1 · required ## [Finite group](/en/mko/mko-finite-group/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-group) [Concept guides](/en/derivations/?q=mko-finite-group) - Stage 1 · required ## [Finite group action](/en/mko/mko-finite-group-action/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-group-action) [Concept guides](/en/derivations/?q=mko-finite-group-action) - Stage 1 · required ## [Orbit of a finite group action](/en/mko/mko-finite-group-orbit/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-finite-group-orbit) [Concept guides](/en/derivations/?q=mko-finite-group-orbit) - Stage 1 · required ## [Continuous real distribution function](/en/mko/mko-continuous-real-distribution-function/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-continuous-real-distribution-function) [Concept guides](/en/derivations/?q=mko-continuous-real-distribution-function) - Stage 1 · required ## [Improper integral](/en/mko/mko-improper-integral/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-improper-integral) [Concept guides](/en/derivations/?q=mko-improper-integral) - Stage 1 · required ## [Real exponential function](/en/mko/mko-real-exponential-function/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-real-exponential-function) [Concept guides](/en/derivations/?q=mko-real-exponential-function) - Stage 1 · required ## [Natural-number powers and principal square roots](/en/mko/mko-power-root/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-power-root) [Concept guides](/en/derivations/?q=mko-power-root) - Stage 1 · required ## [Expectation in finite models](/en/mko/mko-expectation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-expectation) [Concept guides](/en/derivations/?q=mko-expectation) - Stage 1 · required ## [Variance in finite probability models](/en/mko/mko-variance/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-variance) [Concept guides](/en/derivations/?q=mko-variance) - Stage 1 · required ## [Estimator bias](/en/mko/mko-estimator-bias/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-estimator-bias) [Concept guides](/en/derivations/?q=mko-estimator-bias) - Stage 1 · required ## [Estimator variance](/en/mko/mko-estimator-variance/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-estimator-variance) [Concept guides](/en/derivations/?q=mko-estimator-variance) - Stage 1 · required ## [Sampling distribution](/en/mko/mko-sampling-distribution/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-sampling-distribution) [Concept guides](/en/derivations/?q=mko-sampling-distribution) - Stage 1 · required ## [Parametric statistical model](/en/mko/mko-parametric-statistical-model/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-parametric-statistical-model) [Concept guides](/en/derivations/?q=mko-parametric-statistical-model) - Stage 1 · required ## [Linear programming](/en/mko/mko-linear-programming/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-linear-programming) [Concept guides](/en/derivations/?q=mko-linear-programming) - Stage 1 · required ## [Finite matrices: dimensions, indexing, and transpose](/en/mko/mko-matrix/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-matrix) [Concept guides](/en/derivations/?q=mko-matrix) - Stage 1 · required ## [Linear systems in two variables and degenerate constraints](/en/mko/mko-system-linear-equations/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-system-linear-equations) [Concept guides](/en/derivations/?q=mko-system-linear-equations) - Stage 1 · required ## [Usual order on the real numbers](/en/mko/mko-order-relation/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-order-relation) [Concept guides](/en/derivations/?q=mko-order-relation) - Stage 1 · required ## [Finite simple undirected graphs](/en/mko/mko-graph/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-graph) [Concept guides](/en/derivations/?q=mko-graph) - Stage 1 · required ## [Subset](/en/mko/mko-subset/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-subset) [Concept guides](/en/derivations/?q=mko-subset) - Stage 1 · required ## [Quantifiers and explicit domains](/en/mko/mko-quantifier/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Existing canonical prerequisite for the new objects in this pulse. [Related questions](/en/explore/?mko=mko-quantifier) [Concept guides](/en/derivations/?q=mko-quantifier) - Stage 2 · optional ## [Kernel of a finite group homomorphism](/en/mko/mko-finite-group-homomorphism-kernel/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) 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. [Related questions](/en/explore/?mko=mko-finite-group-homomorphism-kernel) [Concept guides](/en/derivations/?q=mko-finite-group-homomorphism-kernel) - Stage 3 · optional ## [Finite quotient group](/en/mko/mko-finite-quotient-group/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) Cosets of a normal subgroup N form a finite quotient group, with (gN)(hN)=(g*h)N independent of representatives. [Related questions](/en/explore/?mko=mko-finite-quotient-group) [Concept guides](/en/derivations/?q=mko-finite-quotient-group) - Stage 4 · optional ## [Conjugacy class in a finite group](/en/mko/mko-finite-group-conjugacy-class/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) A finite group acts on itself by g*x=g*x*g^(-1); the orbits are conjugacy classes partitioning the group. [Related questions](/en/explore/?mko=mko-finite-group-conjugacy-class) [Concept guides](/en/derivations/?q=mko-finite-group-conjugacy-class) - Stage 5 · optional ## [Standard normal distribution](/en/mko/mko-standard-normal-distribution/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) The standard normal law has density phi(x)=(2*pi)^(-1/2)*exp(−x^2/2), continuous CDF Phi, mean0 and variance1. [Related questions](/en/explore/?mko=mko-standard-normal-distribution) [Concept guides](/en/derivations/?q=mko-standard-normal-distribution) - Stage 6 · optional ## [Mean squared error of an estimator](/en/mko/mko-estimator-mean-squared-error/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) For scalar parameter theta, MSE_theta(T)=E_theta[(T−theta)^2] is defined under each complete sampling distribution separately. [Related questions](/en/explore/?mko=mko-estimator-mean-squared-error) [Concept guides](/en/derivations/?q=mko-estimator-mean-squared-error) - Stage 7 · optional ## [Standard form of a linear program](/en/mko/mko-linear-program-standard-form/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) This node fixes one primal convention: maximize c^T*x subject to A*x≤b and x≥0. [Related questions](/en/explore/?mko=mko-linear-program-standard-form) [Concept guides](/en/derivations/?q=mko-linear-program-standard-form) - Stage 8 · optional ## [Vertex cover](/en/mko/mko-vertex-cover/?from=%2Fen%2Fpaths%2Fpath-pulse-foundations-20261114%2F) A vertex subset C covers a finite simple undirected graph if every edge has at least one endpoint in C. [Related questions](/en/explore/?mko=mko-vertex-cover) [Concept guides](/en/derivations/?q=mko-vertex-cover) Path source & statuspath-pulse-foundations-20261114 · candidate [Original paths JSON](/data/architecture/learning-paths.json)