Web technology by Ciro Santilli 40 Updated 2025-07-16
Old cheat on separate repo: web.
Now moving to either:
  • separate files under: web-cheat/ for the boring stuff
  • subsections under this section for the more exciting stuff!
Pocono conference by Ciro Santilli 40 Updated 2025-07-16
Followup to the Shelter Island Conference, this is where Julian Schwinger and Richard Feynman exposed their theories to explain the experiments of the previous conference.
Julian made a formal presentation that took until the afternoon and bored everyone to death, though the mathematics avoided much questioning.
Feynman then presented his revolutionary approach, which he was unable to prove basic properties of, but which gave correct results, and people were not very happy.
Although quotients look a bit real number division, there are some important differences with the "group analog of multiplication" of direct product of groups.
If a group is isomorphic to the direct product of groups, we can take a quotient of the product to retrieve one of the groups, which is somewhat analogous to division: math.stackexchange.com/questions/723707/how-is-the-quotient-group-related-to-the-direct-product-group
The "converse" is not always true however: a group does not need to be isomorphic to the product of one of its normal subgroups and the associated quotient group. The wiki page provides an example:
Given G and a normal subgroup N, then G is a group extension of G/N by N. One could ask whether this extension is trivial or split; in other words, one could ask whether G is a direct product or semidirect product of N and G/N. This is a special case of the extension problem. An example where the extension is not split is as follows: Let , and which is isomorphic to Z2. Then G/N is also isomorphic to Z2. But Z2 has only the trivial automorphism, so the only semi-direct product of N and G/N is the direct product. Since Z4 is different from Z2 × Z2, we conclude that G is not a semi-direct product of N and G/N.
TODO find a less minimal but possibly more important example.
I think this might be equivalent to why the group extension problem is hard. If this relation were true, then taking the direct product would be the only way to make larger groups from normal subgroups/quotients. But it's not.

Unlisted articles are being shown, click here to show only listed articles.