(2) Isomorphic Binary Structures and Subgroups Flashcards

1
Q

Proving an Isomorphism

A

Find a function ϕ

  • prove ϕ is one-to-one
  • onto
  • preserves operations
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

If there is an isomorphism from to then G and G’ are said to be ___.

A

isomorphic

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Let ϕ be an isomorphism from to . A ____ corresponds to a ______ of G to G’ and vice versa.

A

Bijection, renaming of elements

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Let ϕ be an isomorphism from to . ϕ is operation preserving assures that the group are ____. Hence, they have the same table structure.

A

structurally-alike

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Why does an isomorphism define an equivalence relation on a set of groups?

A

https://proofwiki.org/wiki/Isomorphism_is_Equivalence_Relation

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Let ϕ be an isomorphism from to . If e is the identity of G, then the identity of G’ is ____.

A

ϕ(e)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Group of order 1 up to isomorphism

A

{e}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Group of order 2 up to isomorphism

A

{e,a}, here the inverse of a is itself

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

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.

A

F. Exactly once in each column and in row.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

T/F. Each element appears exactly once in each column and row.

A

T

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

There is only one group of order 3 and is ABELIAN. What is it?

A

{e,a,b} where a and b are inverses of each other

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Example of groups of order 3 up to isomorphism

A

Zsub3 under addition modulo 3 and Usub3 under multiplication for C

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

What are the non-isomorphic groups of order 4?

A

Zsub4 or V

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

What is the group denoted by V?

A

Klein 4-group

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Characteristic of V

A

four elements,
all elements are self inverse
any two produce the third

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Characteristic of Zsub4

A

four elements
one element is self inverse
and other two produces the self inverse element

17
Q

H≤G iff

A

G is a group under * and H≠∅ and H is a subset of G

18
Q

non empty set H is a proper subgroup of a group G iff

A

H≠G and H is a subset of G

19
Q

non empty set H is an improper subgroup of a group G iff

A

H=G

20
Q

Define trivial subgroup

A

{e}

21
Q

If H ≤ G and H ≠ {e} then H is a ______ subgroup

A

non-trivial

22
Q

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.

A

F. Both the identity and inverse elements of H are in G.

23
Q

State the One-Step Subgroup Test

A

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.

24
Q

Proving using One-Step Subgroup Test

A

Let G be a group.

  • H is non-empty
  • closure
  • identity
  • inverse
25
Q

Define Special Linear Group of Degree Two

A

SL(2,R)={[matrix] | a,b,c,d ∈ R and ad-bc = 1}

26
Q

What is the inverse of this matrix
e f
g h

A

1 h -f
/ [ ]
eh-fg -g e