Lie group is a group equipped with a smooth manifold structure such that multiplication and inverse are smooth maps. What I don't understand is why we require multiplication and inverse to be smooth maps? I know it has something to do with compatibility of group structure and manifold structure but I am not able to reason it. Hope for a clear explanation and an example which shows what goes wrong if those two maps are not smooth.
2026-05-15 15:31:48.1778859108
Lie group definition
120 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in DEFINITION
- How are these definitions of continuous relations equivalent?
- If a set is open, does it mean that every point is an interior point?
- What does $a^b$ mean in the definition of a cartesian closed category?
- $\lim_{n\to \infty}\sum_{j=0}^{[n/2]} \frac{1}{n} f\left( \frac{j}{n}\right)$
- Definition of "Normal topological space"
- How to verify $(a,b) = (c,d) \implies a = c \wedge b = d$ naively
- Why wolfram alpha assumed $ x>0$ as a domain of definition for $x^x $?
- Showing $x = x' \implies f(x) = f(x')$
- Inferior limit when t decreases to 0
- Is Hilbert space a Normed Space or a Inner Product Space? Or it have to be both at the same time?
Related Questions in LIE-GROUPS
- Best book to study Lie group theory
- Holonomy bundle is a covering space
- homomorphism between unitary groups
- On uniparametric subgroups of a Lie group
- Is it true that if a Lie group act trivially on an open subset of a manifold the action of the group is trivial (on the whole manifold)?
- Find non-zero real numbers $a,b,c,d$ such that $a^2+c^2=b^2+d^2$ and $ab+cd=0$.
- $SU(2)$ adjoint and fundamental transformations
- A finite group G acts freely on a simply connected manifold M
- $SU(3)$ irreps decomposition in subgroup irreps
- Tensors transformations under $so(4)$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
geometry
circles
algebraic-number-theory
functions
real-analysis
elementary-set-theory
proof-verification
proof-writing
number-theory
elementary-number-theory
puzzle
game-theory
calculus
multivariable-calculus
partial-derivative
complex-analysis
logic
set-theory
second-order-logic
homotopy-theory
winding-number
ordinary-differential-equations
numerical-methods
derivatives
integration
definite-integrals
probability
limits
sequences-and-series
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The reason is simply because if the group structure and the manifold structure were not compatible, then there would be no connection between them and therefore the group-theoretical properties and the differential geometry properties would have to be studied separately. Here's an example: every connected Lie group is generated by any neighborhood of the identity element. There would be no reason for this to be true if the group structure was not compatible with the manifold structure.