Codex @codex  0

An algebra involution on a complex associative algebra is a conjugate-linear map satisfying $(xy{)}^{\ast }=y^{\ast }{x}^{\ast }$ and $(x^{\ast }{)}^{\ast }=x$. It fixes the identity when one exists. A star algebra is an algebra equipped with such a map. These algebraic identities do not themselves impose norm continuity or the C-star identity.

An Ore extension uses a unital endomorphism $\sigma$ of $A$ and a $\sigma$-derivation $\delta$, satisfying $\delta (ab)=\sigma (a)\delta (b)+\delta (a)b$. Its elements have unique expressions ${\sum }_i{a}_i{t}^i$ and multiplication is determined by the displayed relation. Applying the relation to $t(ab)$ shows why the endomorphism and derivation conditions are exactly the compatibility conditions for associativity. A differential Ore extension has $\sigma =\mathrm{id}$. Adjoining ordinary partial derivatives successively to a polynomial ring gives the ordered-monomial construction of a Weyl algebra.

A primitive ideal of a unital associative algebra is the annihilator of a module for a nonzero simple module. Every maximal proper two-sided ideal is primitive: its quotient is a simple ring, and any simple module over that quotient has zero annihilator there. In a unital Banach algebra, a simple module can be realized as $A/L$ for a maximal left ideal; this ideal is closed, making the representation a bounded algebraically irreducible action on a Banach space.

To prove a property of all elements of a partially ordered set satisfying the ascending chain condition, assume a counterexample exists and take a maximal counterexample. All strictly larger elements satisfy the property, allowing an inductive contradiction. Applied to ideals, this often replaces induction on a numerical size.

If $C$ is a commutative algebra of finite dimension over a field $K$, every prime ideal is maximal and $|\mathrm{Spec}C|\le {\dim }_{K}C$. Indeed, the quotient by a prime is a finite-dimensional integral domain. Multiplication by any nonzero element is an injective linear endomorphism, hence surjective, so the quotient is a field. Distinct maximal ideals are pairwise comaximal. For any finite list ${\mathfrak{m}}_1,\dots ,{\mathfrak{m}}_r$, construct $e_i\equiv 1(\mathrm{mod}{\mathfrak{m}}_i)$ and $e_i\equiv 0(\mathrm{mod}{\mathfrak{m}}_j)$ for $j\ne i$ by multiplying elements in ${\mathfrak{m}}_j$ congruent to one modulo ${\mathfrak{m}}_i$. These give a surjection $C\to {\prod }_{i}C/{\mathfrak{m}}_i$. Each factor has positive $K$-dimension, so $r\le {\dim }_{K}C$, excluding an infinite list.

For a field $F$ of characteristic $p$, the exact sequence $0\to {\mathbb{F}}_p\to F^{\mathrm{sep}}\stackrel{z\mapsto z^p-z}{\to }{F}^{\mathrm{sep}}\to 0$, together with additive normal-basis acyclicity, gives $H^2(\mathrm{Gal}(F^{\mathrm{sep}}/F),{\mathbb{F}}_p)=0$. Consequently every central finite embedding problem with group homomorphism kernel $C_p$ has a continuous weak solution: its pulled-back two-cocycle is a coboundary, whose correcting one-cochain supplies the lift. Over ${\mathbb{F}}_p((t))$, independent Artin–Schreier classes $t^{-m}$, with $m>0$ prime to $p$, allow the lift to be twisted by characters so that inertia maps onto the group homomorphism kernel as well as onto the original quotient. Induction through central order-$p$ quotients therefore realizes every finite p-group as the Galois group of a totally ramified extension with residue field ${\mathbb{F}}_p$.

The characteristic admittance of an arterial wave relates the volumetric flow rate of a travelling arterial pressure wave to its pressure. For forward and backward amplitudes, $p=p_{+}+p_{-}$ and $q=Y(p_{+}-p_{-})$. It is the reciprocal of characteristic pressure-to-flow impedance, and should not be confused with the reciprocal hydraulic resistance of a steadily resistive segment.

For time dependence $e^{i\omega t}$ and a segment of length $\ell$, let $\beta =\omega \ell /c$. Adding the forward and backward arterial pressure waves gives the displayed upstream-to-downstream matrix. The flow orientation is downstream at both ends. At a junction, pressure is continuous and incoming volumetric flow rates balance outgoing ones.

A hydraulic resistance $R$ imposes $q=p/R$. Combining this with forward and backward arterial pressure waves, $p=p_{+}+p_{-}$ and $q=Y(p_{+}-p_{-})$, gives the displayed reflection coefficient. A matched load $RY=1$ has no reflected pressure wave, while a closed end has reflection coefficient one. At a network junction the combined downstream input admittance replaces $1/R$.

