The study of symmetry: groups, subgroups, homomorphisms, group actions.

learn more… | top users | synonyms (2)

4
votes
0answers
48 views

Is $G_\Delta$ acting transitively on $\Delta$? ($\Delta$ is an imprimitive block )

Suppose $G$ acts imprimitively (but transitively) on set $X$ and let $\Delta$ be some block of imprimitivity. It should be clear, that $G_\Delta$ is acting transitively on $\Delta$, but I cannot see ...
4
votes
0answers
84 views

What is the smallest $n$ for which the usual “counting sizes of conjugacy classes” proof of simplicity fails for $A_n$?

A common proof of the simplicity of $A_5$ proceeds as follows. First, note that a normal subgroup is always a union of conjugacy classes. Also, a subgroup has order dividing the size of the group by ...
4
votes
0answers
52 views

Subgroup consisting of unipotent elements centralizes a flag

Is there a reasonably elementary and short proof that a subgroup of consisting of unipotent matrices over a field centralizes a flag? By elementary, I mean accessible to students who have had a ...
4
votes
0answers
72 views

Abelian group whose quotient is $p$-divisible

Let $G$ be an abelian group of finite torsion-free rank which has no $p$-divisible subgroup. The group $G$ has a free subgroup $F$ of finite rank and the quotient $G/F$ is $p$-divisible. Can be proved ...
4
votes
0answers
108 views

Icosahedral symmetry

Is there a clear and correct reference for full icosahedral symmetry that includes a presentation and its action on vertices, edges, and faces? The Wikipedia article for icoshedral symmetry gives ...
4
votes
0answers
66 views

Showing $\mathbb{Z}_{2} * \mathbb{Z}_{3} \cong\ (a, b\ |\ a^2 = b^3 = e)$

Let $G = (a, b\ |\ a^2 = b^3 = e)$. I recognize there must be an epimorphism $\phi : G \rightarrow \mathbb{Z}_{2} * \mathbb{Z}_{3}$ (the free product) by the Van Dyck theorem, but I must show an ...
4
votes
0answers
50 views

What is the structure of the Coxeter groups of type $\text{D}_n$

I am curious on the structure of the Coxeter group $G$ of type $\text{D}_n$. Here I let $\{e_1,\cdots,e_n\}$ be the standard basis of the vector space $\mathbb{R}^n$. Then I choose ...
4
votes
0answers
171 views

Generation of left ideals in group rings

This looks like an elementary exercise on group rings (I heard it somewhere), nonetheless it seems to be non-trivial to me. Any references much appreciated. Suppose that we are given an (infinite) ...
4
votes
0answers
179 views

What is the intuition of conjugacy classes?

How can I fully understand what are conjugacy classes are in groups? I know the definition, that $a$ and $b$ are conjugate if $gag^{-1}=b$ for some $g\in G$. But what is the intuition? Using a ...
4
votes
0answers
90 views

Find all the central extensions of $\Bbb{Z}_2$ by $\Bbb{Z}_2 \times \Bbb{Z}_2$.

Find all the central extensions of $\Bbb{Z}_2$ by $\Bbb{Z}_2 \times \Bbb{Z}_2$. At first I was going to say that, since central extensions mean a trivial homomorphism, there must be only one: ...
4
votes
0answers
82 views

Proof that if $H \triangleleft G$ and $G/H$ is abelian, then $G' \le H$

I'd like some input on one part of my attempted proof for the following result. The other part I feel good about. "If $H \le G$ is any subgroup, show that $G' \le H$ if and only if $H \triangleleft ...
4
votes
0answers
73 views

What about non finitely generated groups?

Finite groups and finitely generated groups are intensively studied, but are there interesting investigations on non finitely generated groups? I already know some references for abelian groups, so I ...
4
votes
0answers
131 views

Irreducible representation of $S_4$

Could one please point out an irreducible representation of degree 2 of the group $S_4$. Thank you.
4
votes
0answers
94 views

Prime divisor in the Automorphism group

Suppose that $G$ is a non-abelian simple group and $r$ is a prime number such that $r$ not divide $|G|$. It is a question for me that whether $r$ can divide |Aut($G$)|?
4
votes
0answers
179 views

Problem 4.3, I. Martin Isaacs' Character Theory

Let $G=H\times K$ be the direct product of finite groups. Let $\varphi\in Irr(H)$ and $\eta\in Irr(K)$ be faithful. Show that $\varphi\times\eta$ is faithful if and only if $(|Z(H)|,|Z(K)|)=1$. Here, ...
4
votes
0answers
281 views

Semi-direct product isomorphic to direct product

I would like some help on the following problem from anyone who would like to help. Let $f: H \to G$ be a group homomorphism. For $h \in H$, define $\rho(h) = \phi_{f(h)} \in Aut(G)$. The situation ...
4
votes
0answers
96 views

Has every finite group a minimal presentation ?

