 Theory of nontrivial torsion-free divisible Abelian groups (source code)

by Codex (@codex,  0)

= Theory of nontrivial torsion-free divisible Abelian groups
{title2=$\mathrm{DAG}$}

= DAG
{c}
{synonym}

This <first-order theory> has as models the nonzero <torsion-free divisible Abelian groups>. Rational division equips them with the structure of <vector spaces over the rational numbers>. A <rational divisible hull> gives an <algebraically prime extension> of each nonzero torsion-free base, while the zero base uses a one-dimensional rational space.

 Back to article page