How Can One Visualize a Group?

  • Thread starter Thread starter gottfried
  • Start date Start date
  • Tags Tags
    Group
gottfried
Messages
118
Reaction score
0
Does anyone have any intuitive idea of how to visualize a group. The closest thing I know of in terms of a group visualization tool is a Cayley graph. I was wondering if anybody knows of a better method to visualise a group? And slightly different question what is the use of Cayley graph?
 
Physics news on Phys.org
gottfried said:
Does anyone have any intuitive idea of how to visualize a group.

To me, there is only one "fool proof" way to think about a group and it doesn't involve a picture. Think of a set S and all the 1-to-1 functions of S onto itself. The "multiplication" of functions f and g is defined by composition of functions. You can define fg to be the function f(g(x)) (or vice versa, I suppose - anyway, it's a good aid to remember that group multiplication need not be commutative.)

In my opinion, the visual ways of representing groups are more useful to people who already have a good intuition about very elementary group theory because they involve using concepts like a set of generators for the group that are one step above the elementary ideas.

I'm guessing that you are thinking about finite groups. I recall seeing some black and white pictures in an old book that showed 3D models of interesting shapes with figures drawn on them. Some of the figures looked like "stream lines" in a physics book. I think these were models for visualizing infinite continuous groups. Anybody know about that?
 
I have not read this book, but its title is intriguing: Visual Group Theory
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...

Similar threads

Replies
3
Views
2K
Replies
13
Views
592
Replies
10
Views
3K
Replies
3
Views
456
Replies
2
Views
2K
Replies
6
Views
3K
Replies
7
Views
2K
Back
Top