Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 17th 2012
    • (edited Oct 17th 2012)

    have now spelled out at Tor in simple terms how Tor 1 Ab(A,B)Tor_1^{Ab}(A,B) is a torsion group, so far for the case that AA is finite.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 17th 2012

    filled in the remaining details or else pointers to details in other nnLab entries at Tor – respect for direct sums and filtered colimits

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2012

    spelled out at Existence and balancing that deriving the tensor product in the left argument yields the same result as deriving in the right argument (using the spectral sequence of the tensor product of two resolutions).

  1. Add an explicit computation of Tor_1 of cyclic modules. Make explicit computations its own section.

    Damien Lejay

    diff, v30, current

  2. Add a subsection of torsion submodules in general. Modify the subsection on abelian groups accordingly.

    Damien Lejay

    diff, v31, current

  3. Add the case R/(π) with π idempotent.

    Damien Lejay

    diff, v32, current