« first day (2668 days earlier)      last day (2648 days later) » 
00:00 - 17:0017:00 - 00:00

17:00
@Hippalectryon $\dfrac {4}{3} \pi$ $(8r^3 + r^3)$
or I've arrived at
@Hippalectryon ... i dont know why we do derivatives??? the is the importance of it?? could you please help me??
@Lagranian That's more like it, but check your signs
$\dfrac {4}{3} \pi r^3 - 8$
How about this
@AchillesRamNakirekanti To give you a simple answer as to the "practical" use: speed (in the physical sense) is the derivative of position, and acceleration is the derivative of sped
@Hippalectryon How does it seem?
17:02
@Lagranian Once again, I have no clue how you got that result, and it really looks to me like you're not getting the concept of factoring
$\dfrac {4}{3} \pi r^3 - 8$
I'm finding the common
:/
Hold on
Go look up more about factoring online, get familiar with it, then come back. I'm more than happy to help, but I'm not a teacher and teaching such things on a chat on the internet isn't easy @Lagranian
Is it $\dfrac {4}{3} \pi$ $(8r^3 - r^3)$?
OH LOL!
I bet it
lol really this hyphotesis is best
you feel good when you find something true
then I'm thinking on it.
What's your hint again?
17:06
Now, what's $8r^3-r^3$ ?
It becomes $8$.
by the way
lol
I did a bad mistake
it becomes $7r^3$.
I love my teacher because of teaching me this level math
Alright, so what's the final result ?
by the way we get
$\dfrac {4}{3} \pi + 7r^3$
17:08
._. how did you get that
from extracting?
lol i did mistake again
$\frac43\pi (8r^3 - r^3)\neq\frac {4}{3} \pi + 7r^3$
Then that's
$\dfrac {4}{3} \pi - 7r^3$
Once again idk how you get that ...
$a(b+c)=ab+ac$
Show me a hint again
It doesn't seem wrong to me
I've arrived at $\dfrac {4}{3} \pi$$(8r^3 - r^3)$
and?
or wait
wait
is it
$\dfrac {4}{3} \pi 7r^3$
yh?
Am I wrong?
17:16
@Hippalectryon minor correction to that: velocity is the time derivative of position, and acceleration is the time derivative of velocity
(the instantaneous speed in physics is always nonnegative by definition.)
jerk: A vector that specifies the time-derivative of acceleration."
Where am I missing
$\dfrac {4}{3} \pi$$(8r^3 - r^3)$
yep
fun name
@Lagranian what are you doing?
I'm trying to simpifly
$\dfrac {4}{3} \pi$$(8r^3 - r^3)$
17:21
sorry, was away
and I'm getting that
$\dfrac {4}{3} \pi 7r^3$
@Lagranian take $r^3$ also common
@Semiclassical ah that comes from bad french->english translations :-)
hippa
c koi?
parléz vous français?
17:21
@Lagranian Yep, that's the right result
wa mdr
@Lagranian oui
mdr
Let's use english for this time
I'm stuck at $\dfrac {4}{3} \pi$$(8r^3 - r^3)$
didn't you get $\dfrac {4}{3} \pi 7r^3$ ?
Yes, isn't it wrong?
17:23
Nah it's good
Now don't know what to do lol.
Now you're done ? That's the answer
I'm not done.
It seems $\frac {28}{3} \pi r^3$
on my textbook.
Ow so cute
lol really
I have virtual headache right now
I swear
17:26
$4\times7=28$
Why not?
Why didn't we multiply with $3$?
Because there is 4 not 3
Oh, got it thanks =)
@Hippalectryon Thank you too! <3
17:36
in The h Bar, 9 mins ago, by Phase
I think I've had a dumb idea but I feel like there's a chance it's not. For rank nullity, given a linear map $A$, such that $A:V \to W$, if I define an equivalence relation E, such that for $q, p \in V$, $qEp$ iff $A(q) = A(p)$, then take the quotient space of V with E, $V/E$ and then just use the fact that for a quotient space between R^n / R^m, the dimension of resulting space is $n-m$, or that it's bijective to $R^{n-m}$. So then it follows that $dim(V) = dim(V/E) + dim(E)$?
could anyone please give me feedback on whether I'm barking up the wrong tree or not? :^)
hello, i need help on the proof of the local inversion theorem
can someone help me ?
Hi everyone! What about my problem: the numbers $b_1, b_2, b_3, b_4$ represent a geometric sequence, while $(b_1)+1, (b_2)+1, (b_3)+4, (b_4)+13$ an arithmetic one find the common ratio. I used some formulae $S_n=\frac{2a_1+d(n-1)}{2}, S_n-S_(n-1)=S_n$ but I couldn't figure it out, any comments?
@Phase That sounds right. This is related to the first isomorphism theorem for vector spaces. You probably also want to say something about why it is that $E$ ends up being the nullspace of $A$ and similarly $V/E$ the image.
But the bare bones is right?
Whoo
Ya seems right to me
@Tug'Tegin My hint is that since the $b$ are a geometric sequence, we can rewrite all of them using just $b_1$ and some unknown ratio. Similarly we can take the difference between terms in your arithmetic sequence and they will all be equal to some unknown difference.
@Tug'Tegin That gives 3 unknowns, $b_1$, the ratio, and the difference. And take the differences of adjacent terms in your arithmetic sequence gives 3 equations. So sounds like you should be able to solve that system of 3 equations with 3 unknowns.
17:52
here's an imprecise question
Consider $(x + y + z - 1)^2 = 4 x y z$ as a surface in R^3; I'll take only the portion lying in $[0,1]^3$.
\o @Hippalectryon
By inspection, this surface contains the points (1,0,0), (0,1,0), (0,0,1) and (1,1,1). Moreover, it in fact contains the six line segments between these four points.
Now, one thing that one can show by algebra is that the above equation is invariant under $(x,y,z)\to (1-x,1-y,z)$.
is there a way to express this equation so as to make that obvious?
1. I congratulate you on make a 2D surface roughly resembling a Dorito
2. I thought hidden reflection symmetries was MY thing
18:01
my way of describing it is as an inflated tetrahedron
I think that your way is slightly more accurate
@KevinDriscoll lol
it also behaves like a cone near the four 'vertices' I gave above
@LeakyNun vous pouvez m'aider pour comprendre la démonstration du théorème d'inversion locale
@skullpatrol o/
Welcome back pal.
18:22
@Semiclassical Got it
Your equation can be rewritten from $(x+y+z-1)^2 = 4 xyz$ to $(z-1)^2 - 2z \big( (x-1)y + x(y-1) ) \big) + (x+y) \big( (x-1) + (y-1) ) \big)$ @Semiclassical
hmm, nice
Which is obviously invariant under the required symmetry
and one can then cycle the variables to get two more reflection symmetries.
neat, that's handy
okay, thanksgiving food time
later
18:30
In case it comes up somewhere else, let me tell you how I got it. First I separated out all the terms that depended only on $z$ or constants. Then I found that there were 2 separate terms that were each invariant under the reflection, $-2x+x^2-2y+y^2+2xy$ and $2xz + 2 yz - 4xyz$. I then factored those 2 terms by making sure to treat $x$ and $y$ completely symmetrically (like breaking up $2xy = xy+xy$ and putting 1 $xy$ with the $x$ terms and the other with the $y$ terms).
From there the factoriztion was pretty clear.
18:54
Nice to see you back @KevinDriscoll :-)
neat.
the version I just got by hand is similar but a little different
$(1-z)^2+2(1-z)(x(1-y)+x(1-y))+(x-y)^2=0$
i got that by doing $(x+y+z-1)^2=(x+y)^2-2(1-z)(x+y)+(1-z)^2-4xy+4xy(1-z)$
i can then combine $(x+y)^2-4xy=(x-y)^2$ and $-2(1-z)(x+y)+4xy=2(1-z)(2xy-x-y)=2(1-z)[x(1-y)+y(1-x)]$
I especially like this version because I've been thinking to relabel (x,y,z)->(1-x,1-y,1-z)
and then the above version is just $z^2+2z[x(1-y)+y(1-x)]+(x-y)^2=0$
Wow! You're a fast eater :P
it was a fairly short affair
mashed potatoes, green beans, turkey and gravy
mmm
i'm fairly food comatose now, though
19:19
Hi @Tobias I have two questions about representation theory. Are you there?
19:29
@MatheinBoulomenos Yeah
1) For a finite group there only finitely many finite-dimensional indecomposable representations, right?
over any given field
@MatheinBoulomenos No
if the Sylow $p$-subgroup is not cyclic then there are infinite dimensional indecomposables, and this implies that there are infinitely many indecomposables
infinitely many finite dimensional indecomposables?
Okay, thanks
this is some general theory for finite dimensional algebras
2) Can you recommend Curtis-Reiner? I found it somewhat cheap used somewhere, so I'm thinking about buying it
Never read it
Okay, thanks anyway
19:34
Not even sure what topic it is
(should that be Curtis?)
yes
Representation Theory of Finite Groups and Associative Algebras
I have heard the name combination various places, but never looking at it myself
From the table of context it looks quite good
Certainly looks thorough
some of the chapters could use some more descriptive titles. "Theorems of Burnside, Frobenius and Schur"
I didn't know that Algebraic Number Theory is relevant for representations
19:40
It is quite important actually, since all the character values are algebraic integers
Ah, that I know
It might be worth noting that the notations are probably somewhat outdated seeing as the book is so old
We used that in our book based on Serre's book
For example denoting the restriction to a subspace by $|N$ rater than $|_N$
In general I tend to avoid too old books, as the notation will often have solidified to be something slightly different, and everyone will use that different notation now
Also, many concepts will have been more thoroughly studied in the mean time, allowing for better exposition, as it becomes clear why certain otherwise random-seeming things are as they are
Makes sense
I just thought that the table of context looks like it has a lot of cool topics
like projective and integral representations
or Frobenius algebras, whatever that is
19:45
yeah, certainly looks to have a lot of good stuff
@Semiclassical we have a word, abbiocco, for the sense of drowsiness induced by a big meal in Italian
@MatheinBoulomenos Frobenius algebras are essentially algebras with a "trace" map to the group field
plus some other stuff.
I remember the higher version plays a big role in the proof of Soergels conjecture
Ahh, now I remember the idea: If you have a ring $A$ with a subring $B$ then you get induction and restriction of modules, which are adjoint on one side. $A$ is a Frobenius algebra over $B$ (or a Frobenius extension) if these also have adjoints on the other side, and one of these is the "trace"
Or rather, the trace should be a map from $B$ to $A$ giving rise to the other two adjoints
or something along those lines
Is there an Italian word for the shock felt by not qualifying for the World Cup @AlessandroCodenotti :P
@skullpatrol Wouldn't that have to be a very newly invented word?
Indeed, at least 58 years old.
19:52
Not yet, but maybe we'll come up with one. I'm sure there's a word for it in German though
Weltmeisterschaftsqualifikationsversäumnisschock
5
right, I forgot you're German :P
That's an actual word a German understands, I'm not kidding
Ba-Wü, right? @Mathei
19:55
@MatheinBoulomenos it's just a string of words that any German would understand
It's a single word
when you speak you don't know where the spaces are, right?
I know
but when you speak it it doesn't make a difference
Spelling bees must be a nightmare @MatheinBoulomenos :P
Well, grammatically it does
@skullpatrol German spelling is easier than English spelling
there are less sound/letter combinations
@AlessandroCodenotti yes, Heidelberg to be precise
cool @MatheinBoulomenos
19:58
Right, I remember now, I was in Pforzheim for an year (we already had this conversation)
(yes, we did)
English spelling is nasty sometimes.
(so heavily memory based)
@skullpatrol I don't find it that bad. But then, Danish is probably worse
Yeah, language is relative.
@TobiasKildetoft are there some sufficient conditions for having only finitely many indecomposables? Like having a cyclic $p$-Sylowgroup maybe?
20:06
@MatheinBoulomenos Yes, the condition I mentioned was an iff (interpreted correctly)
@MatheinBoulomenos See for example
4
Q: Infinite irreducible representation of a finite group

mathmarseilleIs it really true that there are no infinite irreducible representations of a finite group? I was thinking a lot about this question but I haven't found any such representations.

@MatheinBoulomenos I saw you just updated your question. I am not sure it is particularly related to the existence of indecomposables
Krull-Schmidt?
@MatheinBoulomenos Not sure what you mean
Every finite-length module is a unique direct sum of indecomposables
up to reordering, of course
20:12
Sure, but having infinitely many indecomposables usually means having them of arbitrary length, not infinitely many of the same length
Hey there everyone!
@MatheinBoulomenos Actually, I am fairly certain all finite dimensional algebras have the property you ask about, as they have finitely many simples, and the Ext-spaces are all finite-dimensional (I think)
There's a counterexample
in the answer
@MatheinBoulomenos That is not finite dimensional, is it?
ohh, woops, it is
So my claim about the Ext-spaces was wrong
Do you know if it holds for group rings of finite groups?
20:15
Probably group algebras should still be fine, as those are Hops algebras, so they have internal Ext-groups, and I think this should imply that Ext between finite dimensionals is itself finite-dimensional
Suppose I have the surface normal of some geometry N. How do I calculate the area or volume enclosed by the surface normal?
But we are getting into territory I have not really studied that much
Ah, are Hopf-Algebras useful for representation theory, as well? There's so much to learn
@MatheinBoulomenos Hops algebras are basically the ones that allow you to take duals and tensor products with respect to the ground field and still get representations
Cocommutative Hops algebra tend to come as group algebras or enveloping algebras of Lie algebras
whereas commutative ones are (the same as) the coordinate algebra of algebraic groups
and those that are neither usually come in the form of quantum groups
That doesn't require you to take the group algebra over a field, right? We're doing that with $\Bbb Z[G]$-modules as well in our group cohomology course
20:19
Sure, the group algebra over any commutative ring will be a Hops algebra over that ring as well
the coproduct is just doubling the group elements and extending linearly
The more I learn, the less I feel that I know
that will continue
(might as well get used to it)
Anyway, if you know more details on why group algebras have this property, then I would appreciate an answer
Looking at Ext-groups sounds like a good idea
Hi @Daminark how's it going?
I would need to think some more about why it should work. The idea is that the dimension of $Ext^1$ is the number if iso classes of extensions between those two reps
so if these are always finite-dimensional, then there are only finitely many ways to make things of a given length
(as long as there are also finitely many simples)
Everything's alright @Mathein, how about you?
20:27
Doing great, I've been at an awesome colloquium talk today
@TobiasKildetoft but don't actual elements of $\operatorname{Ext}^1$ correspond to classes of extensions?
So if the ground field is infinite, you still get infinitely many extensions
unless it's zero
Note that the counterexample in the answer works precisely over infinite fields
So your claim about finite-dimensional $\operatorname{Ext}^1$ might be right after all
Hmm, I think my statement about dimensions might only work in a setting which is essentially dual to this one
Or rather, a much more restrictive one. I need to think about this a bit more
Maybe either the ground field is finite (so the whole ring is finite, making the property obvious) or the Ext groups vanish?
The statement about dimensions measuring anything might just be wrong
20:34
I still think that elements of $\operatorname{Ext}^1$ correspond to extensions
The thing is, I am fairly certain there should only be finitely many ways to construct extensions between two simple $G$-modules for an algebraic group $G$, but when restricting to algebraic reps
So probably the restriction to algebraic reps messes everything up, since I do agree that elements of Ext correspond to exensions
But if all the Ext groups vanish, then the ring is semisimple right?
Have you given your talk yet?
Not yet
Wait, there's some subtlety with equivalence of extensions going on
just because two extensions are inequivalent, the modules in the middle can still be isomorphic
20:39
@MatheinBoulomenos Right, because the equivalence of extensions is stronger than that
getting into things I really should know more about :)
I was just thinking that thing about Ext-groups would imply that over an infinte fields the only examples are semisimple
but that would contradict the thing with cyclic $p$-Sylows you told me
Right, if there are only finitely many indecomposables then there are only finitely many of a given length
So probably it is a thing where sometimes if elements of the Ext space differ by a scalar, then they are isomorphic
so the question is when this is the case
Any idea how to compute $\operatorname{Ext}^1_{R}(R/m,R/m)$ for $R=k[x,y]/(x,y)^2$ and $m=(x,y)$? If what you say about Ext groups is true, this needs to be at least two-dimensional
probably it would be a good idea to just work out more precisely what the extension you get when you add an extension to itself looks like
just to get an idea of when this should be isomorphic to the original module
you mean baer sums?
20:50
yeah
with some completely explicit examples for a non-semisimple ring
(let's say group ring for good measure)
21:04
someone can help with this question?
21:22
maybe i will start and someone can continue :P
for every $(a,b) \subset \Bbb R$ $f \ ^ {-1}( (a,b) ) = A \cup B $ where $A\in \Sigma$ and $B$ is $\mu' $ null set. how should i deinfe $f' $ ? i thought $f(x)$ where $x \in A$ but then $f'$ wouldn't be well-defined
and $f'(x) = 0$ for $x \in B- A$
What's $\pi_1$ of the Klein bottle in terms of direct or semidirect product or other operations on known groups? The presentation is $\langle a,b|abab^{-1}\rangle$
21:43
It's the semidirect product of two copies of $\Bbb Z$, where the morphism $\Bbb Z \to \operatorname{Aut}(\Bbb Z)$ sends $1$ to inversion
The presentations says $bab^{-1}=a^{-1}$, so conjugating with one generator inverts the other one
This equation implies that $\langle a \rangle$ is normal
@Liad here's how I would proceed: first split $f$ into positive and negative part, so that you can assume wlog that $f$ is non-negative. If $f$ is non-negative, it can be approximated by a monotone sequence of simple functions. For any simple function, it's easy to give a $\mu$-measurable function which agrees $\mu'$-a.e. using the decomposition of $\mu'$-measurable sets into $\mu$-measurable sets and $\mu'$ null-sets.
Thus, we only need to change the values on a countable union of null-sets, which is again a null-set. The resulting sequence will only converge a.e., but that doesn't matter, you can just set $f'$ to $0$ where it doesn't converge
@MatheinBoulomenos ah, nice! Thanks!
22:16
Hi!
The joint probability of two random variables A and B is P(A and B) = P(A | B) * P(B) = P(B | A) * P(A).
I am curious to know how you, intuitively and mathematically (but especially intuitively), interpret that the joint probability of A and B is the PRODUCT of two other probabilities? Why not the sum or any other operation?
 
1 hour later…
23:42
Hey guys, anybody know where to find justification for the following? d|n implies p^d - 1 | p^n - 1.
Don't want to ask a duplicate question... but it's not the sort of thing that lends itself to search results.
00:00 - 17:0017:00 - 00:00

« first day (2668 days earlier)      last day (2648 days later) »