LINEAR AND ABSTRACT ALGEBRA  Question, explores properties of idempotents in modular arithmetic and related subgroups

by

Your answer

Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
To avoid this verification in future, please log in or register.

1 Answer

(e)

An abelian group must include an identity element e and each element must have an inverse. The identity element may also be idempotent, that is, within the axioms of the group, e²=e. The closure requirement implies for a ℤ₃₀ group that e²=e+30m where m is a positive integer. This creates the quadratic equation:

e²-e-30m=0, and e=(1+√(120m+1))/2.

From this, e=1, 6, 10, 15, 16, 21, 25 (for m=0, 1, 3, 7, 8, 14, 20) for e∈ℤ₃₀.

Also, e must satisfy: e×g=30m+g ∀g∈G.

Divide through by g: e=30m/g+1.

When g=2, e=15m+1, and e=16 when m=1. 16 is idempotent because 16²=16 (mod 30).

e×g=16g=30m+g, 15g=30m, g=2m, which can be used to generate G1={2,4,8,14,16,22,26,28}, and produce the multiplication table below:

 

2

4

8

14

16

22

26

28

2

4

8

16

28

2

14

22

26

4

8

16

2

26

4

28

14

22

8

16

2

4

22

8

16

28

14

14

28

26

22

16

14

8

4

2

16

2

4

8

14

16

22

26

28

22

14

28

26

8

22

4

2

16

26

22

14

28

4

26

2

16

8

28 

26

22

14

2

28

16

8

4

Note that the table shows inverses. The product of a and b is 16 when b is the inverse of a and vice versa. Note that in some cases an element is the inverse of itself (e.g., 4, 14 and 26).

Insufficient space to continue answer. More to follow in comment...

by Top Rated User (1.1m points)

To find an example for G2, we start with a 4-element set of powers of a prime number p in ℤ₃₀. Choose p which is not a factor of 30, that is, exclude 2, 3, 5. Let’s choose p=7. This set cycles over 4 numbers: {1,7,19,13} when we use modulo 30 on each successive power. However, when we build a multiplication table starting with these values, we create another 4 values: {11,17,23,29}. We also know that G2 is disjoint with G1, because G2 elements are all odd numbers, while G1 elements are all even. Since 1∈G2 it becomes the identity element e∈G2, and you can see from the table below that it determines the inverses. G2={1,7,11,13,17,19,23,29}

 

1

7

11

13

17

19

23

29

1

1

7

11

13

17

19

23

29

7

7

19

17

1

29

13

11

23

11

11

17

1

23

7

29

13

19

13

13

1

23

19

11

7

29

17

17

17

29

7

11

19

23

1

13

19

19

13

29

7

23

1

17

11

23

23

11

13

29

1

17

19

7

29

29

23

19

17

13

11

7

1

 

More to follow...

Neither G1 nor G2 was created from a single number, which is what defines a cyclic group. For G2 a 4-element cyclic group was created and that led to the creation of an 8-element group containing non-cyclic elements. G1 was created from different premises unrelated to a single origin. Therefore part (f) is proven.

END OF SOLUTION

Related questions

0 answers
asked Aug 15, 2012 in Algebra 1 Answers by llama Level 1 User (160 points) | 3.0k views
0 answers
1 answer
asked Sep 19, 2013 in Other Math Topics by anonymous | 470 views
Welcome to MathHomeworkAnswers.org, where students, teachers and math enthusiasts can ask and answer any math question. Get help and answers to any math problem including algebra, trigonometry, geometry, calculus, trigonometry, fractions, solving expression, simplifying expressions and more. Get answers to math questions. Help is always 100% free!
87,551 questions
99,638 answers
2,417 comments
445,395 users