HW7 (Chapter 13, Problem 28, MA453, Fall 2008, Prof. Walther

Question

Prove that there is no integral domain with exactly six elements

Discussion

• I have no idea where to begin on this problem. I do not know how to prove that there is no integral domain with six elements. A little help would be nice. Thanks

• Begin by saying that R is the domain with exactly 6 elements (order of 6). The characteristic of an integral domain is zero or prime, and 6 is the smallest possible integer such that 6*1 = 0 in mod6. Therefore there can not be an integral domain with exactly six elements.

Pf:

(Char(R))= prime

Char(R) = 2, 3, 5 (it is a subgroup of the domain)

(R, +) is an Abelian Group

By Lagrange theorem, the subgroup must be a divisor of the large group so n/6 therefore n must equal either 2 or 3

If n=3 then the subgroup is {0,1,2} contained in R.

Therefore R = Z_3 * H

This is by a theorem that says that every abelian group with G = p1^a1.....pk^ak where p is prime. G is going to be a product G1 *....Gk where the order of Gi = p1^a1.

Therefore, R = Z_3 X Z_2

1 corresponds to (1,0) a corresponds to (1,1)

2 corresponds to (2,0) b corresponds to (2,1)

0 corresponds to (0,0) c corresponds to (0,1)

2 is an element of R, and thus does not equal 0

R domain therefore 2 is not a zero divisor so by induction 2 is not Z_m

Continue with same argument for n=2 vise versa....

--Robertsr 19:22, 22 October 2008 (UTC)

• An integral domain is a ring. A ring has the commutative property for addition. There is only one Abelian group with order(number of elements)=p, where p is prime. Z_6 can be written as Z_2 * Z_3 and Z_2 and Z_3 both have prime order. Z_6 therefore is the only Abelian group with 6 elements. So, Z_6 can be the only ring with 6 elements. Z_6 is an integral domain if there are no zerodivisiors. 2*3=0, 2 and 3 are zero divisors. So, Z_6 is not an integral domain. Similary, Z_15= Z_3 * Z_5, so it is the only Abelian group with 15 elements. 3*5=0, there are zerodivisors, it is not an integral domain.

Try Z_4 = Z_2 * Z_2. There is no zerodivisors, so it is in fact an integral domain. Generally, if the number of elements of a group is the products of different primes, it cannot form an integral domain. However, if the number of elements of a group is the product of the same prime (eg. p^2 or p^3), it can form an integral domain.

-Ozgur

This helped. Thanks. --Dakinsey 16:14, 26 October 2008 (UTC)

Back to HW7

Back to MA453 Fall 2008