原文
I'm asking AI to explain to me about #3, and it does seem very important and potentially would go into an undergrad 1st year algebra textbook. Intro algebra seems to avoid the most beautiful recent theorems on countable/finite groups as they involve confusing machinery.