« first day (1304 days earlier)      last day (3720 days later) » 
00:00 - 14:0014:00 - 00:00

12:23 AM
@Yong Once again many thanks! I went along and checked as you suggested, and I saw that for n>4, 2n-2 and 2n-3 have odd degrees (along with 4 and 5), thus there are two at the very least two trails needed to cover all the vertexes, thus there is no eulerian trail for n>4, only for n=4. Yet I feel very unsure about it, as if I miss something there.. is it so or am I just paranoid?
Once again, many thanks!
 
12:43 AM
 
How cute
 
:)
 
see, one does equal zero
 
Not exactly
 
1:00 AM
@Charlie The "spinning bit" represents an artistic depiction of quantum coherence, wherein a qubit attains the classically forbidden superposition of both logical value zero and logical value one, concurrently.
 
 
4 hours later…
4:36 AM
@user126885: Sorry I disappeared earlier. My connection screwed up. But I saw you had asked the question separately so I recommend you pursue a solution there. And you can always use this theorem to prove the limit of x^n is equal to that of x around 0. math.lsa.umich.edu/courses/185F08/composition.pdf
 
Hello @mike!
Hello @pedro!
 
@mike
Hello j
@anon
Hai
 
@PedroTamaroff So what are you studying now?
 
Im trying to sleep n failing
I have to give two classes in about 7 hs
 
Must be tennis classes.
 
4:42 AM
Yes
 
Good way to meet girls, lol.
 
But i been studying group thry lately
From a few books
 
It's good to use different sources, but sometimes I feel you skip around too much.
 
@jasper heh havent proven very useful, no
@jasper skip around?
 
@PedroTamaroff I mean jump from book to book.
Don't fall into the trap of buying too many books like I did.
 
4:44 AM
I dont buy them
 
Ah, OK.
What I would do if I were you is browse through a few books, then buy one that suits you best, and finish it first.
 
Ill probably take Rotman n D&F from my unis library n use those
 
OK. Rotman defines rings with 1, DNF without 1.
 
Df is reeeeaaally long
 
I once bought DNF, then sold it the next day to someone else.
I find it too long winded.
 
4:47 AM
I want to end up solid in grp thry n decent in ring thry n modules
 
You know that Jacobson covers everything right?
 
No, it doesnt!!
 
I remember you bought Jacobson.
 
Jacobson has very little grp thry
 
Wait, we are talking about his BA1 and 2 right?
 
4:48 AM
Yes
 
Oh, then my memory fails me.
Anyway, I just use the 3 volumes by Cohn now.
Cohn really deserves more attention.
It is more widely used in the UK than in the US.
Mike and anon seem to have vanished, lol.
 
sorry
bad connection
have to leave soon
 
anon, you have been running in my mind all day, lol.
 
5:09 AM
@Pedro
 
Tñhai
@mike
I am a failurebat sleeping
 
I only speak to Pedro's not on phones!
@Pedro Remember how we proved that if a simple group has a subgroup of index n, then it injects into A_n?
 
Oyes
@mike
 
5:25 AM
@Pedro Obvipusly that provides another proof that S_n does not inject into A_(n+1) :D
 
As long as you assume A_n is simple no further mention of 3-cycles or any of that.
 
@Mike how so?
 
I'm back.
 
@anon A_(n+1) is simple; S_n, if it injects, has index (n+1)/2; so A_(n+1) injects into A_((n+1)/2)
I'm Mike
 
5:29 AM
With good punctuation and spelling.
 
@Karl They've been trying to use 'strength' for the past 3 hours or so
 
@Mike I saw that this morning too
 
Haha wait they were trying since this morning? Beautiful.
Apparently at some point they managed, and promptly left the cave
 
5:33 AM
@anon What troubles yer brains?
 
?
 
Gives anon some fries.
 
:/
 
@anon I was trying to be comical.
I apologize if I failed, or conveyed something different.
 
Oh, yeah, I have to fix a post that I wrote when I was tired as hell.
 
5:34 AM
@anon Being serious, I thought you had a question about what Mike said.
 
just wanted to see the reasoning
 
@KarlKronenfeld Link?
 
@PedroTamaroff here, also some pretty comical comments
 
Bill loves generalization so much.
 
@anon do you mean the reasoning for the embedding into $A_n$?
 
@PedroTamaroff Irony?
 
Let it be noted I tried to sleep!
 
@Mike This is the precise location they were in 18 hours ago. (Referring to twitch plays pokemon)
 
@KarlKronenfeld If they can manage to turn strength on, it's just a matter of boulder pushing. Only hard part is not exiting when they pass the door.
This puzzle doesn't reset on blackout, either.
 
5:47 AM
it does reset on going up a ladder, so lol if they go up and then black out
 
looks like they're giving up and going for democracy though
 
they've done that a couple times, never worked
they appear to be awful at menus in democracy
 
I don't even know why I answer this.
 
oh, I see why too
 
@PedroTamaroff Don't answer those >:(
lol they went into democracy on a fight
 
6:04 AM
:14030074
 
@fpqc hi
 
@fpqc You keep changing your username =D
 
is this ethan??
 
@Mike No, this is dog.
 
@fpqc Didn't see it.
 
6:07 AM
Damn, we've got multiple removal addicts
 
@Mike I see why you ask. =P
 
@Mike There exists a unique user who deletes at least half of his or her posts.
 
@PedroTamaroff Delete your comment please.
 
@fpqc Which one?
 
@fpqc Bijection is fairly weak, right?
 
6:08 AM
yea
 
probably they have the same cardinality
 
@fpqc Stop deleting stuff!
 
@KarlKronenfeld Ok maybe it has to be "natural"
 
I wouldn't bet on the existence of a natural one.
 
@fpqc Mariano has already told you not to delete stuff like this man.
Come on.
 
6:17 AM
@fpqc I am not taking this conversation seriously since you're deleting half of it... I just argued hueristically. I figured $R^\ast$ has cardinality smaller than or equal to $K^\ast$, while $K^\ast$ is easily to characterize.
 
@KarlKronenfeld fpqc
 
da fqpc?
 
"Finitely Presented Quillen Complex"?
 
6:31 AM
@Mike Estimates on when they will finish? I imagine it will take 20-30 more days just because of how hard it is for them to activate strength here.
 
@KarlKronenfeld I think that once they get past victory road it will be 1-3 days. Grinding will be very fast when they're at E4. But I can't estimate victory road. The hard part here is puzzles, not battles.
@KarlKronenfeld Ooh - look at them
Damnit.
 
I was too late I guess.
 
They were in the right menu. They even had Lapras selected to use Strength.
And then they B'd right out of it.
 
lol
I just figured out what hell really is. You have 40 thousand users' messages controlling your every movement for eternity.
 
There's someone stremaing stats here, but I like it mostly to read the filtered chat messages it shows after RED:
I imagine this is what the player character is hearing, above and beyond the urges to move right, up, down, and then check his nonexistent items
Let's see if they can democracy up a strength
 
6:42 AM
Who is fpqc?
 
same avatar as benjalim
 
he's my alter ego
 
so it stands to reason that...
 
Oh, so it's Ben. Hmm, I don't wanna talk to Ben anymore.
The reasons are too numerous to write in this chat.
 
Well, I approve of drama as long as nobody's looking.
@KarlKronenfeld Think they'll make it?
 
6:47 AM
@Mike yeah
 
they appear to have mysteriously backed out of the menu
 
genius
 
Are you guys playing a game?
How come nobody invited me?
 
I'm replying to their ability to coodinate startdowna btw
not the actual action lol
 
I have changed from blue to steelblue.
 
6:50 AM
maybe they think you need to be in front of the boulder first
haha the startup2a is going to undo eberything
 
@JasperLoy No we're watching one where a bunch of people online try to coordinate to play a single game. twitch.tv/twitchplayspokemon
 
@KarlKronenfeld You know, I keep mixing up you and Arkamis. Are you the guy who got married recently?
 
yeah, they definitely do - i just saw a b2rightdown vote, which would put them in front of the boulder
oh no
not my arch enemy
 
@JasperLoy I am not
 
@KarlKronenfeld Ah, then that must be Arkamis then, so that Arkamis is Ed Gorcenski.
 
6:57 AM
hahahahah they just went down to the other one again
 
yep, it was close
 
not enough people are voting for the bupa*s
 
yeah, dem conjugates are good.
 
whoa
 
7:02 AM
if they can survive moving the boulder to its switch, they can afford to wipe
they should keep democracy on just long enough to avoid walking out the exit
assuming they don't hilariously walk outside during democracy
 
yeah, I think they will mess it up either way, though I guess they are pretty used to the delay by now.
 
downrightup should be a safe moveset
oh no
oh no.
 
i think they can just redo it now though
 
downrightup2
then it'd be impossible to leave
 
7:08 AM
yeah
 
yep they didn't take five hours to get to strength, so they learned something
 
the main key there is they stayed in democracy instead of going to anarchy halfway in, i think
oh god I just realized they might get into a battle
 
thankfully it's pretty rare
 
also, ohko
 
MIKE
I have something you may finally accept doing for me
wolframalpha.com/input/…*+y%5E4+%2F+%28%28x%5E2+%2B+y%5E4%29sin%28xy%5E2%29%29
Why is this?
@KarlKronenfeld you too! basic multivariable
 
7:19 AM
that link doesn't work
also no i will never accept doing work for you
 
wolframalpha.com/input/…*+y%5E4+%2F+%28%28x%5E2+%2B+y%5E4%29sin%28xy%5E2%29%29
 
i will accept, at best, leading you to the ideas so that you can do it yourself
 
crap yeah no i mean
Nevermind
lol
I AGREE
limit as (x,y) goes to (0,0) of x^3 * y^4 / ((x^2 + y^4)sin(xy^2))
 
you can do that
 
I don't know how... The sine seems particularly annoying
 
7:21 AM
well, with these things, it's a lot easier to prove there's no limit than to prove the limit is correct
 
Wolfram says there is a limit!
 
@Mike I am revising my field theory without revising my ring theory.
From D&F
 
it's wrong
 
I know =P
 
pick two different paths that conveniently eliminate the sine factor
:)
 
7:22 AM
But anyhow I know ring theory, just not revising =P
 
I was trying to, But I'm not sure how.
 
@Anthony sure you are. try the simplest paths you can.
 
@MarianoSuárez-Alvarez Are you there? I remember you said sometimes you get auto logged.
 
@Pedro Another problem.
Analysis.
 
I tried things like y=x, y=x^2, y=sin(x).... None of them seemed good.
I mean I guess I could just say y=sin(xy^2)?
 
7:24 AM
@BalarkaSen OK. Consider the function $$\sum_{n\geqslant 1}\frac{\log n}{n^s}$$ for $s$ real.
It is known this converges iff $s>1$.
 
@Anthony Those are too hard.
Pick the SIMPLEST paths you can think of. Simpler than those.
 
Wait let me warm up ChatJax
 
x=y=0?
 
One at a time.
 
x=0?
 
7:25 AM
wait no don't do that aaaaaa
aaaaaaaaaaaa
I just told you to set sine=0
 
Wait let me warm up ChatJax
 
Show that this function, defined in $(1,+\infty)$, is continuous on every compact subset of that ray, and conclude thus it must be continuous over that said say.
 
@KarlKronenfeld they learned :P
downrightup9
 
Why would I set sine=0, it's on the bottom....
 
@Anthony Yeah, I know, that's what I just realized
 
7:25 AM
Oh
:(
 
so the function is not even defined everywhere..
 
@Anthony Write things as $$\frac{{{x^2}{y^2}}}{{{x^2} + {y^4}}}\frac{{x{y^2}}}{{\sin \left( {x{y^2}} \right)}}$$
 
@KarlKronenfeld it is in a neighborhood of zero (minus zero)
 
@PedroTamaroff yes...
 
The sine thingie has limit. The other part does not.
 
7:28 AM
@PedroTamaroff you're smarter than i
 
@Mike Got my streets smarts up.
 
@KarlKronenfeld yessss
 
How do you know the sine thingy has a limit?
 
@Mike Nah, $x=\pi y^{-2}$
 
@Pedro Okay, so the problem is to prove that $\zeta'(s)$ is continuous on every compact subset of $(1, \infty)$ and thus is continuous on that interval whereas $\zeta'$ is the $\Re[s] > 1$ counterpart, i.e., the p-series.
 
7:29 AM
@Anthony $\sin t\sim t$ as $t\to 0$.
 
@KarlKronenfeld i was about to object and say I didn't say open ball, but damnit if you include 0 that's tragically unopen
 
lol
 
@BalarkaSen Yes.
@Mike Already knows the solution I gave. So I'll leave now. Hint Every compact $K\subseteq (1,+\infty)$ is bounded away from $1$. Consider $$\sum_{n\geqslant 1}\frac{\log n}{n^{1+\varepsilon}}$$ and invoke your friend Weiertrass.
I am giving the solution away, really.
 
I'm not gonna do these problems, @PedroTamaroff
I'm busy writing an essay and watching people fail at pokemon
 
@Mike Heh. Bye.
 
7:33 AM
@KarlKronenfeld NO
 
omg
they are amazing
they collectively learn these things one at a time
 
are you looking at the comand input at all? it's hilarious how convoluted the average one is
 
@PedroTamaroff The only thing you are going to get is either "Lindemann-Weiestrass" or "Weierstrass–Casorati theorem" by saying "Weierstrass" to me. =D.
So which one? Bolanzo?
=D
 
@Mike hah, they may be trying too hard to account for the delay
 
lol @ sudden left
 
7:49 AM
@Mike Ok, I see what you mean by the moves being so convoluted lol
also wtf
 
nice going democracy
 
they'd be fucked irl because the boulder would smash those stairs, rather than just not move
 
thank god in the real world rooms revert to their previous state after leaving
 
touche
 
Wait what about (cos(theta)-1)/sin(theta) as theta goes to 0?
 
7:54 AM
you can solve that one too
 
@Mike If $\text{Gal}(E/F) \cong V_4$ prove that $E/F$ is biquadratic.
 
@Mike I know I caaaan
But I don't know hooooww
Am I looking for a trig sub?
I'm not using lhopital here either btw
 
Yah.
Half-angle.
 
If I do it on sine, I get stuck with another sin
 
or multiply by $\theta/\theta$
 
7:58 AM
If I do it one cosine, I can't cancel with the sin
 
@KarlKronenfeld's is better.
 
Why would that help?
 
just stare at it. I don't have any hints w/o giving the rest of the answer lol
 
try it and see
@KarlKronenfeld this is gonna end tragically
or rather, it would, if it weren't for that battle
 
omg
amazing
lucky bastards
 
8:01 AM
Wait also I don't want to use a known limit of theta/sin(theta)
nor do I want to say sine~theta
 
@Anthony ...
 
What?
 
anything else to exclude?
 
Well no, I just mean I don't feel like either of those are very "pure"
I dunno
I mean I could theoretically just lhopital it... but I dunno.
 
Well, you can "heuristically" find the limit using any approach you have available, then prove it formally using epsilons and deltas.
 
8:03 AM
This is true.
 
if you don't want to use sin(theta)/theta then i dunno man
this is basically that in disguise.
 
:(
 
here, I'll write it down and spend a minute staring at it and no more, @Anthony.
 
i suggest writing it down and then consulting bulbasaur's cry
thank jesus for up9
 
@Anthony multiply by $\cos\theta+1$ both top and bottom
 
8:10 AM
these fools
 
@Mike Very helpful advice, thanks
 
Huzzah
Thank you Karl.
 
they're not going downrightup2down
they did go down, though
 
that's actually pretty good, if I get their idea
 
@Mike $L$ be the galois closure of the extension $\Bbb Q(\alpha)$ over $\Bbb Q$. Prove that for any prime $p$ s.t. $p$ divides $|\text{Gal}(L/\Bbb Q)|$ there exists a subfield $F$ of $L$ with degree $p$ and $L = F(\alpha)$
 
8:12 AM
nevermind, I visualized it wrong
 
I liked this one.
 
as long as they don't go right until necessary, we're good
 
@Mike What are you two talking about?
 
@karl lol i like the unnecessary down9
 
made it!
they win!
oh wait...
holy shit at down9 getting votes
 
8:22 AM
boulder puzzle doesn't reset
if you wipe or leave, the boulder moves back to where it started, but the invisiwall stays gone
 
oh, you said that already. derp
still curious that 12 or so people voted for down9
 
yeah idk, you should wipe or at least try to progress
i wonder how it registers commands so well
regex or something i guess
@KarlKronenfeld There's a TM up top here that has a good move for the bird
 
sky attack right?
 
@Mike When it doesn't have parentheses and binary operations and whatnot, it's easy to parse.
 
8:28 AM
yeah, my first instinct on checking this would be to do command(number) until the line is exhausted, so left1up1
but leftup works fine
 
I think you first break down a list: text, number, text, number,.. then you need something special to handle text-only strings, which applies to all text units
 
they're going for the items
oh sick, we can actually teach it properly in democracy. maybe.
 
I left the room to use the bathroom, so I had to turn my computer back on.
 
RIP
i hope they take this one command at a time
 
8:48 AM
holy shit, wait is a command.
 
what
WHAT
omg are they going to toss it
@karl should we make a tpp room so we don't clutter thi sone
 
sure
(clearly math discussion amirite)
 
you should make it, it keeps opening an MO room
i don't want to have this crap on MO's room list
 

 That one room for those people

clearly a math discussion, amirite
 
 
2 hours later…
10:38 AM
@BalarkaSen I mean Weietrass' M-test for uniform convergence. Did you ever study calculus?
 
 
2 hours later…
12:10 PM
If $T,U : V \rightarrow W$ are linear tranformations, why is it that $\dim(R(T)) + \dim(R(U)) = \dim(R(T) + R(U)) + \dim(R(T) \cap R(U))$?
 
@Alex That formula holds generally for linear subspaces, $\dim A + \dim B = \dim (A+B) + \dim (A\cap B)$. That the subspaces here are the ranges of two linear operators is irrelevant.
 
I just found the formula as the result of an exercise in a past section. Thanks for pointing that out.
 
12:46 PM
Guys, got any ideas about this one?
How did they do it?
 
1:15 PM
@PedroTamaroff Of course I did. But not rigorously enough the part with frequent ineqs, no.
=D
I am more of an 'equality guy'.
 
An inequality involving a simple expression can say much more than an equality involving a complicated expression.
 
And much more says the asymptotic equalities.
But I thought you liked equalities? Aren't you an algebraist?
 
I honestly do not prefer one over the other lol
 
One over the other? Which one? Which other?
 
equality/inequality.
 
1:25 PM
But I though algebraist almost always usually prefer equalities.
 
Why would you think that?
 
I dunno. I use to know some mathematicians (A/a NTst, mostly) like that.
Geometers are the ineq-preferists.
 
Hell, the concept of a limit/colimit from category theory can be used to attempt to approximate algebraic objects by other, simpler, ones.
 
5 hours ago, by Balarka Sen
@Mike $L$ be the galois closure of the extension $\Bbb Q(\alpha)$ over $\Bbb Q$. Prove that for any prime $p$ s.t. $p$ divides $|\text{Gal}(L/\Bbb Q)|$ there exists a subfield $F$ of $L$ with degree $p$ and $L = F(\alpha)$
@Karl
 
@BalarkaSen No.
 
1:39 PM
Have there been any recent improvements on FLT for $\Bbb Z[i]$?
 
00:00 - 14:0014:00 - 00:00

« first day (1304 days earlier)      last day (3720 days later) »