Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In reaction to discussion in this thread:
I have changed the relevant text in the entry now to the following:
Notice that the complex numbers have 2 distinct continuous automorphisms, given, over $\mathbb{R}$, by $e \mapsto \pm e$ (see at automorphism of the complex numbers).
On the other hand, the ring of dual numbers has a continuous automorphism $e \mapsto k e$ for each $k \in \mathbb{R} \setminus \{0\}$. But the latter space is homotopy equivalent to two points, corresponding to the connected components of, again, $e \mapsto \pm e$.
Maybe $e \mapsto \pm e$ are also the two non-trivial continuous automorphisms of the perplex numbers.
If that is the case, one could say that the Euler characteristic of the space of continuous automorphisms of each 2d hypercomplex number systems is 2. And maybe with a bit of handwaving towards groupoid cardinality one might summarize this in saying that there are 3/2 2d hypercomplex number systems.
Here I have added the qualifier “continuous” in order to rule out wild automorphisms of the complex numbers. This is not necessary if we demand the automorphism to be over $\mathbb{R}$, but maybe we don’t want to demand that here.
And given our experience here, I added some verbal scare quotes to the statement that the perplex numbers have precisely two (continuous?) automorphisms. Probably this is unnecessary, but I haven’t thought about it. If anyone has, please be invited to edit the entry and strengthen the statement.
1 to 2 of 2