The commutator subgroup, or derived subgroup, is
A linear character is afforded by a one-dimensional representation . Since is abelian, every commutator lies in , so
Let be the quotient map. Every irreducible representation of a finite abelian group is one-dimensional, so each irreducible character of the abelianization inflates to the linear character of . Conversely, the containment makes every linear character of factor uniquely through . Thus inflation of a group representation gives a bijection
First consider a -free bipartite graph with parts , each of size at most , and edges. Count pairs in which is a -element subset of the graph neighbourhood of . Any vertices of have at most common neighbours, since common neighbours would form the complete bipartite graph . Consequently
If the average degree of a vertex is bounded in terms of , then and the required result is immediate. Otherwise, convexity of and the preceding inequality give
and hence . Every graph has a bipartite spanning subgraph containing at least half its edges, obtained by choosing a random bipartition. Applying the bipartite estimate to that subgraph proves the Kővári–Sós–Turán theorem in the required form:
The stated "nice" subsets of the finite cyclic group are Sidon sets. If
then . Niceness forces ; the alternative pairing would force . Thus the ordered nonzero differences are distinct elements of the nonzero residue classes. Therefore
so
The Erdős-Stone theorem states that if the chromatic number of is , then
If is a bipartite graph with at least one edge, its chromatic number is two, so and therefore
Write
Let be an -free graph on vertices with edges, and choose a uniformly random set of vertices. Its induced subgraph is still -free, and each edge survives with probability . Hence
so . Thus the normalized extremal number is nonincreasing and bounded below by zero, proving that
Write . As ,
so and
Because , the power lies in ; thus and the early expansion decelerates. As , and , giving
so the late universe has accelerating expansion.
The transition satisfies . Substitution gives
or . Therefore
This is the transition described by the exact hyperbolic-sine scalar-field cosmology.
Put . The hyperbolic cotangent double-angle identity gives
so
Also
Solving the Friedmann equation for the scalar potential,
therefore gives
Differentiating the ansatz gives
The Raychaudhuri equation therefore becomes
Since , the requested specific solution takes the integration constant to be zero:
Now , so
and
Differentiate the Friedmann equation:
The scalar-field equation gives , hence
By continuity this also holds through isolated zeros of , so the Raychaudhuri equation is
For real , the exponential decays as , so two allowed contours run from to and from to . For real , it decays as , so reverse the construction: run from or to . These are the infinite contours in the diagram.
For their integrals are
for the corresponding orientation changes only an overall sign. Taking the sum of the two exponentials produces a solution independent of :
Its nonzero Wronskian with on proves linear independence.
Because , the endpoint factor vanishes at the branch points . A finite contour may therefore run from to on either side of a chosen branch cut; the diagram shows contours bowing through the left and right half-planes.
For , is entire, so path independence makes either contour give, up to orientation,
Hence a nonzero constant multiple gives the solution
Insert
into the equation. Since and , use and integration by parts:
The integral vanishes when
so, up to a constant and on a consistently chosen branch,
The remaining contour condition is
This is the Laplace contour-integral method for a linear differential equation.
Fit a Poisson regression to artificial responses with means
With the logarithmic link, this is the generalized linear model
where is a known offset. Its log likelihood, apart from constants, is
The difference
does not depend on . The Poisson surrogate therefore has exactly the same maximum-likelihood estimate of . This is the Poisson surrogate for an uncensored proportional-hazards likelihood.
Let
be the baseline cumulative hazard. Under the proportional hazards model,
Thus
Independence makes the log likelihood
Writing for the survival function, the definition of the hazard function gives
Since , integration yields
Therefore
The exponent is the negative cumulative hazard.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact