« first day (553 days earlier)      last day (4764 days later) » 
00:00 - 15:0015:00 - 22:00

00:00
Even complex numbers are already quite far from the centre, though I think that few who work with them would hesitate to call them a kind of number.
Eh, I don't think of ideals as numbers. Rather, individual elements of a ring can be sort of "avatars" for ideals, but this only works in PIDs. @Skull: The examples I gave might take some algebraic sophistication to fully understand. (I don't really know much about id/adeles for example.)
Where would infinity be?
Depends on what kind of infinity. There's R or C with a "point at infinity," but this is more topological than algebraic, and cardinal arithmetic is certainly a good example of borderline numbers.
@anon Neither do I, but the folks who wrote some of the very early papers about them used language appropriate to talking about numbers.
@Brian: Ah, interesting.
00:04
@anon I think that cardinal arithmetic would actually fit pretty well into Russell’s notion of number.
@anon If I remember correctly, Noether talks about the gcd of a finite set of ideals, for instance.
Well, I would like to thank you both for your time and patience and bid you far well.
Take it easy!
Later Skull.
Coming a little late to the conversation, but I don't think you'd find many people, if any, who'd call ideals "numbers." In fact, in a pretty literal sense they were originally introduced to tidy up Kummer's notion of "ideal numbers," which were very tedious to work with.
I think id/adeles make for a good candidate for a borderline case.
Now that I think of it, I think $\mathbb{F}_q((T))$ is somewhat regarded as numbery.
00:15
I think that might be a stretch. Certainly there's a good analogy with numbers...
 
3 hours later…
02:50
anyone here?
03:11
@DevenWare Hello
Hello
I believe we have "met" before.
probably on here ;)
I think I answered one of your questions on linear transformations and matrices.
ohh
thanks for that then
03:18
some time ago that was
what brings you to chat?
yep that was a while ago
ah, well I'm stuck on a problem and don't really have enough grasp on it to ask a good intelligable question on the site
so I was hoping to get some kind of assistance on the chat room
what field of maths?
If it's something in rings maybe I can help
(real) analysis riemann integral related
nope. Totally out for me T_T
haha well hopefully someone will come ;)
03:20
Interested in rings?
I do find rings relatively interesting, we just began studying them this quarter in my algebra class
so I don't know too much yet unfortunately
nice :D
There is a nice result that if you quotient out by a maximal ideal you get a field!
3
Q: How to directly prove that $M$ is maximal ideal of $A$ iff $A/M$ is a field?

user314An ideal $M$ of a commutative ring $A$ (with unity) is maximal iff $A/M$ is a field. This is easy with the correspondence of ideals of $A/I$ with ideals of $A$ containing $I$, but how can you prove it directly? Take $x + M \in A/M$. How can you construct $y + M \in A/M$ such that $xy - 1 \in M...

