This is the cutest product name ever.

Used e.g. at Video "Superconducting Quantum Interference Devices by UNSW Physics (2020)"

Their manual: www.phys.ksu.edu/personal/cocke/classes/phys506/squidman.pdf

YBCO device, runs on liquid nitrogen.

Full set of all possible special relativity symmetries:

In simple and concrete terms. Suppose you observe N particles following different trajectories in Spacetime.

There are two observers traveling at constant speed relative to each other, and so they see different trajectories for those particles:Note that the first two types of transformation are exactly the non-relativistic Galilean transformations.

The Poincare group is the set of all matrices such that such a relationship like this exists between two frames of reference.

Subset of Galilean transformation with speed equals 0.

This is a good and simple first example of Lie algebra to look into.

A law of physics is Galilean invariant if the same formula works both when you are standing still on land, or when you are on a boat moving at constant velocity.

For example, if we were describing the movement of a point particle, the exact same formulas that predict the evolution of $x_{land}(t)$ must also predict $x_{boat}(t)$, even though of course both of those $x(t)$ will have different values.

It would be extremely unsatisfactory if the formulas of the laws of physics did not obey Galilean invariance. Especially if you remember that Earth is travelling extremelly fast relative to the Sun. If there was no such invariance, that would mean for example that the laws of physics would be different in other planets that are moving at different speeds. That would be a strong sign that our laws of physics are not complete.

The consequence/cause of that is that you cannot know if you are moving at a constant speed or not.

Lorentz invariance generalizes Galilean invariance to also account for special relativity, in which a more complicated invariant that also takes into account different times observed in different inertial frames of reference is also taken into account. But the fundamental desire for the Lorentz invariance of the laws of physics remains the same.

Generally means that he form of the equation $f(x)$ does not change if we transform $x$.

This is generally what we want from the laws of physics.

E.g. a Galilean transformation generally changes the exact values of coordinates, but not the form of the laws of physics themselves.

Lorentz covariance is the main context under which the word "covariant" appears, because we really don't want the form of the equations to change under Lorentz transforms, and "covariance" is often used as a synonym of "Lorentz covariance".

TODO some sources distinguish "invariant" from "covariant": invariant vs covariant.

TODO understand a bit more intuitively.

Generalization of orthogonal group to preserve different bilinear forms. Important because the Lorentz group is $SO(1,3)$.

Like the special orthogonal group is to the orthogonal group, $SO(m,n)$ is the subset of $O(m,n)$ with determinant equal to exactly 1.