Skip to content

Instantly share code, notes, and snippets.

@benjamin-rood
Created March 19, 2016 22:55
Show Gist options
  • Save benjamin-rood/b6d9acd0cc0f15e49e48 to your computer and use it in GitHub Desktop.
Save benjamin-rood/b6d9acd0cc0f15e49e48 to your computer and use it in GitHub Desktop.
Math Snippet created with mathedit

Suppose $\langle a^{d_{1}} \rangle \leq \langle a^{d_{2}} \rangle$. Then

$$a^{d_{1}} = (a^{d_{2}})^{m} \textrm{, for some } m \in \mathbb{Z}$$

Thus

$$ a^{d_{1}-md_{2}} = e = \textrm{ identity.}$$

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment