I What is the size of the quotient group L/pZ^m?

Albert01
Messages
14
Reaction score
0
Hello,

I have a question that I would like to ask here.

Let ##L = \left\{ x \in \mathbb{Z}^m : Ax = 0 \text{ mod } p \right\}##, where ##A \in \mathbb{Z}_p^{n \times m}##, ##rank(A) = n##, ## m \geq n## and ##Ax = 0## has ##p^{m-n}## solutions, why is then ##|L/p\mathbb{Z}^m| = p^{m-n}##?

I am extremely looking forward to your responses!
 
Last edited by a moderator:
Physics news on Phys.org


Hello,

The size of the quotient group L/pZ^m is p^(m-n). This is because pZ^m is the subgroup of L that contains all elements of L that are multiples of p. When we take the quotient of L by pZ^m, we are essentially dividing out all of these multiples of p. This leaves us with p^(m-n) distinct cosets, each of which has p^n elements. Therefore, the size of the quotient group is p^(m-n).

In the given scenario, L is the set of all solutions to the equation Ax = 0 mod p. Since there are p^(m-n) solutions to this equation, the size of the quotient group L/pZ^m is also p^(m-n).

I hope this helps to clarify any confusion. Please let me know if you have any further questions. Thank you.
 
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##...
Back
Top