Mars 2020 is a Mars rover mission that includes the rover Perseverance, the small robotic helicopter Ingenuity, and associated delivery systems, as part of NASA's Mars Exploration Program. Mars 2020 was launched from Earth on an Atlas V launch vehicle at 11:50:01 UTC on 30 July 2020, and confirmation of touch down in the Martian crater Jezero was received at 20:55 UTC on 18 February 2021. On 5 March 2021, NASA named the landing site of the rover Octavia E. Butler Landing.
Mars is the fourth planet and the furthest terrestrial planet from the Sun. The reddish color of its surface is due to finely grained iron(III) oxide dust in the soil, giving it the nickname "the Red Planet". Mars's radius is second smallest among the planets in the Solar System at . The Martian dichotomy is visible on the surface: on average, the terrain on Mars's northern hemisphere is flatter and lower than its southern hemisphere. Mars has a thin atmosphere made primarily of carbon dioxide and two irregularly shaped natural satellites: Phobos and Deimos.
Almost all water on Mars today exists as ice, though it also exists in small quantities as vapor in the atmosphere. What was thought to be low-volume liquid brines in shallow Martian soil, also called recurrent slope lineae, may be grains of flowing sand and dust slipping downhill to make dark streaks. While most water ice is buried, it is exposed at the surface across several locations on Mars. In the mid-latitudes, it is exposed by impact craters, steep scarps and gullies.
In mathematics, and more specifically in ring theory, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal.
In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U). The standard case is when X is a scheme and O its structure sheaf. If O is the constant sheaf , then a sheaf of O-modules is the same as a sheaf of abelian groups (i.