diff --git a/content/Basic Algebra/Basic Algebra.md b/content/Basic Algebra/Basic Algebra.md index 3f99eba..5b357c0 100644 --- a/content/Basic Algebra/Basic Algebra.md +++ b/content/Basic Algebra/Basic Algebra.md @@ -24,4 +24,4 @@ - [[Discrete logarithm]] - [[ECDLP]] - [[Ideal]] -- [[Abelian Group]] + diff --git a/content/Basic Algebra/Group.md b/content/Basic Algebra/Group.md index 6778876..200bb74 100644 --- a/content/Basic Algebra/Group.md +++ b/content/Basic Algebra/Group.md @@ -6,6 +6,28 @@ Given a [[Binary Operation]] $*$ : $G \times G \rightarrow G$ on a set $G$, the 2. There exists an identity element $e \in G$. 3. For each element $a \in G$, there exists an inverse element $a^{-1} \in G$. -# Example +### Example -- $GL_{2}(\mathbb{R})$ is the set of all invertible 2×2 matrices, and with matrix multiplication, it forms a group. \ No newline at end of file +- $GL_{2}(\mathbb{R})$ is the set of all invertible 2×2 matrices, and with matrix multiplication, it forms a group. + +
+ +**Note** + +- Commutativity: For $ \forall a, b \in G$, $a * b = b * a$ +- Associativity: For $ \forall a, b, c \in G$, $(a * b) * c = a * (b * c)$ +- Identity: $\exists e \in G$ s.t. $\forall a in G$, $a * e = e * a = a$ +- Inverse: For $\forall a \in G$, $\exists a^{-1} \in G$ s.t. $a * a^{-1} = a^{-1} * a = e$ + +
+ +# Abelian Group + +A group $G$ under $*$ is an abelian group if $*$ is commutative. + +### Example + +- $(\mathbb{R}, +)$ is an abelian group. +- $(\mathbb{R}^*, \cdot )$ is an abelian group. ($\mathbb{R}^* = \mathbb{R}$ \ ${0}$) +- $(\mathbb{R}, \cdot )$ is **NOT** a group. Because there is no inverse to 0. +- $(\mathbb{N}, +)$ is **NOT** a group. Because there is no identity and inverse. \ No newline at end of file diff --git a/package-lock.json b/package-lock.json index 994714e..f2edf94 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1341,6 +1341,7 @@ "version": "0.5.0", "resolved": "https://registry.npmjs.org/async-mutex/-/async-mutex-0.5.0.tgz", "integrity": "sha512-1A94B18jkJ3DYq284ohPxoXbfTA5HsQ7/Mf4DEhcyLx3Bz27Rh59iScbB6EPiP+B+joue6YCxcMXSbFC1tZKwA==", + "license": "MIT", "dependencies": { "tslib": "^2.4.0" }