Chapter 3 Algebraic Structures
Chapter 3 Algebraic Structures
structures
W.DJELLADJ
f(x)’= f(x’) “the symmetric of a morphism is the morphism of the symmetric”
Proof : f(x) o f(x’) = f(x * x’) = f(e1) = e2 and f(x’) o f(x) = f(x’ * x) = f(e1) = e2
Kernel and image:
2. Ring structure
The definition of a ring
A structure (R, +, ·) is a ring if R is a non-empty set and + and · are binary
operations such that
(1) All of Z, Q, R and C are commutative rings with identity (with the number 1 as the
identity).
(2) N is NOT a ring for the usual addition and multiplication. These are binary operations
and we do have a zero element, namely 0, so axiom (A2) holds. However (A3)
(existence of additive inverses) fails: there is no n ∈ N for which 1 + n = 0, for example.
(3) (A (R; R) , +, o) is a non commutative ring with identity and without integral domain :
The identity is idx such that f o idx = f
f o g = 0 does not imply that f and g are zeros.
Subrings and the Subring Test :
Let (R; +, ·) be a ring and let S be a non-empty subset of R. Then (S; +, ·) is a subring of R if it is a
ring with respect to the operations it inherits from R.
Examples
(1) Z and Q are subrings of R;
(2) R, regarded as numbers of the form a + 0i for a ∈ R, is a subring of C.
(3) (nZ , + , . ), with n ∈ Z are sub rings of (Z , + , .) because :
nZ contains zéro 0 and for all x,y ∈ nZ: x - y ∈ nZ and x . y ∈ nZ
Ring homomorphism
The definition of a field
Definition : A structure (F, +, ·) where + and · are binary operations on F is a
field if
• 0 ≠ 1 ie "e1 ≠ e2"
• (F, +) is an abelian group;
• (F \ {0}, ·) is an abelian group;
• The distributive laws hold.
The field is commutative if the ring is commutative.
Every field is a ring with integral domain. Reciprocity is not true:
(Z, +, ·) is a ring with integral domain but is not a field.
(R, +, ·), (Q, +, ·), (C, +, ·) are fields,
The Subfield : Let (F; +, ·) be a field and let L ⊆ F.
Then (L; +, ·) is a subfield of F if and only if:
• a + b ∈ L for any a, b ∈ L;
• a − b ∈ L for any a, b ∈ L;
• a .b-1 ∈ L for any a, b ∈ L.