# Q about the proof of periods of non-constant meromorphic functions

1. Jan 28, 2017

### binbagsss

1. The problem statement, all variables and given/known data

Theorem attached.

I know the theorem holds for a discrete subgroup of $C$ more generally, $C$ the complex plane, and that the set of periods of a non-constant meromorphic function are a discrete subset.

I have a question on part of the proof (showing the second type, integral muliples $nw$)

On proving the second case $\Omega$, the set of periods $\Omega = nw$ , $\Omega \neq \{0\}$ is considered and we show that exists $w_1 \in \Omega /\{0\}$ with the least value of $|w_1|$. A step of doing this in my text is, and this is my problem:

Since $\Omega$ is discrete, there is some $\epsilon > 0$ st for any disc $|z| < \epsilon$ contains no elements of $\Omega / \{0\}$, it follows that for any $w \in \Omega$, the disc $|z-w|< \epsilon$ contains no elements of $\Omega / \{w\}$.

I don't understand why/ how this follows from the fact that is a group, why this 'translation' is possible with the same radius $\epsilon$ follows from the fact it is a group?

No idea where to start, any help much appreciated, but my guess would be that the proof will depend on what the operation of the group is, but this isn't specified in the theorem? or is just assumed to be addition?

2. Relevant equations
see above

3. The attempt at a solution
see above

#### Attached Files:

• ###### comeonnow.png
File size:
16.8 KB
Views:
21
Last edited: Jan 28, 2017
2. Jan 31, 2017

### binbagsss

bumpp, thank you