Joint squared-error nodewise regression with this penalty groups the two coefficients of each unordered edge. Its norm is nonsmooth only when the whole pair is zero, encouraging edge-wise sparsity. A fitted edge is present when its pair norm is positive. The penalty does not require equal directional coefficients, two nonzero entries in every selected group, or a symmetric positive definite precision matrix.

Cayley theorem embeds a finite group of order $n$ into $S_n$. Extend $\sigma \in S_n$ to $n+2$ letters and multiply it by the disjoint transposition $(n+1n+2)$ exactly when $\sigma$ is odd. Additivity of parity makes this an injective group homomorphism into the alternating group $A_{n+2}$. Thus every finite group is isomorphic to a subgroup of some alternating group.

For a finite group, the usual integral notion asks for a class $\Delta \in H^n(G;\mathbb{Z})$ of positive degree $n>0$ whose cup product gives the displayed isomorphisms for every coefficient module $M$ and every $i>0$. The analogous claim for just trivial coefficients over a fixed field is weaker and should be stated as such. A free cohomologically orientation-preserving sphere action supplies that field-coefficient version through periodic group cohomology from a free sphere action.

The left regular action of a group on its own underlying set is left multiplication. It is faithful, because an element fixing the identity is itself the identity. For a finite group it gives the permutation representation used in Cayley theorem.

A fixed point of a group action is an element fixed by every group element. The set $A^G=\{a:g\cdot a=a\text{ for all }g\in G\}$ is the categorical limit of the action viewed as a functor from the one-object category associated with $G$ to the Category of sets.

The symmetric group acts on multivariate polynomials by replacing each variable $x_i$ by $x_{\sigma (i)}$. With $(\sigma \tau )(i)=\sigma (\tau (i))$, substitution gives $\sigma \cdot (\tau \cdot f)=(\sigma \tau )\cdot f$. Thus it is a left group action. A polynomial encoding a combinatorial partition has a group orbit encoding all relabelings and a stabiliser subgroup encoding its label symmetries.

If every element of a group squares to the identity, every element equals its inverse. Then $ab=(ab{)}^{-1}=b^{-1}{a}^{-1}=ba$, so the group is an abelian group. The argument does not require a finite group.

The trivial group has exactly one element, its identity. Every group homomorphism to it is trivial, and a group is trivial precisely when all elements in a generating set equal the identity.

An infinite group is a group with infinitely many elements. An element of infinite order proves that its group is infinite, but the converse need not hold: an infinite group can have all elements of finite order.

For $n\ge 1$, the braid group $B_n$ consists geometrically of braids on $n$ strands, composed by stacking. Algebraically it is generated by ${\sigma }_1,\dots ,{\sigma }_{n-1}$ subject to the braid group relations: adjacent generators obey ${\sigma }_i{\sigma }_{i+1}{\sigma }_i={\sigma }_{i+1}{\sigma }_i{\sigma }_{i+1}$, and nonadjacent generators commute. There is no relation ${\sigma }_i^2=1$.

Recording only the strand endpoints gives a surjective group homomorphism $B_n\to S_n$, sending ${\sigma }_i$ to the transposition $(ii+1)$. Its group kernel is the pure braid group, whose strands return to their original endpoints. Thus endpoint permutations discard crossing information. For example, $B_2$ has one generator and no relations, so it is an infinite cyclic group, while its endpoint permutation group is $S_2$; the square of its generator has trivial endpoint permutation but is a nontrivial braid. This distinction does not conflict with Cayley's theorem, which realizes every group as some permutation group.

The Hopf function encodes the departure of a plane-parallel grey atmosphere from a purely linear source profile. With physical bolometric radiative flux $F$ and standard mean intensity $J$, it is defined by $J=3F[\tau +q(\tau )]/(4\pi )$. In thermal radiative equilibrium, $T^4=3T_{\mathrm{eff}}^4[\tau +q(\tau )]/4$. The Eddington closure approximation with its approximate surface condition gives constant $q=2/3$; exact angular transfer generally gives a depth-dependent function.

Consider $I=\alpha [\beta +\tau +\mu +\gamma e^{-\delta \tau }/(1+ϵ\mu )]$ with real $|ϵ|<1$, $\alpha \gamma \ne 0$, and $\delta >0$. Its angular mean includes $A_0=\mathrm{atanh}ϵ/ϵ$. Substitution into $\mu I_{\tau }=I-J$ requires $1-A_0+(\delta -A_0ϵ)\mu =0$. Thus $A_0=1$ and $\delta =ϵ$. For real $ϵ$, $A_0=1$ only at zero, giving $\delta =0$, a contradiction. Independently, its flux contains a varying term proportional to $A_1=(1-A_0)/ϵ$, which is nonzero for nonzero real $ϵ$. Exact conservative transfer therefore needs a more general angular/depth structure than this one smooth exponential correction.

