# Tagged Questions

3answers
55 views

### Viewing an abelian group using cayley diagram

I cannot understand this way of viewing whether a group is abelian using cayley's diagram: (from Visual group theory book) What I can't understand is that while checking being abelian we check ...
1answer
29 views

### Order of an element in direct product using cayley's diagram

How can I find the order of element (1,1) of the group $C_4\times C_3$ visually in the diagram below :
1answer
32 views

### Criteria of regularity that a Cayley's Diagram should meet .

As referred in the Visual group theory Book by Nathan Carter- The unofficial definition of a group says that : A group is a collection of actions satisfying the rules: 1. there is a predefined list ...
3answers
44 views

### Intuition - $fr = r^{-1}f$ for Dihedral Groups - Carter p. 75

Name $r$ = clockwise 90 deg. rotation and $f$ = flip across the square's vertical axis = the brown $\color{brown}{f}$ in my picture underneath. Zev Chonoles's $f$ is different. Carter fleshes out why ...
1answer
85 views

### Intuition - Theorem - A group homomorphism preserves normal subgroups - Fraleigh p. 149. Theorem 15.16

p. 128, 129. Theorem 13.12. Let $h$ be a homomorphism of groups $G \to G'$. III. If $S \le G$, then $h[S] \le \color{red}{G'}$. IV. If $S' \le G'$, then $h^{-1}[S'] \le G$. p. 149. ...
0answers
74 views

### Intuition of Picture - Collapse, Factor Group, Homomorphism, Normal Subgroup - Fraleigh p. 144 Figure 15.1

Let $N \unlhd G$. In the factor group $G/N$, the subgroup $N$ acts as identity element. Regard N as being collapsed to a single element, to the identity element. This collapsing of N together ...
1answer
58 views

### Characterize normal subgroups - Find all subgroups of $S_3$ conjugate to $\{id, (1,3) \}$ - Fraleigh p. 143 14.29

(27.) A subgroup H is conjugate to a subgroup K of a group G (viz. p. 141 $K \le G$ is a conjugate subgroup of $H$), if $i_g[H] = gHg^{-1} =K$ for some $g \in G$. Show that conjugacy is an ...
1answer
37 views

### If $\phi[H] \subseteq H'$, homomorphism from G to G' induces homomorphism from G/H to G'/H' - Fraleigh p. 143 14.39

Let $H \trianglelefteq \text{ group } G$ and let $H' \trianglelefteq \text{ group } G'$. Let $\phi$ be a homomorphism of G into G'. Show that if $\phi[H] \subseteq H'$, then $\phi$ induces a natural ...
2answers
85 views

### Intuition - Fundamental Homomorphism Theorem - Fraleigh p. 139, 136

Let $\phi: G \to H$ be a group homomorphism with $K = \ker\phi$. Then $G/K \simeq \phi[G].$ The hinge to the proof is to define $\Phi: G/K \to \phi[G]$ given by $\Phi(gK) = \phi(g)$. Then we must ...
1answer
50 views

### Visualize meaning of quotient in quotient map, group - etc?

What are the reasons for the name "Quotient" in Quotient map, group - etc? Overhead picture shows each of the three cosets in $A_4$ is mapped to a single - gray - node. But this isn't division? ...
0answers
64 views

### Visualize cosets of kernel of homomorphism, normal subgroup

Question 1. 'Since we know that the codomain is a group, this cannot happen.' I don't understand. Can someone elaborate? I know all homomorphisms are functions but not vice versa. Functions are ...
0answers
35 views

### Visualize every quotient map follows a pattern, subgroup and its left cosets

page 167. Because of the Fundamental Homomorphism Theorem, Nathan Carter calls non-embedding homomorphisms quotient maps. This is one of the key facts about homomorphisms: they come in ...
0answers
86 views

### Visualize normal subgroup, normalizer, cosets.

A few important aspects of the relationship $H \lhd N_G(H) \le G$ are highlighted in Figure 7.31. First, the size of $N_G(H)$ is some multiple of |H|, and the size of G is some multiple of $N_G(H)$, ...
2answers
110 views

1answer
49 views

### Visualize $C_2 \times C_4$ is normal subgroup

Page 120 says: Given our recent work with subgroups, you may have noticed that $C_2$ is a subgroup of $C_2 \times C_4$; specifically, it is the subgroup $<(1,0)>$. Furthermore, the cosets of ...
1answer
79 views

### Visualize $A_4$ and $\langle x, z\rangle$ isomorphic to the Klein 4 group

Page 136 says Following Step 1 of Definition 7.5, the top of Figure 7.23 shows $A_4$ organized by the subgroup $\langle x, z\rangle$ (which is isomorphic to the Klein $4$ group. This reorganization ...
1answer
105 views

0answers
46 views

### Counterexamples to Nonidentities - Power of Cosets and Right Coset - Fraleigh p. 103 10.30, 33

Let $H \le$ group G and $a, b \in G.$ Prove or give a counterexample. If $aH= bH,$ (30.) then $Ha= Hb.$ (33.) then $a^2 H = b^2 H.$ I understand p. 3: Let $G = S_3$ and $H = \{(1), (1,3)\}$. ...
0answers
50 views

### What group are the group of symmetries of these figures isomorphic to - Fraleigh p. 85 Theorem 8.23, 24, 26

In this section we discussed the group of symmetries of an equilateral triangle and of a square. In Exercises 23 through 26, give a group that we have discussed in the text that is isomorphic to the ...
2answers
165 views

### How to Visualize Diagonally Opposite Vertices

Consider a cube that exactly fills a certain cubical box. As in Examples 8.7 and 8.10, the ways in which the cube can be placed into the box corresponds to a certain group of permutations of the ...
1answer
149 views

### Animations or Pictures of Group of Rigid Motions (or Rotations) of the Cube

Consider a cube that exactly fills a certain cubical box. As in Examples 8.7 and 8.10, the ways in which the cube can be placed into the box corresponds to a certain group of permutations of the ...
0answers
41 views

### Visual Solution - Find All (Cyclic) Subgroups of $D_4$ generated by 1, 2, … elements - Fraleigh p. 84 8.19

Verify that the subgroup diagram for $D_4$ shown in Fig. 8.13 is correct by finding all (cyclic) subgroups generated by one element, then all subgroups generated by two elements, etc. Here, $p_i$ mean ...
2answers
68 views

### Isomorphism of Group with the Image of the Group - Fraleigh p. 82 Lemma 8.15

I found multifarious duplicates that I listed at http://math.stackexchange.com/a/631364/53934. I edged the purple part because my answer proves it more efficiently. I remember that any function ...
2answers
152 views

### Visual Group Theory's Intuitive Proof - Cayley's Theorem - Nathan Carter pp. 85, Theorem 5.1

Theorem 5.1. Cayley's Theorem: Every group is isomorphic to a collection of permutations. Figure 5.31. A multiplication table for the group $V_4$, with nodes numbered 1 through 4 to facilitate ...
0answers
48 views

### Visually apealing holologous transformation of a given contour

There is this problem which roughly says: You want to put a framed picture onto the wall with a cord to the picture frame. The cord is a single one, and both ends are attached to the frame. ...
4answers
2k views

### Algebra: Best mental images

I'm curious how people think of Algebras (in the universal sense, i.e., monoids, groups, rings, etc.). Cayley diagrams of groups with few generators are useful for thinking about group actions on ...
2answers
150 views

### An example of a Lie group

I have a trouble learning Lie groups --- I have no canonical example to imagine while thinking of a Lie group. When I imagine a manifold it is usually some kind of a 2D blanket or a circle/curve or a ...
5answers
384 views

### Cayley table group visualization

how can I make graphics like this? random colors. I got a script in GAP that prints rows of numbers but I want it colored just random colors ...
3answers
1k views

### Visualizing quotient groups: $\mathbb{R/Q}$

I was wondering about this. I know it is possible to visualize the quotient group $\mathbb{R}/\mathbb{Z}$ as a circle, and if you consider these as "topological groups", then this group (not ...
3answers
239 views

### Can one construct a “Cayley diagram” that lacks only an inverse?

My group theory text asks for an example of a Cayley-like diagram that exhibits all the properties of a group except (only) that at least some elements lack an inverse. Is it possible to construct ...
2answers
188 views

### linearly arranging the group tables of groups of order 128

I'm planning to make a video that shows color coded group tables for all 2328 groups of order 128 -- at 128$\times$128 pixels at 24 frames a second I think I get 97 seconds of video. Is there some ...