In the integer basis , direct substitution gives . Therefore
The first two basis coordinates disappear in the quotient and the third is taken modulo eighteen. Equivalently the Smith normal form has diagonal entries .
The matrix with rows has determinant
Its inverse has integer entries by the adjugate formula, so these rows form an integer basis of . The unimodular basis test for an integer direct summand now gives
Thus is a direct summand, with the displayed complement. This proves integral splitting, not just real or rational linear independence.
A proper finite-index subgroup of a torsion-free group cannot be a direct summand when the complement is a subgroup of that same free abelian group. Indeed, if , every has because the quotient has order eighteen. But also , so by the trivial intersection. The ambient group is torsion-free, forcing and hence . This would give , contrary to index eighteen. Thus is not a direct summand.
Put the generators into the rows of the integer matrix
Its determinant is . A full-rank integer lattice generated by its rows has index equal to the absolute determinant, hence
For a direct verification, form a unimodular basis because their row determinant is , and . In these integer coordinates , visibly leaving eighteen cosets.
An example in dimension four is
Both are invertible, so each has rank four. Both have characteristic polynomial , and each has minimal polynomial , since its nonzero nilpotent part squares to zero. However and . If , then , which would preserve these ranks. The contradiction proves that the matrices are not similar, despite all three specified invariants agreeing.
Take a size-three Jordan block at one and a scalar block at three:
Triangularity gives . On the first block, is zero but is not; on the last component the eigenvalue is three. Thus both factors with exactly those powers are needed, and their product annihilates . Its minimal polynomial is therefore also .
Let be the monic minimal polynomial. The Cayley-Hamilton theorem says . Divide by ; its remainder also annihilates , and a nonzero remainder of smaller degree would contradict minimality. Thus divides .
Every characteristic root is an eigenvalue, with a nonzero eigenvector . Since , it must be a root of the minimal polynomial as well. This proves there are no possibilities beyond
Every such choice really occurs. For each , take one Jordan block of size at , together with scalar blocks at that eigenvalue, and form their direct sum. The characteristic polynomial has the prescribed multiplicities. The nilpotent part of a block of size has its th power zero and its st power nonzero, so this component's minimal exponent is exactly . A polynomial annihilates the direct sum precisely when it annihilates every component, establishing the displayed minimal polynomial without any extra restrictions.
There is a small defect in the printed definition: the listed family omits and is not a topology, since . We use the intended upper-ray topology on the real line, obtained by adjoining to that family.
Take . For every real ,
has finite complement and is therefore open in the cofinite topology. The inverse images of the empty set and the whole line are also open. Hence this nonconstant function is a continuous map for the corrected upper-ray topology on the real line. The same inverse-image calculation verifies the condition for every ray literally listed in the question.
Any two nonempty open sets in the cofinite topology on intersect: their complements have finite union, which cannot exhaust . Thus this is a hyperconnected space. Suppose a continuous map took two distinct values and . The usual real line is a Hausdorff space, so there are disjoint open intervals and containing and . Their inverse images under the continuous map are disjoint, nonempty open sets, contradicting hyperconnectedness. Every such is constant.
The weighted binary-sequence metric is finite because . It is symmetric and nonnegative. If , every nonnegative summand is zero, so every coordinate agrees; conversely agreement makes the sum zero. For three sequences, apply in each coordinate and sum. This proves the triangle inequality, so is a metric.
If two sequences differ in one of their first coordinates, their distance is at least . Thus the open ball is contained in . For every , the latter cylinder equals , so each cylinder set is open in the metric topology. Every set in the specified topology, being a union of cylinder sets, is therefore metric-open.
Conversely, agreement in the first coordinates gives
Given a metric-open set containing , choose a ball inside it, then choose with . The bound gives , establishing the required prefix-neighbourhood condition. The two topologies coincide. The strict inequality avoids incorrectly treating the closed tail bound as a strict ball bound.
For a sequence , let be its prefix cylinder set, consisting of sequences agreeing with in the first coordinates. The specified collection consists exactly of unions of such cylinder sets.
The empty set meets the defining condition vacuously, and meets it because every cylinder set is contained in . For a union , a point lies in one and has a prefix cylinder set contained in that set, hence contained in the union. For a finite intersection, a point has a cylinder neighbourhood in every constituent. Taking the largest of the finitely many prefix lengths gives one cylinder set contained in all of them. Therefore the collection contains the empty and whole sets, is closed under arbitrary unions and finite intersections, and is a topology on , the prefix topology of Cantor space.
Factor the denominator as . Near zero,
so zero is a double pole with residue zero. At the poles are simple and the denominator derivative is . Therefore
These are all the poles.
The finite geometric series gives , so the pointwise limit is . The error is , unbounded as for every fixed . Thus convergence is not uniform on . It is uniform on any smaller interval bounded away from one, since the error is at most for .
For every fixed , , so the pointwise limit is zero. But for every , since can approach zero. Hence convergence is not uniform. For an explicit moving-point test take for , which gives .
At every fixed , . Moreover . Thus the pointwise limit is zero and convergence is uniform.
An irreducible Markov chain has the property that for every pair of states there is an integer with . Equivalently every state can reach every other state along a finite path of positive-probability transitions.
Write . Reduction of the other integer congruence modulo gives . The Bézout's identity gives , so . Consequently,
Indeed, . The Chinese remainder theorem guarantees one class modulo , since the two moduli are coprime.
Divide the linear congruence by the common factor , also dividing its modulus:
The Bézout's identity from part (a) makes the inverse of modulo . Multiplication by therefore gives . Thus all integer solutions are . Equivalently, the three solution classes modulo are ; using modulus must not discard two of these classes.
The Euclidean algorithm gives
Back substitution produces the Bézout's identity
Hence a positive integer solution is . More generally, subtracting this identity from any other solution shows . Since and are coprime, the integer solutions are , ; both are positive precisely when .

There are unlisted articles, also show them or only show them.