Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#151 Re: This is Cool » "Factor Space" » 2010-01-27 17:24:47

An invariant is anything that is "fact" that holds in the "same" things.  In other words, it doesn't change (remains invariant) between two things that are the "same".  For example, if two topological spaces are homeomorphic, then their fundamental group is the same.  Another rather simple invariant is that if two finite groups are isomorphic, then they have the same size.

#152 Re: This is Cool » "Factor Space" » 2010-01-27 16:04:29

This is correct (why I deleted my last post).  You certainly have a subset of algebraic numbers, what I'm now trying to determine is if it's an interesting subset.

#153 Re: This is Cool » "Factor Space" » 2010-01-27 11:40:25

Let U := { u | u = a1r1a2r2 … anrn} where {a1 … an} are prime, and  {r1 … rn} are in K

I assume you mean prime integers.  If that's the case, every integer z is in U.  Further, because the exponents can be -1, 1/z is also in U.  The result of this is that U = K.

This reminds me of something a professor of mine said.  Not exactly the same, but similar: "It's very easy to come up with invariants in mathematics.  It's much harder to come up with invariants that aren't always zero."

#155 Re: Help Me ! » quadratic, cubic, quartic, nth degree... ? help » 2010-01-25 16:30:53

bobby:

This fact once becomes obvious once you think of numbers in binary form:

1111111 + 1 = 10000000

The immediate corollary is your proposition.

zetafunc: p(k) = k^7 - k^6 - k^5 - k^4 - k^3 - k^2 - k - 1 is an irreducible polynomial.  This means that if there are two polynomials f(k) and g(k) with integer coefficients such that f * g = p, then either f = ±1 or g = ±1.

Further, p(k) has only one real root, easily verified by graphing.  An elementary result from these two facts from Galois theory is that the roots of p(x) can not be expressed in terms of +, -, ×, ÷, and nth roots alone.  Such roots are called insolvable.

#156 Re: Dark Discussions at Cafe Infinity » Purpose of life???? » 2010-01-25 11:01:50

I was at a da Vinci exhibition

Everyone who believes in reincarnation did something important in their past lives.  roflol

#157 Re: Help Me ! » how to simplify this equation? » 2010-01-24 07:56:03

i can differentiate + integrate functions

I'm guess that you learned this on your own?  Did you use a book, or just various web pages?  If you used a book, which?

The identities above involve:

Differential geometry
Analysis
Complex analysis
Vector calculus

Each of these merits their own study for at least a semester if not more.  In turn, to study these subjects, you should know "advanced calculus" (intro to analysis), abstract algebra, and differential equations.  So if you want to understand the identities involved above, this is fine.  But if you want to learn mathematics, then I recommend starting with a good solid foundation in calculus.

#158 Re: Help Me ! » integral of e^x » 2010-01-24 07:52:42

What are you using for your u?

#159 Re: Help Me ! » how to simplify this equation? » 2010-01-24 06:10:21

Sheesh... now I understand all your posts.  I was wondering what it was you were trying to learn. lol

How much math have you had zeta?

#160 Re: Help Me ! » integrating e^(x^2) » 2010-01-24 05:01:11

By definition

Try to integrate it now.

#161 Re: Help Me ! » ∇....the del operator? » 2010-01-24 04:55:39

Do you know any multivariable calculus?

#162 Re: Help Me ! » Inverse laplace transform? » 2010-01-24 04:55:02

L-¹(F(s)) = f(t) means that the Laplace transform of f(t) is F(s).  There is an integral you can use to compute it, but if F(s) is an elementary function it is much easier to use a table of known transforms to get the inverse.  In general this is hard to do.

#163 Re: This is Cool » How quantum computers work » 2010-01-20 03:31:15

If the phonebook has 10,000 entries, on average you'll need to look through about half of them—5,000 entries—before you get lucky.

Umm, who looks through a phonebook sequentially?  Worst case you would need to look at 14 entries.  So it looks like he is talking about an unsorted phone book.

#165 Re: This is Cool » A silly prime number method. » 2010-01-19 09:32:37

Just gotta find some really huge paper pad to start my work on...

As part of a fictitious biography:

One of his most important discoveries, still in use today, was that you can turn your paper sideways.  This allowed mathematicians to work on even more complex formulas than they were previously capable.

#166 Re: Euler Avenue » More real numbers that natural numbers? » 2010-01-17 05:12:15

And to make sure your understanding is right, you should realize why Cantor's diagonal proof for the reals does not work for the rationals (which can have infinitely many digits as well).

Another good question: Is there a set which is larger than the integers (can't be paired with them), but smaller than the reals?

#167 Re: Euler Avenue » More real numbers that natural numbers? » 2010-01-16 18:10:14

Maybe I didn't make this clear enough, but the natural number 5832... is not the number 5832.  The three little dots means it continues forever.  So it is not listed in the 5832th spot.

Any natural number can only have a finite number of digits.  Such is not true for a real number.

#168 Re: Euler Avenue » More real numbers that natural numbers? » 2010-01-16 06:36:05

Remember the list is infinite.  The act of choosing which decimal place is which number is an infinite process.  For those who are a bit more advanced, remember that this does not involve the axiom of choice.

If I select the new natural number 5832...

This number appears on your list of integers in the 5832th spot, so there is no contradiction: it is on your list.

There now seems to be a 1-to-1 correspondence between the natural numbers and the real numbers.

The real (actually, rational) number:

0.211111111111111111111111...

Would not appear on that list.

#169 Re: Help Me ! » algebra(ideals) » 2010-01-10 05:43:41

(2) = (4) = (6) = (8) (this is easy to prove: 4*3 = 2, 6*2 = 2, 8*4 = 2)
(1) = (3) = (7) = (9) (3*7 = 1, 7*3 = 1, 9*9 = 1)

So there are four principal ideals: (0), (1), (2), and (5).

Each of these numbers are relatively prime, so any ideal generated by two of them must be the entire ring, (1).  Thus, there are only four ideals:

(0), (1), (2), and (5)

Ignoring (0) and (1) because these are trivial, (2) and (5) are easy to check whether they are maximal and/or prime: clearly they are both maximal (there are only 4 ideals!).  Remembering that:

(G/H)/(K/H) = G/K

If we mod out by (2), this is: (Z/10Z)/(2Z/10Z) = Z/2Z.  As this is an integral domain, this ideal is prime.  Same for (5) which would give us Z/5Z.

#170 Re: Help Me ! » algebra(ideals) » 2010-01-08 13:06:49

Sorry, I can't do that.  Write out all the ideals that you can find and we'll go from there.

#171 Re: Help Me ! » abstract algebra problem(groups, rings) » 2010-01-08 13:05:12

so, 1 is out cause p=7 prime, |G|>1

No.  1 is out because A_8 is a simple group, and if there is only 1 Sylow 7-subgroup, then this subgroup must necessarily be normal.

can i say that A_8 has...

Yes, this works.  You must prove that each element of order 7 in A_8 is indeed a 7-cycle, and then counting them suffices.  No Sylow theory needed at all.

For #3: I'll give you a hint:  Certainly any element a/b where 11 does not divide a is a unit in this ring (prove it!).  So to find irreducible, it suffices to look at elements of the form:

Now there is a restriction here, in other words it isn't true for all k and b that the number above is irreducible.  Find this restriction, and then prove all the elements you've found are also prime.

#172 Re: Help Me ! » abstract algebra problem(groups, rings) » 2010-01-08 10:18:44

After giving it a few moments thought, I think you must have the problem wrong.  There are techniques for dealing with Sylow theory for groups of medium order, but they are advanced and never covered in an introductory class.  Given the difficulty level of the other problems you posted, I'm thinking something is wrong.  Perhaps I'm missing something, but that's my best guess.

#173 Re: Help Me ! » abstract algebra problem(groups, rings) » 2010-01-08 10:05:41

(It's very important you understand how this is wayyy more meaningful than 20160 wink )

Now Sylow's theorem says that if n_7 is the number of Sylow 7-subgroups, then

The RHS restriction will give you 2^9 possible numbers right off the bat, and the LHS should reduce this into a manageable amount.  I'm not sure how do to do this one without aid of a computer, but the list of possibilities is:

1, 8, 15, 36, 64, 120, 288, 960

Now 1 is out immediately (why?).  The goal is to try to eliminate all but one.  This can be tricky.

#174 Re: Help Me ! » algebra(ideals) » 2010-01-08 09:51:02

Start with the principal ideals:

(1), (2), (3), ..., (9)

Figure out which of these ideals are the same.  For example, (2) = (4) since 4*3 = 12 = 2 (mod 10), and certainly 4 is in (2).

Once that's done, figure out all the ideals that are generated by two elements: (1, 2) for example.  Of course this ideal is really all of Z/10Z, and you'll find that this is the case for most of them.  Also remember that there is no need to check something like (2, 4) since (2) = (2,4).  There aren't many to check.

There aren't any ideals generated by three elements (that don't form the whole ring), so you're done.

Now you can go through and check what happens when you mod out by each ideal.

#175 Re: Help Me ! » Primes » 2010-01-08 02:32:14

Why doesn't this suggest there's a finite number of primes?

For the same reason that the sequence

Does not suggest there's a finite number of primes.

bobby: Yes.  This would suffice to prove that the integers are infinite, assuming that you've been able to define them without implicitly having this property.

Board footer

Powered by FluxBB