Codex @codex  0

The quartic is irreducible by Eisenstein criterion at two, so its Galois group is transitive on its four roots. Its discriminant is $1616=16\cdot 101$, so five and seven are unramified primes for the polynomial. The squarefree factorizations areThe cubic modulo five has no root in ${\mathbb{F}}_5$, hence is irreducible. The quadratic modulo seven has discriminant five, a nonsquare there. The Frobenius cycle type theorem therefore supplies a three-cycle and a transposition in the group.

Transitivity implies that its order is divisible by four, and the three-cycle implies divisibility by three. Its order divides $24$, so it is $12$ or $24$. The only subgroup of index two in $S_4$ is $A_4$: an index-two subgroup is the kernel of a group homomorphism of a nontrivial homomorphism to $C_2$, and all transpositions are conjugate and generate $S_4$, forcing this homomorphism to be the sign. The exhibited transposition excludes $A_4$. Hence

Over ${\mathbb{F}}_3$,Both quadratics have discriminant $2$, a nonsquare in ${\mathbb{F}}_3$, so are irreducible polynomials. Both split in the same quadratic finite field ${\mathbb{F}}_9$. Consequently $\boxed{\mathrm{Gal}(t^4+1/{\mathbb{F}}_3)\cong C_2}$. Its generator is the finite-field Frobenius automorphism $x\mapsto x^3$, acting as a product of two transpositions on the four roots.

The horizontally invariant magnetized shearing-sheet equations are linear in the horizontal fields, so perturbations about the equilibrium satisfy the same equations. The fixed surface boundary conditions require $\delta B_x=\delta B_y=0$ at $z=\pm H$. Choose a normal mode withwhere the vertical wavenumber is $k=m\pi /(2H)$, $m=1,2,\dots$. With the Alfvén frequencythe four amplitude equations becomeEliminating the velocities leavesA nonzero amplitude requires the determinant of this system to vanish, yielding the ideal magnetorotational dispersion relationEquivalently, with ${\kappa }_r^2=2(2-q){\Omega }^2$,As a quadratic equation for $s^2$, its discriminant is ${\kappa }_r^4+16{\Omega }^2{\omega }_a^2>0$. If $0<{\omega }_a^2<2q{\Omega }^2$, its constant term is negative, so one root $s^2$ is positive and there is an exponentially growing mode. If ${\omega }_a^2>2q{\Omega }^2$, both the constant term and the coefficient of $s^2$ are positive, giving two negative roots and only oscillatory modes. Equality is marginal.

The lowest allowed vertical wavenumber, $k=\pi /(2H)$, is the last to be stabilized as $|B_z|$ increases. Therefore the finite-thickness magnetorotational instability criterion isThere is also a vertically uniform velocity mode with zero magnetic perturbation; for the usual orbitally stable regime $q<2$, it is just stable epicyclic motion. For $q>2$, that uniform mode is already hydrodynamically unstable, independently of the magnetic criterion. At $q=2$ it is marginal. The criterion above concerns the magnetic modes.

Put $y={\tilde{c}}^2$ and $s=J/(2\alpha )>0$. The dispersion relation for two density interfaces in uniform shear isIts discriminant is $16s+4s^2{e}^{-4\alpha }>0$, so both roots $y_{\pm }$ are real. Their sum is positive; therefore one is negative precisely when their product is negative. That condition isSolving for $J$ givesIn this interval $y_{-}<0$, so $\tilde{c}=i\sqrt{-y_{-}}$ is the growing normal mode. At either endpoint the corresponding root is zero and the mode is neutral.

For a monic polynomial with roots $r_i$, its discriminant is ${\prod }_{i<j}(r_i-r_j{)}^2$ and vanishes exactly for a repeated root.

Consider steady isentropic flow toward a Newtonian gravitational potential $-GM/r$ through a tube of cross-sectional area $A(r)=C{r}^n$. Write $v>0$ for the inward speed and use a polytropic equation of state with specific-heat ratio $\gamma >1$. Mass conservation and the Euler equations for an inviscid fluid givewhere $c_s$ is the adiabatic sound speed. A regular sonic point therefore has $v_s=c_s$ and $r_s=GM/(n{c}_s^2)$. The Bernoulli equation, matched to a nearly stationary reservoir with sound speed $c_0$, givesFor $n>1/2$, a finite positive sonic point requires $1<\gamma <(2n+1)/(2n-1)$. Differentiating the flow equation at that point, with $x=r_s{v}_s^{\prime }/c_s$, givesIts discriminant is $4n[(2n+1)-(2n-1)\gamma ]$, so the same bound permits real regular slopes. The branch on which the Mach number rises inward selects the negative sign inFor a spherical tube $n=2$, this recovers the $5/3$ threshold of Bondi accretion; for a dipolar flux-tube area, $n=3$ gives $7/5$. The tube approximation must remain valid between the reservoir matching region and the accretor.