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 .

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact