5
$\begingroup$

A group $\mathbb{G}$ is called rational (https://groupprops.subwiki.org/wiki/Rational_group) if $g,g' \in \mathbb{G}, \langle g \rangle = \langle g' \rangle \Rightarrow \exists x \in \mathbb{G}: xgx^{-1} = g'$.

I followed, that $\mathbb{Z}$ is not rational, because e.g. $\langle 2 \rangle = \langle -2 \rangle$, but $x+2+(-x)=2 \neq -2$.

On the other hand, I am reading a paper, saying 'a group X is called rational if it is isomorphic to a subgroup of the group of rationals $\mathbb{Q}$', and this would imply that $\mathbb{Z}$ is rational.

Are the defintions misleading or is something wrong with my conclusions?

$\endgroup$
0

2 Answers 2

3
$\begingroup$

Not all definitions are standard. Definitions may vary depending on the text book or author (for example: how many definitions of continuity we already have? they are not always equivalent). Rational group can be one of them (after all the term is not widely popular). Check the paper for the definition.

Side note: according to the first definition if an abelian group is rational then every element has to be of order $2$. That follows because if $g\in A$ is of order greater than $2$ then the Euler totient function tells us that there is some other power of $g$ that generates $\langle g\rangle$. And that element cannot be conjugate to $g$ because $A$ is abelian. In particular abelian rational groups are vector spaces over $\mathbb{Z}_2$ and therefore are of the form $\bigoplus \mathbb{Z}_2$ and indeed every such group is rational.

$\endgroup$
1
  • $\begingroup$ The provided link says 'This article defines a term that has been used or referenced in a journal article or standard publication, but may not be generally accepted by the mathematical community as a standard term.'. And thank You for the side note! $\endgroup$
    – marius
    Commented Mar 5, 2019 at 11:54
2
$\begingroup$

These must be two unrelated definitions. After all, since $\mathbb{Q}$ is abelian, every conjugation moves no elements.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .