Академический Документы
Профессиональный Документы
Культура Документы
Copyright
c 2006 Jason Underdown
set operations
Some rights reserved.
Theorem Definition
Definition Definition
Definition Lemma
Lemma Definition
For A, B ⊆ S
The mapping f : S 7→ T is onto or surjective if every
(A ∩ B)0 = A0 ∪ B 0
t ∈ T is the image under f of some s ∈ S; that is, iff,
∀ t ∈ T, ∃ s ∈ S such that t = f (s). (A ∪ B)0 = A0 ∩ B 0
f −1 (V ) = {s ∈ S | f (s) ∈ V }
Definition Definition
Lemma Definition
Definition Definition
Lemma Definition
Lemma Definition
A nonempty set G together with some operator ∗ is A(S) satisfies the following:
said to be a group if:
1. f, g ∈ A(S) ⇒ f ◦ g ∈ A(S)
1. If a, b ∈ G then a ∗ b ∈ G
2. f, g, h ∈ A(S) ⇒ (f ◦ g) ◦ h = f ◦ (g ◦ h)
2. If a, b, c ∈ G then a ∗ (b ∗ c) = (a ∗ b) ∗ c
3. There exists an i such that f ◦ i = i ◦ f = f
3. G has an identity element e such that ∀f ∈ A(S)
a∗e=e∗a=a ∀a∈G
4. Given f ∈ A(S), there exists a g ∈ A(S)
4. ∀ a ∈ G, ∃ b ∈ G such that a ∗ b = b ∗ a = e such that f ◦ g = g ◦ f = i
If G is a group then
Definition Definition
Theorem Theorem
Definition Definition
Theorem Definition
3. a ∼ b and b ∼ c ⇒ a ∼ c transitivity
f : G → G0
If G is a finite group of order n then an = e for all
is a homomorphism if
a ∈ G.
f (ab) = f (a)f (b) ∀ a, b ∈ G
Definition Theorem
Definition Theorem
Definition Theorem
Definition/Theorem Theorem
Theorem Theorem
G/N = {N a | a ∈ G} = {[a] | a ∈ G}
If N CG, then there is a homomorphism ψ : G 7→ G/N
such that Kerψ = N . G/N is a group relative to the operation
(N a)(N b) = N ab
Theorem Theorem
Theorem Definition
Definition Lemma
Theorem Theorem
Also, if H 0 C G0 then H C G.
or equivalently 2. H ∩ N C H
a = a1 , a2 , . . . , an where each ai ∈ Ni
ψ : N1 × N2 × · · · × Nn 7→ G
A finite abelian group is the direct product of cyclic
defined by
groups.
ψ((a1 , a2 , . . . , an )) = a1 a2 · · · an
Theorem Theorem
Theorem Theorem
Theorem Definition
Theorem Theorem
|G| = |Z(G)| +
X
[G : C(a)] Let G be a finite group and a ∈ G, then the number of
distinct conjugates of a in G is [G : C(a)] (the index
a6∈Z(G)
of C(a) in G).
If G is a group of order pn m where p is prime and If G is a group of order pn (p prime), then G contains
p 6 | m, then G is a p–Sylow group. a normal subgroup of order pn−1 .
Abstract Algebra I
If G is a p–Sylow group (|G| = pn m), then the number
of subgroups of order pn in G is of the form 1 + kp and
divides |G|.