« first day (2738 days earlier)      last day (2580 days later) » 

22:00
guys, if you had to choose between galois theory and numerical analysis; which one would you choose?
as in, to take a course on
Hmm, how do I render that code? Do I need Matlab?
then if you set the matrix as unknown $$ \begin{bmatrix} a & b \\ c & d \end{bmatrix} \cdot \begin{bmatrix} 2 \\ 5 \end{bmatrix}=\begin{bmatrix} 24 \\ 16 \end{bmatrix} $$
No hmm
i think there are instructions
@ShaVuklia Go for Galois theory
And the syntax is something called latex @user10478
@BalarkaSen good, that was the answer I wanted to hear
22:01
:P
Okay, thanks
I have to cut down on some electives, so I was hesitating between those two
like you have all phd:s in math ?
@BalarkaSen and people alike
I am not in academia
@Sha Galois theory is quite fundamental in my opinion 'cuz it tells you a proof of the fact that quintics cannot be solved in terms of radicals (I suppose you already know this story)
@ShaVuklia galois theory, without a doubt
22:03
@Balarka yea that's the reason I want to choose Galois, even though quite frankly, I am not that inherently interested in the topic
it's also good in terms of widening ones mathematical horizons, I suspect
quintics specifically may not be so interesting, but the tools of galois theory can be applied elsewhere?
i know that's true for differential galois theory
also physics? :p @semi
omg differential galois theory??
not as far as I know, anyways
yeah
22:04
like, with differential forms?
because I just learned about them
not really
Well no it gives you a proof of things like, $\sin(x)/x$ has no antiderivative in terms of elementary functions
more stuff like proving that $e^{-x^2}$ doesn't have an elementary antiderivative
oh nice, well that sounds fun enough
galois theory can be applied to classical geometry. You can show that it's impossible to trisect an angle, double a cube or square a circle (for the last one you'll need the transcendence of $\pi$)
22:05
which is sorta the 'differential calculus' equivalent of a given quintic not being solvable in closed form
No proofs of these ancient problems were known before field theory
also, @Semi
I finally learned the classical (read: physics) theorems for integration in 3 d :P
in math I mean
And algebraic number theory is full of Galois theory
it feels so good
The ideas involved in Galois theory is not restricted to Galois theory itself.
It's mostly groups acting on interesting things for the first time in algebra
22:06
@BalarkaSen right
right well, if anything, I'm completely convinced to choose galois, so thanks
Covering space theory is sometimes called "topological Galois theory"
is it possible to simplify $cos(arcsin(x))$ ?
$\sqrt{1-x^2}$ @trey ?
@Tuki how did you get there exactly?
22:19
did not come up with this myself exactly
but it makes sense
if you think about this for a while
Proof for this probably exist
4
Q: $\cos(\arcsin(x)) = \sqrt{1 - x^2}$. How?

KaishHow does that bit work? How is $$\cos(\arcsin(x)) = \sin(\arccos(x)) = \sqrt{1 - x^2}$$

