- #1
Someone2841
- 44
- 6
Hello. I have been looking into group theory for its applications to subject I am studying. I am not a mathematician by profession or training, but I find it has great use to any analytical pursuit. With that said, I have outlined below type of group that I would like to know more about. For example: what other groups are like it?, is there anything strange about the way I've defined this group?, what would help in my understanding of this group and groups like it?, etc. Thanks in advance!
------------------------------------------------------------
Let ##C## be the cyclic ring of integers mod 12. Please note that arithmetic with elements of ##C## and its subsets will be assumed to be mod 12 unless otherwise indicated. Define the set ##M_{k \in C}## as
For example, ##M_0 = \{0,2,4,5,7,9,11\}##. These subsets ##M_k## clearly do not form subgroups of ##C##; however, a group structure can be imposed on them. Define the action ##S_k## on ##M_k## as
Where ##+_7## is addition mod 7. For example, ##S_0## would map 4 onto 11 since ##x=3## in the equation ##4 \equiv 7(x + k - 1)## and ##7((x +_7 1) + k - 1) \equiv 11##. Two iterations of the action (i.e., ##S^2_k##) would then map each element to the next element (e.g., ##9 \mapsto 11, 11 \mapsto 0, 0 \mapsto 2,## etc. in ##M_0##).
The set ##\{S^n_k\}_{n \in Z, 0 \leq n \leq 6}## forms a cyclic action group (with ##S_k## as the group generator) on ##M_k##. The identity action is ##S^0_k \doteq S^7_k## and the inverse action is ##S^{-n \mod{7}}_k##.
-------
**Edited from x-k+1 to x+k-1
------------------------------------------------------------
Let ##C## be the cyclic ring of integers mod 12. Please note that arithmetic with elements of ##C## and its subsets will be assumed to be mod 12 unless otherwise indicated. Define the set ##M_{k \in C}## as
##\{x : n \in \mathbb{Z}, k-1 \leq n \leq k+5, x \equiv 7n\}##
For example, ##M_0 = \{0,2,4,5,7,9,11\}##. These subsets ##M_k## clearly do not form subgroups of ##C##; however, a group structure can be imposed on them. Define the action ##S_k## on ##M_k## as
##S_k:M_k×M_k,m≡7(x+k−1)↦7((x+_7 1)+k−1)##**
Where ##+_7## is addition mod 7. For example, ##S_0## would map 4 onto 11 since ##x=3## in the equation ##4 \equiv 7(x + k - 1)## and ##7((x +_7 1) + k - 1) \equiv 11##. Two iterations of the action (i.e., ##S^2_k##) would then map each element to the next element (e.g., ##9 \mapsto 11, 11 \mapsto 0, 0 \mapsto 2,## etc. in ##M_0##).
The set ##\{S^n_k\}_{n \in Z, 0 \leq n \leq 6}## forms a cyclic action group (with ##S_k## as the group generator) on ##M_k##. The identity action is ##S^0_k \doteq S^7_k## and the inverse action is ##S^{-n \mod{7}}_k##.
-------
**Edited from x-k+1 to x+k-1
Last edited: