# Tagged Questions

Questions about symmetry, in group theory, geometry or elsewhere in mathematics. See https://en.wikipedia.org/wiki/Symmetry

7k views

### Symmetry of function defined by integral

Define a function $f(\alpha, \beta)$, $\alpha \in (-1,1)$, $\beta \in (-1,1)$ as $$f(\alpha, \beta) = \int_0^{\infty} dx \: \frac{x^{\alpha}}{1+2 x \cos{(\pi \beta)} + x^2}$$ One can use, for ...
12k views

### Proving that 1- and 2-d simple symmetric random walks return to the origin with probability 1

How does one prove that a simple (steps of length $1$ in directions parallel to the axes) symmetric (each possible direction is equally likely) random walk in $1$ or $2$ dimensions returns to the ...
586 views

### Penrose's remark on impossible figures

I'd like to think that I understand symmetry groups. I know what the elements of a symmetry group are - they are transformations that preserve an object or its relevant features - and I know what the ...
329 views

### Why is this definite integral antisymmetric in $s\mapsto s^{-1}$?

I recently happened into the following integral identity, valid for positive $s>0$: $$\int_0^1 \log\left[x^s+(1-x)^{s}\right]\frac{dx}{x}=-\frac{\pi^2}{12}\left(s-\frac{1}{s}\right).$$ The ...
521 views

### Why does Group Theory not come in here?

Here is a list of questions that I find quite similar, for the one and only reason that they all show much "symmetry". Which is at the same time my problem, because I don't have a very precise notion ...
197 views

### slick way of transforming an integral?

The function $$(\alpha,\beta) \mapsto \int_0^\beta \frac{\sin\alpha\,d\zeta}{1+\cos\alpha\cos\zeta}$$ is a symmetric function of $\alpha$ and $\beta$. But I don't know a simpler way to see that ...
1k views

### What's so special about the group axioms?

I've only just begun studying group theory (up to Lagrange) following on from vector spaces and I am still finding them almost frustratingly arbitrary. I'm not sure what exactly it is about the ...
774 views

### Definition of group action

I'm currently taking a class in abstract algebra, and the textbook we are using is Ted Shifrin's Abstract Algebra: A Geometric Approach. In the chapter on group actions and symmetry, he defines a ...
670 views

129 views

### Space of arbitrary rotations of a cube

Suppose I have a cube $[-1,1]^3\subset\mathbb{R}^3$. I am allowed to rotate it about any angle/axis through the origin rather than just $90^\circ$ about the coordinate axes, e.g., by applying ...
205 views

### Why is reflection in a plane an automorphism?

I have not studied group theory, but would like to know in simple terms why reflection in a plane is an automorphism. Dr. Hermann Weyl gives the definition of automorphism in his book 'symmetry' as ...
114 views

84 views

### Why this definition for “symmetry transformation”?

This question concerns section 8.5.1 in these notes: I don't understand why a symmetry transformation is defined as such. What implications is there if $\delta \mathcal L$ is a total derivative?...
264 views

### Magic theorem for cylinders? Symmetry classes according to Conway's notation?

My teacher Kirsi of Mat-1.3000 in Aalto University stated 17 symmetry classes for planes and 14 for spherical things (some lecture slides here). She used Conway Thurston's notation to classify ...
45 views

### Is this 2-tensor symmetric? It satisfies these conditions

I have some scalar field $p$ and a 2nd order tensor $\textbf{T}$ such that $div( \ \textbf{T} \ \textbf{grad}(p) \ )=0$ $\textbf{curl}(\ \textbf{T} \ \textbf{grad}(p) \ )=\textbf{0}$ $\textbf{T}$ ...
69 views

### Extend isometry on some cube vertices to the entire cube

Let $K\subset V=\{-1,1\}^n$ be a set of vertices of the $n$-dimensional hypercube $D=[-1,+1]^n$ and let $f:K\to V$ be an isometry with respect to the Euclidean metric inherited from $\mathbb R^n.$ We ...
81 views

### Points on a 2D plane spanned by a turtle graphics system

Suppose you have a turtle graphics system with a set "turning angle" $\delta$, in which the turtle can execute three commands: $F$: Go forward, by unit length, in the current direction. (The initial ...
273 views

### Walks of Even Length on a Bipartite Graph

Given a random walk on a simple $d$-regular bipartite graph $G$. The adjacency matrix $A'$ of $G$ may be split into blocks $$A'=\pmatrix{ 0 &A^T\\ A&0 },$$ The propagation operator $M=A'/d$ ...
93 views

### Symmetric Icon Fractals

I have always been fascinated by fractals. But most of all I like the Symmetric Icon fractals. There is a nice book about these fractals, written by Michael Field, called Symmetry in Chaos. I'm ...
190 views

### Symbols to represent each distinct symmetry of polyhedra

Is there a pictorial or symbolic way to represent each distinct symmetry of a polyhedron?
108 views

### Automorphisms of a structure as a powerful tool for studying the structure

This is just an arbitrary testimony of an often repeated slogan: "The group of automorphisms of a given structure is often a powerful tool for studying this structure." D. Lascar, On the ...
74 views

### All-Russian Olympiad question (sum of symmetrical functions)

(All-Russian Olympiad, $1995$, $11^{th}$ Graders, Final Round) Prove that every real function, defined on all of $\mathbb R$, can be represented as a sum of two functions each of which has a vertical ...
46 views

### How can we assume that the all parabolas in the form 'ax^2 + bx +c' are symmetrical?

So I was reading an answer to a question pertaining to the derivation of the line of symmetry. It reads as follows: The vertex occurs on the vertical line of symmetry, which is not affected by ...
97 views

### Realizing $\mathbb{Z}/n \mathbb{Z} \oplus \mathbb{Z}/n\mathbb{Z}$ as an isometry group

Every finite group arises as the isometry group of a subspace of an euclidean space (Albertsona, Boutin, Realizing Finite Groups in Euclidean Space). What are natural examples of spaces realizing the ...
I have a problem that I would like to check my work on. I am also stuck on the verifications for $E$ and $F$. Any help would be greatly appreciated. Thanks in advance. Problem statement: Let $G$ be ...
Let $f(x) = x^{2}$, so $f(x)$ is an upward symmetric parabola. It is a perfectly symmetric function since $f(x) = f(-x)$ for any value of $x$. Now, suppose $f$ is just some function. How would one ...