Intereting Posts

Irreducible polynomial of $\mathrm{GF}(2^{16})$
Weierstrass M-Test
How to prove $C_1 \|x\|_\infty \leq \|x\| \leq C_2 \|x\|_\infty$?
Most Efficient Method to Find Roots of Polynomial
Proving that a particular restriction of a projection is a quotient map
Frattini subgroup of a finite group
For which natural numbers $n$ is $\sqrt n$ irrational? How would you prove your answer?
Set of prime numbers and subrings of the rationals
Can someone explain the ABC conjecture to me?
Prove that if $A$ is compact and $B$ is closed and $A\cap B = \emptyset$ then $\text{dist}(A,B) > 0$
An Identity for Pell-numbers
Galois Groups of Finite Extensions of Fixed Fields
Proving pointwise convergence of series of functions
Homotopy invariance of the Picard group
Mathematical proof for long-term behavior of a sequence of integer vectors

Let G be a group of order $729$.

$729 = 3^6$ so by Sylow’s Theorem G has a Sylow $3$-subgroup of order $729$. And there are $x$ of them. $r \equiv 1 \pmod 3$ and $r\ |\ 1$. So $x=1$? Is this correct?

- Let f be an r-cycle in $S_n$. Given any $h \in S_n$, show that $hfh^{-1} = (h(x_1), h(x_2), \dots, h(x_r))$
- Odd/Even Permutations
- Why are two permutations conjugate iff they have the same cycle structure?
- Show that $\langle 2,x \rangle$ is not a principal ideal in $\mathbb Z $
- Counterexample: $G \times K \cong H \times K \implies G \cong H$
- Is $SL_n(\mathbb{R})$ a normal subgroup in $GL_n(\mathbb{R})$?

- Finding all invertible elements of $S^{-1}D$, $D$ is a Noetherian integral domain
- If R and S are rings then $R \times S$ is never a field
- If $\phi(g)=g^3$ is a homomorphism and $3 \nmid |G|$, $G$ is abelian.
- Symmetric groups on sets with the same number of elements are isomorphic
- Order of general- and special linear groups over finite fields.
- Does a non-abelian semigroup without identity exist?
- Describe all $p^{n}$ (in terms of congruence conditions of $p$ and $n$) for which $x^{2}+1$ irreducible over $\mathbb{F}_{p^{n}}$.
- For $N\unlhd G$ , with $C_G(N)\subset N$ we have $G/N$ is abelian
- Intermediate fields between $\mathbb{Z}_2 (\sqrt{x},\sqrt{y})$ and $\mathbb{Z}_2 (x,y)$
- Algebraic closure for $\mathbb{Q}$ or $\mathbb{F}_p$ without Choice?

Firstly, Egreg’s answer is solid; I will use slightly different notation here that you may find easier to understand:

Let G be a group, with $|G| = 729 = 3^{6}$.

Let G act on itself under the conjugation action. We want to try and show that the centre of G, $Z(G)$, is a non-trivial normal subgroup of G. We already know that it is normal, so we just need to show that it is non-trivial.

First, note that all of the conjugacy classes $Cl_{G}(g)$ of G partition G, since they are either equal or disjoint. So, if there are $m\geq 1$ distinct conjugacy classes, then

\begin{align*}

G = Cl_{G}(g_{1}) \cup Cl_{G}(g_{2}) \cup \dots \cup Cl_{G}(g_{m}).

\end{align*}

Now, $g \in Z(G) \iff Cl_{G}(g) = \left \{ g \right \}$.

So, $Z(G) = \bigcup_{\left | Cl_{G}(g) \right |=1}Cl_{G}(g)$, which is the union of all conjugacy classes of size 1.

So, we can now say that there are $n$ distinct conjugacy classes of size at least 2, where $1 \leq n \leq m$, and

\begin{align*}

& G = Z(G) \cup Cl_{G}(g_{1}) \cup Cl_{G}(g_{2}) \cup \dots \cup Cl_{G}(g_{n}) \\

\Rightarrow & \left | G \right | = \left | Z(G) \right | + \left | Cl_{G}(g_{1}) \right | + \dots + \left | Cl_{G}(g_{n}) \right |.

\end{align*}

By the Orbit-Stabiliser theorem,

\begin{align*}

\left | Cl_{G}(g) \right | = \frac{\left | G \right |}{\left | C_{G}(g) \right |} \\

