A block subspace is the closed linear span of an infinite block sequence. Passing to a block subspace preserves the order of supports and permits successive-vector constructions.

Let $Z=⟨z⟩\le Z(G)$ have order $p$ and set $t=z-1$. The nilpotent ideal $tkG$ is generated by a central element. If an idempotent lifts a central idempotent of the quotient, its off-diagonal corner satisfies $eA(1-e)\subseteq teA(1-e)$ and therefore is zero. Thus central block idempotents lift centrally and uniquely. A principal indecomposable module is free over $kZ$, and the $p$ factors of its $t$-filtration are all its reduction modulo $t$. Consequently, under the natural indexing of simple modules, $C_G=p{C}_{G/Z}$.

For a complete discrete valuation ring $\mathcal{O}$ with residue field $k$, class sums give bases of $Z(\mathcal{O}G)$ and $Z(kG)$, so reduction of the center of an associative algebra is surjective. Idempotent lifting in this complete commutative algebra gives a bijection of primitive central idempotents, hence of blocks of a group algebra. Corresponding blocks of a group algebra have the same defect groups of a block: relative traces reduce, and a lifted trace whose reduction is the block identity is a unit in its complete block center.

The principal block of a group algebra is the unique block of a group algebra containing the trivial representation. Its primitive central idempotent is the unique one with augmentation $1$. Its defect groups of a block are the Sylow subgroups for the residue characteristic.

Let $N◃G$, let $b$ be a block of a group algebra of $kN$, and let $I$ be its inertia subgroup. A block of $kG$ covering $b$ is a full matrix algebra of degree $[G:I]$ over its corresponding block of $kI$. When $I=N$, the corner is just $kNb$. Let $e_B$ be the global block idempotent and put $c=e_{B}b$. With coset representatives $g_i$, the elements $g_{i}c{g}_j^{-1}$ are matrix units in that global block because different conjugates of $b$ are orthogonal. When $I=N$, one has $c=b$.

The center of an indecomposable finite-dimensional block of a group algebra is a commutative Artinian local ring. Its quotient by its Jacobson radical is a field, giving the block's central character. Over a splitting field for finite group representations the residue field is the coefficient field; without this assumption one retains the residue field rather than pretending every central character is scalar-valued over $k$.

For shapes of the same size, equal residue-content multiplicities are equivalent to equal cores of a partition at modulus $p$. Removing a rim $p$-hook subtracts one of each residue. With the number of beta numbers divisible by $p$, the packed-runner charges are $q_r=c_r-c_{r+1}$, so the multiplicities recover the core. Symmetric polynomials in Young–Jucys–Murphy elements act by their evaluations on these residues, and generate the modular center. Equality of its characters is precisely the block-equivalence criterion for simple modules.

Suppose $(u_n)$ is a normalized block basic sequence in the l-p sequence space, $1\le p<\infty$, and ${\sum }_n\Vert x_n-u_n{\Vert }_p<1$. Choose norm-one linear functionals ${\varphi }_n$ supported on the respective blocks with ${\varphi }_n(u_n)=1$. The bounded linear operator $A=I+{\sum }_n{\varphi }_n(\cdot )(x_n-u_n)$ is invertible by the Neumann series. The block projection $Qz={\sum }_n{\varphi }_n(z)u_n$ has norm at most one, and $AQ{A}^{-1}$ projects onto the closed span of $(x_n)$. Thus that span is a complemented subspace isomorphic to the l-p sequence space.

The rotation-invariant average of pure qubit states is uniform area measure on the Bloch sphere, induced by Haar measure on unitary transformations. For a uniformly distributed unit Bloch vector $r$, rotational symmetry gives $\mathbb{E}{r}_i=0$ and $\mathbb{E}{r}_i{r}_j={\delta }_{ij}/3$. Uniform polar angle without the factor $\sin \theta$ is a different distribution.

Write each pure density matrix as $(I+r\cdot \sigma )/2$. The trace identities of the Pauli matrices, $\mathrm{Tr}{\sigma }_i=0$ and $\mathrm{Tr}({\sigma }_i{\sigma }_j)=2{\delta }_{ij}$, make the trace of their product equal to the displayed overlap. Antipodal unit vectors represent orthogonal states; vectors at right angles correspond to squared overlap one half. For mixed states the same trace formula gives Hilbert–Schmidt overlap, not in general quantum fidelity.

For a qubit density matrix $\rho =(I+n\cdot \sigma )/2$ with nonzero Bloch vector, $\hat{n}=n/\Vert n\Vert$ and the multiplication rule for the Pauli matrices give these orthogonal rank-one spectral projectors, with eigenvalues $(1\pm \Vert n\Vert )/2$. Their Bloch vectors are opposite unit vectors $\pm \hat{n}$. At $n=0$ the state is maximally mixed and the direction is undefined; any orthonormal eigenbasis gives an antipodal pair, but no pair is distinguished by the state.

