Mathematics

Associated with Math.SE; for both general discussion & math qu...
Jun 14, 2023 23:42
For relational structures A and B, what is the difference between an embedding of A in B and a partial isomorphism between A and B?
Jun 22, 2022 19:17
Yes I had..


Leslie, maybe you can explain how I can "write down" the whole grothendieck group of finitely generated $Q_3[S_3]$ module? That would be a nice out
Jun 22, 2022 19:16
My professor is a luminary on this subject
Jun 22, 2022 19:15
That is a very funny idea
Jun 22, 2022 19:12
No. I even head to read up what valuation rings where. Serre just threw everything at me, like every second word is something I did not know of

The audience is only my professor and a few students. My only problem is that I will fail that class :D
Jun 22, 2022 19:10
Yeah I read that senior thesis by arun debray (you mean that?)
It made the base definitions more clear to me, however, I am not able to understand the examples. Also, the examples are on character level and I dont know how to "pull that back" to the module level of things
Jun 22, 2022 18:57
I have to prepare a presentation of 90 min about modular representations and the cde triangle until monday and I dont have a clue of almost anything the book is talking about. Any handy survival tips?
Feb 1, 2021 12:14
Yep, okay. Thanks!
Feb 1, 2021 12:13
Ahh no I think I got that wrong in my mind. We have $f \circ \psi$ (if $f$ is the function i want to integrate and $\psi$ the parametrization) in the integral so the inequivality just carries over, right?
Feb 1, 2021 12:12
Oh, okay... thank you. Is it hard to proove? I do'nt see how I would
Feb 1, 2021 12:11
For lebesgue integrals we know that $f \leq g$ a.e. implies $\int f \leq \int g$. Is my intuition correct, that this does not in general hold for integrals over submanifolds (because the inequivality can be destroyed by the parametrizations) ?
Jan 25, 2021 16:56
Bye. Thank you again
Jan 25, 2021 16:55
What are you doing if I may ask? (working, studying..?)
Jan 25, 2021 16:54
Well but I just cannot realize how some genius like you guys can look at such things and after 5 seconds say "ah ok thats easy" :D But learning consistently is the key I guess
Jan 25, 2021 16:52
Thank you very much. I will try to bring this clean on paper and hopefully remember this kind of "trick". I mean I even looked at "could i get the eigenvalues of this thing?" And gave up after 5 minutes because I did not see a way of doing this. Sometimes I feel like I should quit mathematics at all
Jan 25, 2021 16:50
How would that look like? I feel like I forgot everything about linear algebra in the period of one semester... we also hat jordan forms and such funny things but I really dont remember anything anymore
Jan 25, 2021 16:50
Sorry for your time guys
Jan 25, 2021 16:49
yes, thank you
Jan 25, 2021 16:48
And then the product is the solution..... what the heck
Jan 25, 2021 16:48
$\lambda -1$ has to match the eigenvalues from above so $\lambda \in \{ 1, ||a||^2 + 1 \}$
Jan 25, 2021 16:47
Yes
Jan 25, 2021 16:47
wait
Jan 25, 2021 16:46
$(I + aa^T)x = \lambda x \Leftrightarrow x + (aa^T)x = \lambda x \Leftrightarrow (aa^T)x = (\lambda - 1) x$
Jan 25, 2021 16:46
I mean:
Jan 25, 2021 16:45
this is latex math xD
Jan 25, 2021 16:45
wait what am i even doing
Jan 25, 2021 16:45
Well $(I+aa^T)x = x + (aa^T)x = x$ equiv. to $(aa^T)x = x$ so they are the same as of $aa^T$
Jan 25, 2021 16:44
I mean the determinant of $aa^T$ is zero. What can one say about the determinant of sums of matrices?
Jan 25, 2021 16:43
It should be zero then
Jan 25, 2021 16:42
Well symmetric matrices are diagonalisable
Jan 25, 2021 16:40
Wasnt that the case for symmetric matrices? I dont know, thaught I heared that in la
Jan 25, 2021 16:39
The determinant of $aa^T$ should be the product of the eigenvalues? (So 0)
Jan 25, 2021 16:35
So we have the eigenvalues $||a||^2$ with multiplicity $1$ and $0$ with mult. $n-1$
Jan 25, 2021 16:35
of $aa^T$, but then my original $A$ is just $I$ so this case is not interesting
Jan 25, 2021 16:34
Well if $a$ is zero the matrix is $0$ and the determinant is trivially also $0$ :D So lets assume $a$ is not zero so the kernel is $n-1$ dimensional, so looking at $a^Tx$ there should be many zeros as eigenvalues in the situation above
Jan 25, 2021 16:31
otherwise the kernel would be $n$ dimensional
Jan 25, 2021 16:30
if $a$ is not zero
Jan 25, 2021 16:30
It is, because the image is not trivial
Jan 25, 2021 16:30
So the kernel is up to $n-1$ dimensional
Jan 25, 2021 16:30
Okay so the "matrix" is $a^T$ which has one row, so the image can be highest one-dimensional
Jan 25, 2021 16:29
Ah yes we have a number as result..
Jan 25, 2021 16:28
its not?
Jan 25, 2021 16:28
So this linear map is represented by the matrix where we have the $a^T_i$ on the diagonal
Jan 25, 2021 16:26
Wrote it before you edited the question ^^
Jan 25, 2021 16:25
if $x$ is not zero it is one dimensional (maximal)
Jan 25, 2021 16:25
wait no a is not a matrix (ok technically yes but no)
Jan 25, 2021 16:24
That x is in the kernel of $a^T$
Jan 25, 2021 16:24
When $a^Tx = 0$ I guess?
Jan 25, 2021 16:22
Yes I forgot the square there
Jan 25, 2021 16:19
@Astyx So in that case i remain with only one eigenvalue $||a||$ with multiplicity $n$ ?