commit 910de7fbb3bbbdbe4fef6c54b2683753a7cd2087 Author: AlexanderHD27 Date: Sat Nov 8 23:19:46 2025 +0100 Start LinAlg FS diff --git a/LinearAlgebra.typ b/LinearAlgebra.typ new file mode 100644 index 0000000..431c634 --- /dev/null +++ b/LinearAlgebra.typ @@ -0,0 +1,46 @@ +#import "@preview/biceps:0.0.1" : * + +#set text( + size: 8pt +) + +#set page( + margin: 5mm +) + +#flexwrap( + main-spacing: 1mm, + cross-spacing: 1mm, + block( + stroke: 0.2mm, + spacing: 1mm, + inset: 2mm, + [ + *Halbgruppe:* $(M, compose): M times M arrow M$ + - Assoziativgesetz: $a dot (b dot c) = (a dot b) dot c$ + *Monoid* Halbgruppe $M$ mit: + - Identitätselment: $e in M : a e = e a = a$ + *Kommutativ/abelsch:* Halbgruppe/Monoid mit + - Kommutativgesetz; $a dot b = b dot a$ + *Gruppe:* Monoid mit + - Inverse: $forall a in M : exists space a a^(-1) = a^(-1)a = e$ + *Ring:* Menge $M$ mit: + - Kommutativ Gruppe unter $(M, +)$, + - Halbgruppe unter $(M, dot)$ + - Distributiv Gesetz: $(a + b) dot c = (a dot c) + (a dot b)$ + *Körper:* Menge $M$ mit: + - Kommutativ Gruppe unter $(M, +)$ + - Kommutativ Gruppe unter $(M, times)$ + - Distributiv Gesetz: $(a + b) dot c = (a dot c) + (a dot b)$ + ] + ), + block( + stroke: 0.2mm, + spacing: 1mm, + inset: 2mm, + [ + + ] + ) + +),