A viscous current with density between those of two ambient fluids spreads along their interface. Vertical buoyancy divides its thickness above and below the undisturbed interface. When its internal shear and in-plane extension are both negligible, resistance from the two ambient Stokes flows controls its spreading.

For steady flow with entrainment coefficient $E$, bottom-drag coefficient $c$ and slope angle $\theta$, a constant buoyancy flux $B$ gives $h=h_0+Ex$, $g^{\prime }=B/(uh)$ and $u^3=B(\sin \theta -E\cos \theta /2)/(c+E)$. The half factor comes from hydrostatic pressure, while the denominator includes both bed drag and acceleration of entrained fluid.

Magnetic subcriticality refers to a mass-to-flux ratio below its critical mass-to-flux ratio. For an idealized thin layer threaded by a uniform frozen-in perpendicular magnetic field, define in SI unitsHere $\Sigma$ is the surface density and $B_{z0}$ the perpendicular magnetic field. The magnetically subcritical case has $\lambda <1$, or $B_{z0}^2>\pi G{\mu }_0{\Sigma }^2$. In the specified ideal layer, magnetic support prevents the linear gravitational collapse studied by Takenori Nakano and Takashi Nakamura. Their original Gaussian-unit threshold is $\Sigma /|B_{z0}|<1/(2\pi \sqrt{G})$. The numerical coefficient is tied to geometry and field assumptions.^[ref]

A complementary sufficient-contraction result applies to an isolated cold initially resting razor-thin disk. If $B_{z0}^2<\pi G{\mu }_0{\Sigma }^2$ pointwise, the absolute gravity-equivalent magnetic surface density is smaller than the actual surface density. The positive-kernel comparison of thin-disk fields then makes the integrand in the horizontal virial balance of a cold magnetized fluid negative above and below the disk. Its radial second moment therefore begins to decrease. This weak-field inequality is on the magnetically supercritical disk side of the mass-to-flux convention.

The second-moment conclusion is global. It does not establish inward acceleration of every fluid element, and it does not prove unlimited subsequent collapse. Pressure, rotation, magnetic flux loss and different boundary-field configurations require their own analysis.

For a homogeneous inviscid razor-thin disk approximation with solid-body rotation and barotropic sound speed $c$, the compressive wave branch obeys ${\omega }^2=c^2{k}^2-2\pi G{\Sigma }_0|k|+4{\Omega }^2$. The razor-thin disk Poisson kernel supplies the self-gravity term, and the radial epicyclic frequency is $2|\Omega |$. Growing modes have ${\omega }^2<0$; a separate zero-frequency balanced mode can also exist.

For a free Dirac field with action $\int \bar{\psi }K\psi$ and independent odd sources coupled as $\bar{\psi }J+\bar{J}\psi$, translation invariance of the Berezin integral and completion of the square give $Z[J,\bar{J}]=Z[0,0]\exp (-i\bar{J}{K}_F^{-1}J)$. Here $K_F^{-1}$ has Feynman i-epsilon prescription boundary conditions, and each bilinear includes its spacetime integrations. A left Grassmann derivative with respect to $\bar{J}$, followed by a right Grassmann derivative with respect to $J$, has normalized value $-i{K}_F^{-1}$ at zero sources. Multiplying by $-1$ removes the two insertion factors $i^2$ and yields the Dirac propagator $S_F=i{K}_F^{-1}$. Keeping source order fixed prevents a spurious fermionic sign.

If every vertex subset of size at least $m$ contains an independent set of size $r$, repeatedly colour and remove an $r$-element independent set while at least $m$ vertices remain. Giving each remaining vertex its own colour uses at most $|V|/r+m$ colours.

Two graph triangles sharing a vertex $B$ force their two opposite edges to use the same two colours in a graph colouring with three colours. A palette graph triangle $T,F,B$ and another graph triangle $u,\bar{u},B$ therefore force the literal pair to have opposite Boolean colours. This gadget is used in a reduction from 3-SAT to the three-colourability problem.

Take auxiliary graph triangles $a,b,c$ and $d,t,e$, join $a$ to $d$, and add edges $bx,cy,ez$. When $t$ has colour $T$ and the inputs $x,y,z$ have colours in $\{T,F\}$, this graph admits an extension to a graph colouring with three colours exactly when at least one input is $T$. All-false inputs force $a=d=F$, contradicting their edge. Conversely, use $(a,b,c,d,e)=(T,F,B,F,B)$ if $x=T$, $(T,B,F,F,B)$ if $x=F,y=T$, and $(F,T,B,B,F)$ if $x=y=F,z=T$. The extension property is necessary for both directions of a polynomial-time many-one reduction.