(2) Isomorphic Binary Structures and Subgroups Flashcards
Proving an Isomorphism
Find a function ϕ
- prove ϕ is one-to-one
- onto
- preserves operations
If there is an isomorphism from to then G and G’ are said to be ___.
isomorphic
Let ϕ be an isomorphism from to . A ____ corresponds to a ______ of G to G’ and vice versa.
Bijection, renaming of elements
Let ϕ be an isomorphism from to . ϕ is operation preserving assures that the group are ____. Hence, they have the same table structure.
structurally-alike
Why does an isomorphism define an equivalence relation on a set of groups?
https://proofwiki.org/wiki/Isomorphism_is_Equivalence_Relation
Let ϕ be an isomorphism from to . If e is the identity of G, then the identity of G’ is ____.
ϕ(e)
Group of order 1 up to isomorphism
{e}
Group of order 2 up to isomorphism
{e,a}, here the inverse of a is itself
T/F. Axiom G3: The identity of G should appear in each row should appear at most once in each row and in each column.
F. Exactly once in each column and in row.
T/F. Each element appears exactly once in each column and row.
T
There is only one group of order 3 and is ABELIAN. What is it?
{e,a,b} where a and b are inverses of each other
Example of groups of order 3 up to isomorphism
Zsub3 under addition modulo 3 and Usub3 under multiplication for C
What are the non-isomorphic groups of order 4?
Zsub4 or V
What is the group denoted by V?
Klein 4-group
Characteristic of V
four elements,
all elements are self inverse
any two produce the third
Characteristic of Zsub4
four elements
one element is self inverse
and other two produces the self inverse element
H≤G iff
G is a group under * and H≠∅ and H is a subset of G
non empty set H is a proper subgroup of a group G iff
H≠G and H is a subset of G
non empty set H is an improper subgroup of a group G iff
H=G
Define trivial subgroup
{e}
If H ≤ G and H ≠ {e} then H is a ______ subgroup
non-trivial
T/F. If H is a subgroup of G then the identity of H is different from the identity of G but their inverse elements are the same.
F. Both the identity and inverse elements of H are in G.
State the One-Step Subgroup Test
Let G be a group and H a non-empty subgroup of G. Then H is always a subgroup of G iff for all a,b ∈ G, ab^-1 ∈ H.
Proving using One-Step Subgroup Test
Let G be a group.
- H is non-empty
- closure
- identity
- inverse
Define Special Linear Group of Degree Two
SL(2,R)={[matrix] | a,b,c,d ∈ R and ad-bc = 1}
What is the inverse of this matrix
e f
g h
1 h -f
/ [ ]
eh-fg -g e