The received word has Hamming distances from and from , so
After multiplying by the priors, the unnormalized posterior probabilities are and . Thus the ideal observer decodes as , while maximum-likelihood and minimum-distance decoding both choose .
The ideal observer minimizes average error but needs priors and channel statistics. Maximum likelihood needs the channel law but not priors, and can be suboptimal for unequal codeword probabilities. Minimum distance is simple and agrees with maximum likelihood for a binary symmetric channel with crossover probability below , but ignores unequal priors and general channel asymmetry.
One direction follows because finitely many nilpotent coefficients generate a nilpotent ideal. Conversely, reducing a nilpotent polynomial modulo gives a nilpotent polynomial over the reduced ring ; comparing its highest nonzero coefficient shows it must be zero, so every coefficient lay in .
If , then every term in vanishes; also . Thus the nilpotents form an ideal . The quotient has no nonzero nilpotents.
At the maximal ideal , the images of form a three-dimensional basis of over , so two generators are impossible. More generally needs exactly generators by the same argument.
Generators define a surjection , and conversely images of the standard basis generate any quotient. Writing with and applying the adjugate to gives a monic annihilating polynomial whose lower coefficients lie in . Taking when yields with ; for and take . The Jacobson radical criterion follows by placing a nonunit in a maximal ideal. It yields Nakayama’s lemma. Applying the determinant trick to preimages of a finite generating set constructs a polynomial right inverse to any surjective endomorphism, proving injectivity.
Noetherian means every ideal is finitely generated, equivalently every ascending ideal chain stabilises. Quotients preserve this; for example is Noetherian as a quotient of but not a UFD. A UFD need not be Noetherian (a polynomial ring in infinitely many variables is a counterexample). Stabilisation of kernels proves every surjective endomorphism of a Noetherian ring injective. The shift , , , is surjective noninjective; on shows injective need not mean surjective. Finally is integer-valued. Finite differences prove uniquely that every integer-valued polynomial is an integral linear combination of the , so they are a -basis. Int is not Noetherian: the denominators in yield an ideal chain requiring new prime denominators.
A morphism of schemes is a closed immersion if it identifies homeomorphically with a closed subset of and the morphism of sheaves
is surjective. Equivalently, every point of has an affine neighborhood on which is isomorphic to for some ideal .
A closed subscheme of is a scheme supplied with a closed immersion , considered up to isomorphism over .
At equal pressure and temperature, ideal gases have equal molecular number density. The mean air molecular mass is , while helium has mass , so
For , all are integers, and duality gives . Hence . Every ideal of is therefore a subgroup of a finitely generated free abelian group and is finitely generated over , hence over ; so is Noetherian.
If , then is an ideal of the Noetherian ring , hence finitely generated; scaling back shows is finitely generated.
If every fractional ideal is invertible and is nonzero, choose and clear denominators: . Then is principal.
Given a nonzero fractional , scale it to an integral ideal . By (i), for some nonzero ideal . Then is fractional and .
A cyclic code is a linear subspace invariant under cyclic coordinate shift. Identifying words with makes such codes exactly ideals. Since this quotient is a principal ideal ring, every code is generated uniquely by a monic divisor of . For ,
so its three distinct irreducible factors have monic divisors and there are eight cyclic codes.
Dedekind's criterion factors according to the factorization of modulo (the monogenic assumption removes the index obstruction). With ,
Minkowski's bound is below 11, so classes are generated by prime ideals over . Relations from the displayed factorizations and principal ideals reduce them to with principal. Part (a) shows is not principal, so .
A prime chain of length in a Noetherian local ring forces its maximal-ideal length function to be at least for large . Quotient by the initial prime to reduce to a domain, choose a nonzero in the next prime, and use the Artin-Rees lemma to obtain . Induction on chain length and summing about terms prove the bound. This yields without assuming the Krull height theorem.