Thread: algebra - finding ideals

Just wondering if anyone knows of a quick method for finding ideals from a multiplication table?

e.g say you are looking at Z/6Z, which has ideals {0,2,4} and {0,3} is there any way you can look at the table and just spot immediately what they are?

If anyone can share their wisdom it would be appreciated!

Thanks in advance!

Hello,

If you're talking about groups with + not *, I think I can help...

The cardinal of the ideal divides the cardinal of the original set, here it's Z/6Z
Hence, the ideals have possible cardinals : 1,2,3,6.

This also helps in finding the elements of the ideals : starting from 0, the following element of the ideal will be , if we work in Z/nZ.

For example, the ideal of Z/6Z which has 3 elements will be the set of elements x such as :


This means that the ideal of Z/6Z with 3 elements is :



I hope this is clear enough

Originally Posted by hunkydory19

Just wondering if anyone knows of a quick method for finding ideals from a multiplication table?

e.g say you are looking at Z/6Z, which has ideals {0,2,4} and {0,3} is there any way you can look at the table and just spot immediately what they are?

When dealing with all subgroups (of the addition group) are ideals (not true in general but for modulo rings it works). Futhermore, all subgroups of have the form where is a divisor of .

Thus, in , your example, the subgroups (which will turn to be ideals are:



.