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

5:00 PM
@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?
 
5:02 PM
@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?
 
5:06 PM
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$
 
5:08 PM
._. 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?
 
5:16 PM
@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)$
 
5:21 PM
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?
 
5:21 PM
@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?
 
5:23 PM
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
 
5:26 PM
$4\times7=28$
 
Why?
 
Why not?
 
Why didn't we multiply with $3$?
 
Because there is 4 not 3
 
Oh, got it thanks =)
@Hippalectryon Thank you too! <3
 
5:36 PM
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.
 
5:52 PM
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
 
6:01 PM
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.
 
6:22 PM
@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.
 
Indeed
 
neat, that's handy
okay, thanksgiving food time
later
 
6:30 PM
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.
 
6:54 PM
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
 
7:19 PM
Hi @Tobias I have two questions about representation theory. Are you there?
 
7:29 PM
@MatheinBoulomenos Yeah
 
1) For a finite group there only finitely many finite-dimensional indecomposable representations, right?
over any given field
 
@MatheinBoulomenos No
 
Oh damn
 
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?
 
7:34 PM
yes
 
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
 
7:34 PM
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
 
7:40 PM
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
 
7:45 PM
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.
 
7:52 PM
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
 
lol
 
right, I forgot you're German :P
 
That's an actual word a German understands, I'm not kidding
 
Ba-Wü, right? @Mathei
 
7:55 PM
@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
 
7:58 PM
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?
 
8:06 PM
@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
 
8:12 PM
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?
 
8:15 PM
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
 
8:19 PM
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?
 
8:27 PM
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
 
8:34 PM
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
 
8:39 PM
@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?
 
8:50 PM
yeah
with some completely explicit examples for a non-semisimple ring
(let's say group ring for good measure)
 
9:04 PM
someone can help with this question?
 
9:22 PM
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$
 
9:43 PM
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!
 
10:16 PM
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…
11:42 PM
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 (2347 days later) »