\Rightarrow \left | Cl_{G}(g) \right | \big| \left | G \right|, \forall g \in G.

\end{align*}

Since we now have that $\left | Cl_{G}(g) \right | \geq 2$, then $\left | Cl_{G}(g) \right | \in \{ 3, 3^{2}, 3^{3}, 3^{4}, 3^{5} \}$.

( Note that $\left | Cl_{G}(g) \right | < 3^{6} = \left| G \right|, \forall g \in G$, since $\left | Z(G) \right | \geq 1$ ).

For each of the n distinct conjugacy classes, if we denote the size of the $i^{th}$ class as $3^{x_{i}}$, then

\begin{align*}

\left | G \right | = \left | Z(G) \right | + 3^{x_{1}} + \dots + 3^{x_{n}} = 3^{6} \\

\iff \left | Z(G) \right | = 3^{6} – \left( 3^{x_{1}} + \dots + 3^{x_{n}} \right)

\end{align*}

Now,

\begin{align*}

3 \big| 3^{6} – \left( 3^{x_{1}} + \dots + 3^{x_{n}} \right) & \iff 3 \big| \left | Z(G) \right| \\

& \iff \left | Z(G) \right| \geq 3

\end{align*}

$\Rightarrow Z(G)$ is non trivial.

Thus, we have shown that $Z(G)$ is non-trivial, and we know that $Z(G)$ is a normal subgroup of $G$. If $Z(G) \neq G$, then $Z(G)$ is a proper non-trivial normal subgroup of $G$, so $G$ is not simple.

Suppose that $Z(G) = G$. Then $G$ is abelian. There is a theorem (this can be easily proved) stating that a simple abelian group is cyclic of prime order. If $G$ is simple, then $G$ is a simple abelian group, and thus cyclic of prime order. But $\lvert G \rvert = 3^{6}$, which is not prime. Thus, G is not simple.

Therefore, we can conclude that G cannot be simple.

This is a special case of a general theorem that says a finite $p$-group has non trivial center. A $p$-group is a group with order $p^n$, for a prime $p$.

Consider the equivalence relation $x\sim y$ if and only if there exists $g\in G$ such that $y=gxg^{-1}$.

The elements $x$ which satisfy $[x]_{\sim}=\{x\}$ are those in the center $Z(G)$, because this means $gx=xg$ for all $g\in G$. Now show that, for any $x$, $|[x]_{\sim}|$ divides $|G|$.

Hint: set $C_G(x)=\{g\in G: gx=xg\}$, show it is a subgroup and that

$$

|[x]_{\sim}|=\frac{|G|}{|C_G(x)|}

$$

Now apply this to your case: take a representative for each equivalence class with more than one element; say they are $x_1,x_2,\dots,x_r$ and set $|[x_i]_{\sim}|=p^{k_i}$, with $k_i>0$. Then

$$

|G|=|Z(G)|+p^{n_1}+\dots+p^{n_r}=p^n

$$

so $p$ divides $|Z(G)|$. Since $Z(G)$ is normal in $G$, in particular $G$ is not simple.

Let $G$ be a group of order $p^n$ where $p>2$ is a prime and $n\ge 2$. Then by Sylow’s First Theorem, $G$ has a normal subgroup of order $p^{n−1}$ (for a proof on MSE see here). Hence $G$ is not simple. We have $729=p^6$ with $p=3$.

- Prove or disprove : Every bounded sequence converges.
- What is the difference between ring homomorphism and module homomorphism?
- Solving $x+2y+5z=100$ in nonnegative integers
- Multiplicative Functions
- Noetherian module over noetherian ring
- Do there exist groups whose elements of finite order do not form a subgroup?
- If $N=q^k n^2$ is an odd perfect number and $q = k$, why does this bound not imply $q > 5$?
- prove or disprove that every positive integer is the sum of a perfect square and a prime number or 1
- What are some equivalent statements of (strong) Goldbach Conjecture?
- How many metrics are there on a set up to topological equivalence?
- Show that a group of order $p^2q^2$ is solvable
- Proving divisibility of $a^3 – a$ by $6$
- $\mathbb Z\times\mathbb Z$ is principal but is not a PID
- Index of certain subgroups of the free group $F_2$
- If $\operatorname{ran} F \subseteq \operatorname{dom} G$, then $\operatorname{dom}(G \circ F) = \operatorname{dom} F$.