Thread: Ring, field, Galois-Field, Vector Space

Hello,

We have a not empty set X and call P(X) the power set of X. For the subsets A,B in X we define the symetric difference:



To proof:

1.)
Proof that the triple is a Ring

2.)
Is P(x) with this ringstructure a field?

3.) Proof that P(X) is a Vector Space over the Galois-field.

I have no idea

The first questions:

What is Delta?

Why is in the triple the intersection and not the union like in the definition?

How should I start?

Thanks for help
all the best

Herbststurm

Originally Posted by Herbststurm

Hello,

We have a not empty set X and call P(X) the power set of X. For the subsets A,B in X we define the symetric difference:



To proof:

1.)
Proof that the triple is a Ring

You need to show that satisfy all the properties of a ring. For example, is commutative because . Also is commutative since . You also need to show distributive laws . And you need to show that there is an identity element for and inverses for it as well.

Is P(x) with this ringstructure a field?

Is there an element so that ? Yes! Take then since it will follow . Thus, is the identity element for . However, does every element have an inverse i.e. for any there is so that . And the answer is of course not.

3.) Proof that P(X) is a Vector Space over the Galois-field.

Not sure I understand what exactly you trying to show here.

Hi,

thanks for reply. The main problem now is that I have problems to undertand the meaning of the triple, concrete the singe symbols. Of course I know what an intersection is, but why it stands alone? On what relates this?

greetings

oh, algebra is quite difficult. Just calculate things is more easier

To just calculate things is easier. (Not more easier)

Herbsturm:

The triple gives information on what the set is (namely, P(X)), delta is an operation, and intersection another one. The operation is to be done on elements of P(X), i.e. subsets. Compare with integers Z; (Z,+,*) is a ring, you can think of delta and intersection as + and *.