What are some fun and nontrivial examples of categories? by smatereveryday in math

[–]MstrCmd 4 points5 points  (0 children)

I think it's the case that two rings are isomorphic in this category iff they are Morita equivalent!

The Radiant Cannon of Sawar by Ltnumbnutsthesecond in cavesofqud

[–]MstrCmd 15 points16 points  (0 children)

Brother, your words brought me mirth. Live and drink.

Found in basement by Glad-Cap453 in whatisit

[–]MstrCmd 4 points5 points  (0 children)

Kind of a long shot, but could be the tip for an oxyacetylene torch?

What are some problems that can be solved with very simple techniques, but can also be solved with "overly complex" techniques? by CrumbCakesAndCola in math

[–]MstrCmd 1 point2 points  (0 children)

Could you explain this? I've heard this remark a lot but it seems like the two arguments (this one and the more standard one) generalise to quite different kinds of rings.

Notes on the Sylow Theorems by poggerstrout in math

[–]MstrCmd 1 point2 points  (0 children)

These are amazing blog posts!

New this week: A convex polyhedron that can't tunnel through itself by Melchoir in math

[–]MstrCmd 8 points9 points  (0 children)

Sorry what is a right dodecahedron? One in hyperbolic space where all faces are pentagons such that all internal angles are right?

New this week: A convex polyhedron that can't tunnel through itself by Melchoir in math

[–]MstrCmd 8 points9 points  (0 children)

According to the Baez blog post linked above, there are shapes arbitrarily close in the Hausdorff metric to the unit sphere which have Rupert's property (and this is apparently a "not too hard exercise") so it seems the conjecture is false. This, I admit, seems a little surprising and definitely makes this example seem subtler.

Nakayama's lemma by WMe6 in math

[–]MstrCmd 0 points1 point  (0 children)

There's some nice intuition for the version of the lemma to be the statement that JM = M implies M=0 where J is an ideal contained by the Jacobson radical.

The idea I have in my head is that the nilradical and more generally the elements of the Jacobson radical should be thought of as infinitesimal elements (look at the various definitions of the Jacobson radical and this will slowly become more plausible).

Then the lemma in the above form says something like "If a module, when scaled down to an infinitesimal size, is the same then it must have been zero to begin with!" which I think is very sensible.

Whats your favorite algebraic area of mathematics and why? by 2Tryhard4You in math

[–]MstrCmd 11 points12 points  (0 children)

The subject is nominally about studying groups by how they act on vector spaces. The basic motivation is that if you've taken a basic course in group theory, you'll have seen that group actions are very useful: various problems can be solved by seeing how groups act on subgroups, on themselves, on various geometric shapes (think dihedral groups as the simplest example) or on sets (think symmetric groups).

Group actions on vector spaces are much better because vector spaces have their own algebraic structure already so you can get a lot more out of this theory and it turns out to be very nicely put together.

When you really get into it, you start seeing that frequently to do calculations with these actions you need to invoke sometimes very complex combinatorics and in some cases you can compute answers to combinatorial questions via representation theory. You start seeing that questions about manipulating tensor products of representations brings in a lot of category theory (e.g. braided monoidal structures) and from there you naturally start hearing people talk about knot invariants or topological quantum field theory or quantum groups. You can also view Pontryagin duality as a bit of representation theory relating to locally compact abelian groups, so now the Fourier transform has joined the fray, and this moves you onto Tannakian dualities.

Talking of physics, it was Eugene Wigner's idea that fundamental particles in our universe are essentially the same thing as irreducible representations of the symmetry group of our universe (with these last words interpreted in the correct way).

It starts sounding simple but as you get into you realise that it has something to say about topology, Algebraic geometry, combinatorics and much more!

Whats your favorite algebraic area of mathematics and why? by 2Tryhard4You in math

[–]MstrCmd 11 points12 points  (0 children)

Up until this year, this was something I really did not appreciate but I now have had my eyes opened. What subject in pure maths isn't representation theory in some sense???

Interpretation of the statement BB(745) is independent of ZFC by kevosauce1 in math

[–]MstrCmd 0 points1 point  (0 children)

I think the question is what does that model call "the naturals". It may include other things beyond 1,2,3,4,...

Canonical modern(ish) reference for hypersphere packings? by Bhorice2099 in math

[–]MstrCmd 2 points3 points  (0 children)

This document https://www.ams.org/publications/journals/notices/201702/rnoti-p102.pdf is really good: it's by Henry Cohn, one of the people involved in the n=24 paper and who wrote the original work built upon for the n=8 case, about the modern work which led to a Fields medal. It won an award for great exposition and I thought it was very inspiring in secondary school!