User someone - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T08:27:03Z http://mathoverflow.net/feeds/user/5542 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52708/why-should-one-still-teach-riemann-integration/52756#52756 Answer by Someone for Why should one still teach Riemann integration? Someone 2011-01-21T10:14:36Z 2013-03-12T13:42:37Z <p>hilbertthm90 and Maxime Bourrigan mentioned already in the comments to the question that the <a href="http://en.wikipedia.org/wiki/Henstock%E2%80%93Kurzweil_integral" rel="nofollow">Henstock-Kurzweil integral</a> offers a good alternative to the Riemann integral (see also the <a href="http://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/henstock.pdf" rel="nofollow">lecture notes</a> referred to by Maxime) for a course offered for mathematicians.</p> <hr> <p>The definition of the Henstock-Kurzweil integral is very similar to Riemann's integral: It is also defined using Riemann sums $\sum_{i=1}^n f(t_i) (x_i - x_{i-1})\;$, but instead of letting $\delta = \mathop{max} (x_i - x_{i-1})\;$ approach $0$, one considers for <em>gauge</em> functions $\delta : [a, b] \to \mathbb{R}_{>0}\;$ compatible tagged partitions $(t_i, [x_{i-1}, x_i])_i\;$ with $t_i - \delta(t_i)&lt; x_{i-1}\le t_i \le x_i &lt; t_i +\delta(t_i)\;\;$ and then defines the integral in essential the same way (for details see the <a href="http://en.wikipedia.org/wiki/Henstock%E2%80%93Kurzweil_integral" rel="nofollow">wikipedia article</a>). </p> <p>Dropping the condition $t_i \in [x_{i-1}, x_i]$ one gets an integral (<em>McShane integral</em>) equivalent to the Lebesgue integral on the line, whereas the Henstock-Kurzweil integral works also for "non-absolutely convergent" cases like $\int_0^1 \frac{\mathop{sin}(1/x)}{x} dx\;$.</p> <p>As one gets all the nice theorems (<a href="http://en.wikipedia.org/wiki/Henstock%E2%80%93Kurzweil_integral" rel="nofollow">monotone convergence theorem, dominated convergence theorem, second fundamental theorem of calculus, Lebesgue differentiation theorem</a>) for the cost of a slightly (?) more difficult definition, there shouldn't be any reason (besides tradition) for teaching Riemann integration on $\mathbb R$ to mathematically moderately mature students (and traditions can be satisfied by mentioning that restricting to constant gauge functions gives the Riemann integral).</p> <p>For more than one dimension (maybe in a second course), one can/should/must then teach Lebesgue integration. Here I have to add from my own experience (I got introduced to integrals equivalent to Lebesgue's in at least five different courses) that a clean separation between measure theory and topology at the beginning like it is done e.g. in Heinz Bauer's "Measure and integration theory" helps enormously for a deeper understanding.</p> http://mathoverflow.net/questions/114018/fastest-way-to-factor-integers-260/114161#114161 Answer by Someone for Fastest way to factor integers < 2^60 Someone 2012-11-22T14:16:25Z 2012-11-22T14:16:25Z <p>A good source for highly efficient algorithms and implementations for this kind of problems is <a href="http://cr.yp.to/djb.html" rel="nofollow">Dan Bernstein's homepage</a>. <a href="http://cr.yp.to/smallfactors.html" rel="nofollow">There</a> I found an algorithms that might be useful for weeding out all the small prime factors: </p> <p>If you have $y/(\log y)^{O(1)}\;$ integers, each with at most $(\log y)^{O(1)}\;$ bits, then you can find all the small prime factors of each integer in time $(\log y)^{O(1)}\;$ per integer.</p> <p>[I didn't look at the details, so you will have to give it a try to see if 60-bit numbers are already big enough.]</p> http://mathoverflow.net/questions/114139/can-we-ascertain-that-there-exist-an-epimorphism-g-rightarrow-h/111561#111561 Answer by Someone for Can we ascertain that there exist an epimorphism $G\rightarrow H?$ Someone 2012-11-05T14:33:46Z 2012-11-05T14:33:46Z <p>[Slightly too long for a comment, so I post it community wiki answer.]</p> <p>The kernel of the epimorphism $\quad\varphi : G\times G \to H\times H\quad$ is a normal subgroup of $G\times G$, for which by an <a href="http://mathoverflow.net/questions/23692/what-are-the-normal-subgroups-of-a-direct-product/23722#23722" rel="nofollow">easy calculation</a> one can show that</p> <p>$$N_{-}:=[\pi_1(N), G]\times [\pi_2(N), G] \le N \le \pi_1(N)\times \pi_2(N)$$</p> <p>with $\pi_i$ the projection on the $i$-th coordinate. As $G$ acts trivially on $\pi_i(N)/[\pi_i(N), G]\;$, $N/N_{-}$ is central in $(G\times G)/N_{-}\;$. [This might be the motivation for Yves' second comment.]</p> <p>Similar statements hold for the preimages $\varphi^{-1}(H \times 1)$ and $\varphi^{-1}(1 \times H)$ , one can also play around with <a href="http://en.wikipedia.org/wiki/Goursat_lemma" rel="nofollow">Goursat's lemma</a>, but I'm still undecided if I should rather try to prove or disprove the question.</p> http://mathoverflow.net/questions/98288/bounding-a-signed-sum-of-complex-numbers Bounding a signed sum of complex numbers Someone 2012-05-29T15:17:11Z 2012-05-29T18:50:33Z <p>Let $z_i \in \mathbb{C}\:$ for $i=1,\dots, n\;$ be complex numbers, all with absolute value $|z_i|\le 1\;$.</p> <p>Prove (or disprove) that there exists a choice of signs $s_i \in \{\pm 1\}$ such that $$\left|\sum_{i=1}^n s_i\cdot z_i\right| \le \sqrt{2}.$$</p> <p>[My interest in this problem is purely for fun. I couldn't solve it a long time ago, forgot about it, but shortly ago it came back into my mind again.]</p> http://mathoverflow.net/questions/53122/mathematical-urban-legends/61543#61543 Answer by Someone for Mathematical "urban legends" Someone 2011-04-13T13:00:00Z 2011-05-24T08:40:49Z <p>Ed Dean linked to this story in a <a href="http://mathoverflow.net/questions/53122/mathematical-urban-legends/53184#53184" rel="nofollow">comment</a>, but I think it is too nice to stay hidden there:</p> <p>On December 5, 1947, Einstein and Morgenstern accompanied Gödel to his U.S. citizenship exam, where they acted as witnesses. Gödel had confided in them that he had discovered an inconsistency in the U.S. Constitution, one that would allow the U.S. to become a dictatorship. Einstein and Morgenstern were concerned that their friend's unpredictable behavior might jeopardize his chances. Fortunately, the judge turned out to be Phillip Forman. Forman knew Einstein and had administered the oath at Einstein's own citizenship hearing. Everything went smoothly until Forman happened to ask Gödel if he thought a dictatorship like the Nazi regime could happen in the U.S. Gödel then started to explain his discovery to Forman. Forman understood what was going on, cut Gödel off, and moved the hearing on to other questions and a routine conclusion.</p> <p>(cited from <a href="http://en.wikipedia.org/wiki/Kurt_G%C3%B6del#Relocation_to_Princeton.2C_Einstein_and_US_citizenship" rel="nofollow">wikipedia</a>)</p> <p>EDIT: Thanks to Gerald Edgar (and Google) you can find the answer to what the loophole in the US Constitution is <a href="http://blog.plover.com/law/Godel-dictatorship-2.html" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/57465/can-we-unify-addition-and-multiplication-into-one-binary-operation-to-what-exten/64903#64903 Answer by Someone for Can we unify addition and multiplication into one binary operation? To what extent can we find universal binary operations? Someone 2011-05-13T16:14:43Z 2011-05-13T16:22:30Z <p>How about this alternative approach to answer Q1:</p> <p><strong>Step 1:</strong> Get some room by defining first the diagonal of $*$ (which is mapped to numbers divisible by $5$):</p> <ul> <li>$z*z := 5z$ for $z > 0$ and $z*z := 5z-5$ for $z &lt;= 0$.</li> </ul> <p>Now we define the meaning of $x*y$ for $x\ne y$ depending on $x \bmod 5$ and $y \bmod 5$.</p> <p><strong>Step 2:</strong> We recode all integers in different ways (to signal if we want to add or multiply)</p> <ul> <li>$z * (z*z) := 5z+1$ (special $x*y$ for $y = 0 \bmod 5$ and $x \ne y$).</li> <li>$(z*z) * (z*(z*z)) := 5z+2$ (special $x*y$ for $x = 0 \bmod 5$ and $y = 1 \bmod 5$).</li> <li>$(z*z) * ((z*z) * (z*(z*z))) := 5z+3$ (special $x*y$ for $x = 0 \bmod 5$ and $y = 2 \bmod 5$).</li> </ul> <p><strong>Step 3:</strong> We define the addition and the multiplication</p> <ul> <li>$(y*(y*y)) * ((z*z) * (z*(z*z))) := y + z$ (special $x*y$ for $x = 1 \bmod 5$ and $y = 2 \bmod 5$).</li> <li>$(y*(y*y)) * ((z*z) * ((z*z) * (z*(z*z)))) := y \cdot z$ (special $x*y$ for $x = 1 \bmod 5$ and $y = 3 \bmod 5$).</li> </ul> <p>The still undefined values of $x*y$ can be assigned arbitrarily. The last two definitions give the formulas for addition and multiplication.</p> http://mathoverflow.net/questions/48477/never-appeared-forthcoming-papers/48549#48549 Answer by Someone for Never appeared forthcoming papers Someone 2010-12-07T09:00:16Z 2010-12-07T09:00:16Z <p>How about "The classification of finite quasithin groups" by G. Mason from 1980? The classification of finite simple groups was announced when G. Mason was still working on this important case and he then abandoned the work. This hole in the classification was closed finally in 2004 by M. Aschbacher and S. D. Smith.</p> http://mathoverflow.net/questions/47954/is-pnp-relevant-to-finding-proofs-of-everyday-mathematical-propositions/48023#48023 Answer by Someone for Is P=NP relevant to finding proofs of everyday mathematical propositions? Someone 2010-12-02T09:42:38Z 2010-12-02T09:42:38Z <p>The paper <a href="http://cseweb.ucsd.edu/~russell/average.ps" rel="nofollow">"A Personal View of Average-Case Complexity"</a> by Russell Impagliazzo considers five different worlds depending on the average case complexity of NP-complete problems, one of them ("Algorithmica") having P=NP.</p> <p>The different worlds are explained using the famous anecdote of Gauss and his teacher asking the class to add the numbers from 1 until 100, so it's a nice read for any mathematician. The focus of the article is on the consequences of the five different possibilities on the teacher being able to pose problems for which he knows the solution but which Gauss cannot solve. So it doesn't answer your question about "a trick to turn mathematics into NP-problems", but gives you an idea about the question in your title.</p> http://mathoverflow.net/questions/38856/jokes-in-the-sense-of-littlewood-examples/38975#38975 Answer by Someone for Jokes in the sense of Littlewood: examples? Someone 2010-09-16T14:00:25Z 2010-09-16T14:00:25Z <p>In characteristic $p$, the so-called <em>biologists' rule</em></p> <p>$$(a+b)^p = a^p + b^p$$ (which got its name by mathematics students that worked as teaching assistants for "mathematics for biologists") is correct.</p> http://mathoverflow.net/questions/34290/what-are-some-interesting-corollaries-of-the-classification-of-finite-simple-gro/34361#34361 Answer by Someone for What are some interesting corollaries of the classification of finite simple groups? Someone 2010-08-03T08:42:45Z 2010-08-03T08:42:45Z <p>Citing <a href="http://mathoverflow.net/users/460/graham" rel="nofollow">Graham</a>'s answers <a href="http://mathoverflow.net/questions/14076/irreducibility-of-polynomials-in-two-variables/14084#14084" rel="nofollow">1</a> and <a href="http://mathoverflow.net/questions/14574/your-favorite-surprising-connections-in-mathematics/14651#14651" rel="nofollow">2</a> to two other questions:</p> <p>Definition: A polynomial $f(x)\in \mathbb C[x]$ is indecomposable if whenever $f(x)=g(h(x))$ for polynomials $g$, $h$, one of $g$ or $h$ is linear.</p> <p>Theorem. Let $f, g$, be nonconstant indecomposable polynomials over $\mathbb C$. Suppose that $f(x)−g(y)$ factors in $\mathbb C[x,y]$. Then either $g(x)=f(ax+b)$ for some $a, b \in \mathbb C$, or</p> <p>$$\deg f=\deg g=7,11,13,15,21, \mbox{or } 31,$$</p> <p>and each of these possibilities does occur.</p> <p>The proof uses the classification of the finite simple groups and is due to Fried [1980, in the proceedings of the 1979 Santa Cruz conference on finite groups], following a the reduction of the problem to a group/Galois-theoretic statement by Cassels [1970]. [W. Feit, <a href="http://books.google.com/books?id=UA-YqrL58dQC&amp;lpg=PP1&amp;ots=2I1C6mSw1t&amp;dq=santa%20cruz%20conference%20finite%20groups&amp;pg=PA176#v=snippet&amp;q=indecomposable&amp;f=false" rel="nofollow">"Some consequences of the classification of finite simple groups,"</a> 1980.]</p> http://mathoverflow.net/questions/32730/does-an-efficient-random-number-generator-exist/32778#32778 Answer by Someone for Does an "efficient" random number generator exist? Someone 2010-07-21T10:11:27Z 2010-07-21T10:11:27Z <p>If you need your random sequence unpredictable in a cryptographic sense, then take a look at the article <a href="http://www.cs.ucdavis.edu/~rogaway/papers/thorp.pdf" rel="nofollow"><em>How to Encipher Messages on a Small Domain: Deterministic Encryption and the Thorp Shuffle</em></a> presented by Ben Morris, Phillip Rogaway and Till Stegers at the Crypto 2009 conference last year.</p> <p>If you don't need cryptographic security, don't bother looking at the article, as other approaches will be much more efficient. By the way, given the cipher you get your random numbers by encrypting the sequence 0, 1, 2, 3, ... mod n and changing randomly the key whenever the current element of the sequence is 0 mod n.</p> http://mathoverflow.net/questions/28999/is-there-a-universal-countable-group-a-countable-group-containing-every-countab/29063#29063 Answer by Someone for Is there a universal countable group? (a countable group containing every countable group as a subgroup) Someone 2010-06-22T09:01:35Z 2010-06-22T09:01:35Z <p><a href="http://en.wikipedia.org/wiki/Hall%27s_universal_group" rel="nofollow">Hall's universal group</a> is a countable <em>locally finite</em> group that contains every countable <em>locally finite</em> group (see these <a href="http://www.mth.msu.edu/~meier/Classnotes/LFG/LFG_abstract.html" rel="nofollow">lecture notes</a>).</p> http://mathoverflow.net/questions/27749/what-are-some-correct-results-discovered-with-incorrect-or-no-proofs/27826#27826 Answer by Someone for What are some correct results discovered with incorrect (or no) proofs? Someone 2010-06-11T15:31:04Z 2010-06-11T15:31:04Z <p>The <a href="http://en.wikipedia.org/wiki/Classification_of_finite_simple_groups" rel="nofollow">classification of finite simple groups</a> was announced 1983 when Geoff Mason was still working on the quasithin case. I've heard somewhere that he lost his motivation then and never finished his 600+ pages manuscript. The gap was closed 20 years later by Michael Aschbacher and Steve Smith.</p> http://mathoverflow.net/questions/25140/radon-nikodym-theorem-for-nonabsolute-continuous-measures/25143#25143 Answer by Someone for "Radon-Nikodym theorem" for nonabsolute continuous measures Someone 2010-05-18T15:23:33Z 2010-05-18T15:23:33Z <p>You looking for the <a href="http://en.wikipedia.org/wiki/Lebesgue%27s_decomposition_theorem" rel="nofollow">Lebesgue's decomposition theorem</a>.</p> http://mathoverflow.net/questions/25085/the-riemann-correspondence-for-riemann-surfaces-made-explicit-and-its-generalizat/25121#25121 Answer by Someone for The Riemann correspondence for riemann surfaces made explicit and its generalizations Someone 2010-05-18T13:10:32Z 2010-05-18T13:10:32Z <p>You could take a look in <em>Lectures on Riemann surfaces</em> by Otto Forster (Springer, Graduate Texts in Mathematics 81). The book starts at a moderate level (you just need to know basic complex analysis and the Lebesgue integral), but covers quite some topics like the correspondence between Galois groups of field extensions and covering transformations as well as how to remove the removable singularities. I don't have the book available now, but from my memory (of the German original) there should be enough in it to answer at least your first three questions.</p> <p>PS: You can google for the two terms "forster" and "field of meromorphic functions" to get a link to google books for a first impression of the book.</p> http://mathoverflow.net/questions/23717/reference-request-given-a-divisor-d-of-n-how-quickly-can-i-obtain-the-largest-f/23728#23728 Answer by Someone for Reference request: given a divisor d of N, how quickly can I obtain the largest factor of N coprime to d? Someone 2010-05-06T14:57:31Z 2010-05-06T14:57:31Z <p>Take a look at these <a href="http://cr.yp.to/coprimes.html" rel="nofollow">papers</a> from Dan Bernstein. It's not quite what you are looking for, but he does even more than you need in time $n(\lg n)^{2+o(1)}$ where $n$ = number of bits of $N\cdot d$ (one of the elements of the coprime base will be $n_2$). Maybe your problem can be solved even faster than that.</p> http://mathoverflow.net/questions/23692/what-are-the-normal-subgroups-of-a-direct-product/23722#23722 Answer by Someone for What are the normal subgroups of a direct product? Someone 2010-05-06T14:35:28Z 2010-05-06T14:35:28Z <p>Let $N$ be normal in $G\times H$. For $n=(n_1, n_2) \in N$ and $(g, 1) \in G\times H$ follows $([n_1, g], 1) = (n_1^{-1}n_1^g, 1) = n^{-1}\cdot n^{(g, 1)} \in N$ (taking the notations used in group theory: $n^g = g^{-1}ng$ etc), i.e., $[\pi_1(N), G]\times 1 \le N$ (where $[A, B]$ denotes the subgroup generated by the commutators $[a, b]$ with $a \in A, b\in B$). Also $1\times[\pi_2(N), H] \le N$, hence $[\pi_1(N), G]\times[\pi_2(N), H] \le N$.</p> <p>As $[\pi_1(N), G]$ is normal in $G$, one can easily deduce for $G, H$ simple the cases described by Jack Schmidt (and also what happens in the missing case that one of the two groups is abelian but the other one not).</p> http://mathoverflow.net/questions/22174/regular-borel-measures-on-metric-spaces/22179#22179 Answer by Someone for Regular borel measures on metric spaces Someone 2010-04-22T11:21:05Z 2010-04-22T11:21:05Z <p>Every finite Borel measure defined on a <a href="http://en.wikipedia.org/wiki/Polish_space" rel="nofollow">Polish space</a> is regular, see e.g., Lemma 26.2 in <em>Heinz Bauer: Measure and Integration Theory</em>.</p> http://mathoverflow.net/questions/129007/element-of-order-n-such-that-pin-pig-where-pin-denote-the-prime-div/129191#129191 Comment by Someone Someone 2013-04-30T09:44:50Z 2013-04-30T09:44:50Z Perfectness doesn't help: Just take the direct product of $k$ copies of $G$ where $k$ is the number of prime divisors of $G$. http://mathoverflow.net/questions/127560/references-on-techniques-for-solving-equations-with-discontinuous-functions-such Comment by Someone Someone 2013-04-15T12:14:02Z 2013-04-15T12:14:02Z Your special equation you can first solve $\bmod c$, and then use a solution $s\in \mathbb{Z}$ to write $a = s+a'$ where $a'$ is a multiple of $c$. Now solve for $a'$. http://mathoverflow.net/questions/126607/centralizers-in-non-abelian-groups Comment by Someone Someone 2013-04-05T15:28:01Z 2013-04-05T15:28:01Z @S. Carnahan: Oh, right. Thanks. Even the very first comment corrects already the statement that no such groups are known. It seems worth to read the comments sometimes... http://mathoverflow.net/questions/126607/centralizers-in-non-abelian-groups Comment by Someone Someone 2013-04-05T13:41:45Z 2013-04-05T13:41:45Z Do you ask this because of your interest in the <i>commuting graphs</i> of groups? There seems to be no (finite?) group known to have this property - see [the last sentence here](<a href="http://symomega.wordpress.com/2010/03/02/commuting-graphs-of-groups/" rel="nofollow">symomega.wordpress.com/2010/03/02/&hellip;</a>). http://mathoverflow.net/questions/125095/is-there-a-database-somewhere-for-sharing-translations-of-mathematical-works-or/125111#125111 Comment by Someone Someone 2013-03-21T10:20:08Z 2013-03-21T10:20:08Z Didn't Gauss publish in Latin? http://mathoverflow.net/questions/121719/richness-of-the-subgroup-structure-of-p-groups Comment by Someone Someone 2013-03-19T09:13:50Z 2013-03-19T09:13:50Z @StefanKohl: Yes, taking $H$ bigger than $Z_p$ doesn't give any improvements. But starting with $n=2$ and $f_p(2)=3$ you can get per induction with $H = Z_p$ upper bounds $f_p(n)\le 3p^{n-2}+(p^{n-2}-1)/(p-1)$. For odd $p$ I get with $f_p(3)=5$ an upper bound of type $O(p^{n-3})$. http://mathoverflow.net/questions/121719/richness-of-the-subgroup-structure-of-p-groups Comment by Someone Someone 2013-03-18T15:25:30Z 2013-03-18T15:25:30Z Did you try calculating $f_p(n)$ for small $n$ like $2$, $3$ or $4$? Maybe you can improve Fran&#231;ois' bound slightly by combining these results with the fact that every extension $G$ of a group $N$ by a group $H$ (i.e., $G/N = H$ for some embedding of $N$ into $G$) is a subgroup of the wreath product of $N$ by $H$. http://mathoverflow.net/questions/116139/exponent-of-sylow-p-subgroup-of-classical-groups-over-a-field-of-characteristic Comment by Someone Someone 2012-12-13T10:07:06Z 2012-12-13T10:07:06Z &quot;largest power of $p$ greater than or equal to $n$&quot;? http://mathoverflow.net/questions/112044/how-do-i-determine-the-smallest-dimension-of-an-irreducible-mathbbf-pg-mod Comment by Someone Someone 2012-11-21T16:08:45Z 2012-11-21T16:08:45Z I just found also <a href="http://mathoverflow.net/questions/97105/modular-representations-with-unequal-characteristic-reference-request" rel="nofollow" title="modular representations with unequal characteristic reference request">mathoverflow.net/questions/97105/&hellip;</a> which might be of interest for you. http://mathoverflow.net/questions/112044/how-do-i-determine-the-smallest-dimension-of-an-irreducible-mathbbf-pg-mod Comment by Someone Someone 2012-11-21T16:06:27Z 2012-11-21T16:06:27Z For representations of $H$ over $\mathbb{F}_p$ with $p$ coprime to the order $H$ you get - to my (non-expert) knowledge - only similar behavior as over $\mathbb{C}$ if $\mathbb{F}_p$ contains an $n$-th root for $n$ the exponent of the group $H$ (= least common multiple of the orders of all group elements). See also Geoffrey's answer to <a href="http://mathoverflow.net/questions/91132/reference-for-restriction-of-a-simple-module-over-a-splitting-field-to-a-smaller" rel="nofollow" title="reference for restriction of a simple module over a splitting field to a smaller">mathoverflow.net/questions/91132/&hellip;</a> http://mathoverflow.net/questions/112044/how-do-i-determine-the-smallest-dimension-of-an-irreducible-mathbbf-pg-mod Comment by Someone Someone 2012-11-21T15:35:15Z 2012-11-21T15:35:15Z Do I understand you correctly that you mean with &quot;the entire $p'$-group $H$ acts fixed point freely&quot; that each element of $H^#$ acts fixed point freely, whereas in your question you only ask for no nontrivial fixed point for all the group? [For elementwise fixed point free action you surely get strong restrictions on the structure of $H$ - see for example Theorem 8.3.2 in &quot;The Theory of Finite Groups&quot; by Kurzweil/Stellmacher.] http://mathoverflow.net/questions/112044/how-do-i-determine-the-smallest-dimension-of-an-irreducible-mathbbf-pg-mod Comment by Someone Someone 2012-11-20T15:49:01Z 2012-11-20T15:49:01Z Do you know anything nontrivial about finite $p'$-groups $H$ acting fixed point freely on elementary abelian $p$-groups? http://mathoverflow.net/questions/112044/how-do-i-determine-the-smallest-dimension-of-an-irreducible-mathbbf-pg-mod Comment by Someone Someone 2012-11-20T13:15:36Z 2012-11-20T13:15:36Z Maybe too hard? You could have started with the easier question asking which $H$ act fixed point freely on an elementary abelian $p$-group, or -- if you already know the solution to this question -- given your readers some hints about what you know about $H$. http://mathoverflow.net/questions/107447/knowing-md5cx-is-it-possible-to-find-md5x Comment by Someone Someone 2012-09-18T09:47:15Z 2012-09-18T09:47:15Z crypto.stackexchange.com might be a better place to ask this question. http://mathoverflow.net/questions/103769/regular-representation-always-direct-sum-of-irreducible-representations Comment by Someone Someone 2012-08-02T10:48:10Z 2012-08-02T10:48:10Z Take a look at the answer to <a href="http://math.stackexchange.com/q/151347/33256" rel="nofollow">math.stackexchange.com/q/151347/33256</a> (you should be able to figure it out).