Results 1 to 3 of 3

Math Help - Z2xZ2

  1. #1
    Newbie
    Joined
    Jul 2011
    Posts
    15

    Z2xZ2

    Hi,

    Is Z2xZ2 a field?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1

    Re: Z2xZ2

    Quote Originally Posted by seventhson View Post
    Is Z2xZ2 a field?
    What are the field axioms and are they satisfied?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,317
    Thanks
    697

    Re: Z2xZ2

    it is clear that the direct product of the groups (Z2,+) and (Z2,+) is again an abelian group.

    the question is: if we are going to try to impose a multiplicative structure on this group, what should it be? there is more than one way to do so.

    here are two possible multiplications (both commutative, so only 10 products are listed):

    A:

    (0,0)*(0,0) = (0,0)
    (0,1)*(0,0) = (0,0)
    (1,0)*(0,0) = (0,0)
    (1,1)*(0,0) = (0,0)
    (0,1)*(0,1) = (0,1)
    (1,0)*(0,1) = (0,0) <---hmm, a zero-divisor
    (1,1)*(0,1) = (0,1)
    (1,0)*(1,0) = (1,0)
    (1,0)*(1,1) = (1,0)
    (1,1)*(1,1) = (1,1) the "rule" here is (a,b)*(c,d) = (ac,bd) where ac and bd are products in the ring Z2.

    the identity of this multiplication is (1,1).

    B:

    (0,0)*(0,0) = (0,0)
    (0,1)*(0,0) = (0,0)
    (1,0)*(0,0) = (0,0)
    (1,1)*(0,0) = (0,0)
    (0,1)*(0,1) = (1,1)
    (1,0)*(0,1) = (0,1)
    (1,1)*(0,1) = (1,0)
    (1,0)*(1,0) = (1,0)
    (1,1)*(1,0) = (1,1)
    (1,1)*(1,1) = (0,1) the rule here is: (a,b)*(c,d) = (ac+bd,ad+bc+bd) where the sums and products on the right are in Z2.

    the identity of this multiplication is (1,0).
    Follow Math Help Forum on Facebook and Google+

Search Tags


/mathhelpforum @mathhelpforum