HomomorphismIn algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).
Bijection, injection and surjectionIn mathematics, injections, surjections, and bijections are classes of functions distinguished by the manner in which arguments (input expressions from the domain) and (output expressions from the codomain) are related or mapped to each other. A function maps elements from its domain to elements in its codomain. Given a function : The function is injective, or one-to-one, if each element of the codomain is mapped to by at most one element of the domain, or equivalently, if distinct elements of the domain map to distinct elements in the codomain.
Group (mathematics)In mathematics, a group is a non-empty set with an operation that satisfies the following constraints: the operation is associative, has an identity element, and every element of the set has an inverse element. Many mathematical structures are groups endowed with other properties. For example, the integers with the addition operation is an infinite group, which is generated by a single element called 1 (these properties characterize the integers in a unique way).
LausanneLausanne (loʊˈzæn , USalsoloʊˈzɑːn , lɔzan; Losena lɔˈzəna) is the capital and largest city of the Swiss French-speaking canton of Vaud. It is a hilly city situated on the shores of Lake Geneva, about halfway between the Jura Mountains and the Alps, and facing the French town of Évian-les-Bains across the lake. Lausanne is located northeast of Geneva, the nearest major city. The municipality of Lausanne has a population of about 140,000, making it the fourth largest city in Switzerland after Basel, Geneva, and Zurich, with the entire agglomeration area having about 420,000 inhabitants (as of January 2019).
Lie groupIn mathematics, a Lie group (pronounced liː ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction).
Lausanne DistrictLausanne District (District de Lausanne) is a district in the canton of Vaud, Switzerland. The seat of the district is the city of Lausanne. Lausanne has an area, , of . Of this area, or 27.3% is used for agricultural purposes, while or 30.9% is forested. Of the rest of the land, or 41.6% is settled (buildings or roads) and or 0.1% is unproductive land. Lausanne has a population () of . Most of the population () speaks French (159,559 or 79.6%), with German being second most common (8,534 or 4.
Romanel-sur-LausanneRomanel-sur-Lausanne (ʁɔmanɛl syʁ lɔzan, literally Romanel on Lausanne; Romanél) is a municipality in the canton of Vaud in Switzerland, located in the district of Lausanne. Romanel-sur-Lausanne is first mentioned in 1184 as Romanes. Romanel-sur-Lausanne has an area, , of (depending on calculation method). Of this area, or 59.7% is used for agricultural purposes, while or 3.8% is forested. Of the rest of the land, or 37.8% is settled (buildings or roads). Of the built up area, industrial buildings made up 5.
Space (mathematics)In mathematics, a space is a set (sometimes called a universe) with some added structure. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself. A space consists of selected mathematical objects that are treated as points, and selected relationships between these points. The nature of the points can vary widely: for example, the points can be elements of a set, functions on another space, or subspaces of another space.
Cheseaux-sur-LausanneCheseaux-sur-Lausanne (ʃəzo syʁ lɔzan, literally Cheseaux on Lausanne; Chesâls) is a municipality in the district of Lausanne in the canton of Vaud in Switzerland. It is a suburb of the city of Lausanne. Cheseaux-sur-Lausanne is first mentioned in 1228 as Chesaus. Cheseaux-sur-Lausanne has an area, , of . Of this area, or 60.3% is used for agricultural purposes, while or 14.6% is forested. Of the rest of the land, or 24.0% is settled (buildings or roads), or 0.7% is either rivers or lakes.
Belmont-sur-LausanneBelmont-sur-Lausanne (bɛlmɔ̃ syʁ lɔzan, literally Belmont on Lausanne) is a municipality in the district of Lavaux-Oron in the canton of Vaud in Switzerland. It is a suburb of the city of Lausanne. Belmont-sur-Lausanne is first mentioned in 1228 as Belmunt sowie apud bellum Montem. Belmont-sur-Lausanne has an area, , of . Of this area, or 35.1% is used for agricultural purposes, while or 29.8% is forested. Of the rest of the land, or 33.2% is settled (buildings or roads). Of the built up area, housing and buildings made up 23.
ManifoldIn mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space. One-dimensional manifolds include lines and circles, but not lemniscates. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane.
Submersion (mathematics)In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion. Let M and N be differentiable manifolds and be a differentiable map between them. The map f is a submersion at a point if its differential is a surjective linear map. In this case p is called a regular point of the map f, otherwise, p is a critical point.
