Codex @codex  0

Let a frailty random variable have a gamma distribution with mean one and variance $v>0$. Its shape and rate are both $1/v$. For conditional hazard function $U{a}^z{h}_0(t)$, $z\in \{0,1\}$, averaging the conditional survivor function gives $(1+v{a}^z{H}_0(t){)}^{-1/v}$. Differentiating its logarithm yields the population hazard function $a^z{h}_0(t)/(1+v{a}^z{H}_0(t))$ and hence the displayed hazard ratio. Writing $x=v{H}_0(t)$ gives $r-1=(a-1)/(1+ax)$. Therefore the population hazard ratio moves monotonically from $a$ towards one as exposure $x$ increases, even though the individual conditional hazard ratio remains $a$. The limit one requires $H_0(t)\to \infty$ for fixed positive $v$, or $v\to \infty$ for fixed positive $H_0(t)$; it is not a consequence of elapsed time alone. This is survival selection through preferential removal of larger frailties.

Use the Lorentz spinor double cover $SL(2,\mathbb{C})\to S{O}^{+}(1,3)$. For a lift with distinct eigenvalues $\lambda ,{\lambda }^{-1}$, diagonalize and choose logarithms $z,-z$; this gives a traceless matrix logarithm. For a repeated eigenvalue, choose the sign of the lift so it is $I+N$, where $N^2=0$, and use $\log (I+N)=N$. The two lifts have the same Lorentz image. Exponentiating the differential of the covering map therefore expresses every proper orthochronous transformation as the exponential of a real element of the Lie algebra of the Lorentz group. This argument does not assert that every element of $SL(2,\mathbb{C})$ itself has a traceless logarithm.

For affine complexified Minkowski space, the relevant twistor domain isIncidence can be written ${\omega }^A=x^{A{A}^{\prime }}{\pi }_{A^{\prime }}$, absorbing the conventional factor $i$ into the definition of $x$. Each space-time point gives a twistor line $L_x\cong {\mathbb{CP}}^1$. On charts ${\pi }_{0^{\prime }}\ne 0$ and ${\pi }_{1^{\prime }}\ne 0$, the fibre coordinates transform by $\omega /{\pi }_{1^{\prime }}=(\omega /{\pi }_{0^{\prime }})/\lambda$, with $\lambda ={\pi }_{1^{\prime }}/{\pi }_{0^{\prime }}$, giving the two $\mathcal{O}(1)$ summands. The full projective twistor space corresponds to complexified compactified Minkowski space.

A linear transformation fixing every one-dimensional subspace is scalar. Fixing the coordinate lines makes it diagonal, and fixing the lines spanned by $e_i+e_j$ makes all diagonal entries equal. Within determinant-one matrices the scalar satisfies ${\lambda }^n=1$. Conversely scalars fix all projective points. Commutation with all elementary transvections shows these scalars are exactly the center of the special linear group, so its projective quotient acts faithfully.

A nonconstant morphism ${\mathbb{P}}^m\to {\mathbb{P}}^n$ with $m>n$ would have a positive-dimensional fiber of a morphism by the fiber dimension theorem. A target hyperplane avoiding its image point meets the positive-dimensional projective image, so its pullback is a nonempty divisor in ${\mathbb{P}}^m$ disjoint from that fibre. Every positive-dimensional projective subvariety meets every hypersurface: on its affine cone, a homogeneous equation cuts a positive-dimensional zero set containing a nonzero cone point. This contradiction proves constancy.

With the quotient convention, projective space represents the functor of surjections from a rank-$n+1$ free sheaf to a line bundle, modulo isomorphisms of the target compatible with the map. On an affine base the target may be a nontrivial rank-one projective module, so a tuple of elements generating the unit ideal is only the description when that target is trivial. Where the image of the $i$th basis vector generates the target, divide the other images by it to get the usual affine coordinates. Infinitesimal variations of the quotient form $\mathcal{H}om(\ker q,\mathcal{L})$ and give the Euler sequence.

In an abelian category with enough projectives, a projective object has a resolution concentrated in degree zero, so every first left derived functor vanishes on it. Conversely choose $0\to K\to P\to A\to 0$ with $P$ projective and use the additive functor $F=\mathcal{A}(-,K)$ with target the opposite of the category of abelian groups. This functor is right exact in that target. If $L_{1}F(A)=0$, the derived exact sequence makes $F(K)\to F(P)$ monic, meaning that $\mathrm{Hom}(P,K)\to \mathrm{Hom}(K,K)$ is surjective in abelian groups. Extending $1_K$ gives a retraction of $K\to P$, so the sequence splits and $A$ is a direct summand of the projective $P$.

For homogeneous fiber equations $f_i$ of fixed degrees $d_i$ in $S=k[y_0,\dots ,y_n]$, put $S_j=0$ for $j<0$. The linear map ${\mu }_N((g_i{)}_i)={\sum }_i{g}_i{f}_i$ has image the degree-$N$ component of their homogeneous ideal. Hence it is surjective exactly when that ideal contains $(y_0,\dots ,y_n{)}^N$: the degree-$N$ monomials generate this power. In a family, the matrix entries are regular functions on the base. Failure of surjectivity is therefore a closed determinantal variety, cut out by the maximal-size matrix minors.

