Skip to main content

Laws of composition

A non-empty subset H of M is called a stable part with respect to the law of composition "*" if x,yH,xyH\forall x,y\in H,x*y\in H.

Properties. The law of composition M×MM,(x,y)xyM\times M\to M, (x,y)\to x*y

  • Is commutative if: xy=yx,x,yMx*y=y*x, \forall x,y\in M

  • Is associative if: (xy)z=x(yz),x,y,zM(x*y)*z=x*(y*z),\forall x,y,z\in M

  • Has an identity element if: xMex=xe=x\forall x\in M e*x=x*e=x. The identity element, if it exists, is unique.

  • An associative law with an identity element has invertible elements if there exists xMx'\in M such that xx=xx=ex'*x=x*x'=e

If x,yMx,y\in M are invertible with respect to a law of composition "*" (associative and with an identity element), then x*y and xx' are invertible. Moreover:

1) (xy)=yx(x*y)'=y'*x' 2) (x)=x(x')'=x

Let nN,n2n\in \mathbb{N},n\ge2. On equation we define the operations called addition and multiplication of residue classes modulo n as follows: equation with equation.

Addition of residue classes modulo n is associative and commutative, has 00 as identity element, and every residue class has an opposite. Multiplication of residue classes modulo n is associative, commutative, has 11 as identity element, and is distributive over addition: equation

Groups

A pair (G,*), consisting of a non-empty set G and a law of composition "*" on G, is a group if the following conditions hold:

G1) x,y,zG,(xy)z=x(yz)\forall x,y,z\in G,(x*y)*z=x*(y*z)

G2) eG\exists e\in G, such that e*x=x*e=x, xG\forall x\in G

G3) xG,xG\forall x\in G,\exists x'\in G with xx=xx=ex'*x=x*x'=e

If in addition axiom G4 x,yG,xy=yx\forall x,y\in G,x*y=y*x holds, then G is called a commutative or abelian group.

A pair (M,*) consisting of a non-empty set M and a law of composition "*" on M is called a monoid if:

M1: x,y,zM,(xy)z=x(yz)\forall x,y,z\in M,(x*y)*z=x*(y*z)

M2: eM\exists e\in M such that ex=xe=x,xMe*x=x*e=x,\forall x\in M

Cancellation rules in a group*.*

Let (G,*) be a group. For any a,b,cGa,b,c\in G we have:

1) ab=acb=ca*b=a*c\Rightarrow b=c 2) ba=cab=cb*a=c*a\Rightarrow b=c

Let (G,*) be a group, a,bGa,b\in G and aa' the inverse of a. The equation a*x=b has the unique solution x=abx=a'*b in G, and the equation y*a=b has the unique solution y=bay=b*a' in G.

Let (G,)(G,\circ) and (G,)(G',*) be two groups. A function f:GGf:G\to G' is called a group isomorphism if:

1) f(xy)=f(x)f(y)x,yGf(x\circ y)=f(x)*f(y) \forall x,y\in G 2) f is bijective

The group G is isomorphic to the group G(GG)G'(G\simeq G') if there exists an isomorphism f:GGf:G\to G'.