For a finite group $G$ let $d(G)$ be the minimal number of generators of $G$ and let $r(G)$ be the minimal number $r$ such that $G$ has a finite presentation with $r$ relators. Call a presentation ...
4
votes
0answers
111 views

is a group that eliminates quantifiers in the group language Abelian?

Let $G$ be a group. Consider it as a structure in the language of groups $L=(e,\cdot, (-)^{-1})$. Suppose that $G$ eliminates quantifiers in this language. Is it true that $G$ must be Abelian then? ...
4
votes
0answers
166 views

Easy proof of trivial fusion implies normal p-complement

Theorem: Suppose G is a finite group with Sylow p-subgroup P. Then the following are equivalent: The set K of elements of G of order relatively prime to p (the p′-elements) form a subgroup If A and ...
4
votes
0answers
128 views

finitely presented groups of exponential growth

Does there exists a finitely presented group of exponential growth which does not contain free sub-semigroups (of rank $\geq 2$)?
4
votes
0answers
148 views

A problem of J.D. Dixon

Referring to his paper from 2004, I was wondering if anyone is aware of any relevant work done on the following problem: Of course, the case $w(X_1,X_2)=X_1X_2X_1^{-1}X_2^{-1}$ admits the answer ...
4
votes
0answers
245 views

Matrix group as subgroup of $GL(n,\mathbb{R})$ or $GL(n,\mathbb{C}$)?

As far as I understand, one has (at least?) two choices to introduce infinite matrix groups: Either, one can say they are all subgroups of the general linear group over the complex numbers numbers ...
4
votes
0answers
85 views

Ways to think about one-relator groups

What are some intuitive ways to think about one-relator groups? I am aware of the Freiheitsatz, and Bass-Serre theory. What I'm interested in are ways people who work extensively with one-relator ...
4
votes
0answers
205 views

Clarification: intersection of a finite number of subgroups of finite index and Poincaré

From Scott's book Group Theory $1.7.10.$ (Poincaré) The intersection of a finite number of subgroups of finite index is of finite index. My question is: Did Poincaré prove the Theorem as stated ...
4
votes
0answers
133 views

Is there a formula for $|\langle H\cup K\rangle|$, if $H$ and $K$ are nonempty subsets of a finite group $G$?

I know that if $H$ and $K$ are subgroups of a finite group $G$, then $|HK|=\frac{|H||K|}{|H\cap K|}$. Is there a formula for $|\langle H\cup K\rangle|$, if $H$ and $K$ are nonempty subsets of a ...
4
votes
0answers
235 views

Exercise 6.3.16 from Scott, Group Theory

How to demonstrate that a simple non-abelian group of odd order has order divisible by the cube of its smallest prime divisor?
4
votes
0answers
138 views

F.g. groups with a finite index abelian subgroup

It is well known that a virtually cyclic group is either finite, or finite-by-(infinite cyclic) or finite-by-(infinite dihedral). I want to know if there is some similar description for f.g. ...
4
votes
0answers
100 views

Looking for: a subgroup of an uncountable simple group of countable index

Consider the simple group $A_\lambda$, the alternating group on the set $\lambda$, which I will assume has regular cardinality. Recall that this is the smallest subgroup of all permutations of ...
4
votes
0answers
87 views

Primitive permutation group with subdegree 4

What are the possible sizes of a point stabilizer in a primitive permutation group, where the point stabilizer has an orbit of size 4? In the tradition of subdegree 3 and subdegree 2, I wonder ...
4
votes
0answers
166 views

Is $H^2$ weakly closed in $H$? Isaacs Finite Group Theory, exercise 8B.6

I'm trying to solve exercise 8B.6 on page 249 of Isaacs's Finite Group Theory textbook (the second question in a series; this is the third as question here). I have an idea, but it doesn't quite ...
4
votes
0answers
46 views

When does PSL(5,q) have order exactly divisible by a specific odd power of 5?

In a misguided attempt at answering a question on divisibility of simple group orders, I looked at $\newcommand{\PSL}{\operatorname{PSL}}v_p(|\PSL(p,q)|)$ which went smooth enough for $p=2$ and $p=3$, ...
4
votes
0answers
487 views

What does a Cayley table tell?

Other than showing if a group is abelian and the order of the group, what else does a Cayley table indicate?
4
votes
0answers
133 views

a split exact sequence of finite groups

Suppose G has a cyclic normal subgroup $\langle a\rangle$ of order $m$ and prime power index $s$ such that $m$ and $s$ are relatively prime. Then the following exact sequence splits: $$1 ...
4
votes
0answers
88 views

How do I find the orbits given the ring of invariants?

Suppose I have a group $G$ acting linearly on a vector space $V$ and I know the ring of invariants $K[V]^{G}$ (i.e., I know the subring of $K[V]$ which is fixed pointwise under the induced action). My ...
4
votes
0answers
305 views

