sub-tori of a torus, generated by 1-dimensional subgroup Ok the question is pretty dumb: suppose you have a torus $T^n=\mathbb{R}^n/\mathbb{Z}^n$ and a vector $\bar{v}=(v_1,\ldots,v_n)\in\mathbb{R}^n$.
Consider the torus $T_{\bar{v}}$ given by the closure of the one parameter group in $T^n$ generated by $\bar{v}$:
$T_{\bar{v}}=\overline{ \{t\cdot\bar{v}\mod\mathbb{Z}^n|\phantom{a}t\in\mathbb{R}\}}$
My questions are:


*

*what is the dimension of $T_{\bar{v}}$?

*How can i find a basis of vectors spanning the tangent space of $T_{\bar{v}}$ at the origin?


My guess for question 1. is $\dim T_{\bar{v}}=\dim_{\mathbb{Q}}\langle v_1,\ldots, v_n\rangle$, but i don't know what the answer to question 2. can be.
Thanks!
 A: The key to solving both problems is the use of the following two facts: 1) Any
closed subgroup of $T^n$ is the intersection of the kernels of characters of
$T^n$, i.e., continuous group homomorphisms $T^n \rightarrow S^1$. 2) Any
continuous homomorphism $T^n \rightarrow S^1$ is of the form $(\overline
x)\mapsto e^{2\pi i x\cdot m}$ for a unique $m\in\mathbb Z^n$. Hence, the
closure of $T_{\overline \nu}$ is the intersection of the kernels of the
characters corresponding to $m$ for which $\nu\cdot m\in\mathbb Z$. Picking a
basis $m_1,\dots,m_k$ of the group of such $m$ gives a surjection $T^n
\rightarrow T^k$ for which $T_{\overline\nu}$ is the kernel ($T_\nu$ is not
necessarily a torus as it might not be connected but it doesn't change
anything). By the above this map is just given by an $n\times k$ integer matrix
specified by $m_1,\dots,m_k$. The tangent map at the origin is then obtained by
regarding this matrix as a real matrix and thus the tangent space of
$T_{\overline \nu}$ is the null space of this matrix.
In particular this gives that the dimension of $T_{\overline \nu}$ is equal to
$\dim_{\mathbb Q}\langle1,\nu_1,\nu_2,\ldots,\nu_n\rangle -1$. This is off by one
from your guess if $1$ is in the span of of the $\nu_i$ but equal to it if it isn't.
[[Added]]
I misread the question and the above is for the closed subgroup generated by $\overline\nu$ while the question was about the closure of the $1$-parameter subgroup generated by it. To answer the question everything works the same only the condition is that $r\nu\cdot m\in\mathbb Z$ for all real $r$ which gives $\nu\cdot m=0$ and indeed the dimension is $\dim_{\mathbb Q}\langle\nu_1,\nu_2,\ldots,\nu_n\rangle $.
