Michael Kinyon's Avatar

Michael Kinyon

@profkinyon

Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Occasionally drop in at Mathstodon, but not as much as I used to.

1,557
Followers
764
Following
1,103
Posts
12.05.2023
Joined
Posts Following

Latest posts by Michael Kinyon @profkinyon

I forgot that every noun can be verbed

12.03.2026 03:25 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

If I'm being completely honest, I didn't even know "silo" could be a verb! 😁

12.03.2026 03:19 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Ah, I see. I've never heard "siloed" used that way.

12.03.2026 03:10 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

What does "siloed topics", which is mentioned twice, mean?

12.03.2026 03:05 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Michael Kinyon (@ProfKinyon@mathstodon.xyz) A letter to Taylor & Francis from (most of) what was the editorial board of Communications in Algebra. The header is by Jim Coykendall. The managing editor to whom Jim refers is Scott Chapman, who was...

I posted the letter in a 4 message thread on Ma(th)stodon. I could do it here, but because of the character limit, it would end up being about 20 posts.

mathstodon.xyz/@ProfKinyon/...

12.03.2026 03:03 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Journal news: 80% of the editorial board of Communications in Algebra has resigned. The resignation letter cites Taylor & Francis' dismissal of managing editor Scott Chapman and their recent top down approach to running journals. (E.g. implementing a 2 reviewer system without consulting the board.)

12.03.2026 02:58 πŸ‘ 7 πŸ” 4 πŸ’¬ 1 πŸ“Œ 0

I am also a bit bothered by the main text's mention of "normal weakly flat cleavages".

11.03.2026 18:26 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

The "just" in your notes is doing a lot of heavy lifting

11.03.2026 17:59 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

*taking a short break, watching anime*

A: What are you watching?

Me: I'M GONNA BE KING OF THE PIRATES!!!

A: Ah

11.03.2026 02:06 πŸ‘ 5 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I remember the first time I heard a Czech using "Czechia" at a conference about six years ago. I was very baffled at the time, but I've gotten used to it since then. (I married into a Czech immigrant family.)

10.03.2026 21:00 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

A line from the Final Exam Study Guide I prepared for my students:

* To keep myself busy while you take the exam, I will practice playing the bagpipe. I have never had a lesson, but I'm sure it will sound fine.

10.03.2026 20:43 πŸ‘ 8 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I just wish I could create this exam I'm writing using Autonomous Ultra Instinct instead of thinking.

10.03.2026 02:26 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

In base 12, it's 10x16 = 160. Going back to base 10, it's 144+6*12 = 144 + 72 = 216.

09.03.2026 21:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

"sin^2 Ο† is odious to me, even though Laplace made use of it; should it be feared that sin Ο†^2 might become ambiguous, which would... occur... at most very rarely when speaking of sin(Ο†^2), well then, let us write (sin Ο†)^2, but not sin^2 Ο†, which by analogy should signify sin(sin Ο†)" -- Gauss

09.03.2026 19:28 πŸ‘ 39 πŸ” 4 πŸ’¬ 3 πŸ“Œ 0

Yes, Proposition XXXIII, another favorite.

09.03.2026 19:00 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I wish more theorems were stated as forcefully as this gem from Saccheri's Euclides ab omni naevo vindicatus (Euclid Freed of All Blemish), 1733:

"Proposition XIV: The hypothesis of the obtuse angle is absolutely false, because it destroys itself”

09.03.2026 18:55 πŸ‘ 14 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

(Real answer: I don't know the history of it.)

09.03.2026 17:57 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Because "amn't I" is hard to say (unless you live in Ireland or Scotland, where apparently it is used).

09.03.2026 17:57 πŸ‘ 5 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

Happy Adelaide Cup Day! (if that's the right holiday)

09.03.2026 00:28 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

He states it more precisely than I did, making n>0 explicit.

08.03.2026 00:21 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Ganesan's Theorem: A commutative ring having only n nonzero zero divisors is necessarily finite and does not contain more than (n+1)^2 elements.

(Source: N. Ganesan, Properties of rings with a finite number of zero divisors, Math. Ann. 157 (1964), 215-218)

08.03.2026 00:18 πŸ‘ 12 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

Oh, if only I were able to use the subjunctive mood correctly!

07.03.2026 21:41 πŸ‘ 3 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Preview
Leibniz algebras, Lie racks, and digroups The "coquecigrue" problem for Leibniz algebras is that of finding an appropriate generalization of Lie's third theorem, that is, of finding a generalization of the notion of group such that Leibniz al...

That's how I integrated Leibniz algebras to Lie racks about 22 years ago. (Good lord, where does the time go?)

arxiv.org/abs/math/040...

07.03.2026 04:03 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

You're trapped in the last TV show you watched. Where are you?

06.03.2026 03:27 πŸ‘ 5 πŸ” 0 πŸ’¬ 0 πŸ“Œ 2

We the people, in order to form a more perfect Union, will take the Complement of the Intersection of the Complements.

06.03.2026 01:31 πŸ‘ 16 πŸ” 4 πŸ’¬ 0 πŸ“Œ 0

We hold these truths to be self-evident, that if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which the angles are less than two right angles.

06.03.2026 00:47 πŸ‘ 25 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Lol, I knew this would happen. They are indeed very cool

05.03.2026 23:05 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I think it's the hyper-generalized one where the integral is over a chain homologous to zero. I haven't read Simon's stuff, but I vaguely recall other people calling it that.

05.03.2026 22:22 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Early 90s, I would say.

05.03.2026 04:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Nice!

When I was an undergrad, one of the physics professors had one that said "Hogwash!" He used it quite a bit.

05.03.2026 04:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0