Groups and FieldsChallengeGroups and the Group Axioms ShareGroups and the Group Axioms · Challenge problemOn {0,1,2,3}\{0,1,2,3\}{0,1,2,3} define a∗b=(a+b) mod 4a*b=(a+b)\bmod4a∗b=(a+b)mod4 when aaa is even and a∗b=(a−b) mod 4a*b=(a-b)\bmod4a∗b=(a−b)mod4 when aaa is odd. Which statement is true?AIt is a group, and it is abelianBIt is a group, but it is not abelianCIt is not associative, so it is not a groupDIt is associative but has no identity elementCheck Show answer Walk through it step by step Practice more like this Review this concept