« first day (3502 days earlier)      last day (1814 days later) » 

01:46
Maybe a family of groups can be made out of 90 degree axially aligned rotations of (1, 1, 1, …) in N dimensional or Hilbert space like so.

e = 1

e = 1, 1
a = 1, -1
a^2 = -1, -1
a^3 = -1, 1

e = ab = a^4 = b^4 = c^4 = 1, 1, 1
a = 1, -1, 1
a^2 = -1, -1, 1
a^3 = -1, 1, 1
b = c = 1, 1, -1
b^2 = 1, -1, -1
b^3 = 1, -1, 1
ba = 1, -1, -1
c^2 = aabb = baaa = caaa = -1, 1, -1
aabbb = -1, -1, -1

etc…

The inclusion of "c" doesn't seem promising.
01:58
I guess it cannot work forever as there is a maximum (monster) size of finite group, but maybe smaller ones do.
02:32
Anyone familiar with Macaulay 2
02:58
@user486983 Upto what extent I can ask physics questions here? Can I ask about a particular doubt in some concept here?
I have a simple question... I am working on this problem:
In quadrilateral ABCD,AB=3,BC=4,CD=12, and DA=13. Angle B is a right angle. Find the area of the quadrilateral. I drew a diagram that I think is roughly correct. I got A=25.5. Is there any way to check my answer? Also, is there any way I can see an exact picture of this quadrilateral?
@AfronPie Quick sketch gives me 36?
(Split it into a 3-4-5 right triangle whose area is trivial, and a 5-12-13 triangle whose area I found using Heron's formula. Then writing this out realized it was 5-12-13 and felt stupid. But now I'm more convinced 36 is the area.)
Do you mind posting your drawing? I think mine is inaccurate
This is how I thought of it
03:17
Ok your diagram I think is much better then what I was thinking... Also, I'm with you on using heron's formula to find the area of the 5-12-13. Was there another way?
Sure. Once you write the sides down in that order and notice that you recognize them as a Pythagorean Triple.
I did recognize them as a Pythagorean Triple, but I thought you meant that there was a better way to find the area than heron's formula
Question to the room: how well-received do "you're really looking at this the wrong way" (frame challenge) answers tend to be around here? I ask because of that tetration question linked a couple of hours ago, which I'm strongly tempted to answer along the lines of "that's not what the page is 'supposed' to be about, in the second paragraph he tells you what the page is about."
@AfronPie 1/2 bh? You know from the Triple that <ACD is right.
Oh wow I totally missed that as well
Thanks @nitsua60 for the help with that question.
03:27
@AfronPie np. I finished grading term exams yesterday, which apparently means I have energy/interest to answer math/physics questions online for the next few weeks.
(I generally avoid it like the plague, as it's my day job.)
@AfronPie Yeah--I didn't spot it until I wrote the chat-message.
@nitsua60 haha I don't blame you
@nitsua60 Are you a college professor?
@AfronPie No--high school. You in school?
Yeah, right now I am a junior in college studying to be a high school math teacher.
@AfronPie Ah, fun. Majoring in math? Math ed? Something else?
If you don't mind me asking what state do you live in (assuming you live in the U.S)
03:31
@AfronPie I don't mind, and CT.
Majoring in math education
I'm in NY
Hi, neighbor!
Haha, sorta
(Don't tell me you're in Rochester or Buffalo or something....)
No, NYC (Queens)
I don't know much about CT so I would never guess where you are
How long have you been teaching... If I were to guess I'd say 25 years
03:34
@AfronPie (Ugh, now you're making me do arithmetic? And I just entered spring break yesterday!) Closer to 15.
You sound like you don't like your job too much xD
@AfronPie I honestly love it so much. I work at a boarding school, because I wanted to get to know the kids better and more than you do in a public or day school. (Both of which I've taught in.) If you honestly enjoy the company of teenagers, no better job in the world.
Oh, ok that's good to hear.
 
1 hour later…
04:56
@EnjoysMath Hey ! please text me when you have time
05:41
Hello. I would need some help in distribution theory on a question which I asked here
2
Q: Using Sokhotsky's formulae prove limits of generalized functions

sloupoUsing Sokhotsky's formulae prove the following limits when $t \rightarrow + \infty$ $$\frac{e^{ixt}}{x - i0} \rightarrow 2 \pi i \delta(x)$$ and $$\frac{e^{ixt}}{x + i0} \rightarrow 0.$$ Where Sokhotsky's formulae are $$\frac{1}{x + i0} = -i \pi \delta(x) + p.v.(\frac{1}{x}),$$ $$\frac{1}{x...

 
6 hours later…
11:53
I'm unsure of an answer of mine.
in Group Theory, 2 mins ago, by Shaun
0
A: Can a Free product with amalgamation of $\mathbb{Z}*\mathbb{Z}$ be isomorphic to $\mathbb{Z}\times \mathbb{Z}$?

Shaun Is there a free product with amalgamation of $\Bbb Z*\Bbb Z$ isomorphic to the direct product of $ \mathbb{Z} $ and $ \mathbb{Z} $? No. One way to look at $\Bbb Z\ast \Bbb Z$ is as the group given by the presentation $$\langle a,b\mid \varnothing \rangle.\tag{1}$$ Similarly, $\Bbb Z\times...

 
1 hour later…
13:12
2
Q: Group Convolution is Associative

user193319Let $G$ be some locally compact group and $\mu$ its associated Haar measure. I am trying to adapt this proof that convolution on the locally compact group $(\Bbb{R},+)$ is associative. Here's what I have so far: $$((f \ast g) \ast h)(u) = \int_{G} (f \ast g)(x)h(x^{-1}u) ~d \mu (x)$$ $$= \int_{...

14:02
@Thorgott During my calculus course I didn’t pay much attention to some theorems and concepts like : Rolle’s Theorem, Mean Value Theorem, in any interval there exist a point where the function takes a max value etc.
And now I don’t feel any need of doing those. Should I study them or move forward? Your advice is requested.
15:00
what is the term for the number of distinct relations that are equivalent to a particular relation?
 
1 hour later…
16:25
@Lukas what's a good example for $\operatorname{Cl}(A) \to \operatorname{Cl}(B)$ not being injective? rofl
(AKLB)
I mean I wanna pick $A = \Bbb Z[\sqrt{-5}]$ because that's the usual example for an easy non-UFD Dedekind domain
I'll just pick $B = \mathcal{O}_{\text{Hilbert class field}}$
In fact in general can't I just take some $A = \mathcal{O}_K$ with a non-principal prime $\mathfrak{p}$ such that $\mathfrak{p}^m = (p)$ is principal and then consider the image of $\mathfrak{p}$ in $K(\sqrt[m]{p})$
user131753
16:41
Does anyone know how to show that the property of being an index set is not computably invariant?
user131753
17:53
@JackOhara texting you
@user170039 is that the same as being recursively invariant? (Found a source saying that the property of being an index set is not recursively invariant, tho it’s stated without proof)
18:11
How can I prove that the equation $$ x^3 -2x -a = 0$$ have just one solution? I mean how should I proceed ?
@EnjoysMath still going over the problems on sunday?
@geocalc33 have to cancel
@geocalc33 Hello!
Too much on my plate
@EnjoysMath understandable, I also have a lot going on so it's fine
@adeshmishra hello!
18:13
@geocalc33 Any suggestions for what I asked above?
$x$ can only be a rational number
it depends on what $a$ is doesn't it?
$a$ is a constant
so $x^3-2x=a$
$x(x^2-2)=a$
Wow!
Then?
Only rational x are allowed
so you have $x=a$ and $x^2-2=a$
18:18
How $x=a$ ?
I think it’s valid only when $a=0$
yeah whatever
Is $a$ rational too?
or integral?
@EdwardEvans It is not restricted
a=100
jk
18:33
$x(x^2-2)=a$ certainly doesn’t imply $x=a$ and $x^2-2=a$
$x(x^2-2)=a$ does imply that $a$ must be rational, but beyond that...
(If $a$ is not rational, then any roots must be irrational)
One cute point: if $a$ is large enough in magnitude, then there is exactly one real root
yeah my bad I just woke up and was being cavalier
@Semiclassical you're a TA if I remember correctly?
18:50
Technically my title is “teaching specialist “ but that’s basically “TA with more than 50% time”
Nice! That's great
(Regarding the above: I think it may indeed be the case that there’s at most one rational root regardless of $a$. But there won’t be any rational roots if $a$ Is irrational)
(So one does need to say something about $a$)
you know what I find interesting? How does a quantum system scale up to a classical system
@adeshmishra you should study them. they are foundational to most of what comes after
also, I find it really incredible how quantum mechanics is so "random" but provides a base for something so claissical and not as random
19:18
@EnjoysMath I kinda need help with writing a functions that takes as input i and j, and returns all monomials of degree i in K[x1, ..., xj]
@TedShifrin Hi theodoro :)
@EnjoysMath the question is not hard , but I want to write it using language that programs understand, like using while, if then , return etc ^^
 
1 hour later…
20:25
Helllo, is anyone here well versed in probability and statistics?
Here is my question:
is $\bar{X}$ for Bernoulli the same value as p?
20:36
I don't understand the question
So I'm trying to demonstrate that a second derivative for an MLE is negative at the point of the MLE
and a part of doing that leaves me with an equation n(barX-1) / (barX(1-barX)^2)
and For this to necessarily be negative, it wouls have ot be the case that barX is greater than 0 and less than 1
20:54
Prove:
$$\not \exists\ k,j \in \mathbb N : \Biggl\lfloor\frac{k}{j}\Biggr\rfloor- \Biggl\lfloor\frac{\tau(n)\,k}{3\,j}\Biggr\rfloor=0 \Leftarrow \Rightarrow \exists \,m \in \mathbb N : n=m^2$$
Prove:
$$\forall k,j \in \mathbb N : \Biggl\lfloor\frac{k}{j}\Biggr\rfloor- \Biggl\lfloor\frac{\tau(n)\,k}{3\,j}\Biggr\rfloor=0 \Leftarrow \Rightarrow \exists \,p \in \mathbb P : n=p^2$$
my bad
Thank you!
I have to put this into latex to view it, I'm going to review it now
more generally
$$\forall k,j \in \mathbb N : \Biggl\lfloor\frac{k}{j}\Biggr\rfloor- \Biggl\lfloor\frac{\tau(n)\,k}{(2m+1)\,j}\Biggr\rfloor=0 \Leftarrow \Rightarrow \exists \,p \in \mathbb P : n=p^{2m}$$
@EdwardEvans here's a concrete example: $\Bbb Q(\sqrt{-5})$ has class group of order $2$ and $\Bbb Q(\sqrt{5},i)$ has class group of order $1$, so the map can't be injective
21:17
Thank you for this, I apologize, but I'm having trouble relating this to Xbar
21:52
The mle is related to X bar by the equation @PortMadeleineCrumpet if you want you can solve for X bar
I think you are on the right track anyhow, it’s just hard to say because you aren’t being precise enough with your questions
22:26
in The Assembly, 2 days ago, by random
Open once more: Mens NCAA March Madness basketball brackets are here: https://bracketchallenge.ncaa.com/picks/group/1035692 -- password: community -- upset bonus enabled
Brackets Open: Sunday, March 15th after the Selection Show on TBS
Brackets Close: Thursday, March 19th at 12pm ET.
22:44
Is it true that on an infinite field, the only polynomial vanishing everywhere is the zero polynomial ?
If the field is algebraically closed it seems obvious but else I'm not sure how to prove that
If the polynomial has degree $n$, it has at most $n$ roots in any field.
That's obviously true for complex numbers, but can I really invoke that result without indirectly referencing nullstellensatz ?
It's totally an elementary proof (by root-factor theorem and induction) for any field.
What do you mean by root-factor theorem
Any root $a$ corresponds to a factor $x-a$ of the polynomial.
22:55
Ah then, you need to use the fact there's an algebraic closure to every field
No, of course not.
What does "vanishing everywhere" mean? I assume it means that it has every element of the field as a root.
yes
Ah then, we can factor $x^2+1$ in $\mathbb{R}$
The polynomial $X^2+1$ does not seem to be factorable in irreducible polynomials
That's correct. I don't understand your point.
22:57
then my reasoning is that we can't use root factor theorem for a non-algebraically closed field.
What are you talking about?
This polynomial has no root. You told me that your polynomial had every element of the field as a root.
Ah, I get you now
if a everywhere vanishing polynomial has degree $n$, then it has to be factored in $n$ irreductible polynomials at most
so we have a contradiction
Right. A polynomial of degree $n$ (over any field) as at most $n$ roots in that field (or in any extension).
23:11
Hi folks. Numerical integration error bounds for Simpson's rule has a $K_4$ in it. This is supposed to be an upper bound for (the absolute value of) the fourth derivative of the function, within the interval of integration. The function is $f=\sin\left(\ln x\right))/x$ and the fourth derivative is $\left|f^{(4)}\right| = 10 \sin\left(\ln x\right)/x^4$. The interval is $[1,4]$ and the answer key says $K_4=1$. Is that a publisher's typo (missing a zero) or am I doing this wrong?
23:25
@Jeff: Your derivative is most definitely not correct.
I took it from the answer key. I may have made a typo in the function or in the derivative.
You're going to need quotient rule or product rule and there will be lots of terms.
It simplifies
I guarantee you're totally wrong.
You're missing a term with cosine.
Oh, they started with a different function than you did. Which is it?
Yes, there is no x denominator. my bad
23:33
That makes a big difference.
yeah :D
So I'm betting they did a calculator/computer plot of the function to get the bound numerically.
Notice that $\sin(\ln 1) = 0$ and then the $x^4$ starts to kill it off as $x$ gets bigger.
ok. i see it now.
more or less
actually, i don't have the final step here. how do we know, other thanlooking at the graph, that it doesn't pass 1?
Oh, you have to do it with the graph.
i mean, lx(x) grows slow and x^4 grows fast.
ok
23:38
You could find the maximum point by taking another derivative, but then you'll still need to solve numerically for the maximum value.
Yeah. OK, at any rate I have my answer how they did it. TY.
@ted
You're welcome.

« first day (3502 days earlier)      last day (1814 days later) »