Find an operation so that it makes $D^{2}=\{z\in \mathbb{C}\mid |z|<1\}$ a group.

Question

Let $D^{2}=\{z\in \mathbb{C}\mid |z|<1\}$. Find operation $\oplus: D^{2}\times D^{2}: \rightarrow D^{2}$ so that it makes $D^{2}$ a group.

I have already defined some operations but these don't verify associative property. For example, I defined $f(z)=\frac{z}{1+|z|}$ and I defined $z\oplus w:=f(f(z)+f(w))$, but they don't verify associative property.

Thanks, any help is appreciated.

Any element in $D^2$ can be written as $e^{ix}$. Define $f(x,y)=e^{i(x+y)}$. Maybe this would work. I didn't check the conditions. — Oğuzhan Kılıç, Oct 10 '22 at 14:13
Does this answer your question? A unique operation on a set that makes it a group — Anne Bauval, Oct 10 '22 at 14:23

score 3 · Answer 1 · answered Oct 10 '22 at 14:18

3

Choose any bijection $f:D^2\to\mathbb R^2$ (it may even be a diffeomorphism) and let $$z\oplus w:=f^{-1}(f(z)+f(w)).$$

answered Oct 10 '22 at 14:18

Anne Bauval

34,650

Find an operation so that it makes $D^{2}=\{z\in \mathbb{C}\mid |z|<1\}$ a group.

1 Answers1