Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components On the simplicity of Jacobians for hyperelliptic curves of genus 2 over the field of rational numbers with torsion points of high order 