Assertion: abelian group | /r/CapableOf | exist y ∈ g
Facets:
value: for every positive integer n
type: OTHER
Source sentences:
text: An abelian group ( G , + ) {\displaystyle (G,+)} is divisible if, for every positive integer n {\displaystyle n} and every g ∈ G {\displaystyle g\in G} , there exists y ∈ G {\displaystyle y\in G} such that n y = g {\displaystyle ny=g} .