Let (G,)(G,\circ) and (G,)(G',*) be two groups. If f:GGf:G\to G' is an isomorphism, then equation is an isomorphism.

Let the groups (G,)(G,\circ) and (G,)(G',*). The function f:GGf:G\to G' is called a group homomorphism if:

f(xy)=f(x)f(y),x,yGf(x\circ y)=f(x)*f(y), \forall x,y\in G

Let the groups (G,)(G,\circ) and (G,)(G',*) have identity elements e and ee'. If f:GGf:G\to G' is a group homomorphism, then:

1) f(e)=ef(e)=e'

2) equation

Let (G,*) be a group and H a subset of G.

(H,*) is called a subgroup of G if (H,*) is a group.

Let (G,*) be a group with identity element e and H a subgroup of G. Then eHe\in H.

Let (G,*) be a group; HG,H.(H,)H\subset G,H\neq \emptyset.(H,*) is a subgroup of G if and only if x,yH,xyH\forall x,y\in H,x*y\in H, where yy' is the inverse of y in G.

Let (G, equation) be a group with identity element e and aGa\in G. We say a is an element of finite order of the group G if there exists m>0 such that am=e.

If a is of finite order, then the smallest number m>0 with the property am=e is called the order of a, written orda=m.

If a is an element of order m of the group G, then equation is a subgroup of order m of G.

Let (G, equation) be a group, aGa\in G and equation. The following are equivalent:

  1. orda=m

  2. equation and am=e.

Rings and fields

A triple (R,+, equation), where R is a non-empty set and "+" and "equation" are two laws of composition on R (called addition and multiplication), is a ring if:

(G) (R,+) is an abelian group

(G) (R, equation) is a monoid

(D) multiplication is distributive over addition:

x,y,zR\forall x,y,z\in \mathbb{R}, equation

The ring R has no zero divisors if x≠0, y≠0 equation

A ring R is called commutative if it also satisfies the axiom: (M3) xy=yx, x,yR\forall x,y\in \mathbb{R}.

A commutative ring R with at least two elements and no zero divisors is called an integral domain.

Let equation (Z[i],+,)(\mathbb{Z}[i],+,*) be called the ring of Gaussian integers.

Let (R,+,)(\mathbb{R},+,*) be a ring. The operation yz=y+(z),y,zRy-z=y+(-z), y,z\in \mathbb{R} is called subtraction.

In a ring (R,+,)(R,+,*) the following properties hold:

1) xR,x0=0x=0\forall x\in \mathbb{R},x0=0x=0

2) In a ring with at least two elements we have 1≠0.

3) The rule of signs: x,yR,(x)y=x(y)=xy\forall x,y\in \mathbb{R},(-x)y=x(-y)=-xy and (-x)(-y)=xy

4) Distributivity of multiplication over subtraction: x,y,zR,x(yz)=xyxz\forall x,y,z\in \mathbb{R},x(y-z)=xy-xz and (yz)x=yxzx(y-z)x=yx-zx.

5) In a ring R without zero divisors we may cancel by elements different from 0, that is x,y,zR,x0,xy=xz\forall x,y,z\in \mathbb{R}, x\neq0, xy=xz or yx=zxy=zyx=zx\Rightarrow y=z

The invertible elements of a ring R are called the units of R. We write U(R) for the set of units of the ring R. U(R) is a group under the operation induced by the multiplication of R, called the group of units of R.

If R is an integral domain, then R[X] is an integral domain and f,gR[X],f0,g0\forall f, g\in R[X], f\neq0, g\neq0 degfg=degf+degg.

Let R be a commutative ring, equation and αR\alpha \in R. The element equation is called the value of the polynomial f at α. The value of the sum and of the product of the polynomials f,gRf,g\in R at αR\alpha \in R equals the sum, respectively the product, of the values of f and g at α: (f+g)(α)=f(α)+g(α),.(f+g)(\alpha)=f(\alpha)+g(\alpha),. (fg)(α)=f(α)g(α)(fg)(\alpha)=f(\alpha)g(\alpha).

Let fR[x].f\in \mathbb{R}[x].. The function f:RRf*:R\to R defined by f(x)=f(x)R,xRf*(x)=f(x)\in \mathbb{R},\forall x\in \mathbb{R} is the polynomial function associated with the polynomial f. We shall also write f for the function ff*.

The zeros of the polynomial function f are called the roots (in R) of the polynomial f. Thus an element αR\alpha \in R is a root (in R) of the polynomial fR[x].f\in \mathbb{R}[x]. if f(α)=0.

Let R be a commutative ring, equation and αR\alpha \in R. There exist uniquely determined equation and r in R with equation. Moreover, r=f(α).

The remainder theorem. The remainder on dividing the polynomial fR[X]f\in \mathbb{R}[X] by XαR[X]X-\alpha \in \mathbb{R}[X] is f(α).

Bézout's theorem. The polynomial fR[X]f\in \mathbb{R}[X] is divisible by XαR[X]X-\alpha \in \mathbb{R}[X] if and only if f(α)*=*0.

A ring K is called a field if 0≠1 and every non-zero element of K is invertible with respect to multiplication. If multiplication is commutative, K is called a commutative field.

Properties

  1. A field has no zero divisors

  2. The non-zero elements of a field form a group under multiplication

  3. Every finite integral domain is a field

Let the rings (R,+,*) and (R,,)(R',\oplus,\odot). A function f:RRf:R\to R' is called a ring homomorphism if, x,yR\forall x,y\in R;

1) f(x+y)=f(x)f(y)f(x+y)=f(x)\oplus f(y) 2) f(xy)=f(x)f(y)f(x*y)=f(x)\odot f(y) 3) f(1)=1f(1)=1'

where 1 is the unit of the ring R and 11' the unit of RR'.

A bijective ring homomorphism is called an isomorphism. The ring R is isomorphic to the ring RR'.

Let f:RRf:R\to R' be a ring homomorphism. Then:

  • f(0)=0f(0)=0', 0 being the zero element of R and 00' that of RR'.

  • f(x)=f(x),xRf(-x)=-f(x), \forall x\in R.

  • If xRx\in \mathbb{R} is invertible in the ring R, then f(x) is an invertible element of the ring RR' and equation.

A function f:KKf:K\to K' from a field K to KK' is called a field homomorphism if it is a homomorphism from K to KK' regarded as rings.

Every field homomorphism f:KKf:K\to K' is injective.

There exist uniquely determined polynomials q,rK[X]q,r\in K[X] satisfying the division equation f=gq+rf=g\cdot q+r, where degr<degg if r0r\neq0

  • f is divisible by g, written equation or gfg\vdots f, if there exists hK[X]h\in K[X] with f=ghf=gh

  • let aKa\in K and nNn\in \mathbb{N}, n≥2; a is a root of multiplicity n if equation and ff is not divisible by equation

Let K be a commutative field, fK[X]f\in K[X], aKa\in K and nNn\in \mathbb{N}, n≥2. The polynomial f has a root of multiplicity n if and only if f(a)=0; equation

Let K be a commutative field, fK[X]f\in K[X] and a,bK[X]a,b\in K[X],aba\neq b. The polynomial f(Xa)(Xb)f\vdots(X-a)(X-b) if and only if f(a)=f(b)=0.

Let K be a commutative field and fK[X]f\in K[X] a polynomial of degree f=n. We say the polynomial f is reducible over K if there exist polynomials g,hK[X]g,h\in K[X], of degrees strictly less than n, with f=ghf=gh. Otherwise we say f is irreducible over K.

Let K be a commutative field and f,hK[X]f,h\in K[X]. We say f is associated in divisibility with g, written fgf\sim g, if equation and equation.

Every polynomial fC[X]f\in \mathbb{C}[X] of degf>0 can be written as a finite product of degree-1 polynomials from C[X]\mathbb{C}[X], uniquely determined up to the order of the factors and association in divisibility.

Vector spaces

Let V and K be non-empty sets. A map ψ>K×VV\psi>K\times V\to V is called an external law of composition on V with scalars (or operators) in K.

Let (K,+,*) be a commutative field. A vector space over K is an abelian group (V,+) equipped with an external law of composition with scalars in K, (α,u)αu(\alpha,u)\to \alpha u, satisfying the axioms:

S1) α,βK,uV,(α+β)u=αu+βu\forall \alpha,\beta \in K, \forall u\in V, (\alpha+\beta)u=\alpha u+\beta u (distributivity of scalar multiplication over addition of scalars)

S2) αK,u,vV,α(u+v)=αu+αv\forall \alpha \in K, \forall u,v\in V, \alpha(u+v)=\alpha u+\alpha v (distributivity of scalar multiplication over addition of vectors)

S3) α,βK,uV,α(βu)=(αβ)u\forall \alpha, \beta \in K, \forall u\in V, \alpha(\beta u)=(\alpha \beta)u (commutativity of multiplication of scalars and vectors)

