SO(2)

GPTKB entity

Statements (57)
Predicate Object
gptkbp:instanceOf gptkb:group_of_people
gptkb:topology
gptkb:Lie_group
gptkbp:actsOn R^2
rotations
gptkbp:application gptkb:geometry
gptkb:signal_processing
computer vision
physics
robotics
gptkbp:automorphismGroup gptkb:Z/2Z
gptkbp:centralTo gptkb:SO(2)
gptkbp:commutatorSubgroup trivial
gptkbp:compact compact
gptkbp:compactSubgroupOf gptkb:GL(2,_R)
gptkbp:connectedness connected
gptkbp:containsElement 2x2 real orthogonal matrices with determinant 1
gptkbp:determinant 1
gptkbp:dimensions 1
gptkbp:eigenvalues complex numbers of modulus 1
gptkbp:firstHomologyGroup Z
gptkbp:fullName gptkb:Special_Orthogonal_Group_in_2_Dimensions
gptkbp:fundamentalGroup Z
gptkbp:generation [[0, -1], [1, 0]]
gptkbp:hasSubgroup gptkb:O(2)
gptkbp:homologyGroupH0 Z
gptkbp:homologyGroupH1 Z
gptkbp:homologyGroupH2 0
gptkbp:homotopyType gptkb:butter
https://www.w3.org/2000/01/rdf-schema#label SO(2)
gptkbp:identityElement 2x2 identity matrix
gptkbp:isomorphicTo gptkb:U(1)
gptkb:circle_group
gptkbp:isQuotientOf O(2)/SO(2) ≅ Z/2Z
gptkbp:Lie_algebra so(2)
gptkbp:matrixRepresentation [[cosθ, -sinθ], [sinθ, cosθ]]
gptkbp:maximalTorus gptkb:SO(2)
gptkbp:order infinite
gptkbp:parameter rotation matrices
angle θ in [0, 2π)
gptkbp:rank 1
gptkbp:realization symmetries of the circle
gptkbp:relatedGroup gptkb:Lie_group
simple
compact
connected
abelian
gptkbp:represents irreducible representations are 1-dimensional
gptkbp:trace 2cosθ
gptkbp:universalCover R
gptkbp:bfsParent gptkb:U(1)
gptkb:SL(2,ℝ)
gptkb:旋转群
gptkb:特殊正交群
gptkb:U(1)_symmetry
gptkb:rotation_group
gptkbp:bfsLayer 6