The ideal class group of a number field is the group of nonzero fractional ideals of its ring of integers under multiplication, modulo the subgroup of principal fractional ideals. For degree and pairs of complex embeddings, the Minkowski bound for ideal classes states that each class contains an integral ideal with
There are only finitely many integral ideals of bounded ideal norm: as sublattices of the free abelian group of integers, they have bounded index, and finitely many subgroups have any fixed index. Thus the ideal class group is finite.
The splitting field over is , and it contains the unique subfield . Over , Frobenius is the square of the order-four Frobenius, so it has two orbits of length two on the four roots. Thus factors into two irreducible quadratics, and
generated by on .
Over a finite field , the splitting field is a finite extension , where is the least common multiple of the degrees of the distinct irreducible factors. Its Galois group is cyclic of order , generated by .
Over , the polynomial has no linear factor: its values at zero and one are both one. The only irreducible quadratic is ; reduction modulo it gives , not zero. A reducible quartic without linear factors would split into quadratics, so is irreducible. Thus its splitting field is and
True for finite connected simple graphs. average degree of a graph at most two implies . A spanning tree has edges, leaving at most one extra edge. Hence the graph is a tree or unicyclic. trees are planar, and a unicyclic graph is a cycle with trees attached to its vertices, which can also be embedded in the plane. Connectedness is essential to this argument: a disconnected nonplanar component can be diluted by isolated vertices.
False. Attach 594 pendant vertices to one vertex of . The connected graph still contains the nonplanar , but has , , and average degree of a graph . Attaching more leaves lowers the average further toward two without making the graph planar.
False. The complete bipartite graph has chromatic number two, but is nonplanar. For example a simple bipartite plane graph has , because all facial cycles have length at least four; has , .
Separate fluid conservation gives , hence after normalization at today. For , the conservation equation gives . Thus
Assume both densities are positive and set , . On the expanding flat branch, . With this becomes . Choosing the Big Bang at and integrating gives
The normalization requires ; equivalently . Thus the age and the two positive densities are not independent once this normalization and bang time are fixed.
As , , the matter-dominated law. As , and , giving accelerated dark-energy expansion. Direct differentiation gives , so acceleration begins once . If dark energy vanishes, the limiting matter-only solution must be taken instead; negative dark-energy density would not have the stated late-time accelerating form.
Let a comoving test particle have physical radius , where is fixed. Assume Newtonian gravity, spherical homogeneity, negligible pressure, and no mass flux through this sphere, so its enclosed mass is constant. The shell theorem gives a conserved specific energy
Substitute , divide by , and write to obtain
Homogeneity makes the energy scale as , leaving the same at every comoving radius. The sign of encodes the binding-energy sign. This Newtonian derivation applies to pressure-free matter; interpreting as spatial curvature and extending the equation to relativistic pressure components requires general relativity, rather than conservation of this Newtonian shell energy alone.
Spherical symmetry and the integral Gauss law give for . Together with the stipulated zero interior field,
The electric field jumps across the ideal charged surface; its value exactly on that surface is not needed for the volume integral. The electrostatic energy of a uniformly charged spherical shell is
As a check, the shell has constant electric potential , with zero reference at infinity, so gives the same result.
The differential Gauss law is . On a large ball , the product rule and give
The divergence theorem consequently expresses the electrostatic energy as
For a localized charge distribution with the electric potential chosen to vanish at infinity, and , so the surface term is and tends to zero. More generally, it suffices to assume that this boundary integral vanishes. Passing to all space gives
The physical decay and potential reference are relevant: by itself does not specify the additive constant in . Adding a constant changes the charge-based expression by when the total charge is , while leaving the field unchanged. The zero-at-infinity potential is the usual reference implicit in this all-space electrostatic energy formula.
For fixed , put . Feasibility gives . The assumed Lagrangian duality representation says this value is the unrestricted supremum of , so is also an unconstrained global maximizer of this continuously differentiable function. Its first derivative vanishes:
Differentiate the identity using the assumed smooth dependence of the optimizer:
The chain rule now gives the envelope theorem
Thus
Each Lagrange multiplier is the marginal change in optimal value per unit relaxation of its constraint. The proof only uses the resulting stationarity and smooth feasibility identities; it does not require differentiating the maximizer explicitly or differentiating the multiplier.
Set . The maximum likelihood estimation formulas for simple linear regression give
Using the supplied rounded summaries gives metres and metres. Recomputing directly from the printed table gives approximately and metres, respectively, so the small summary rounding differences do not affect the conclusion.
I would not accept the model merely because the Student t-test fails to reject a zero regression intercept. That hypothesis test tests one parameter restriction within the assumed model, not the adequacy of its error assumptions or its functional form. In particular, complementary elevations and have exactly the same and hence the same fitted mean, but their observed low-angle minus high-angle ranges are
for the four corresponding pairs. All four are positive, suggesting an elevation-dependent effect omitted by the mean model, such as air resistance, rather than random scatter determined only by . This is a regression diagnostics concern, not a claim that these finite data logically rule out the normal-error model. The correct conclusion is nonrejection of the intercept restriction does not validate the regression model; further checks of the residual pattern and error assumptions are needed.
Assume the explanatory variables are not all equal, so . In the Gaussian linear model, the log-likelihood is
For fixed , maximum likelihood estimation therefore minimizes the residual sum of squares. Differentiating in gives the least-squares normal equations
The first gives ; substituting it into the second gives , with . Let . Differentiating the profiled log-likelihood in gives
For the variance estimator this is the interior maximum when , which occurs almost surely under the model when .
The coefficient estimators are linear functions of the independent normal errors. In particular,
Their multivariate normal distribution has mean and covariance matrix
The fitted vector is the orthogonal projection onto the two-dimensional span of and . The residual vector is the complementary projection of the spherical normal error vector. Orthogonal normal projections are independent, and in an orthonormal basis of that complementary space its coordinates are independent . Consequently
independently of . This also gives the unbiased estimator rather than the variance MLE.
Under the null hypothesis , for the Student t test for a simple-regression intercept uses
Here is the prescribed significance level. The normal numerator divided by its true standard deviation is independent of , which proves the stated Student t-distribution. If , the two coefficients are not separately identifiable; if , this residual-variance-based test is unavailable.
Use the ideal one-dimensional pipe model: constant density, steady inviscid flow, approximately uniform endpoint speeds , and equal body-force potential at the two ends. Conservation of mass gives the constant volumetric flow rate , and the mass flow rate is . The steady Bernoulli equation gives
For flow from a wider to a narrower section, and . Solving for the positive mass throughput gives the Venturi effect formula
The formula requires these hydraulic assumptions; steady incompressibility alone does not impose uniform endpoint profiles or equal potential. If , the same derivation replaces by . Viscous losses would also modify the pressure balance. The equal-area case is singular in this pressure-based determination: in the ideal equal-potential model its pressure difference must vanish and does not determine the throughput.
For constant density , the inviscid Euler equations with conservative body force are
The vector identity simplifies for potential flow , since its vorticity vanishes. Also . Therefore
On each connected fluid region the expression is spatially constant but may depend on time, giving the Unsteady Bernoulli equation
The arbitrariness of corresponds to the freedom to add a function of time to the velocity potential without changing . Replacing by sets the right-hand side to zero.
With light signals, , the train-frame relativistic velocity-addition formula gives signal velocities . The endpoints are equally distant from the source in that frame, and
The two reception events are simultaneous in but not in : in the station frame the rear moves toward its light signal while the front moves away. Directly, and , so the Lorentz transformation gives . This is relativity of simultaneity, concerning spatially separated events; it does not contradict the invariant light speed or the causal ordering of events on a single observer's world line.
In the station frame, intersecting the signal trajectories with the endpoint world lines gives
Since , both receptions occur at positive times,
The inverse Lorentz transformation then gives
Subtracting and simplifying yields
For , both differences are negative: the rear receives first in both frames, but by different time intervals.
Let be the platform's proper length, measured in its rest frame . At the single station-frame time , its ends coincide with train endpoints whose simultaneous station-frame separation is . Thus
The platform endpoint world lines are vertical at in the station spacetime diagram. In the train frame they are , so their separation at a common train-frame time is . The two alignment events lie on the tilted line in the train diagram and are not simultaneous there; their separation cannot be used as the platform length measured at one train-frame time. This is the distinction enforced by length contraction.
The world lines in the train frame are , and . In the station frame, length contraction gives
The emission event is in both frames. The signal world lines in are and ; their intersections with the train endpoints define the reception events . Their velocities in , from the relativistic velocity-addition formula, are and .
The two platform-alignment events occur at in . The Lorentz transformation puts them at in , on the tilted simultaneity line . The spacetime diagrams show all three observers, both signals, their receptions, and these distinct endpoint-alignment events:
Figure 1.
Train and station spacetime diagrams with signal receptions and simultaneous platform alignments
. Details.
The angle between the oriented coordinate tangent vectors satisfies . The constant-angle assumption therefore gives for a constant . The first fundamental form is positive definite, so and hence . Substitution into the geodesic coordinate grid identities from part (i) gives
Eliminating either derivative yields and . Since and , this proves
If the angle is understood between unoriented curves, its constancy initially fixes ; continuity fixes the sign on each connected chart when this quantity is nonzero, and the zero case already has . Thus the same conclusion holds. In fact constant-angle geodesic coordinate grids are locally flat, although only the displayed derivatives are needed here.

There are unlisted articles, also show them or only show them.