document.write( "Question 31362: I= {h(t)*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + k(t)*([3]t^3 + [5]t^2 + [6]t):h(t), k(t) belong to Z7[t]} which is a subset of Z7[t].\r
\n" ); document.write( "\n" ); document.write( "a) how do i show that I is an ideal of Z7[t]
\n" ); document.write( "b) find a polynomial d(t) belongs Z7[t] such that I=(d(t)), i.e. I is the principle ideal generated by d(t).
\n" ); document.write( "

Algebra.Com's Answer #18469 by venugopalramana(3286)\"\" \"About 
You can put this solution on YOUR website!
I= {h(t)*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + k(t)*([3]t^3 + [5]t^2 + [6]t):h(t), k(t) belong to Z7[t]} which is a subset of Z7[t].
\n" ); document.write( "LET A AND B BE 2 ELEMENTS OF I\r
\n" ); document.write( "\n" ); document.write( "a) how do i show that I is an ideal of Z7[t]
\n" ); document.write( "LET A AND B BE 2 ELEMENTS OF I
\n" ); document.write( "WE HAVE TGO SHOW THAT A+B IS ALSO AN ELEMENT OF I FOR I TO BE AN IDEAL OF Z7(T)
\n" ); document.write( "LET A ={h1(t)*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + k1(t)*([3]t^3 + [5]t^2 + [6]t)}
\n" ); document.write( "LET B={h2(t)*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + k2(t)*([3]t^3 + [5]t^2 + [6]t)}
\n" ); document.write( "A+B={[h1(t)+H2(T)]*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + [k1(t)+K2(T)]*([3]t^3 + [5]t^2 + [6]t)}
\n" ); document.write( "SINCE H(T) AND K(T) BELONG TO Z7(T),{H1(T)+H2(T)}=H'(T) SAY AND {K1(T)+K2(T)}=K'(T) SAY ALSO BELONG TO Z7(T)
\n" ); document.write( "SO A+B={h'(t)*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + k'(t)*([3]t^3 + [5]t^2 + [6]t)}.....BELONGS TO I
\n" ); document.write( "HENCE I IS AN IDEAL OF Z7(T)
\n" ); document.write( "b) find a polynomial d(t) belongs Z7[t] such that I=(d(t)), i.e. I is the principle ideal generated by d(t).
\n" ); document.write( "WE HAVE IT FROM THE ABOVE THAT
\n" ); document.write( "P=[4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5])...AND...Q=[3]t^3 + [5]t^2 + [6]t) ARE THE 2 MULTIPLERS OF H(T) AND K(T) TO GET I .HENCE THE GENERATOR IS GIVEN BY GCD OF THESE 2 MULTIPLIERS P AND Q
\n" ); document.write( "SINCE IF THEIR GCD IS G THEN IT FOLLOWS THAT,G=XP+YQ....FOR SOME X AND Y ELEMENTS OF Z7(T) AND HENCE FOR ANY ELEMENT A IN I
\n" ); document.write( "A={h(t)*([4]t^4 + [2]t^3 + [6]t^2 + [4]t + [5]) + k(t)*([3]t^3 + [5]t^2 + [6]t)}
\n" ); document.write( "WE CAN FIND ONE X AND Y IN Z7T,SUCH THAT A CAN BE EXPRESSED IN THE DESIRED FORM.
\n" ); document.write( "SO GCD OF P AND Q IS \r
\n" ); document.write( "\n" ); document.write( "Q=3T^3+5T^2+6T=T(3T^2+5T+6)
\n" ); document.write( "SINCE 3T^2+5T+6=14=0MOD(7) FOR T=1....SO ...T-1 IS A FACTOR IN Z7
\n" ); document.write( "P=T(T-1)(3T+1)
\n" ); document.write( "P=4T^4+2T^3+6T^2+4T+5...=21=0MOD(7)..FOR T=1..SO T-1 IS A FACTOR IN Z7
\n" ); document.write( "P=(T-1)(4T^3+6T^2+5T+2)...WE FIND THAT FURTHER NEITHER T=0 IS A FACTOR OR 3T+1 IS A FACTOR...SINCE P(0)=5 AND P(2)=8+2+3+1+5=5MOD(7).WE CHECKED FOR P(2)SINCE{3T+1=0=7...OR....T=2}
\n" ); document.write( "HENCE GCD =T-1
\n" ); document.write( "HENCE THE GENERATOR FOR THIS IDEAL IS
\n" ); document.write( "GENERATOR=H(T)(T-1)+K(T)(T-1)
\n" ); document.write( "
\n" );