Proving U(55) = U(55)^3 Algebraically

  • Thread starter Thread starter e(ho0n3
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving that U(55)^3 is equal to U(55) by demonstrating that the function f(x) = x^3 (mod 55) is an automorphism. A Perl script confirmed that both U(55) and U(55)^3 yield the same results. The challenge lies in proving the injectivity of f, specifically showing that if f(a) = f(b) for a, b in U(55), then a must equal b (mod 55). The participant argues that U(55) does not have zero divisors, which is crucial for establishing the necessary conditions for injectivity.

PREREQUISITES
  • Understanding of group theory, specifically the structure of U(55)
  • Familiarity with modular arithmetic and automorphisms
  • Basic knowledge of injective functions and their properties
  • Experience with programming in Perl for computational verification
NEXT STEPS
  • Study the properties of U(n) for various n, focusing on U(55)
  • Learn about automorphisms in group theory and their significance
  • Investigate injective functions and methods to prove injectivity
  • Explore the implications of zero divisors in modular arithmetic
USEFUL FOR

This discussion is beneficial for students and enthusiasts of abstract algebra, particularly those studying group theory and modular arithmetic. It is also useful for programmers interested in algebraic computations using Perl.

e(ho0n3
Messages
1,349
Reaction score
0
Homework Statement
Show that U(55)^3 = \{x^3 \, : \, x \in U(55)\} is U(55).

The attempt at a solution
I wrote a Perl script that computes both U(55) and U(55)^3 and they both are equal. However, I want to solve this algebraically. My attempt is to define f(x) = x^3 (mod 55) and demonstrate that f is an automorphism. If f is an automorphism, surely U(55) = U(55)^3. I'm having trouble showing that f is injective.

Suppose f(a) = f(b) and a \ne b where a, b are in U(55). f(a) = f(b) is equiv. to a^3 = b^3 (mod 55). I need is reduce this latter equation to a = b (mod 55) but I'm unable to do so.
 
Physics news on Phys.org
Saying a3= b3 (mod 55) is the same as saying a3- b3= (a- b)(a2+ ab+ b2)= 0 (mod 55). Does U55 have zero-divisors? What can you say about a2+ ab+ b2= 0 (mod 55)?
 
I would say U(55) doesn't have zero divisors for if it did, it would not be a group because of closure. If a^2 + ab + b^2 = 0 (mod 55), then a^2 + ab + b^2 is a multiple of 55 so it is not in U(55).
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
7
Views
1K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K