S4) uV,1u=u\forall u\in V, 1\cdot u=u (1, the unit of K, is the identity element for scalar multiplication)

Properties

  1. Let αK\alpha \in K and vV,αv=0α=0v\in V, \alpha v=0\Leftrightarrow \alpha=0 or v=0

  2. For any αK\alpha \in K and vVv\in V, we have: (α)v=α(v)=αv,(α)(v)=αv(-\alpha)v=\alpha(-v)=-\alpha v,(-\alpha)(-v)=\alpha v (the rule of signs)

  3. For any α,βK\alpha,\beta \in K and u,vVu,v\in V we have: (αβ)v=αvβv,α(uv)=αuαv(\alpha-\beta)v=\alpha v-\beta v,\alpha(u-v)=\alpha u-\alpha v

Let V be a vector space over the field K, v1,v2,...,vpdinVv_{1},v_{2},...,v_{p} din V and λ1,λ2,...,λpK\lambda_{1},\lambda_{2},...,\lambda_{p}\in K. A vector of the form v=λ1v1+λ2v2+...+λpvpv=\lambda_{1}v_{1}+\lambda_{2}v_{2}+...+\lambda_{p}v_{p} is a linear combination of the vectors v1,v2,...,vpv_{1},v_{2},...,v_{p}.

The vectors v1,v2,...,vpv_{1},v_{2},...,v_{p} are linearly independent if \forall λ1,λ2,...,λpK\lambda_{1},\lambda_{2},...,\lambda_{p}\in K, λ1v1+λ2v2+...+λpvp=0\lambda_{1}v_{1}+\lambda_{2}v_{2}+...+\lambda_{p}v_{p}=0 implies λ1=...=λp=0\lambda_{1}=...=\lambda_{p}=0.

Let V be a vector space over K. A system B=(v1...vn)B=(v_{1}...v_{n}) of vectors viV,1inv_{i}\in V,1\le i\le n is a basis of V if:

1) ()xV,()λ1,λ2,...,λpK(\forall)x\in V, (\exists)\lambda_{1},\lambda_{2},...,\lambda_{p}\in K such that x=λ1v1+λ2v2+...+λnvnx=\lambda_{1}v_{1}+\lambda_{2}v_{2}+...+\lambda_{n}v_{n};

2) v1,v2,...,vnv_{1},v_{2},...,v_{n} are linearly independent.

In this case, every vector v of V has a unique representation as a linear combination of the basis vectors B, v=λ1v1+λ2v2+...+λnvnv=\lambda_{1}v_{1}+\lambda_{2}v_{2}+...+\lambda_{n}v_{n}.

Let V and VV' be two vector spaces over the same field K. A map f:VVf:V\to V' is called a linear map from the vector space V to VV' if:

1) f(x+y)=f(x)+f(y)x,yVf(x+y)=f(x)+f(y) \forall x,y\in V 2) f(λx)=λf(x),λK,xVf(\lambda x)=\lambda f(x), \forall \lambda \in K, \forall x\in V

If V=VV', then f is also called a linear operator on V, or an endomorphism of V.

If f:VVf:V\to V' is a linear map, then f is in particular a homomorphism from the group (V,+) to the group (VV',+). Then:

f(0)=0f(0)=0' equation

Let V and VV' be vector spaces over a field K, λK\lambda \in K and f:VVf:V\to V', g:VVg:V\to V' linear maps. The map f+g:VVf+g:V\to V', (f+g)(x)=f(x)+g(x)(f+g)(x)=f(x)+g(x) is the sum of f and g, and equation, (λf)(x)=λf(x)(\lambda f)(x)=\lambda f(x) is the product of λ\lambda with f.

If V, V,VV',V'' are vector spaces over K and g:VVg:V\to V',f:VVf:V'\to V'' are linear maps, then the map fg:VVf\circ g:V\to V'' defined by (fg)(x)=f(g(x))(f\circ g)(x)=f(g(x)) is the composition of f with g.