Intereting Posts

Are linear combinations of powers of a matrix unique?
Find the LCM of 3 numbers given HCF of each 2.
invariant space and eigenvector
Proving the following number is real
Tensor product by UMP. Is this 'embeddable' in the theory of categories?
How find this $\sum\limits_{n=0}^{\infty}(-1)^{n}\left(\frac{1}{n+1}-\frac{1}{n+2}+\frac{1}{n+3}-\cdots\right)^{2}$
How to draw that graph?
Let $S=\{1,2,3,4,\dotsc,N\}$ and $X=\{ f: S \rightarrow S \mid x < y \Rightarrow f(x)\leqslant f(y)\}$. Then $|X|$ is equal to what?
How can we construct *Fine uniformities*?
Does $P(A\cap B) + P(A\cap B^c) = P(A)$?
Prove an identity in a Combinatorics method
Canonical map $R/(I\cap J)\rightarrow R/I\times _{R/(I+J)} R/J$ is an isomorphism
Testing Zeros Of The Riemann Hypothesis
If $A$ is a Dedekind domain and $I \subset A$ a non-zero ideal, then every ideal of $A/I$ is principal.
What's the connection between “hyperbolic” inner product spaces and the hyperbolic plane?

I’m trying to solve this for a problem and I need to know if what I have done is right:

Let $B$ be a torsion free abelian group. Then we consider the set $$A=\{(b,n):b\in B,n\in \mathbb Z,n\neq 0\}$$ and define

$$(b,n)\sim (a,m) \text{ iff } bm=an.$$

This yields an equivalence relation, now you can define addition of classes by $(b,n)+(a,m)=(am+bn,nm)$. Then $(A,+)$ is a torsion free abelian group and $B$ can be embedded into $(A,+)$, but also $(A,+)$ is divisible, so $(A,+)$ can be embedded in a direct sum of copies of $\mathbb Q$.

Thank you for your time.

- Inverting $a+b\sqrt{2}$ in the field $\Bbb Q(\sqrt{2})$
- Trying to Prove that $H=\langle a,b:a^{3}=b^{3}=(ab)^{3}=1\rangle$ is a Group of Infinite Order
- Proving a basic property of polynomial rings
- Characterize finite dimensional algebras without nilpotent elements
- Generators of a finitely generated free module over a commutative ring
- Presentation of group equal to trivial group

- When is a Dedekind group abelian?
- A subring of the field of fractions of a PID is a PID as well.
- Let $H$ be a normal subgroup of index $n$ in a group $G$. Show that for all $g \in G, g^n \in H$
- Proving that $S_n$ has order $n!$
- When is a divisible group a power of the multiplicative group of an algebraically closed field?
- How to describe all normal subgroups of the dihedral group Dn?
- Let $G$ be a finite group which has a total of no more than five subgroups. Prove that $G$ is abelian.
- Nice examples of groups which are not obviously groups
- A group of order $108$ has a proper normal subgroup of order $\geq 6$.
- Group Theory: Cyclic groups and Subgroup of Dihedrals, is my proof okay?

Here is an answer using tensor products, inspired in egreg’s comment above.

By corollary 4.27 in this expository article by Keith Conrad, the map $B\to B\otimes_\mathbb{Z} \mathbb{Q}$, $b\mapsto b\otimes 1$ is injective, since $B$ is torsion free. Now, the abelian group $B\otimes_\mathbb{Z} \mathbb{Q}$ has a $\mathbb{Q}$-vector space structure (it is the $\mathbb{Q}$-extension of scalars of $B$), hence it is isomorphic to a direct sum of copies of $\mathbb{Q}$.

- Does $\lim_{x \to 0+} \left(x\lfloor \frac{a}{x} \rfloor\right)=a?$
- How can I convert an axis-angle representation to a Euler angle representation
- Family of definite integrals involving Dedekind eta function of a complex argument, $\int_0^{\infty} \eta^k(ix)dx$
- Given a group $ G $, how many topological/Lie group structures does $ G $ have?
- Intersection of a properly nested sequence of convex sets , if nonempty and bounded , can never be open?
- Axiomatization of $\mathbb{Z}$
- Irreducible polynomials and affine variety
- Is this a correct use of the squeeze theorem?
- Set of Ideals of a Polynomial Ring
- Are Hilbert primes also Hilbert irreducible ? Furthermore, are Hilbert primes also primes in $\mathbb{ Z}$?
- Clarifying a comment of Serre
- Proof of rank-nullity via the first isomorphism theorem
- Show that there are infinitely many primes which are $\pm 1 \mod 5$
- How many directed graphs of size n are there where each vertex is the tail of exactly one edge?
- Euler's formula for tetrahedral mesh