Skip to main content
added 37 characters in body
Source Link
Derek Holt
  • 37.4k
  • 4
  • 95
  • 149

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumption that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for some prime powers $q$ with $q \equiv 15$ or $17 \bmod 32$, such as ($q=17$ for example), but not in finite $2$-groups.

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumption that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for some prime powers $q$, such as $q=17$, but not in finite $2$-groups.

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumption that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for prime powers $q$ with $q \equiv 15$ or $17 \bmod 32$, ($q=17$ for example), but not in finite $2$-groups.

edited body
Source Link
verret
  • 3.3k
  • 1
  • 22
  • 30

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumtpionassumption that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for some prime powers $q$, such as $q=17$, but nitnot in finite $2$-groups.

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumtpion that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for some prime powers $q$, such as $q=17$, but nit in finite $2$-groups.

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumption that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for some prime powers $q$, such as $q=17$, but not in finite $2$-groups.

Source Link
Derek Holt
  • 37.4k
  • 4
  • 95
  • 149

No. We can prove this by induction. Let $G$ be the smallest $2$-group in which this situation occurs. Then $G$ has a normal central subgroup $N$ of order $2$.

If $N$ has trivial intersection with the subgroup $\langle a,t \rangle = D_{16}$, then the same situation occurs in $G/N$, contradicting the minimality of $G$.

So that intersection must be nontrivial, and hence $N \le \langle a,t \rangle$, and then we must have $N = Z(\langle a,t \rangle) = \langle t^4 \rangle$.

But then $t^4 \in Z(G)$, contradicting the assumtpion that it is conjugate in $G$ to $a$.

The situation you describe can occur in finite groups, such as in simple groups ${\rm PSL}(2,q)$ for some prime powers $q$, such as $q=17$, but nit in finite $2$-groups.