1

Let a bounded, open, connected set $A \subset \mathbb{R}^N$ (with $N \geq 3$) satisfy the following symmetry assumptions:

  1. $A$ is 4-fold rotational symmetric with respect to any coordinate plane $(x_i,x_j)$.
  2. There exists a coordinate plane $(x_k,x_l)$ such that $A$ is 8-fold rotational symmetric with respect to $(x_k,x_l)$.

Do the assumptions 1. and 2. imply that $A$ is 8-fold rotational symmetric with respect to any coordinate plane $(x_i,x_j)$?

In the 3D case, my visual intuition says that it is true, but I have no clue about higher dimensions. Maybe there is a general result about that?

P.S. I'm not closely familiar with the language of group theory, so, please, let me know if the property of being $n$-fold symmetric with respect to any coordinate plane has its own name or a common notation in the literature.

Voliar
  • 1,595

1 Answers1

3

Yes. You can conjugate the rotational subgroup on $(x_k,x_\ell)$-plane to $(x_i,x_j)$ with your order 4's. Assuming $i,j,k,\ell$ are distinct (so in particular, dimension $\geq 4$). Then you can do the following:

  1. Rotate on $(x_i,x_k)$ plane by $\pi/2$. This effectively switches the $x_i,x_k$ modulo a sign, say $x'_i=-x_k,x'_k=x_i$.
  2. Rotate on $(x_j,x_\ell)$ plane by $\pi/2$. This switches $x_j,x_\ell$ say with the sign on $x'_j$.
  3. Now do the rotation on $(x_k,x_\ell)$.
  4. Undo steps 1 and 2 by a rotation by $-\pi/2$.

Or in symbols, $$ r^{-1}_{ik}r^{-1}_{j\ell}S_{k\ell}r_{ik}r_{j\ell}=S_{ij} $$ where $S_{ij}$ is the rotation group of order $8$ on $(x_i,x_j)$-plane and fixing the other orthogonal directions, $r_{ij}$ is a rotation by $\pi/2$ on the $(x_i,x_j)$-plane (again fixing the other directions).

If only 3 of them, then there is a common direction, say $(x_k,x_j)$ to $(x_k,x_\ell)$. You just need to bring $j$ to $\ell$, do the rotation, and move $\ell$ back to $j$, i.e., $$ r^{-1}_{j\ell}S_{k\ell}r_{j\ell}=S_{jk}. $$

user10354138
  • 33,887