421 reputation
612
bio website
location
age
visits member for 4 years, 2 months
seen 2 days ago

Jul
8
comment Optimality proof for greedy algorithm
Why do you expect the greedy algorithm to be optimal? Do you have any other (hidden) assumptions? [Otherwise take $\mathcal A = \{a, b, c\}$, $\mathcal B = 2$ (I assume this to be the number of actions before stopping, is this correct?), $g_a(S) = 3$, $g_b(S) = g_c(S) = 2$, $g_x(S|a) = 0$ for $x = a$ or $b$ and $g_x(S|y) = 2$ otherwise].
Jul
5
comment Definition question of convex orbit of finite group action
That the orbit is a convex subset.
Jun
28
comment Image of a normal Hall Subgroup under an automorphism
One problem in your reasoning is that you simply state "Further, let us define a subgroup H of order d."! How do you know that such a subgroup exists (it does)? You should either prove its existence or refer to some theorem that proves it [Or better: you don't need such a subgroup as Andreas showed].
Jun
26
comment If I know the Conjugacy classes of a group, do I know the group?
@jwodder: Take the product of Zev's example with a non-abelian group, e.g., $C_4\times S_3$ and $C_2^2\times S_3$.
Jun
25
comment How useful are geometric aspects when studying finite groups?
I can recommend reading the article "Subgroup complexes" by Peter Webb, pp. 349-365 in: ed. P. Fong, The Arcata Conference on Representations of Finite Groups, AMS Proceedings of Symposia in Pure Mathematics 47 (1987).
Jun
18
comment For subspaces, if $N\subseteq M_1\cup\cdots\cup M_k$, then $N\subseteq M_i$ for some $i$?
Are you sure about your inductive step? The first statement also holds over finite fields, but how does the induction look like that it works only in characteristic 0?
Jun
14
comment Covering a group with the conjugates of two subgroups related by an automorphism
Hi Peter, welcome to math.stackexchange! Why does a positive answer require the classification? Shouldn't an example be enough? (Unfortunately I can't access the link to verify if you meant "The answer is no".)
May
31
comment G is finite group such that H is normal and P is a Sylow p-subgroup of H
As $H$ is normal in $G$, $G$ acts on the set $\mathrm{Syl}_p(H)$ of Sylow $p$-subgroup of $H$ (by conjugation). Restricting the action to a $p$-Sylow $Q$ of $G$ you get a $p$-group acting on a set of order coprime to $p$. This implies that $Q$ has a fixed point $P_0$, i.e., $Q$ normalizes $P_0$. Now $P_0 = P^h$ for some $h\in H$ gives the $p$-Sylow $Q^{h^{-1}}$ of $G$ normalizing $P$.
May
19
awarded  Constituent
May
17
comment Why are the p-adic integers a linearly ordered group?
The order of the $p$-adic integers does not come from the $p$-adic norm.
May
15
comment What can we say about the size of $HK\cap KH$ when $HK\neq KH$?
I'd be surprised if one cannot generalize this construction by fixing additional a common subgroup $U = H\cap K$ of $H$ and $K$.
May
15
comment What can we say about the size of $HK\cap KH$ when $HK\neq KH$?
Given finite groups $H$ and $K$ you can surely embed them into a finite group $G$ such that $H\cap K = 1$ and $HK\cap KH = H\cup K$: Take $G$ to be the symmetric group on $H\times K$, and embed $H$ by the regular action on $H\times 1$ fixing $H\times K^\#$ pointwise (i.e., $(h, 1)\cdot h' = (hh', 1)$ and $(h, k)\cdot h' = (h, k)$ for $k\ne1$) and $K$ acts on $H\times K$ by exchanging the copies of $H$ ($(h, k)\cdot k' = (h, kk')$). $hk = kh$ is equivalent to $h=h^k$, which implies $h=1$ or $k=1$.
May
14
awarded  Caucus
May
1
comment Finite locally groups
What you call "finite locally" is usually called "locally finite".
Apr
23
comment What about non finitely generated groups?
Locally finite groups are groups whose finitely generated subgroups are finite. Finite group theory is quite helpful for investigating locally finite groups, but they do need new techniques (see for example these classnotes).
Apr
19
comment on a group with perfect automorphism group
Hint: Do you know what outer automorphisms are? If yes, look for a simple group with trivial outer automorphisms group.
Apr
16
comment $p$-Group as union of subgroups
@MarshalKurosh: You're right that the Frattini subgroup doesn't help directly for the question. One can maybe get a better picture of what's going on, but it wouldn't shorten a proof.
Apr
15
comment Covering a group with the conjugates of two subgroups related by an automorphism
You're right, here's a reference: en.wikipedia.org/w/…
Apr
15
comment Covering a group with the conjugates of two subgroups related by an automorphism
Did you check the symmetric group $S_6$ with an outer automorphism? [$H$ being an $S_5$; I'm not sure if the product of a $2$- and a $4$-cycle is contained in the union]
Apr
15
comment How to find all subgroups of a direct product?
For just the normal subgroups you can take a look at mathoverflow.net/questions/23692/… (all your examples are abelian, so all subgroups are normal then).