Can “anti-groups” and “anti-manifolds” be constructed? (and other “anti-objects”)

Is it possible to create an "antigroup"? What I mean by this is, given some group G, and some "antigroup" H, then the "free product" of G and H, G*H will equal the "group" (vacuously a group) of no ...
4
votes
0answers
382 views

A finite length module is the direct sum of the image and kernel of a projection-like endomorphism

I have a question about abelian groups (or rather $X$-groups): Suppose $A$ is an abelian group (or rather an $X$-group) which is artinian and noetherian. $f$ is an endomorphism (or rather an ...
3
votes
0answers
42 views

Permutation group of a set

If we let $G$ be a finite permutation group of a finite set $X$ and assume that $G$ has exactly 2 orbits of the same cardinality, how can we show that there is some permutation in G that has no cycles ...
3
votes
0answers
36 views

Automorphism group of a topological space

Let $G$ be any group. Is there a topological space $(X,\tau)$ such that the automorphism group $\textrm{Aut}(X,\tau)$ is isomorphic to $G$?
3
votes
0answers
74 views

What branch of math is this?

In this paper: http://arxiv.org/pdf/hep-th/0505016v1.pdf what are the branch(es) of math being used? The unnumbered eq. on the top of page 3 and eq. (7) are good examples. All I've been able to figure ...
3
votes
0answers
62 views

Sylow $p$-subgroup of $GL_{n}(\mathbb{F}_{q})$

This question has already been asked here. However, the answer there isn't particularly helpful. Consider $G = GL_{n}(\mathbb{F}_{q})$ where $q = p^{r}$ where $p$ is prime. Show that the upper ...
3
votes
0answers
47 views

Power series modulo polynomials

I apologize for the lengthy introduction. It is mainly for context and to introduce a certain phenomenon. $\newcommand{\Z}{\mathbb{Z}}$ Consider the groups $\Z[[x]]$ of formal power series and ...
3
votes
0answers
25 views

Irreducible representations of inhomogeneous linear transformations over $\mathbb{F}_q$

Let $\mathbb{F}_q$ be a finite field with $q$ elements and let $G$ be the group of inhomogeneous linear transformations over $\mathbb{F}_q$, that is $x\mapsto ax+b$ for some $a\in \mathbb{F}_q^*$ and ...
3
votes
0answers
18 views

Showing that $U$ is a normal subgroup of $N_G(U)$

I am given a group $G$, a subgroup $H \le G$ and the normalizer of $U$ in $G$, $N_g(U) = \{ g \in G: U^g = g^{-1}Ug = U\}$. I am asked to prove that $U$ is a normal subgroup of $N_G(U)$. Isn't this ...
3
votes
0answers
61 views

Let $G$ denote an arbitrary group. Prove: The center of any group $G$ is a normal subgroup of $G$

Let $G$ denote an arbitrary group. Prove: The center of any group $G$ is a normal subgroup of $G$ Let $G$ be a group and $C$ the center, i.e., for any $a \in C$ and any $x \in G$, $xa=ax$. So, ...
3
votes
0answers
41 views

About motivation of Lang's Proof $S_n$ is not solvable for $n\geq 5$.

In Lang, he proves that $S_n$ is not solvable if $n\geq 5$ by using following observation. If $N\unlhd H\leq G$, H contains every 3-cycle, and if $H/N$ is abelian, then H contains every 3-cycle. Where ...
3
votes
0answers
29 views

The automorphism group of the infinite dihedral group

I showed using a somewhat lengthy but elementary computation that the automorphism group $\operatorname{Aut}(D_{\infty})$ of the infinite dihedral group $D_{\infty} = \mathbb Z_2 * \mathbb Z_2$ splits ...
3
votes
0answers
34 views

An affine group behaving like a field

This question is about an example of interpreting a field in an affine group, from Section 1.3 of Marker's Model theory: An introduction. Let $F$ be an infinite field and $G$ be the group of ...
3
votes
0answers
55 views

A group of order $12$, which has no subgroups of order $6$

Assume $G$ is a group of order $12$ having no subgroup of order $6$, and let $h_1,h_2\in G$ distinct of order $2$, prove that their product must be also of order $2$ ? Suppose $(h_1h_2)^3=e_G$ ...
3
votes
0answers
50 views

Group Theory Research Topics [advice]

I'm currently a Senior Mathematics student in the US. I'm interested in Abstract Algebra, specifically Group Theory (I've taken a course that dealt entirely with Fields, but I enjoy Groups a bit more) ...
3
votes
0answers
55 views

Solvable subgroup of group Aut(Zp+Zp)

Is it true that for any Solvable subgroup $G$ of group $Aut(\mathbb{Z}_p\oplus\mathbb{Z}_p), G^{(4)} = \{e\}$? Is it true for subgroups of $Aut(\mathbb{Z}_{p^n}\oplus\mathbb{Z}_{p^n})$? My idea is to ...