Commutative-algebra passages: §10.6, Definition 10.6.1: finite type and finite presentation and §10.31, Lemmas 10.31.1 and 10.31.4: the Noetherian hypotheses that turn finite generation into finite presentation.

The finite coefficient-subalgebra proof of the Artin-Tate lemma is Lemma 10.51.7, tag 00IS.

Author-hosted article: maths-people.anu.edu.au/~brent/pd/rpb051i.pdf

Published in BIT, volume 20, pp. 176–184. Sections 3–4 develop the cycle-finding and factorization algorithms.

By James S. Milne. Author-hosted course notes: www.jmilne.org/math/CourseNotes/AV.pdf

Consulted locators: Chapter I, definition and basic properties; sections on the dual abelian variety, rigidity and the theorem of the cube.

By Yue Zhao. Preprint arXiv:1807.10125 (2018). Online text: arxiv.org/abs/1807.10125

Locator: §1, equation (1.4), printed p. 1.

Ring theory studies rings, their ideals, modules, and structure-preserving ring homomorphisms. It includes both commutative algebra and noncommutative algebra. Here rings are associative and have an identity unless another convention is specified.

The integers are a commutative example. Matrix rings are generally noncommutative: in $M_2(k)$, $E_{12}{E}_{21}=E_{11}$ while $E_{21}{E}_{12}=E_{22}$. Thus techniques that reorder scalar factors do not automatically work for matrices.

Quotient rings organize the information lost by a ring homomorphism. If $f:R\to S$, the first isomorphism theorem for rings identifies $R/\ker f$ with the image of $f$. Studying ideals describes such quotients, while studying modules describes how a ring acts by additive transformations. The two viewpoints connect arithmetic examples with matrix and operator examples.

Universal algebra studies algebraic structures by specifying their operations and identities in a common language. A signature assigns an arity to each operation symbol. A structure interprets each symbol as a function $A^n\to A$ on its underlying set; an identity requires two terms to agree for every assignment of their variables.

For example, a group can be presented with a binary operation, a unary operation for inversion, and a nullary operation for its identity element. A ring adds multiplication and its distributive identities. These signatures differ, but the same definitions of a structure-preserving homomorphism, a compatible equivalence relation, and a quotient structure apply to both.

This shared framework explains why many proofs recur across algebra: a homomorphism identifies elements in a way compatible with every specified operation. The resulting quotient must preserve all those operations, not only a selected multiplication table. Universal algebra isolates that compatibility before considering special properties of groups, rings or other examples.

4-Methylpentanal is a branched six-carbon aldehyde with molecular formula ${\mathrm{C}}_6{\mathrm{H}}_{12}\mathrm{O}$. Its condensed structure is $\mathrm{CHO}-\mathrm{C}{\mathrm{H}}_2-\mathrm{C}{\mathrm{H}}_2-\mathrm{CH}(\mathrm{C}{\mathrm{H}}_3)-\mathrm{C}{\mathrm{H}}_3$. The aldehyde carbon is numbered 1, so the branch is a methyl group at carbon 4 of the five-carbon parent chain.^[ref]

The name makes a useful atom-counting example. A pentanal parent chain supplies five carbons, and the methyl substituent supplies a sixth. The hydrogen count is $1+2+2+1+3+3=12$, including the hydrogen attached to the aldehyde carbon. Five in the parent-chain name does not mean that the entire molecule contains only five carbons.

4-Methylpentanal also provides a chemically identifiable coproduct of cholesterol side-chain cleavage. The cholesterol side-chain cleavage enzyme makes pregnenolone and 4-Methylpentanal, separating the original 27-carbon skeleton into 21- and six-carbon products.^[ref] In an ideal fully coupled reaction, one mole of pregnenolone corresponds to one mole of this aldehyde. Detecting both products can therefore test the proposed material balance more specifically than measuring total steroid-related signal alone.

A wing planform is the two-dimensional outline of an aircraft wing viewed from above. It is bounded by the projected leading edge, trailing edge and wing tips. A rectangular, tapered or swept wing planform can be combined with many different airfoil profiles; the outline alone does not specify the wing's thickness or airfoil camber.^[ref]

Let $x$ point aft and $y$ run along the wingspan. Describe the two edges by $x_{\mathrm{LE}}(y)$ and $x_{\mathrm{TE}}(y)$. Their separation is the projected local airfoil chord,The second equation computes wing area. The first retains information lost by that single area value: where the chord lies along the fore-and-aft direction.

