Intereting Posts

Difference between an isometric operator and a unitary operator on a Hilbert space
a.s. Convergence and Convergence in Probability
Equivalence of the definition of Adjoint Functors via Universal Morphisms and Unit-Counit
This sentence is false
Endomorphisms of $V$ and the dual space
Characteristic function of random variable $Z=XY$ where X and Y are independent non-standard normal random variables
A question concerning measurability of a function
If $d>1$ is a squarefree integer, show that $x^2 – dy^2 = c$ gives some bounds in terms of a fundamental solution.
The elliptic curve $y^2 = x^3 + 2015x – 2015$ over $\mathbb{Q}$
Why Cauchy's definition of infinitesimal is not widely used?
Prove that any shape 1 unit area can be placed on a tiled surface
Prob. 3 (b), Chap. 6, in Baby Rudin: If $\beta_j(x)=0$ if $x<0$ and $\beta_j(x)=1$ if $x>0$, then . . .
Prove limit of $\sum_{n=1}^\infty n/(2^n)$
Is this function injective and surjective?
Probability/Combinatorics Question

If $F$ is free group and $1 \neq x \in F$, then $C_F(x)$ is cyclic.

help me please!

- Let G be an abelian group, and let a∈G. For n≥1,let G := {x∈G:x^n =a}. Show that G is either empty or equal to αG := {αg : g ∈ G}…
- What is a conjugacy class of reflection?
- Yoneda-Lemma as generalization of Cayley`s theorem?
- The $p$-adic integers as a profinite group
- Matrix Group induction proof and order of elements question
- What does it mean for something to hold “up to isomorphism”?

- show that rational numbers with the multipiciation are not abelian finitely generated group
- Describing the Wreath product categorically.
- $p$-group and normalizer
- Prove that every element $S \in SO(n)$ is a product of even numbers of reflections
- Number of finite simple groups of given order is at most $2$ - is a classification-free proof possible?
- Relationship between $\operatorname{ord}(ab), \operatorname{ord}(a)$, and $\operatorname{ord}(b)$
- Can finite non-isomorphic groups of the same order have isomorphic endomorphism monoids?
- Prove that $Q_8 \not < \text{GL}_2(\mathbb{R})$
- Any finitely generated subgroup of $(\mathbb{Q},+)$ is cyclic.
- How to find the order of a group generated by two elements?

The subgroup $\langle x,C_F(x)\rangle$ is a subgroup of a free group, hence is free. The only free groups with nontrivial center are the free groups of ranks $0$ or $1$, and $x\neq 1$ is clearly central in $\langle x, C_F(x)\rangle$. Thus, $\langle x, C_F(x)\rangle$ is cyclic, hence its subgroup $C_f(x)$ is cyclic.

Here is a sketch of the proof:

If $F$ is a free group, then there exists a $S \subset F$ such that every element of $F$ can be written uniquely as a product of elements of $S$. Suppose $x \neq 1$. Then $x = (s_1…s_n)^k$ for some $n \geq 1$, $s_i \in S$, and $k$ chosen to be largest. Show that $C_F(x)$ is the cyclic group generated by $s_1…s_n$. Use the fact that everything in $F$ can be written uniquely as product of elements of $S$.

- Evaluating $\int_{0}^{1} dx\frac{\log(1+x)}{1 + x^2}$
- Why is the Riemann curvature tensor the technical expression of curvature?
- How should I think about what it means for a manifold to be orientable?
- Why are the differences between consecutive squares equal to the sequence of odd numbers?
- Lower bound on binomial coefficient
- Special Differential Equation (continued-2)
- Normality of a certain order of an algebraic number field
- Independence of increments of some processes
- How to find a linearly independent vector?
- Show that $(2^n-1)^{1/n}$ is irrational
- Derivative of $a^x$ from first principles
- Probs. 10 (a), (b), and (c), Chap. 6, in Baby Rudin: Holder's Inequality for Integrals
- Computing class group of $\mathbb Q(\sqrt{6})$
- $\epsilon$-$\delta$ limits of functions question
- Any $p + 1$ consecutive integers contain at least two invertible elements modulo $p!!$ if $p$ is odd