Skip to main content
Commonmark migration
Source Link

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ modulo the relation that two sequences are deemed equivalent when their difference is $0$ almost everywhere. This space is the space of germs at $+\infty$ of sequences of integers. I think this is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as being the "number of turns" done at step $n$, the classical case being recovered from the stationary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any literature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it, or

    nothing specific/interesting can be said about it, or

  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself).

    it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself).

    So my question is: are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody know a classical reference which may help me in studying this object?

    Thanks in advance for your contributions.

So my question is: are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody know a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ modulo the relation that two sequences are deemed equivalent when their difference is $0$ almost everywhere. This space is the space of germs at $+\infty$ of sequences of integers. I think this is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as being the "number of turns" done at step $n$, the classical case being recovered from the stationary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any literature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it, or
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself).

So my question is: are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody know a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ modulo the relation that two sequences are deemed equivalent when their difference is $0$ almost everywhere. This space is the space of germs at $+\infty$ of sequences of integers. I think this is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as being the "number of turns" done at step $n$, the classical case being recovered from the stationary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any literature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it, or

  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself).

    So my question is: are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody know a classical reference which may help me in studying this object?

    Thanks in advance for your contributions.

Corrected grammar and spelling in several places, and added a tag.
Source Link
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ quotiented bymodulo the relation that two sequences are deemed equivalent when their difference is stationnary to $0$ almost everywhere. This space is the space of germs at $+\infty$ of sequencesequences of integers. I think itthis is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as beeingbeing the "number of turns" done at step $n$, the classical case being recovered from the stationnarystationary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any litteratureliterature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it, or
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself).

So my question is  : are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody has any pointer toknow a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ quotiented by the relation that two sequences are deemed equivalent when their difference is stationnary to $0$. This space is the space of germs at $+\infty$ of sequence of integers. I think it is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as beeing the "number of turns" done at step $n$, the classical case being recovered from the stationnary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any litterature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself)

So my question is  : are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody has any pointer to a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ modulo the relation that two sequences are deemed equivalent when their difference is $0$ almost everywhere. This space is the space of germs at $+\infty$ of sequences of integers. I think this is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as being the "number of turns" done at step $n$, the classical case being recovered from the stationary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any literature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it, or
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself).

So my question is: are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody know a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

added 45 characters in body
Source Link
Loïc Teyssier
  • 5.4k
  • 3
  • 27
  • 40

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ quotiented by the relation that two sequences are deemed equivalent when their difference is stationnary to $0$. This space is the space of germs at $+\infty$ of sequence of integers. I think it is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as beeing the "number of turns" done at step $n$, the classical case being recovered from the stationnary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any litterature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself)

So my question is : are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody has any pointer to a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ quotiented by the relation that two sequences are deemed equivalent when their difference is stationnary to $0$. This space is the space of germs at $+\infty$ of sequence of integers. I think it is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as beeing the "number of turns" done at step $n$, the classical case being recovered from the stationnary sequences. In that sense it is a completion of $\mathbb Z$. Yet I have not been able to find any litterature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself)

So my question is : are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody has any pointer to a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Consider the $\mathbb Z$-module $\mathcal Z$ obtained as the set of sequences of integers $\mathbb Z ^ \mathbb N$ quotiented by the relation that two sequences are deemed equivalent when their difference is stationnary to $0$. This space is the space of germs at $+\infty$ of sequence of integers. I think it is a quite natural object to study, as for instance it appears naturally when you try to generalize the notion of fundamental group of the circle when dealing with paths with a non-compact source space: imagine the value of $z_n$ as beeing the "number of turns" done at step $n$, the classical case being recovered from the stationnary sequences. In that sense it is a completion of $\mathbb Z$ with a rich structure in the non-finite part. Yet I have not been able to find any litterature regarding this object. This may be so because either

  • nothing specific/interesting can be said about it
  • it is an obvious/trivial example of some algebraic concept I'm unaware of (I'm no algebraist myself)

So my question is : are the basic properties of this module known/interesting? For instance, is it a free module? Does anybody has any pointer to a classical reference which may help me in studying this object?

Thanks in advance for your contributions.

Source Link
Loïc Teyssier
  • 5.4k
  • 3
  • 27
  • 40
Loading