perfect, thank you!
I would say the explanation in this is quite intuitive
Hey everyone!
Hi @Daminark
Hey @Daminark
22:23
How's it going?
good how about you @Daminark ?
i have a question : For a point x, let $N_{x}$ denote the collection of all nbd's of $x$. Define $w_{f}(x) = inf_{V \in N_{x}}\{sup_{y,z \in V} |f(z) - f(y)|\}$. Then $f$ is cts. at $x$ iff $w_{f}(x) = 0$. Can someone explain what is happening here?
Doing alright, getting ready for algebra tomorrow
Pretty good, thanks. A classmate gave me a bar of chocolate because I always help him with ANT
22:24
ANT?
algebraic number theory
your question is about topology stuff @Shobhit ?
i so want to take that as an elective, but no one in my class is taking number theory and you need atleast 8+ people in a course :(
yes, in a way@Tuki
@MatheinBoulomenos nice
like number theory is probably something i could understand
22:27
And I've got an interesting seminar talk for next semester on Bezout's theorem in projective geometry
So it's going quite well
I'm preparing for the complex analysis 2 exam next tuesday
@Shobhit aww damn, that sucks. Number theory is really cool
complex analysis includes stuff like mandelbrot set and other fractals ? @MatheinBoulomenos
I suppose you can cover that in a complex analysis course, though we didn't
it was mentioned in calc 1 but i cant remember in what context
I mean the mandelbrot set certainly involves complex numbers. I don't know if its study involves complex analysis
You might ask @XanderHenderson about that, he's the fractal geometer of this chat
@Shobhit can you do a reading course?
22:32
what is a reading course?
@Daminark so what's your algebra exam about. You did the basics like PIDs, EDs, UFDs, right?
@Shobhit You're from India right? Do you mind me asking which university you are in?
(Are you an undergrad?)
IIT delhi, post graduate
you too are from india?
22:35
Yep
@BalarkaSen if your not in academia how you have obtained all this math knowledge ?
Self-learning mostly, and sticking around in this chat
@Daminark reading course?
I find myself in sometimes in these situation where i try to seek a good material for some specific problem related to mathematics and usually this can be very time consuming. Usually happens when there is no-one to ask for help.
Then if you had that someone to ask it from the situation would be different.
You find various books as good material or what is your number one type of material you seek knowledge from @BalarkaSen ?
I look for good books, mostly, yes.
22:48
@MatheinBoulomenos Du studierst in Heidelberg ge?
@ÍgjøgnumMeg ja
@MatheinBoulomenos Würdest du sagen es ist teuer in Heidelberg (miete und so) oder wohnst du bei den eltern? Ich werd mich dort bewerben lol
@ÍgjøgnumMeg Miete ist im Allgemeinen nicht so günstig, obwohl ich Glück hatte mit der Wohnung. Es gibt auch Studentenwohnheime, bei denen man sich bewerben kann
Heidelberg ist aber günstiger als München, Frankfurt, Berlin, Hamburg ...
@MatheinBoulomenos kommt mir auch so vor, ich werd mich auch in Augsburg bewerben aber es kommt mir so vor als wär miete in bayern generell teurer als in anderen bundesländern
Na gut, danke für die hilfe :P
Ja, ich glaub Bayern ist nicht so günstig
@ÍgjøgnumMeg sag mir, wenn du genommen wirst
aber dann sehen wir uns ja eh in den Zahlentheorie-Vorlesungen wahrscheinlich
22:53
@MatheinBoulomenos Mach ich :) Muss noch die ganzen Bewerbungsunterlagen sammeln und so also dauerts noch ein bisschen
Ja kann sein!
@MatheinBoulomenos yeah it'll be basically on that stuff
@Daminark you can make problems like "is the following polynomial irreducible" as hard as you want, so good luck
Does such method exist that you were able to find all critical points of a given multivariable function ?
Yeah I'm not too fond, our professor has a back and forth record in problem design
and i mean analytical method
22:57
"Problem 3c) Find all elements of S^26 of order 75, 76, 77, or 78"
@Daminark that's a lot to write down, I'd just give the cycle types
but you don't need to think
Yeah I mean he said to give cycle types, but it was annoying nonetheless
About problems isn't it usually harder to come up with good questions rather than good solutions ?
That first test was kinda long without being interesting
I once showed that a polynomial of degree 5 where the highest coefficient was $68$ or something like that is irreducible and my argument involved the well-known fact that $1371294863$ is a prime number
that was here on MSE
23:00
Though I think he kinda felt bad since the average was like, 40%. He changed the next test, probably wanting to make it shorter, and it was more interesting but the average stayed the same. Final was a bit better and it was also legitimately fun
okay, so there's hope, maybe it will be like the final
@Daminark suppose you had to give that argument in the test: math.stackexchange.com/a/2459474/348926
what you think of math exams in general @Daminark @MatheinBoulomenos ?
math exams can be fun
you think they are usually if done well a good measurment of your understanding of a given subject ?
@MatheinBoulomenos I would cry
23:06
I don't know if they are a good measurement of understanding, probably homework where you don't have time restrictions and have access to your notes and the exercises can be more difficult are a better measurement of that
But I think that oral exams are the best measurement of understanding
Profs can usually tell really well if someone understands the subject if they just talk a little bit about it
Yes i can agree with you with this.
But yeah he's getting better so there's hope this test won't be stupid, it helped that the material of the final was a lot of Sylow combo and honestly I could major in Sylow
Majoring in Sylow sounds fun
I mean Leaky dubbed me "Sylowmeister" for whatever reason
I heard you mention that word as well some time back
Elementary umber theory is too hard
umber theory? ok
23:10
elementary umber theory is arder han lgebraic umber theory, I'm aking oth his emester
Shift-6
Hi @AlessandroCodenotti
alt-f4
open bash "rm -rf / --no-preserve-root"
23:15
Hi @Mathei
@AlessandroCodenotti how's it going?
Pretty well, I did the functional analysis exam and it went well, I still have to do a foundations of math/logic and a commutative algebra one before the new semester begins, but those are topics I like so it's fine
What about you?
Mathein: do you know suicide Linux?
I'm doing well, I have to write 3 exams and have 1 oral exam in the course of the next 2 weeks, so I'm a bit busy with learning
@Daminark I just googled it and holy shit
they're on algebraic number theory, elementary umber theory, advanced complex analysis and numerical analysis
I'm mostly scared by numerical analysis
So much matrix decompositions to compute ...
Are you allowed to use calculator ?
I am not either good with this sort of stuff.
I took basic course in linear algebra and i think i understood most of the concept but then when you had to inverse 5x5 matrices in exam that didn't go exactly well. Also no calculators were allowed
also it included various decompositions for example lu decomposition, svd
@AlessandroCodenotti what did you cover in commutative algebra? My course was combined with non-commutative, homological algebra and category theory, so my commutative algebra knowledge is mostly self-taught
I have two primes $p, q$ such that $p^2 \equiv 1 \pmod{q}$ and $q^2 \equiv -1 \pmod{p}$. I think only $(p, q) = (3, 5)$ is possible. How would I approach this?
Ideally suggest something rather than full disclosure.
$q \mid (p^2-1)$ and $q$ is prime
@MatheinBoulomenos Standard stuff, modules, Hilbert's basis theorem, the nullstellensatz, primary decomposition, localisations, going up and going down theorem, we folloed Miles Reid book
23:33
Right, p is either 1 mod q or -1 mod q. I thought that about a little, but it doesn't seem to lead anywhere much.
Should it?
(Aka should I ponder on it more?)
idk, it was just my first thought, I'll think about it more
Gotcha.
I have been getting blah = blah' mod(a) where a itself is a blah'' mod blah''' number problems a lot these days
And I have no idea how to approach these
Something something quadratic reciprocity
Also I meant $(p, q) = (5, 3)$.
I don't see how quadratic reciprocity tells us more than $p \equiv 1 \pmod{4}$ in this case
Yeah, prime divisors of $q^2 + 1$ are 1 mod 4. Forgot about that.
23:47
Anyone around?
Good. I'm just looking for emptyness :P
Only the nullcookie is here.
Greetings.
23:48
oh hey @TedShifrin
oh hey Tuki
Well, this is more excitement than I can handle.
:is excited:
oh?
You're supposed to be un-unsleeping!
Oh hai chat
helo @Semiclassical
23:52
Greetings, Semiclassic.
I find myself looking forward to next week, if only because the Super Bowl will be done
Well, I've just crossed the Medicare threshold as of this morning :) We all have our crosses to bear.
Or maybe bare, in some cases.
(Minneapolis is hosting it this year, for context)
Ah
Will it be blizzardly?
There’s supposed to be a storm this weekend at least
23:55
Well, that's encouraging.
I’m okay with that, though. I’m not someone who will have to be outside during it :)
But the number of visitors in town is making transit a pain
Yup.
Imagine how much fun they had in ATL when the orange cheato decided to show up for the college football finale.
In here we will have the whole public transit in strike tomorrow ^^
also very blizzardly at the moment
Quick clarification: The differential operator polynomial in this case $D^{3}xe^{x}$ would be the same as $D(D(D(xe^{x})))$, correct?
Sure, Cookie. And hello.
23:59
Hey Ted :) Thanks. How's life?
Other than severe neck pain (and I don't mean the pains in the neck in this room), fine. Cooking a Chinese dinner for friends in a few hours.
@TedShifrin ugh

« first day (2738 days earlier)      last day (2580 days later) »