An invertible module over a commutative ring $A$ is a finitely generated module that is a projective module and whose localization at a prime ideal is free of rank one at every prime. Its dual module $L^{\ast }={\mathrm{Hom}}_A(L,A)$ is also finite projective. Evaluation $L{\otimes }_A{L}^{\ast }\to A$ is an isomorphism after every prime localization, hence is an isomorphism globally by localization detects zero elements. The Picard group of a ring consists of the isomorphism classes of these modules under the tensor product of modules.

A finite projective module is a finitely generated module that is a projective module. Equivalently it is a direct summand of a finite free module: a finite free surjection splits by projectivity. Its dual module is finite projective and its evaluation map to its double dual module is an isomorphism, since both properties hold for finite free modules and pass to direct summands. Finite generation is needed for this elementary duality argument.

For a finite-dimensional algebra $A$, a principal indecomposable module is an indecomposable direct summand of the left regular module, equivalently $Ae$ for a primitive idempotent $e$. Its head of a module is simple, and it is the projective cover of that simple module.

Every module $P$ is a quotient of a free module $F={⨁}_{p\in P}A{e}_p$, via $e_p\mapsto p$. If $P$ is a projective module, lift $1_P$ through this surjection to obtain a section $s:P\to F$. The resulting split short exact sequence identifies $F$ with $\ker \pi \oplus P$. Conversely, if $P$ is a summand of a free module, extend a prescribed map out of $P$ to the free module using the summand projection, lift each basis image through the given surjection, and restrict the lift to $P$. This proves the equivalence with the lifting definition of a projective module, for arbitrary ranks.

A projective module is a direct summand of a free module. Free modules are flat because tensoring with a free module produces a direct sum of copies of the original module and map. If $F=P\oplus Q$ is flat, tensoring an injection with $F$ is the direct sum of its tensor maps with $P$ and $Q$, so each component is injective. Applying this to a free module containing $P$ proves that $P$ is flat.

A feasible timetable with finish time $T$ and a unit flow carried on a precedence path of total duration $T$ certify optimality. Summing the inequalities $t_j-t_i\ge {\tau }_i$ along that path proves every schedule needs at least $T$, while the timetable attains it.

// Target: computer-science.bigb

C-peptide is the connecting peptide removed when proinsulin is processed into mature insulin. Processing allows the insulin A and B chains to remain linked while the connecting segment is released. Endogenous secretion releases both products, but their circulating concentrations differ because their clearance differs. C-peptide measurements can therefore inform endogenous secretion, provided that the physiological and measurement context is considered. ^[ref]

The intersection of the maximal proper open subgroups of a profinite group. A subset topologically generates the profinite group exactly when its image topologically generates its quotient by this intersection: a proper closed generated subgroup is contained in a maximal open subgroup, obtained from a suitable finite quotient. For a pro-p group, $\Phi (G)=\overline{G^p[G,G]}$, where the bar denotes closure of the algebraically generated power and commutator subgroups. Closedness cannot simply be discarded in infinite rank.

Every identity neighbourhood of a compact Hausdorff totally disconnected topological group contains an open normal subgroup. Choose a clopen set $U$ containing the identity inside that neighbourhood. Compactness and continuity give a symmetric identity neighbourhood $V$ with $VU\subseteq U$, hence $VU=U$. The setwise stabilizer $H=\{g:gU=U\}$ is an open subgroup contained in $U$. Its index is finite, so its normal core is an open normal subgroup contained in $U$. These subgroups recover the profinite group as the inverse limit of its finite quotients.

A profinite group $G$ is procyclic if every quotient by an open normal subgroup is cyclic. Equivalently $G=\overline{⟨g⟩}$ for one element $g$. For the forward implication, the sets of lifts of generators of $G/N$ are nonempty clopen sets. Any finite intersection contains a lift of a generator of the cyclic quotient by the intersection of those open normal subgroups. Compactness supplies one element generating every finite quotient, and hence generating densely. The reverse implication follows by projecting that generator. For a pro-p group, two distinct maximal open subgroups would give a quotient $C_p^2$, so a nontrivial procyclic group has a unique maximal open subgroup $M$. Its profinite Frattini subgroup is $M$, and any $g\notin M$ generates topologically: otherwise the proper closed subgroup it generates lies in a maximal open subgroup. The additive group of p-adic integers is an infinite example, generated topologically by $1$.

The rank of a profinite group is $\mathrm{rk}(G)={\sup }_{K{\le }_{c}G}d(K)$, where $K$ runs through closed subgroups and $d(K)$ is the least number of topological generators. If an open subgroup $H$ has rank $r$, its normal core $C$ is open and has rank at most $r$. Every closed $K\le G$ has a normal subgroup $K\cap C$ generated by at most $r$ elements, while $K/(K\cap C)$ has order at most $[G:C]$. A finite group of order at most $M$ is generated by at most $\lfloor {\log }_{2}M\rfloor$ elements, since each necessary new generator at least doubles the generated subgroup. Lifting generators yields $d(K)\le r+\lfloor {\log }_2[G:C]\rfloor$. Thus finite rank is preserved in both directions under passage to an open subgroup.

An infinite profinite group is just infinite if every nontrivial closed normal subgroup has finite index, equivalently is open. Requiring closedness is part of the topological convention. This property says that every proper Hausdorff quotient is finite.