Intereting Posts

Running in the rain, good or bad idea?
For two vectors $a$ and $b$, why does $\cos(θ)$ equal the dot product of $a$ and $b$ divided by the product of the vectors' magnitudes?
Is cantor set homeomorphic to the unit interval?
Maximum principle – bounds on solution to heat equation with complicated b.c.'s
A complex algebraic variety which is connected in the usual topology
Reducibility of $P(X^2)$
Krull dimension of quotient by principal ideal
Intuitive explanation of a definition of the Fisher information
Probability of being same birthday of at least three people
How to calculate a decimal power of a number
Ellipsoid but not quite
Definition of e
How to approach solving $\int_0^{\pi/2} \ln(a^2 \cos^2 x +b^2 \sin^2 x ) dx$
Proving $\lfloor 2x \rfloor = \lfloor x \rfloor + \lfloor x+0.5\rfloor$
Closed form for $_2F_1\left(\frac12,\frac23;\,\frac32;\,\frac{8\,\sqrt{11}\,i-5}{27}\right)$

If $G = \langle g_1 , g_2 , \ldots \mid r_i (g_1 , g_2 , \ldots ) = 1 \rangle $ is a group presentation, then is it the case that $\langle g_1^{-1} , g_2^{-1} , \ldots \mid r_i (g_1^{-1} , g_2^{-1} , \ldots ) = 1 \rangle $ is also a group presentation for $G$?

- Let $(G,*)$ be a group and $g$ be a fixed element of $G$. Prove that $G=\{g*x \mid x \in G\}$
- Action of a group on itself by conjugation is faithful $\iff$ trivial center
- The group of $k$-automorphisms of $k]$, $k$ is a field
- Prove or disprove: $(\mathbb{Q}, +)$ is isomorphic to $(\mathbb{Z} \times \mathbb{Z}, +)$?
- Does someone know why raising the element of a group to the power of the order of the group yields the identity?
- Finite Groups with a subgroup of every possible index
- If $G/N$ and $H/N$ are isomorphic, does it imply $G$ and $H$ are isomorphic?
- Prove that $N$ is normal
- Complex numbers modulo integers
- “Semidirect product” of graphs?

Formally, in a group presentation $\langle x_1,\ldots,x_n \mid r_1, \ldots ,r_m \rangle$, the symbols $x_i$ on the left are not group elements, they are just abstract symbols that map onto group elements in the group defined by the presentation.

So, when you change $\langle g_1,g_2,\ldots \mid r_i(g_j) \rangle $ to $\langle g_1^{-1},g_2^{-1},\ldots \mid r_i(g_j^{-1}) \rangle$, you are not changing the group at all, you are just changing the symbols used. Just like $\langle a,b \mid a^2,b^3 \rangle$ defines the same (or isomorphic) group as $\langle c,d \mid c^2,d^3 \rangle$.

On the other hand $g_1^{-1}$ seems a very strange choice for a symbol! You would have to write its inverse as $(g_1^{-1})^{-1}$. I guess it would be even more confusing if you decided to call a generator $x^2$.

If $G\cong \langle X; \mathbf{r}\rangle$ is a presentation for $G$ and $\phi\in \operatorname{Aut}(X)$ is a Nielsen transformation then $\langle X; \mathbf{r}\phi\rangle$ is also a presentation for $G$ (here, $\mathbf{r}\phi=\{R\phi: R\in\mathbf{r}\}$). As $x\mapsto x^{-1}$ for all $x\in X$ is a Nielsen transformation, this answers your question.

Interestingly, if $G\cong \langle a, b; R(a, b)^n\rangle$ and $n>1$, so $G$ is a two-generator, one-realtor group and the relator is a proper power, then (assuming $G\not\cong \mathbb{Z}\ast C_n$) $\langle x, y; S(x, y)^m\rangle$ is a presentation for $G$ if and only if $n=m$ and there exists a Nielsen transformation of $x, y$, $\phi$ say, such that $R(x, y)=S(x, y)$. That is, you do not need any more Tietze transformations other than the basic Nielsen ones!

Another related topic is the Andrews-Curtin conjecture. This conjectures that if $\langle X; \mathbf{r}\rangle=\langle x_1, x_2,

\ldots, x_n; R_1, R_2, \ldots, R_n\rangle$ is a *balanced* presentation (that is, $|X|=|\mathbf{r}|<\infty$) then there exists a Nielsen transformation of $X$, $\phi$ say, such that $R_i\phi\equiv x_i$. I believe it is commonly thought to be false, but is a rather important conjecture, with connections to knot theory and other fancy stuff.

If the $g_i$’s have the same interpretation in both presentations, you can deduce the presentation $\langle g_1^{-1},g_2^{-1},… \mid r_i(g_1^{-1},g_2^{-1},…)=1 \rangle$ from $\langle g_1, g_2,… \mid r_i(g_1,g_2,…)=1 \rangle$ using Tietze transformations.

- Proving that a polynomial is not solvable by radicals.
- Integral of $ 1 \, / \, (1 + a \, \cos(x) )$
- What is definability in First-Order Logic?
- Evaluation of $\sum_{x=0}^\infty e^{-x^2}$
- Nice examples of groups which are not obviously groups
- If $x_{m+n} \le x_n+x_m$, then $\lim x_n/n$ exists and is equal to $\inf x_n/n$
- Using multivariate hypergeometric distribution to compute probability of multiple events
- If $f$ is a positive, monotone decreasing function, prove that $\int_0^1xf(x)^2dx \int_0^1f(x)dx\le \int_0^1f(x)^2dx \int_0^1xf(x)dx$
- Show that $\sum\limits_{i=0}^{n/2} {n-i\choose i}2^i = \frac13(2^{n+1}+(-1)^n)$
- Primes in Gaussian Integers
- A Tough Problem about Residue
- Work to pump water from a cylindrical tank
- Show that the zero set of $f$ is an orientable submanifold of $\Bbb R^{n+1}$.
- rank of the free group: $\mathrm{rank} F_X=|X|$
- Trace and Norm of a separable extension.