17 Commits

Author SHA1 Message Date
saundersp
52fd077cb5 packages/macros.sty : Added suchthat operator && typos fixes 2025-03-11 14:43:31 +01:00
saundersp
b23bc3bd4d contents/algebra.tex : Better linear group generated by transvection and dilatation proof && added special linear group definition 2025-03-02 23:50:06 +01:00
saundersp
d817ce9980 contents/algebra.tex : added normal subgroup, quotient definitions and theorems 2025-02-27 17:53:47 +01:00
saundersp
41e80ec73d contents/algebra.tex : Lots of group theory && formatting && replaced 0_{E,G,H} to Identity macro && and fixed some typos 2025-02-26 21:52:12 +01:00
saundersp
580318ac13 contents/algebra.tex : Space formatting 2025-02-12 22:02:26 +01:00
saundersp
00d34bb0eb contents/algebra.tex : Added ring definition and groups monomorphism, isomorphism proofs 2025-02-12 22:00:01 +01:00
saundersp
e78d54c45f contents/algebra.tex : Fixed unital magma definition and added unital element is unique proof 2025-02-12 19:02:13 +01:00
saundersp
2f357e06fc contents/algebra.tex : Added most undergraduate mandatory definitions 2025-02-09 22:14:32 +01:00
saundersp
230be3b629 contents/algebra.tex : Added inversible matrix, diagonalizable matrix and hermitian space definitions && tweaked bilinear form definition 2025-01-23 12:36:47 +01:00
saundersp
cd4cd50e94 Fixed many typos 2025-01-19 23:04:57 +01:00
saundersp
1ec8f26b78 contents/algebra.tex : Fixed some typos and wrong symbols and moved DM1 to seperate file 2024-12-20 20:29:07 +01:00
saundersp
d0c9dab330 contents/algebra.tex : Added basic definitions and axioms && first DM 2024-11-07 05:30:57 +01:00
saundersp
aafcec6a3e packages/macros.sty : Added convinences macros 2024-11-07 05:29:13 +01:00
saundersp
46b1cc6071 contents/algebra.tex : Changed composition law symbol to a more general one 2024-11-07 05:18:54 +01:00
saundersp
c8b77b2435 Fixed macros usage 2024-08-17 16:15:32 +02:00
saundersp
4cbadb17a4 Added union s.e.v proof and irrationality of sqrt 2024-08-05 00:48:54 +02:00
saundersp
4ef410ccd0 Added files 2023-05-07 19:46:28 +02:00