yes and if you do it with a prime ideal you get a domain ;)
@DylanMoreland Hello :D
So you do know some results about rings then?
Hi @Benjamin.
03:23
well we have been working with them for 4 weeks now
so I know some
@DevenWare May I know if you are you in second year of university now?
yes second year of university
@DevenWare You might as well ask it.
Nice I'm going into second year in 2 weeks :D
oh very cool and alright
well the question was calculate \int^1_0 x^2 dF(x) where F(x) is cantor's function (en.wikipedia.org/wiki/Cantor_function)
03:25
At the very least, we can probably figure out what the issue is.
i've manipulated it some what
and now need
\int^1_a xF(x) dx
but I still can't even do this
And then one of the analysis superheroes on the main site can do something with it.
however I believe I can calculate it using limits as
lim_{n\rightarrow\infty}\int^1_a xF_n(x) dx
where F_n is the n_th function in the sequence which converges to cantor's function
This is the Stieltjes integral with respect to F?
however I don't know how to calculate this either
yes Steiltjes
03:27
@DylanMoreland How did you find Atiyah Macdonald chap 2?
and I mean in^1_0 not a
@DevenWare You should consider doing this render MathJax thingy it renders latex here on chat
oh can I render it on chat?
@DevenWare Though I don't remember how to do it.
E.g.: $\int_0^1 f(x) dx$.
@BenjaminLim What do you mean? It's a good chapter of a good book. I can't recall any incredible problems from it, I guess.
03:31
@DylanMoreland About to start on it. I asked because all this homological stuff looks scary :[
It depends on what you mean by that. The stuff about exact sequences and such is really helpful for organizing your thinking.
But some of the problems will require knowledge of Ext and Tor.
I never really understood why they thought that was a good idea.
I know. Someone told me that chap 2 was designed for someone who has already been exposed to homological tools.
It's just a few problems at the end. I don't think that any homological algebra is really necessary.
I think they prove the snake lemma but I can't remember them doing anything with it.
@DevenWare So, I must admit that I've never thought about varying that part of the integral. At least in the Riemann-Stieltjes setting.
ineed me either which is why I worked and changed it into a problem of calculating \int^1_0 xF(x) dx
Thanks for the advice.
03:40
which is just a normal integral (dx)
however, I still have no idea how to calculate it
Oh, so you have.
How'd you manage that?
no work really, a (weak) version of the theorem of integration by parts says that \int^b_a f f\alpha + \int^b_a \alpha df = f\alpha(b) - f\alpha(a)
So if you're picking the {F_n} as I assume you are, then that converges uniformly to F. That's good. So, as you said, we need to calculate the integral of xF_n(x) over that interval.
yes exactly
the F_n are as in the link I sent if you clicked it
Ah, okay. I thought it might be parts but I thought I needed differentiability for some reason.
03:44
yes this is a weaker version of the normal theorem
which doesn't require it
It seems like we should be able to do it.
F_0 is fine.
yeah F_0 is easy since its just constant function x
Then say I know the integral of F_n over [0, 1].
Oh, but there's this blasted x.
Awesome.
03:53
?
Sorry. Internet sarcasm. Maybe we can scale that away? I guess I'll have to get out paper.
oh, my TA responded to my email
although I'm not sure how to work out his answer he says
split the integral into three parts.

[0,1/3], [1/3,2/3], and [2/3,1]

the integral over [1/3, 2/3] is the integral of 1/2 x over the same interval, so it is 1/12.

For the other two parts, use the following

Use a(x+2/3) = a(x)+1/2 for x in [0,1/3]

and a(x/3) = 1/2 a(x) for x in [0,1].
@BenjaminLim Mostly it's getting used the language of exact sequences. And those just organize information about kernels, images, and cokernels that you already know.
@DylanMoreland Right. I am about to start the semester and am doing a reading course on AM.
In my institution I don't think they offer homological algebra or commutative algebra even.
@DevenWare So suppose I know $\int_0^1 xF_n(x) dx$. Look at $\int_0^{1/3} xF_{n + 1}(x) dx$, for example. Write $u = 3x$ and work out the details; you get $\frac{1}{18}\int_0^1 uF_n(u) du$.
1/2 just comes from the 1/2 in the formula. Another 1/3 from the u, another 1/3 from the du.
04:01
hold on, I'll brb and take a look sorry
Hey Dylan I recall in AM that in some of the later exercises of chap 1 they mention $k$-algebras.
However I don't recall it being defined in the text. Do they assume knowledge of this?
They don't recall. They define what a ring is so I assume that they mention the definition at some point.
But it's just a definition.
I think there's some tacit assumption that you've seen rings before, though. I think if you introduced someone to ideals for the first time using AM it would not go well.
Let me look. I'm next to my bookcase.
@DylanMoreland It's mentioned in chap 2 right before the exercises.
However they do mention it in an exercise at the end of chap 1 though (strange)
Ah, page 29.
right I see it too.
04:08
I guess the hope is that you've seen those words before. Certainly when talking about polynomial rings or matrix rings the notion of an $A$-algebra is natural.
I have seen rings before and have read almost all of the chapter in Isaacs on UFDs sans localisation.
At least that was what I was told one needs at least before tackling AM
Oh, Isaacs. Good book.
Yeah. The only problem with Isaacs is that it is quite cumulative so if you missed some chapters then it's not good.
ok, I'm back sorry my friend needed something
I've only read the group theory part. It's a lot to take in but he proves some cool stuff that, e.g. Lang doesn't do.
But the commutative part might have gotten less love from him. He's definitely a group theorist.
04:15
considering he's written the books on character and finite group theory?
Is anyone else seeing this problem?
Lang a group theorist?
@MarianoSuárezAlvarez Too many antecedents, probably. I was referring to Isaacs.
@Dylan Sorry I think maybe i'm missing something silly how did you get to $F_n$ instead of $F_{n+1}$? "Write $u = 3x$ and work out the details; you get $\frac{1}{18}\int_0^1 uF_n(u) du$."
I'm just using the definition of $F_{n + 1}$ on $[0, 1/3]$.
04:22
oh gotcha
How does anyone view this positively?
Ah well.
04:37
People should take on usernames like Galois after they have got in terms with the force...
@Galois please don't order people to answer your question.
@DylanMoreland Not positively, but not especially negatively, either.
@DylanMoreland I’ve never seen either of his books, but his standard graduate algebra course at Madison was superb. His lectures were so well organized that my notes very nearly are a book.
@BrianMScott No, I didn't downvote it or anything.
Not that that matters at all; I don't think you were commenting on that. Maybe I should give up on my insistence on pleasantries.
@DylanMoreland I wasn’t even thinking along those lines $-$ just noting that I seem to be less strongly affected by this type of question than a lot of folks are.
I admire your temperament.
04:55
I think that it’s more a matter of some 40 years’ practice and exposure to students’s questions: I tend to read those questions as the result of some combination of desperation and general cluelessness. There are certainly other things that can get me worked up quickly enough!
Okay Dylan sorry I'm quite slow at integration and concepts like this just getting to understand it, so we've got $\frac{1}{18}\int_0^1 uF_n(u) du for \int^{1/3}_0 F_{n+1} and we can do \int^{1}_{2/3} similarly, and $\int^{2/3}_{1/3} is always the 1/12 correct? but then I still can't see how to conclude
just take the limit as n\rightarrow \infty of the sum of these three values?
but the ones on the edges seem to go to 0 unless I'm seeing it wrong, but that seems wrong to me, e.g it seems wrong that in 0,1/3 and 2/3,1 the integral would be 0
05:14
I don't see how we can take the limit of this, at first glance. I mean it's some recursive thing. We should unravel that part first.
@BrianMScott math.stackexchange.com/questions/106939/… posted in the imperative too.
I've resolved to follow Brian's example and stop caring.
@DevenWare Hm. Is the constant for the second part so simple?
Er, maybe that should be the third part. The rightmost one.
I'm unsure you can get something like 1/18 \int^1_0 (u+2)f_n(u) du
however thats likely unhelpful since we have u+2
It seems like it isn't so hard to figure out the integral of just $F_n$, though.
I suppose not, however at the point of going down and figuring that out the solution seems to be getting a bit more convoluted than I would expect it to be
05:24
In the end, I think you want some sequence of integrals $I_n \to I$, and you have some relation $I_{n + 1} = aI_{n} + b$, hopefully. And you'd take the limits there and find $I$.
I agree that this seems messy.
I didn't really follow your TA's hint, unfortunately.
yeah that's another of my concerns
he seem's to think (at least from his hint) that it can be done using properties of F ... rather than some sequence
(he wrote a where I write F)
Maybe his point is that it's self-similar?
That might work.
You might have to prove that.
prove that it is "self-similar"?
Let me be more precise.
tbh I've never heard that term before, but I assume it means something like it's essentially the same in both intervals?
05:34
I mean, I'm just going to write down what he said, I bet: for $x \in [0, 1/3]$, $F(x) = \frac{1}{2}F(3x)$, and so on. No need for the $F_n$s. This makes sense from the picture and the finite approximations. Maybe it's clearest if you define the function using the ternary expansion.
Maybe you run into the same issue. One second.
This title makes me laugh every time I see it.
You see, even if I had that though
I don't see how tht would help me integrate
If your proof of Famous Conjecture X is less than a page long, then it doesn't work.
Sounds like a good rule of thumb.
@DevenWare Well, let's go back to what I was saying earlier. About the $I_n$s and such.
I also think that you only need to calculate the integral of $F$ (on its own) over $[0, 1]$. Once. And I'm pretty sure that this is $1/2$.
05:46
this is 1/2
correct
I think that once you write all of this out and use that fact about $\int_0^1 F$, then you'll write $I = \int_0^1 xF(x)\, dx$ in terms of itself, in the sense that you'll have
$I = a \cdot I + b$ for some numbers that you'll have to work out. I'm almost to the end but I should stop. And then you can solve for $I$.
What’s the actual problem?
it is essentially this
You already have part of it: $I = \frac{1}{18}I + \frac{1}{12} + \text{this expression that I don't want work out}$.
calculate \int^1_0 xF(x) dx where F(x) is the cantor function (devil's staircase)
riemann-stieltjes integral
05:49
Ah, okay.
yeah I see
that seems like it should work, thanks for the help I'll do it out now and see
06:10
is there a program which will calculate this numerically if i enter in "cantor function * x) integral
I ended up doing out the whole thing and getting \int^1_0 x^2 dF(x) = 7/16
I'm unsure if I erred somewhere along the way though seems like an odd number
07:00
woops sorry I meant 3/8
carried an extra one there somehow
VVV
VVV
07:50
hi
Morning.
VVV
VVV
Matt N. do you know how to construct irreducibel polynomials?
in fast way?
Irreducible over what?
VVV
VVV
GF(2)
No.
Let me remind myself of a few definitions.
07:54
«thus his theorem is meaningless»
What I tell you N times, with N large enough, is true.
@MarianoSuárezAlvarez Did you see robjohn's latexed picture of you?
take polynomials x^a*(x+1)^b for a,b>0, add them together and then add 1?
@MattN, yeah :)
I promised to add it somehow in my next paper :P
VVV
VVV
Thank you anon!!!!!!!!!!!
08:07
(actually... I don't think that makes irreducible polynomials. just ones with no linear factors.)
VVV
VVV
anon this doesnt seem to be correct with: x^(2)(x+1)^(
yes
@MarianoSuárezAlvarez The PDF is pretty nuts.
I guessed that
:)
"Godel is a failure" in eight different fonts.
@VVV Do you know that $f \in F[x]$ with $deg(f) = 2$ or $deg(f) = 3$ is reducible over $F$ if and only if it has a zero in $F$? So you just pick a degree $2$ polynomial that doesn't have a zero, like for example $x^2 - x + 1$.
Or am I missing something?
VVV
VVV
08:14
yes
but i want construct bigger
degree 17
degree 57
I see : )
I thought you were looking for any irreducible polynomial : )
08:40
Top of the hangover to all, and whatnot.
end is coming, everybody run now. I'm gonna live forever
@Asaf: do you know how Skull is doing?
@Matt good morning
Huh? I have him on ignore... all I know is that he's not here right now.
@Ilya Morning!
@AsafKaragila that's why I'm asking. He seem to be surprised by the version of Galois' death I've told him yesterday. Even the fact that it was extracted from the notes by Euclid didn't convince him: he proceed asking such respectable members as Rob and Brian if it is true
08:49
@Matt seems that the warm weather is coming
@Ilya True : / It's only -9 or so today.
@MattN it's already warmer here. I hope that winter will finish this week
@Asaf: to you, my friend, the winter is the time of the year when it is colder than $0^\circ \;C$ and there is some... snow instead of the rain. Snow is like rain but instead of drops of water you have milidrops of ice. And ice is the state of the water for temperatures below $0^\circ \;C$
To me?
We have like 20 C sunny here today.
I guess you're unaware of such stuff so I don't want you to feel not involved in our with @Matt discussion
so, when it 'snows', the train system is all stacked because the switchers for railways are frozen
that what they use to say
@Asaf here you can learn more about the winter
Winter is the time of year when you wear a long sleeve shirt during the day.
08:59
@Ilya lol. The switchers here are heated.
@AsafKaragila What are your plans for today?
Finish studying for my exam, which is tomorrow morning.
Didn't know you had an exam! I'll be crossing my fingers!
@MattN lol. here they are heated as well. It does not help them (NS)
@MattN I have to solve one question out of three which we picked from the homework assignments.
I know one proof perfectly, I have to finish the rest today.
@AsafKaragila what are the questions? btw, have you received an answer for the yesterday's question about cuts?
09:03
One which I asked on the main site, the second which I did last night and another which I don't remember.
@Matt :p
Either way, I have to go to the university and meet with my commutative algebra teacher to discuss the final project.
@Ilya Brian said that it's true. All the cuts are open.
@AsafKaragila I read it :D did he say, why?
@Ilya No! : D
ah, so @Asaf only has to give the right answer on his exam, the proof is not necessary? nice :)
09:09
I finally figured out what the Lindenbaum algebra is good for.
Obviously an answer would constitute of a proof. How do you do mathematics?
@MattN Making your life miserable?
@AsafKaragila rigorously :) and you?
so you know the answer that all cuts are open, but you don't know the proof?
@AsafKaragila Not at all. If you have a theory $T$ and $T \nvdash \varphi$ then it lets you construct a model of $T + \lnot \varphi$.
I just play chicken invaders 4.
@Ilya No, I figured out the proof earlier this morning.
@AsafKaragila icic
@AsafKaragila try World of Tanks
09:11
The cut is homeomorphic to $[0,1]$ and the image of the cut is exactly $U\cap\{x\}\times[0,1]$.
Anyhow. I gotta go now. See you folks later.
See you later!
@AsafKaragila good luck with the preparation
I also have to prepare, today is my first assistance for the practical sessions
@Ilya Suppose that $U$ is an open subset of $X\times Y$ and $x_0\in X$. Let $U_{x_0}=\{y\in Y:\langle x,y\rangle\in U\}$, and suppose that $y\in U_{x_0}$. Then $\langle x_0,y\rangle\in U$, so there are open nbhds $V$ and $W$ of $x_0$ and $y$, resp. such that $V\times W\subseteq U$. Clearly $y\in W\subseteq U_{x_0}$.
@BrianMScott good night, Brian. I guess it's a deep night at your place now, isn't it?
G’night!
09:15
@BrianMScott Hello.
@Ilya It’s 0415. I’m about to go get some exercise, then some dinner.
@BrianMScott then it's rather quite early :) and supper instead of a dinner
No, because I’ve been up for about 16 hours.
or even a breakfast
For me dinner means the main meal of the day, whenever it comes. So I might have dinner and supper, or I might have lunch and dinner. (Except that I don’t usually eat three meals a day.)
09:21
@BrianMScott do you usually use the word 'supper' at all in US? I ask you because on our English classes we were told that classical 3-meals sequence is breakfast(morning)-dinner(midday)-supper(evening), and then it appeared that it is breakfast(morning)-lunch(midday)-dinner(evening)
I just did! (Look at my comment just before your question.)
@BrianMScott I've extended the question :)
Both sequences are found.
The latter terminology is only how I've ever heard it (breakfast, lunch, dinner), except maybe by older people....
09:24
People who follow the B-D-S pattern tend to have dinner in the afternoon and supper quite late; people who follow the B-L-D pattern often have lunch around noon and may have dinner as early as 17:00.
I think that in the U.S. the B-L-D pattern is by far the more common. I associate the other pattern with those who don’t need to work for a living.
I just eat food when I'm hungry.
Hi.
A bit more organization is required for a family of nine. (I’m the eldest of seven.)
@BrianMScott and hence are able to have a dinner (the 2nd meal) in the afternoon?
Can't seem to post comments from iPod :[
09:26
@Daniil shuffle?
lol
I’d have said that they’re able to do so, rather than allowed to do so, but yes, that’s the basic idea.
@Ilya, almost :p ipod touch
Meh, should not be arguing with nuts anyway
@BrianMScott thanks. my English is far from being perfect and has some totalitarinism-kind elements apparently :(
@Daniil nuts?
nut is a fruit? wth!
ah, fruit is English for плод not for фрукт
Yes: when she was young, my mother would insult a classmate by calling him a one-seeded fruit with a woody pericarp; this was apparently a dictionary definition of nut.
09:31
: )
@Ilya Near as I can tell from the Russian-English dictionary that I have, English fruit covers both of the Russian words.
@BrianMScott we have some obscene words starting with 'pi' so some use 3.14 instead of 'pi' to disguise from the auto-ban in chats
@BrianMScott yeah, I should write not for фрукт only
@Dan how are you? I see that the weather in Moscow is still cold
@Ilya My knowledge of obscene Russian is almost non-existent, though I do know the verb that descends from Proto-Indo-European $^*h_2yeb^h$-; you can probably guess it if you ignore the $h_2$.
Hey guys!
I have a problem, " $S$ is the set of integers in the form $a^2+4ab+b^2$ where $a$ and $b$ are integers. If $x$ and $y$ are members of S how can you prove that $xy$ is also in S?"
@BrianMScott emmm... $h_2$ is a bit confusing, but we have $yeb[...]$ in many obscene words, that's right
09:43
Let say, $x = \left(a^2+4 a b+b^2\right) $ and $ y= \left(m^2+4 m n+n^2\right)$
@Foool multiply them and extract full squares
Then $xy= a^2 m^2+4 a b m^2+b^2 m^2+4 a^2 m n+16 a b m n+4 b^2 m n+a^2 n^2+4 a b n^2+b^2 n^2$
I did multiplied
but having a bit of trouble in extracting
@Ilya Yep. The same root also gave rise to Sanskrit yábhati 'to copulate', which probably looks even more familiar!
@BrianMScott it does
@Fool did you try $(am+bn)^2$ and $(an+bm)^2$?
I like Emir's questions.
09:51
@Ilya: but I guess we still would need $12 a b m n$
@MattN ?
@Foool if you type my name not in a correct way, you won't ping me
@MattN which metrics is used in his question?
@Ilya In the latest the standard metric, I'd assume.
It's tagged real-analysis.
I guess that uniform continuity depends on the metric function, so that's why I'm asking
otherwise his question is a bit incomplete
@Foool ah, you're right
09:59
@Ilya It’s safe to assume that it’s for the usual metric on $\mathbb{R}$.
I should really stop looking at SE and fully focus on set theory. telling myself
@MattN noooo! I'm afraid that in this case you'll become Asaf :((
@BrianMScott safe?
@Ilya I meant until Tuesday.
@MattN on St. Valentine's Day you'll become Asaf?
@Ilya Yes, especially since the tag is (real-analysis). Safe in that context means that the assumption is very probable.
10:01
@BrianMScott ah, you mean safe for Matt?
Or for anyone else.
@Ilya Then I have the exam and after that I can look at SE as much as I like.
probably safe :)
@MattN exam on 14th? they have no mercy!
I don't mind.
For weakly continuous process $X$ the compact set is trivial if and only if it is simple.
I've also proved that the simplicity is not attractive for compacts
very realistic: if you are closed, bounded and simple - you are not attractive, with probability 1
10:06
Time for me to call it a night.
0505?
Good night!
Good night
10:23
If I assume that $T$ is inconsistent and I can prove something from $T$, can I prove the same thing from a finite subset of $T$?
Yes, it's the negation of the compactness theorem: $T$ doesn't have a model if and only if there is a finite subset that doesn't have a model.
 
1 hour later…
VVV
VVV
11:33
hi is anybody here
@VVV hi
I played in the game VVVVV once
VVV
VVV
il y a
do you know ideals
?
11:53
@VVV I met one, she was about to be ideal, but...
to be frank, I've only studied ideals for Lie algebras and that was 2 years ago
12:17
@Ilya "about to be"? Either she is or she isn't... ;)
VVV
VVV
im trying to find out what the ideals of C[x] are and C[x]/x^(2)C[x]
but i dont understand how to find the ideals because there are infinite in both??
13:10
@Ilya Are you ready to duel sir?
@Ilya Choose your weapon.
Sledgehammer.
cracks knuckles and rolls up sleeves
@MattN Why use a sledgehammer to kill a fly? cracks a joke and smiles
:-)
@Ilya You are unusually quiet for someone who says he knows about the "true" Galois story.
@Ilya Are you busy writing down your theories?
@MattN I can't believe I fell for that story... in a math chat room of all places
13:27
Don't worry about that. Sorry, I can't talk really, I am very busy.
Np
@JM I am surprised that you would join in on the telling of the story.
13:56
$\stackrel{\stackrel{\searrow\hskip{6pt}\swarrow} {\huge\bullet\hskip{8pt}\huge\bullet}}{\hskip{1pt}\huge\frown}$
00:00 - 15:0015:00 - 22:00

« first day (553 days earlier)      last day (4764 days later) »