remark 18.25 Where the additivity goes

Rests on

• depends_on corollary 18.24 Galilean composition of velocities ¶
  • depends_on proposition 18.20 The Galilean group ¶
    • depends_on definition 4.73 External semidirect product ¶
      • depends_on definition 4.1 Cartesian product ¶
        • depends_on definition 3.28 Set ¶
      • depends_on definition 4.43 Group homomorphism ¶
        • depends_on definition 4.21 Group ¶
        • depends_on definition 3.43 Map ¶
      • depends_on proposition 4.72 The automorphism group ¶
        • depends_on definition 4.45 Group automorphism ¶
        • depends_on definition 4.36 Subgroup ¶
        • depends_on definition 4.48 Symmetric group ¶
        • proves proof ch:02-algebraic-structures@proof-27 ¶
    • depends_on definition 18.18 Galilean transformation ¶
      • depends_on definition 18.8 Inertial frame of reference ¶
        • depends_on definition 18.7 Frame of reference ¶
        • depends_on definition 18.6 Free particle ¶
      • depends_on postulate 18.14 Absolute time ¶
      • depends_on postulate 18.16 Principle of Galilean relativity ¶
    • depends_on example 4.78 The Euclidean group ¶
      • depends_on definition 4.73 External semidirect product ¶ ↺
      • depends_on proposition 4.77 When a semidirect product is direct ¶
        • depends_on definition 4.65 Direct product of groups ¶
        • depends_on definition 4.60 Normal subgroup ¶
        • depends_on proposition 4.75 The two factors inside the semidirect product ¶
        • proves proof ch:02-algebraic-structures@proof-31 ¶
    • proves proof ch:01-kinematics@proof-4 ¶
  • proves proof ch:01-kinematics@proof-7 ¶

Supports

Nothing declares a dependency on this node yet.