For an original comparison, a rectangular wing with $b=10\mathrm{m}$ and $c=2\mathrm{m}$ has $S=20{\mathrm{m}}^2$. A symmetric trapezoidal wing of the same wingspan, root chord $3\mathrm{m}$ and tip chord $1\mathrm{m}$ also has $S=20{\mathrm{m}}^2$. Now shift both edges of each spanwise strip aft by $k|y|$: the local airfoil chord and wing area stay unchanged, while the wing sweep changes. This explains geometrically why even specifying wingspan, wing area and wing taper ratio does not uniquely determine a wing planform.

The construction compares geometry, not aerodynamic equivalence. The airfoil, angle of attack and three-dimensional fluid flow still matter when predicting lift and drag.

The wingspan $b$ of an aircraft wing is its lateral tip-to-tip extent. For a symmetric wing planform, a spanwise coordinate $y$ runs from $-b/2$ at one tip to $b/2$ at the other; the semispan is $b/2$. This geometrical distance differs from the local fore-and-aft airfoil chord.^[ref]

Together with wing area $S$, the wingspan defines the dimensionless wing aspect ratio,For a rectangular wing planform of constant airfoil chord $c$, $S=bc$, giving $AR=b/c$. For example, a wing with $b=12\mathrm{m}$ and $S=18{\mathrm{m}}^2$ has $AR=8$. A second wing with the same wing area but $b=9\mathrm{m}$ has $AR=4.5$. Equal wing area therefore does not imply equal lateral slenderness.

There is also a simple structural reason why the span matters. Suppose a symmetric wing supplies total upward lift $L$, distributed uniformly along its span. On one half-wing the resultant load is $L/2$ and acts $b/4$ from the center. The corresponding bending moment at the center isFor $L=4000\mathrm{N}$ and $b=12\mathrm{m}$ this gives $6000\mathrm{N}\mathrm{m}$. This is an idealized aerodynamic loading calculation: the actual load distribution, structural supports and component masses modify the wing's bending moment. It nevertheless shows why increasing wingspan affects the structure as well as the wing aspect ratio.

The wing aspect ratio is the dimensionless measurewhere $b$ is wingspan and $S$ is projected wing area. For a rectangular wing planform, $S=bc$ and therefore $AR=b/c$, where $c$ is airfoil chord. For other wing planforms, dividing the span by a chosen root chord need not give the wing aspect ratio.^[ref]

Its aerodynamic importance comes from lift-induced drag. The wingtip vortices of a finite aircraft wing change the local flow direction; maintaining lift then entails an additional rearward force. A standard model writesHere $e$ is a span efficiency factor, $q$ is dynamic pressure and $C_L=L/(qS)$ is lift coefficient. The model compares a specified spanwise loading in a regime where this finite-wing approximation is appropriate; $e$ need not stay unchanged when the design changes.^[ref]

For an original example, take $S=16{\mathrm{m}}^2$, $q=500\mathrm{Pa}$, $C_L=0.6$ and $e=0.8$. Both wings then supply $L=4800\mathrm{N}$. Spans of 8 and 12 metres give $AR=4$ and $9$, respectively, and lift-induced drag approximately $286.48$ and $127.32\mathrm{N}$. Under those stipulated conditions, increasing span by 50% reduces that drag component by $1-(8/12{)}^2=5/9$, about 55.6%.

The boxed expression also exposes a common comparison error. At fixed $L$, $q$, $e$ and $b$, changing only the reference wing area changes both wing aspect ratio and lift coefficient; their effects cancel in this model's dimensional lift-induced drag. A larger numerical $AR$ is therefore not, by itself, a promise of smaller total drag. Structural loads, wing loading, surface losses and aerodynamic stall impose further design constraints.

Wing loading is the gravitational weight of an aircraft divided by its reference wing area:It is a whole-aircraft loading measure. In SI its units are $N/{\mathrm{m}}^2$, not $kg/{\mathrm{m}}^2$. The latter units describe mass per wing area, $m/S$, and require multiplication by gravitational acceleration to obtain $W/S$.

For an original unit check, $m=500\mathrm{kg}$, $S=10{\mathrm{m}}^2$ and $g=9.81m/{\mathrm{s}}^2$ give $m/S=50kg/{\mathrm{m}}^2$ but $W/S=490.5N/{\mathrm{m}}^2$. Although this has the units of pressure, it is not the local pressure distribution on the wing surface.

In straight level flight with negligible vertical thrust, lift balances gravitational weight.^[ref] Combining this with the definition $L=\frac{1}{2}\rho V^{2}S{C}_L$ of the whole-wing lift coefficient givesAt fixed air mass density and required coefficient, airspeed therefore scales as the square root of wing loading. For stipulated $W/S=600N/{\mathrm{m}}^2$, $\rho =1.2kg/{\mathrm{m}}^3$ and $C_L=1$, the result is $31.62m/s$. Doubling only the loading gives $44.72m/s$, a factor of $\sqrt{2}$.

If a model assumes a maximum attainable $C_{L,\max }$, the same equation gives a corresponding minimum speed for that straight-level condition. It is not a universal speed for every attitude or configuration: a turning condition can require $L>W$, and a changed airfoil, surface condition or Reynolds number can change the attainable coefficient.

A geometric and weighing check determines $m$, the relevant loading state and projected wing area. Those measurements establish $W/S$; a separate aerodynamic experiment is needed to establish the applicable lift coefficient. Equal wing loading does not establish equal lift-to-drag ratio or identical aerodynamic stall behavior.

A swept wing has a specified spanwise reference line inclined relative to the direction perpendicular to the aircraft's longitudinal axis. Aft sweep places the outboard part farther rearward; forward sweep places it farther forward. The leading-edge sweep angle and quarter-chord sweep angle can differ, so a sweep value needs a named reference line.^[ref]

A useful geometric construction shifts each spanwise strip of a wing planform fore or aft while retaining its local airfoil chord. If both edges receive the same shift, their separation and hence the integrated wing area remain unchanged. For an original constant-chord example with wingspan $b=12\mathrm{m}$ and $c=2\mathrm{m}$, define $x_{\mathrm{LE}}(y)=|y|\tan 30{}^{\circ }$. The tip leading edge is $6\tan 30{}^{\circ }\approx 3.4641\mathrm{m}$ aft of the root, while $S=bc=24{\mathrm{m}}^2$ and $AR=b^2/S=6$ are unchanged by the strip shift.

Preserving these geometric scalars does not preserve the three-dimensional flow. At high Mach number, the normal Mach number for a swept leading edge helps organize a simplified comparison of the component perpendicular to that edge. Finite-span flow, thickness and interference with the fuselage remain relevant.

The primary 1947 experiment by Richard T. Whitcomb used a different geometric change: it rotated the two wing semispans to obtain zero, forward and backward sweep, then obtained loading and drag information from pressure measurements and wake surveys. The shock-associated changes did not shift by exactly a universal cosine factor.^[ref]

Thus an experimental sweep comparison should identify what changed besides the angle: rotation of an existing wing, a stripwise shear of a planform, and a newly designed swept wing need not retain the same projected area or section arrangement.

A winglet is a small wing-tip lifting surface, often inclined upward out of the main wing planform. By changing the three-dimensional loading and flow near the tip, it can reduce lift-induced drag. Its winglet cant angle, shape and attachment must be considered with the entire aircraft wing; it is not a universal bolt-on reduction in total drag.^[ref]

Richard T. Whitcomb's 1976 report compared measured forces, moments and loads on a representative transport wing with and without wing-tip devices. A particularly useful comparison was a tip extension giving approximately the same increase of bending moment at the wing–fuselage junction as the winglets. That comparison asks how much aerodynamic benefit is obtained for a similar structural penalty, rather than comparing only nominal span.^[ref]

An original coefficient budget illustrates why component and total benefits differ. Keep the same reference wing area, dynamic pressure and lift coefficient. Suppose initiallywhere the second term is the lift-induced drag contribution. If a proposed modification reduces that term by $20\%$ but adds $0.001$ to other drag coefficient contributions, thenThe total reduction is about $3.33\%$, not $20\%$. This is an invented budget, not a prediction or a measured winglet efficiency. Increased loading, additional wetted area and an off-design operating point can change the result.

A convincing wind tunnel comparison measures total drag at matched lift, records moments and loading, and documents how the mounting correction and reference area are handled. A photograph of a weaker-looking wingtip vortex is not a measurement of total drag. Conversely, reducing lift-induced drag does not require all three-dimensional trailing vorticity to disappear.