Subquotient by Ciro Santilli 40 Updated 2025-07-16
That normal subgroup does not have have to be a normal subgroup of G.
As an overkill example, the happy family are subquotients of the monster group, but the monster group is simple.
Normal subgroup by Ciro Santilli 40 Updated 2025-07-16
Only normal subgroups can be used to form quotient groups: their key definition is that they plus their cosets form a group.
One key intuition is that "a normal subgroup is the kernel" of a group homomorphism, and the normal subgroup plus cosets are isomorphic to the image of the isomorphism, which is what the fundamental theorem on homomorphisms says.
Therefore "there aren't that many group homomorphism", and a normal subgroup it is a concrete and natural way to uniquely represent that homomorphism.
The best way to think about the, is to always think first: what is the homomorphism? And then work out everything else from there.
Division ring by Ciro Santilli 40 Updated 2025-07-16
Two ways to see it:
As per classification of finite fields those must be of prime power order.
Video "Finite fields made easy by Randell Heyman (2015)" at youtu.be/z9bTzjy4SCg?t=159 shows how for order . Basically, for order , we take:
For a worked out example, see: GF(4).
GF(4) by Ciro Santilli 40 Updated 2025-07-16
Ciro Santilli tried to add this example to Wikipedia, but it was reverted, so here we are, see also: Section "Deletionism on Wikipedia".
This is a good first example of a field of a finite field of non-prime order, this one is a prime power order instead.
, so one way to represent the elements of the field will be the to use the 4 polynomials of degree 1 over GF(2):
  • 0X + 0
  • 0X + 1
  • 1X + 0
  • 1X + 1
Note that we refer in this definition to anther field, but that is fine, because we only refer to fields of prime order such as GF(2), because we are dealing with prime powers only. And we have already defined fields of prime order easily previously with modular arithmetic.
Over GF(2), there is only one irreducible polynomial of degree 2:
Addition is defined element-wise with modular arithmetic modulo 2 as defined over GF(2), e.g.:
Multiplication is done modulo , which ensures that the result is also of degree 1.
For example first we do a regular multiplication:
Without modulo, that would not be one of the elements of the field anymore due to the !
So we take the modulo, we note that:
and by the definition of modulo:
which is the final result of the multiplication.
TODO show how taking a reducible polynomial for modulo fails. Presumably it is for a similar reason to why things fail for the prime case.
This point is beautifully argued in lots of different sources, and is clearly a pillar of AGI.
Perhaps one may argue that our deep learning layers do form some kind of hierarchy, e.g. this is very clear in certain models such as convolutional neural network. But many of those models cannot have arbitrarily deep hierarchies, which appears to be a fundamental aspect of intelligence.
How to Create a Mind:
The lists of steps in my mind are organized in hierarchies. I follow a routine procedure before going to sleep. The first step is to brush my teeth. But this action is in turn broken into a smaller series of steps, the first of which is to put toothpaste on the toothbrush. That step in turn is made up of yet smaller steps, such as finding the toothpaste, removing the cap, and so on. The step of finding the toothpaste also has steps, the first of which is to open the bathroom cabinet. That step in turn requires steps, the first of which is to grab the outside of the cabinet door. This nesting actually continues down to a very fine grain of movements, so that there are literally thousands of little actions constituting my nighttime routine. Although I may have difficulty remembering details of a walk I took just a few hours ago, I have no difficulty recalling all of these many steps in preparing for bed - so much so that I am able to think about other things while I go through these procedures. It is important to point out that this list is not stored as one long list of thousands of steps - rather, each of our routine procedures is remembered as an elaborate hierarchy of nested activities.
Human Compatible: TODO get exact quote. It was something along: life goal: save world from hunger. Subgoal: apply for some grant. Sub-sub-goal: eat, sleep, take shower. Sub-sub-sub-goal: move muscles to get me to table and open a can.
Elliptic curve by Ciro Santilli 40 Updated 2025-07-16
An elliptic curve is defined by numbers and . The curve is the set of all points of the real plane that satisfy the Equation 1. "Definition of the elliptic curves"
Equation 1.
Definition of the elliptic curves
.
Figure 1.
Plots of real elliptic curves for various values of and
. Source.
Equation 1. "Definition of the elliptic curves" definies elliptic curves over any field, it doesn't have to the real numbers. Notably, the definition also works for finite fields, leading to elliptic curve over a finite fields, which are the ones used in Elliptic-curve Diffie-Hellman cyprotgraphy.
Mordell's theorem guarantees that the rank (number of elements in the generating set of the group) is always well defined for an elliptic curve over the rational numbers. But as of 2023 there is no known algorithm which calculates the rank of any curve!
It is not even known if there are elliptic curves of every rank or not: Largest known ranks of an elliptic curve over the rational numbers, and it has proven extremely hard to find new ones over time.
TODO list of known values and algorithms? The Birch and Swinnerton-Dyer conjecture would immediately provide a stupid algorithm for it.
This construction takes as input:and it produces an elliptic curve over a finite field of order as output.
The constructions is used in the Birch and Swinnerton-Dyer conjecture.
To do it, we just convert the coefficients and from the Equation "Definition of the elliptic curves" from rational numbers to elements of the finite field.
For example, suppose we have and we are using .
For the denominator , we just use the multiplicative inverse, e.g. supposing we have
where because , related: math.stackexchange.com/questions/1204034/elliptic-curve-reduction-modulo-p
The BSD conjecture states that if your name is long enough, it will always count as two letters on a famous conjecture.
Maybe also insert a joke about BSD Operating Systems if you're into that kind of stuff.
The conjecture states that Equation 1. "BSD conjecture" holds for every elliptic curve over the rational numbers (which is defined by its constants and )
Equation 1. . Where the following numbers are defined for the elliptic curve we are currently considering, defined by its constants and :
The conjecture, if true, provides a (possibly inefficient) way to calculate the rank of an elliptic curve over the rational numbers, since we can calculate the number of elements of an elliptic curve over a finite field by Schoof's algorithm in polynomial time. So it is just a matter of calculating like that up to some point at which we are quite certain about .
The Wikipedia page of the this conecture is the perfect example of why it is not possible to teach natural sciences on Wikipedia. A million dollar problem, and the page is thoroughly incomprehensible unless you already know everything!
Figure 1.
as a function of for the elliptic curve
. Source. The curve is known to have rank 1, and the logarithmic plot tends more and more to a line of slope 1 as expected from the conjecture, matching the rank.
Video 2.
The $1,000,000 Birch and Swinnerton-Dyer conjecture by Absolutely Uniformly Confused (2022)
Source. A respectable 1 minute attempt. But will be too fast for most people. The sweet spot is likely 2 minutes.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 2.
    You can publish local OurBigBook lightweight markup files to either https://OurBigBook.com or as a static website
    .
    Figure 3.
    Visual Studio Code extension installation
    .
    Figure 4.
    Visual Studio Code extension tree navigation
    .
    Figure 5.
    Web editor
    . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
    Video 4.
    OurBigBook Visual Studio Code extension editing and navigation demo
    . Source.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact