Abstract Alg Final Flashcards
prove H is a normal subgroup of G (with some A in G, B in H)
show ABA^-1 is in H, which implies AHA^-1 is a subgroup of A
fundamental homomorphism theorem
let G->H be a homomorphism. then G/ker(f) ~= f(G)
prove isomorphic
f(uv)=f(u)f(v), its surjective
prove A subring of B
A subset of B, show A nonempty, x-y in A and xy in A
little theorem of fermat to show remained when 26^3250 divided by 17
- 17 is prime, 17 does not 26 so [26^17-1]=[1]
- split 3250 up so you have x*(17-1)+y
- then [26^x16][26^2] = [1]*[simplified 26]^2
- = [simplified 26]^2
- factor out the 17 term so youre left with one term which is the remainder
when things aren’t isomorphic
- if one ring has unity and the other doesnt
- if one isnt a field and the other is
- if one has zero divisors and the other doesnt
show I is an ideal of S
if P,Q, in I and A in S. Show P-Q in I, AP in I, PA in I, and 0 is in I
show f is a ring homomorph from S to R
pick A in S.
- f(A) is in R so well defined
- show f(A+B)=f(A)+f(B)
- show f(AB)=f(A)f(B)
ker(f)=
{A in S: f(A) = 0 or identity element}
commutative ring
if a,b in R, then ab=ba
unity
if there is an identity element
division ring
has unity, if identity element does not equal zero, and every element is a unit
integral domain
ab=ba, r has unity, unity does not equal zero, has no zero divisors
field
ab=ba, r has unity, unity does not equal zero, every element is a unit, has no zero divisors
unit of R
if u is an element in R, then u has an inverse in R