Start LinAlg FS

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,
+        [
+            
+        ]
+    )
+
+),