The Blaschke condition for a sequence in the unit disc is ${\sum }_n(1-|a_n|)<\infty$. It characterizes the zero sequences, counted with multiplicity, of nonzero bounded holomorphic functions. Sufficiency follows by constructing the Blaschke product. For necessity, Jensen's formula gives ${\sum }_{|a_n|<r}\log (r/|a_n|)\le \log \Vert f{\Vert }_{\infty }-\log |f(0)|$ when $f(0)\ne 0$. Letting $r\uparrow 1$ and using $-\log |a|\ge 1-|a|$ proves the condition. A finite zero at zero is factored out first. Equivalently, for the curvature-minus-one hyperbolic metric, ${\sum }_n{e}^{-\rho (0,a_n)}<\infty$, since $e^{-\rho (0,a)}=(1-|a|)/(1+|a|)$.

Let a group $G$ of Möbius transformations of the unit disk have an orbit satisfying the Blaschke condition, counted once per distinct orbit point. For its Blaschke product $B$, invariance of the pseudohyperbolic distance and permutation of the orbit give $|B(Tz)|=|B(z)|$. The ratio $B(Tz)/B(z)$ extends across its zeros and has modulus one, so the open mapping theorem makes it a constant $\chi (T)$. Composition gives a group homomorphism $\chi :G\to \{\lambda :|\lambda |=1\}$. It is essential to compare moduli of the products: two arbitrary bounded holomorphic functions with identical zeros need not have constant quotient.

For $B(z)=\lambda z^m{\prod }_n{b}_{a_n}(z)$ with nonzero zeros $a_n$ counted with multiplicity, Jensen's formula gives the displayed identity. The negative logarithms of partial products increase, so the monotone convergence theorem permits termwise integration. The Blaschke condition implies ${\sum }_n-\log |a_n|<\infty$, which dominates the absolute summands. The dominated convergence theorem therefore gives a limit of zero as $r\uparrow 1$. Since $|B|\le 1$, the mean of $|\log |B||$ tends to zero as well.

Every nonzero bounded holomorphic function on the unit disc has this factorization, with $B$ the Blaschke product of its zeros and $g$ zero-free and holomorphic. The Blaschke condition follows from Jensen's formula. Dividing by any finite partial zero product gives a holomorphic function; the maximum modulus principle and the finite product's boundary modulus one bound that quotient by $\Vert f{\Vert }_{\infty }$. Locally uniform convergence of the partial products gives the same bound for $g$, with removable extensions at their zeros. This factorization alone does not make $g$ constant or a full inner-outer factorization.

For a holomorphic function on the unit disc, this boundary condition characterizes Blaschke products, including unimodular constants. The nondecreasing radial means of the nonnegative subharmonic function ${\log }^{+}|f|$ must vanish, so $|f|\le 1$. In the Blaschke factorization of a bounded holomorphic function $f=Bg$, both logarithmic means tend to zero. The mean value property for harmonic functions applied to $\log |g|$ gives $|g(0)|=1$, and the maximum modulus principle makes $g$ unimodular constant. The converse follows from the radial logarithmic mean of a Blaschke product. Omitting the outer absolute value changes the condition: $e^z$ has zero mean logarithmic modulus, but is not a Blaschke product.

Use curvature-minus-one Hyperbolic distance in the Poincare disc. Each Blaschke factor has modulus $\tanh (\rho (w,a)/2)=(1-t)/(1+t)$, with $t=e^{-\rho (w,a)}$. For $0\le t<1$, differentiating shows $\log [(1+t)/(1-t)]\ge 2t$. Sum this logarithmic inequality over the zero factors and pass to the Blaschke product by locally uniform convergence. At a prescribed zero, its modulus vanishes and the bound is immediate. All sums count multiplicities.

A finite Blaschke product is holomorphic across the unit circle and has modulus one there. For a constant $a$ with $|a|<1$, Rouché's theorem makes $B-a$ and $B$ have the same number of interior zeros, counting multiplicity. Each factor contributes its prescribed zero; the poles are outside the closed disk.

The second derivative of an option price with respect to its underlying price. It measures the change of option delta. A convex terminal payoff in the Black-Scholes model has nonnegative option gamma before maturity.

The derivative of a claim price with respect to the interest rate, holding the payoff and other model parameters fixed. For a dividend-free Black-Scholes model with remaining time $\tau$, it is $\tau (x{p}_x-p)$, so its sign is opposite the bank-account value in the replicating strategy.