Does there exist a canonical projection from Z^p-1 to Z_p

  • Context: Graduate 
  • Thread starter Thread starter NoodleDurh
  • Start date Start date
  • Tags Tags
    Projection
Click For Summary
SUMMARY

The discussion confirms the existence of a natural projection from ##\mathbb{Z}^{p-1}## to ##\mathbb{Z}_{p}##, where ##p## is a prime number. This projection is achieved through the coproduct of the p-1 natural maps from ##\mathbb{Z}## to ##\mathbb{Z}_p##. Additionally, the conversation touches on the structure of p-adic integers, which can be understood through the inverse limit of the sequence ##...→\mathbb{Z}/p^3→\mathbb{Z}/p^2→\mathbb{Z}/p## or by completing the rational numbers with respect to the p-adic norm.

PREREQUISITES
  • Understanding of modular arithmetic, specifically ##\mathbb{Z}_p##.
  • Familiarity with coproducts in category theory.
  • Knowledge of p-adic numbers and their properties.
  • Basic concepts of inverse limits in topology.
NEXT STEPS
  • Study the properties of coproducts in category theory.
  • Learn about the construction and applications of p-adic integers.
  • Explore the inverse limit concept in topology and its implications.
  • Investigate modular arithmetic and its applications in number theory.
USEFUL FOR

Mathematicians, number theorists, and students interested in modular arithmetic and p-adic analysis.

NoodleDurh
Messages
23
Reaction score
0
Okay, I thought that there would exist a projection from ##\mathbb{Z}^{p-1}## to ##\mathbb{Z}_{p}## where ##p## is a prime. Like there exist a projection from ##\mathbb{Z}## to ##\mathbb{Z}_p##
 
Physics news on Phys.org
Assuming Zp denotes the integers modulo p (and not the p-adic integers), then there is a "natural" projection Zp-1→Z/p obtained simply by looking at the coproduct of the p-1 natural maps Z→Z/p.
 
okay, yeah you assumption is correct. Also, not to get to far off topic, but what does the p-adic integers look like.
 
NoodleDurh said:
Also, not to get to far off topic, but what does the p-adic integers look like.

Just consider the inverse limit of the sequence ...→Z/p3→Z/p2→Z/p and this produces the p-adic integers. Another way is completing Q with respect to the p-adic norm and then consider all element with p-adic norm less than or equal to one.
 

Similar threads

Undergrad Fundamental theorem of arithmetic from Jordan-Hölder theorem
  • · Replies 5 ·
Replies
5
Views
3K
Undergrad What is the size of the quotient group L/pZ^m?
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Localizing single variable quotient polynomial ring at a prime ideal
  • · Replies 6 ·
Replies
6
Views
1K
Undergrad Meaning of the notations: ##\mathbb{Z}[\frac{1}{a}]##
  • · Replies 1 ·
Replies
1
Views
944
Undergrad Trouble understanding an online solution to an exercise in Dummit & Foote
  • · Replies 21 ·
Replies
21
Views
1K
MHB Prove R is a Sub-ring of $\mathbb{Q}$ - Prime $p \in \mathbb{Z}$
  • · Replies 11 ·
Replies
11
Views
2K
Undergrad How to show ##p(x)=g(x)x\pm 1\in\Bbb{Q}[x]## is irreducible in ##\Bbb{Q}_{\Bbb{Z}}[x]##?
  • · Replies 48 ·
2
Replies
48
Views
4K
Undergrad Meaning of "identify" & variations in different math context
  • · Replies 5 ·
Replies
5
Views
1K
Undergrad Proof for subgroup -- How prove it is a subgroup of Z^m?
  • · Replies 11 ·
Replies
11
Views
3K
MHB Is $\text{Aut}(\mathbb{Z}_p)$ isomorphic to $\mathbb{Z}_{p-1}$?
  • · Replies 15 ·
Replies
15
Views
4K