Using Brian Sanderson's Pattern Recognition Algorithm (link) we readily see that the pattern below corresponds to the Wallpaper Group labelled p4m. This is just an infinite checkerboard of alternating black and white squares. Notice with this pattern that if we rotate the whole checkerboard by 90 degrees around the center of a square the plane is unchanged. Black squares are mapped to black squares and white squares are mapped to white squares. However, if we rotate the whole checkerboard by 90 degrees around the vertex of a square, black squares are mapped to white squares (and vice-versa). Is this a 'colour reversing symmetry'? If so, does it belong to the symmetries of p4m? Or does it belong to some larger group that includes both colour preserving and colour reversing symmetries? (As Frank Farris seems to be suggesting on page 123 of his book 'Creating Symmetry'). Notice however, that black and white squares are also reversed if we shift the whole checkerboard by one square (up/down or left/right), which suggests that the colour reversing symmetry is also a symmetry (because the plane is infinite and so shifts yield the same pattern). Now I'm confused. Can someone help me out? (By the way, I do understand that when defining the symmetry of a coloured wallpaper pattern in addition to having an isometry we also have a function that maps points to colours).
2026-03-28 04:11:21.1774671081
What exactly is a colour reversing symmetry of a wallpaper pattern?
42 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in FINITE-GROUPS
- List Conjugacy Classes in GAP?
- For a $G$ a finite subgroup of $\mathbb{GL}_2(\mathbb{R})$ of rank $3$, show that $f^2 = \textrm{Id}$ for all $f \in G$
- Assuming unitarity of arbitrary representations in proof of Schur's lemma
- existence of subgroups of finite abelian groups
- Online reference about semi-direct products in finite group theory?
- classify groups of order $p^2$ simple or not
- Show that for character $\chi$ of an Abelian group $G$ we have $[\chi; \chi] \ge \chi(1)$.
- The number of conjugacy classes of a finite group
- Properties of symmetric and alternating characters
- Finite group, How can I construct solution step-by-step.
Related Questions in PLANE-GEOMETRY
- Euclidean Fifth Postulate
- Line coordinates from plane intersection
- Properties of a eclipse on a rotated plane to see a perfect circle from the original plane view?
- Perfect Pascal Mysticum Points
- Intersection of a facet and a plane
- Proving formula to find area of triangle in coordinate geometry.
- Prove that the intersection of a cylinder and a plane forms an ellipse
- Rank of Matrix , Intersection of 3 planes
- Composite of two rotations with different centers
- Can a plane be perpendicular in two other planes if those planes are not parallel to each other?
Related Questions in SYMMETRY
- Do projective transforms preserve circle centres?
- Decomposing an arbitrary rank tensor into components with symmetries
- A closed manifold of negative Ricci curvature has no conformal vector fields
- Show, by means of an example, that the group of symmetries of a subset X of a Euclidean space is, in general, smaller than Sym(x).
- How many solutions are there if you draw 14 Crosses in a 6x6 Grid?
- Symmetry of the tetrahedron as a subgroup of the cube
- Number of unique integer coordinate points in an $n$- dimensional hyperbolic-edged tetrahedron
- The stretch factors of $A^T A$ are the eigenvalues of $A^T A$
- The square root of a positive semidefinite matrix
- Every conformal vector field on $\mathbb{R}^n$ is homothetic?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?

I agree that the term "wallpaper pattern" is usually tossed around without giving a rigorous definition, and this can lead to confusion. One workable definition is that it is a periodic function defined on the plane. The function may be real-valued if you wish to create gray-scale images or complex-valued if we wish to include color as Frank Faris does).
The color wheel can be modeled using the complex plane. Each point on the unit circle has a color or complex phase value associated to it, and radial distance inn the plane describes saturation. A colored wallpaper pattern is then a periodic function $f: {\mathbb R}^2\to {\mathbb C}$.
Within a given fundamental period parallelogram, a colored pattern may have additional color-reversing symmetries (quasi-symmetries). Such quasi-symmetries are Euclidean motions $g$ for which $ f(g(x)) = m(g) f(x)$ where the complex multiplier $m(g)$ represents a phase-shift that alters the color. Since iterates of $g$ correspond to repeated alterations of phase, the phase changes must be cyclic. Thus it turns out the multipliers take values on the unit circle $U$ in the complex plane. The group of quasi-symmetries is richer than the collection of true symmetries. (The true symmetry group is a subgroups of the group of quasi-symmetries.)
P.S. Since $f$ is periodic, it has two linearly independent fundamental period vectors. Taking $x,y$ to be coefficients of these basis vectors, we can WLOG assume that the fundamental period parallelogram is the unit square. Then $f$ can be expressed as a complex Fourier series in two variables: $f(x,y) = \sum_{j,k} c_{j,k} e^{ 2\pi i (k x+jy)}$. The frequency lattice $(j,k)$ carries a collection of complex-valued coefficients $c_{j,k}$ that uniquely determine $f$. Thus we can also regard the wallpaper pattern as an assignment of complex numbers on the frequency lattice. Frank Farris discusses in detail how affine motions acting in $(x,y)$ space such as $(x,y)\to (x',y')=(ax+by +t, cx+dy + s)$ manifest themselves as phase-change factors on the frequency lattice. The frequency-plane description sheds extra light on what possible discrete subgroups are possible. In particular one sees easily that e.g translation through a fraction of a full period must correspond to a phase shift through a fraction of the unit circle.