The graph of the square mapping on the prime fields (Q1910561): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Groups, Graphs, and Fermat's Last Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3222326 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3689112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039755 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039733 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On ergodic one-dimensional cellular automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4004187 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3797922 / rank | |||
Normal rank |
Latest revision as of 11:14, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The graph of the square mapping on the prime fields |
scientific article |
Statements
The graph of the square mapping on the prime fields (English)
0 references
24 March 1996
0 references
Let \(f: G\to G\) be a map of a finite set into itself. Then \(\text{graph}(G)\) is defined to be the directed graph whose vertices are the elements of \(G\) with a directed edge from \(x\) to \(f(x)\) for all \(x\in G\). In this paper, the action of the map \(f(x)= x^2\) on the multiplicative groups \(F^*_p\) of the prime fields is examined. Let \(C_m\) denote the cyclic group of order \(m\), and suppose that \(m\) is odd. Then \(\text{graph}(C_m)\) relative to \(f\) is the disjoint union \[ \text{graph}(C_m)= \bigcup_{d|m} \undersetbrace {\varphi(d)/\text{ord}_d 2}\to {(\sigma(\text{ord}_d 2)\cup\cdots\cup \sigma(\text{ord}_d 2))}, \] where \(\sigma(l)\) is the cycle of length \(l\), \(\varphi\) is Euler's function and \(\text{ord}_d2\) is the order of \(2\text{ mod } d\). Let \(n= 2^km\) where \(m\) is odd. Then \[ \text{graph}(C_m)= \bigcup_{d|m} \undersetbrace{\varphi(d)/\text{ord}_d 2}\to {(\sigma(\text{ord}_d 2, k)\cup\cdots \cup \sigma(\text{ord}_d 2, k))}, \] where \(\sigma(l, k)\) consists of a cycle of length \(l\) with a copy of the binary tree \(T_k\) of height \(k\) attached to each vertex.
0 references
decomposition
0 references
cyclic group
0 references
cycle
0 references
tree
0 references