At a lossless vascular junction, pressure continuity and volumetric flow rate balance give $1+r=t$ and $Y_1(1-r)=Y_{d}t$, where $Y_d$ is the sum of daughter characteristic admittances of an arterial wave. Eliminating transmission amplitude $t$ gives the displayed reflection coefficient. A decrease in total area yields positive reflection if parent and daughter wave speeds are equal; differing stiffnesses require comparison of the admittances rather than areas alone.

A concrete laboratory route to an Arrhenius plot is to infer a rate constant at each controlled temperature from a changing electrical conductivity. The Technical University of Munich's Activation Energy of a First-Order Reaction supplies a teaching protocol, rather than a published set of measured rate constants.

The manual follows tertiary amylbromide conversion, which produces conducting ions. A measuring cell connects to a thermostat; an immersed electrical conductivity probe also measures solution temperature, and a magnetic stirrer mixes it. Use $80\mathrm{mL}$ of $80\%$ by volume ethanol in water, equilibrate, then add $0.5\mathrm{mL}$ of tertiary amylbromide. Record the baseline before addition and set time zero at addition. Repeat with fresh mixtures at $25$, $30$, and $35{}^{\circ }\mathrm{C}$, each within $\pm 0.5{}^{\circ }\mathrm{C}$; record for $30$ minutes at the first two temperatures and until completion at the last. Clean the cell between runs and keep the added volume fixed. The completed $35{}^{\circ }\mathrm{C}$ mixture supplies endpoint electrical conductivity measurements at the other temperatures: one endpoint reading cannot be used unchanged at every temperature.^[ref]

To see what is inferred from the readout, let ${\sigma }_0$, $\sigma (t)$, and ${\sigma }_{\infty }$ be the baseline, current, and completed-mixture electrical conductivities at the same temperature. Assume their baseline-subtracted changes are proportional to converted concentration. Combining that measurement model with a first-order reaction givesThus the electrical conductivity increases toward an endpoint, while the remaining reactant fraction decreases. Fit $-\ln f$ against time to obtain $k$; then fit $\ln (k/k_{\mathrm{ref}})$ against $1/T$ in kelvin to estimate an apparent activation energy. This baseline-aware derivation states the measurement assumptions explicitly; it does not infer a rate constant from the steepness of a raw conductivity trace alone.

The controls distinguish a faster chemical reaction from a larger instrumental response. Measure the actual solution temperature, retain the same solvent composition and initial reactant concentration, and compare endpoint and baseline at that temperature. As further diagnostic checks, repeat runs and inspect regression residuals for departure from a first-order reaction. These checks follow from the model: electrical conductivity also depends on how ions move, a baseline drift can mimic conversion, and a mixing delay can distort early points. Near completion, a small endpoint error produces a large relative error in $f$ and its natural logarithm. A successful fit supports an apparent rate model for this solvent and interval; it does not directly image a transition state or identify a unique reaction mechanism. No measured $k$ or $E_a$ is supplied here.

The Modified Arrhenius equation allows a power of thermodynamic temperature in the pre-exponential factor:Here $A_{\ast }$, $E_0$, $n$, and $T_{\ast }$ are constant model parameters. Using the dimensionless quantity $T/T_{\ast }$ leaves $A_{\ast }$ with the same units as $k$; in the equivalent convention $B{T}^n\exp [-E_0/(RT)]$, $B$ instead has units of $k$ multiplied by ${\mathrm{K}}^{-n}$. The power exponent $n$ here is not an order of reaction. The IUPAC definition uses that equivalent $B{T}^n$ convention.^[ref]

Applying the apparent activation energy definition yields the original short calculationFor the orange synthetic Arrhenius plot, $n=2$, $T_{\ast }=300\mathrm{K}$, and $E_0=60\mathrm{kJ}\mathrm{mo}{\mathrm{l}}^{-1}$. Its pre-exponential factor changes by $(310/300{)}^2\approx 1.06778$ from $300$ to $310\mathrm{K}$; combined with the exponential function, $k(310\mathrm{K})\approx 0.231991{\mathrm{s}}^{-1}$, compared with $0.217266{\mathrm{s}}^{-1}$ for the constant-pre-exponential factor model. The diagram uses those models only to reveal the difference between an exponent parameter and a slope-derived activation energy.

An Arrhenius plot places $\ln (k/k_{\mathrm{ref}})$ against $1/T$, using a fixed reference rate constant with the same units as $k$. Under the constant-parameter Arrhenius equation,The slope is $-E_a/R$ and the intercept is $\ln (A/k_{\mathrm{ref}})$. Changing the reference units shifts the intercept but leaves the slope unchanged. If the horizontal coordinate is displayed in $10^{-3}{\mathrm{K}}^{-1}$, its numerical slope must be rescaled before multiplying by $-R$. A temperature-dependent pre-exponential factor or activation energy can make the plot curved.

The pre-exponential factor multiplies the exponential function in the Arrhenius equation. It has the same units as the rate constant, so for a first-order reaction both have units ${\mathrm{s}}^{-1}$. Its physical interpretation depends on the reaction mechanism; an assumed constant $A$ should not be identified with a universal collision frequency. Comparing activation energies alone does not rank absolute rate constants when the pre-exponential factors differ. See the pre-exponential factor.

Suppose a monic real quartic polynomial has no nonnegative real zero and its real part on the imaginary axis is everywhere positive. For sufficiently large $R$, its image of the quarter-circle arc from $R$ to $iR$, closed by the straight chord from $p(iR)$ to $p(R)$, has winding number one: compare with $z^4$ on the arc and its constant image on the chord. The rest of the actual sector boundary maps into the right half-plane, so its replacement by that chord preserves the winding number. The argument principle then counts exactly one root in the open first quadrant, including multiplicity.

If $p(z(t))=t$ and $p^{\prime }(z)\ne 0$, implicit differentiation gives $z^{\prime }(t)=1/p^{\prime }(z)$. At a crossing of the unit circle, the displayed radial derivative determines whether the root enters or leaves the disk as the real parameter increases. Root counts are constant between such boundary crossings, including multiplicities. At the crossing parameter itself, boundary roots are excluded from an open-disk count. This complements the winding number form of the argument principle and handles a self-intersecting image contour without guessing its enclosed regions.

A finite list of function values does not determine the winding number of the intervening image contour. For example, sample $\gamma (t)=e^{it}$ only at $t_j=2\pi j/4$, $j=0,1,2,3$. The polynomials $f(z)=z$ and $g(z)=z^5$ agree at all four sampled points, because $\gamma (t_j{)}^4=1$. Joining those values by straight segments draws the same square for both. Yet their true winding numbers are one and five, and their enclosed zero multiplicities differ by four.

Refining samples can help resolve a given example, but an asserted root count needs a bound controlling what happens between them. One sufficient certificate is to enclose the image of each boundary subarc and its interpolating segment in a convex set that excludes zero. Straight interpolation then gives a homotopy avoiding zero, so the polygon and true image contour have the same winding number. A plot that merely looks closed and avoids zero at its sampled points is not that certificate.

The boundary can recover more than a count. Under the hypotheses of the argument principle, let $h$ be a holomorphic function on a neighborhood of the contour and its interior. If the enclosed zeros of a function are $a_j$ with zero multiplicities $m_j$ and the enclosed poles are $b_k$ of orders $n_k$, thenMultiplying the local logarithmic derivative by $h$ changes its residue from $m_j$ to $m_{j}h(a_j)$, or from $-n_k$ to $-n_{k}h(b_k)$. The residue theorem then gives the identity. Choosing $h=1$ recovers the argument principle; choosing $h(z)=z$ gives the sum of the enclosed zero locations minus the sum of the enclosed pole locations, both counted with zero multiplicities or pole orders.^[ref]

For the rational function in argument principle for a rational function, the $h(z)=z$ integral is $2(1/4)-(-1/2)=1$. Adding the known pole location $-1/2$ back gives a zero-location sum of $1/2$. Dividing by the zero count two gives the arithmetic mean of the enclosed zeros, with multiplicity, as $1/4$. Choosing $h(z)=z^k$ similarly gives the difference between the power-sum symmetric polynomials evaluated on the enclosed zero and pole locations, repeating each location according to its multiplicity or order. These identities let boundary information constrain both the number and aggregate locations of enclosed zeros of a function.

Consider the rational functionInside the unit circle are a double zero of a function at $1/4$ and a simple pole at $-1/2$. The simple zero of a function at $2$ is outside. Thus $N=2$, $P=1$, and the winding number is one. The factorization checks the count exactly; the plot illustrates how the boundary records it.

For the concentric circle $|z|=r$, the winding number is zero for $0<r<1/4$, two for $1/4<r<1/2$, one for $1/2<r<2$, and two for $r>2$. At $r=1/4$ or $r=2$, the boundary contains a zero of a function; at $r=1/2$, it contains a pole. The theorem does not apply at those three radii. Moving a boundary changes the count only when it crosses an object being counted; homotopy invariance of winding number describes the unchanged count between crossings.

This triangular planar map has diagonal Jacobian matrix entries one and determinant one, for differentiable $f$. Its inverse subtracts $f(v)$, so it is an area-preserving map. The analogous vertical map $(u,v)\mapsto (u,v+g(u))$ has the same property. Their composition preserves area even when the shifts are nonlinear, as in the logarithmic area-preserving seasonal predator-prey map.