CINXE.COM

<!DOCTYPE html><html lang="en-US" class="html_stretched responsive av-preloader-disabled html_header_top html_logo_left html_main_nav_header html_menu_right html_custom html_header_sticky html_header_shrinking_disabled html_mobile_menu_phone html_header_searchicon html_content_align_center html_header_unstick_top_disabled html_header_stretch_disabled html_av-submenu-hidden html_av-submenu-display-click html_av-overlay-side html_av-overlay-side-classic html_av-submenu-noclone html_entry_id_48834 av-cookies-no-cookie-consent av-no-preview av-default-lightbox html_text_menu_active av-mobile-menu-switch-default"><head><meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"><meta charset="UTF-8" /> <script async src="https://www.googletagmanager.com/gtag/js?id=UA-2209856-4"></script> <script>window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-2209856-4');</script> <script data-optimized="1" src="https://www.physicsforums.com/insights/wp-content/litespeed/js/2592eef92248026c6738059400d0d827.js?ver=0d827" defer type="text/javascript"></script> <meta name="viewport" content="width=device-width, initial-scale=1"><meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /><style>img:is([sizes="auto" i], [sizes^="auto," i]) { contain-intrinsic-size: 3000px 1500px }</style><title>Groups, The Path from a Simple Concept to Mysterious Results</title><meta name="description" content="This article explains fundamental concepts and only lists the mysterious results. It is meant as an introduction to group theory rather than a treatment of the many special areas into which group theory has branched out...." /><link rel="canonical" href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/" /><meta property="og:locale" content="en_US" /><meta property="og:type" content="article" /><meta property="og:title" content="Groups, The Path from a Simple Concept to Mysterious Results" /><meta property="og:description" content="This article explains fundamental concepts and only lists the mysterious results. It is meant as an introduction to group theory rather than a treatment of the many special areas into which group theory has branched out...." /><meta property="og:url" content="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/" /><meta property="og:site_name" content="Physics Forums Insights" /><meta property="article:publisher" content="https://www.facebook.com/physicsforums" /><meta property="article:published_time" content="2025-02-03T01:47:02+00:00" /><meta property="article:modified_time" content="2025-02-12T14:56:11+00:00" /><meta property="og:image" content="https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png" /><meta property="og:image:width" content="240" /><meta property="og:image:height" content="135" /><meta property="og:image:type" content="image/png" /><meta name="author" content="fresh_42" /><meta name="twitter:card" content="summary_large_image" /><meta name="twitter:creator" content="@physicsforums" /><meta name="twitter:site" content="@physicsforums" /><meta name="twitter:label1" content="Written by" /><meta name="twitter:data1" content="fresh_42" /><meta name="twitter:label2" content="Est. reading time" /><meta name="twitter:data2" content="31 minutes" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"Article","@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#article","isPartOf":{"@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/"},"author":{"name":"fresh_42","@id":"https://www.physicsforums.com/insights/#/schema/person/1caaf8ae366dfa0597afbb52ed09bd76"},"headline":"Groups, The Path from a Simple Concept to Mysterious Results","datePublished":"2025-02-03T01:47:02+00:00","dateModified":"2025-02-12T14:56:11+00:00","mainEntityOfPage":{"@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/"},"wordCount":6141,"commentCount":9,"publisher":{"@id":"https://www.physicsforums.com/insights/#organization"},"image":{"@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#primaryimage"},"thumbnailUrl":"https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png","keywords":["mathematics self-study"],"articleSection":["Mathematics Tutorials"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#respond"]}]},{"@type":"WebPage","@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/","url":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/","name":"Groups, The Path from a Simple Concept to Mysterious Results","isPartOf":{"@id":"https://www.physicsforums.com/insights/#website"},"primaryImageOfPage":{"@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#primaryimage"},"image":{"@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#primaryimage"},"thumbnailUrl":"https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png","datePublished":"2025-02-03T01:47:02+00:00","dateModified":"2025-02-12T14:56:11+00:00","description":"This article explains fundamental concepts and only lists the mysterious results. It is meant as an introduction to group theory rather than a treatment of the many special areas into which group theory has branched out....","breadcrumb":{"@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#primaryimage","url":"https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png","contentUrl":"https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png","width":240,"height":135},{"@type":"BreadcrumbList","@id":"https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://www.physicsforums.com/insights/"},{"@type":"ListItem","position":2,"name":"Groups, The Path from a Simple Concept to Mysterious Results"}]},{"@type":"WebSite","@id":"https://www.physicsforums.com/insights/#website","url":"https://www.physicsforums.com/insights/","name":"Physics Forums Insights","description":"Science and Math Articles, Tutorials and Guides","publisher":{"@id":"https://www.physicsforums.com/insights/#organization"},"alternateName":"PF Insights","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://www.physicsforums.com/insights/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https://www.physicsforums.com/insights/#organization","name":"Physics Forums","url":"https://www.physicsforums.com/insights/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https://www.physicsforums.com/insights/#/schema/logo/image/","url":"https://www.physicsforums.com/insights/wp-content/uploads/2018/05/facebook_image-1.png","contentUrl":"https://www.physicsforums.com/insights/wp-content/uploads/2018/05/facebook_image-1.png","width":205,"height":200,"caption":"Physics Forums"},"image":{"@id":"https://www.physicsforums.com/insights/#/schema/logo/image/"},"sameAs":["https://www.facebook.com/physicsforums","https://x.com/physicsforums","https://www.linkedin.com/company/physics-forums","https://www.pinterest.com/physicsforums"]},{"@type":"Person","@id":"https://www.physicsforums.com/insights/#/schema/person/1caaf8ae366dfa0597afbb52ed09bd76","name":"fresh_42","url":"https://www.physicsforums.com/insights/author/fresh_42/"}]}</script> <link rel="alternate" type="application/rss+xml" title="Physics Forums Insights » Feed" href="https://www.physicsforums.com/insights/feed/" /> <script type="text/javascript" id="wpp-js" src="https://www.physicsforums.com/insights/wp-content/plugins/wordpress-popular-posts/assets/js/wpp.js?ver=7.2.0" data-sampling="0" data-sampling-rate="100" data-api-url="https://www.physicsforums.com/insights/wp-json/wordpress-popular-posts" data-post-id="48834" data-token="5534ff0b56" data-lang="0" data-debug="1"></script> <link data-optimized="1" rel='stylesheet' id='xpress_wp_admin_style-css' href='https://www.physicsforums.com/insights/wp-content/litespeed/css/59568f3369115d72ade0de8186a4674e.css?ver=4674e' type='text/css' media='all' /><link data-optimized="1" rel='stylesheet' id='wp-block-library-css' href='https://www.physicsforums.com/insights/wp-content/litespeed/css/ad10b27e06583ae315af8368433fa1f7.css?ver=b9180' type='text/css' media='all' /><style id='global-styles-inline-css' type='text/css'>:root{--wp--preset--aspect-ratio--square: 1;--wp--preset--aspect-ratio--4-3: 4/3;--wp--preset--aspect-ratio--3-4: 3/4;--wp--preset--aspect-ratio--3-2: 3/2;--wp--preset--aspect-ratio--2-3: 2/3;--wp--preset--aspect-ratio--16-9: 16/9;--wp--preset--aspect-ratio--9-16: 9/16;--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--color--metallic-red: #b02b2c;--wp--preset--color--maximum-yellow-red: #edae44;--wp--preset--color--yellow-sun: #eeee22;--wp--preset--color--palm-leaf: #83a846;--wp--preset--color--aero: #7bb0e7;--wp--preset--color--old-lavender: #745f7e;--wp--preset--color--steel-teal: #5f8789;--wp--preset--color--raspberry-pink: #d65799;--wp--preset--color--medium-turquoise: #4ecac2;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 1rem;--wp--preset--font-size--medium: 1.125rem;--wp--preset--font-size--large: 1.75rem;--wp--preset--font-size--x-large: clamp(1.75rem, 3vw, 2.25rem);--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgba(255, 255, 255, 1), 6px 6px rgba(0, 0, 0, 1);--wp--preset--shadow--crisp: 6px 6px 0px rgba(0, 0, 0, 1);}:root { --wp--style--global--content-size: 800px;--wp--style--global--wide-size: 1130px; }:where(body) { margin: 0; }.wp-site-blocks > .alignleft { float: left; margin-right: 2em; }.wp-site-blocks > .alignright { float: right; margin-left: 2em; }.wp-site-blocks > .aligncenter { justify-content: center; margin-left: auto; margin-right: auto; }:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}.is-layout-flow > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}.is-layout-flow > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}.is-layout-flow > .aligncenter{margin-left: auto !important;margin-right: auto !important;}.is-layout-constrained > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}.is-layout-constrained > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}.is-layout-constrained > .aligncenter{margin-left: auto !important;margin-right: auto !important;}.is-layout-constrained > :where(:not(.alignleft):not(.alignright):not(.alignfull)){max-width: var(--wp--style--global--content-size);margin-left: auto !important;margin-right: auto !important;}.is-layout-constrained > .alignwide{max-width: var(--wp--style--global--wide-size);}body .is-layout-flex{display: flex;}.is-layout-flex{flex-wrap: wrap;align-items: center;}.is-layout-flex > :is(*, div){margin: 0;}body .is-layout-grid{display: grid;}.is-layout-grid > :is(*, div){margin: 0;}body{padding-top: 0px;padding-right: 0px;padding-bottom: 0px;padding-left: 0px;}a:where(:not(.wp-element-button)){text-decoration: underline;}:root :where(.wp-element-button, .wp-block-button__link){background-color: #32373c;border-width: 0;color: #fff;font-family: inherit;font-size: inherit;line-height: inherit;padding: calc(0.667em + 2px) calc(1.333em + 2px);text-decoration: none;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-metallic-red-color{color: var(--wp--preset--color--metallic-red) !important;}.has-maximum-yellow-red-color{color: var(--wp--preset--color--maximum-yellow-red) !important;}.has-yellow-sun-color{color: var(--wp--preset--color--yellow-sun) !important;}.has-palm-leaf-color{color: var(--wp--preset--color--palm-leaf) !important;}.has-aero-color{color: var(--wp--preset--color--aero) !important;}.has-old-lavender-color{color: var(--wp--preset--color--old-lavender) !important;}.has-steel-teal-color{color: var(--wp--preset--color--steel-teal) !important;}.has-raspberry-pink-color{color: var(--wp--preset--color--raspberry-pink) !important;}.has-medium-turquoise-color{color: var(--wp--preset--color--medium-turquoise) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-metallic-red-background-color{background-color: var(--wp--preset--color--metallic-red) !important;}.has-maximum-yellow-red-background-color{background-color: var(--wp--preset--color--maximum-yellow-red) !important;}.has-yellow-sun-background-color{background-color: var(--wp--preset--color--yellow-sun) !important;}.has-palm-leaf-background-color{background-color: var(--wp--preset--color--palm-leaf) !important;}.has-aero-background-color{background-color: var(--wp--preset--color--aero) !important;}.has-old-lavender-background-color{background-color: var(--wp--preset--color--old-lavender) !important;}.has-steel-teal-background-color{background-color: var(--wp--preset--color--steel-teal) !important;}.has-raspberry-pink-background-color{background-color: var(--wp--preset--color--raspberry-pink) !important;}.has-medium-turquoise-background-color{background-color: var(--wp--preset--color--medium-turquoise) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-metallic-red-border-color{border-color: var(--wp--preset--color--metallic-red) !important;}.has-maximum-yellow-red-border-color{border-color: var(--wp--preset--color--maximum-yellow-red) !important;}.has-yellow-sun-border-color{border-color: var(--wp--preset--color--yellow-sun) !important;}.has-palm-leaf-border-color{border-color: var(--wp--preset--color--palm-leaf) !important;}.has-aero-border-color{border-color: var(--wp--preset--color--aero) !important;}.has-old-lavender-border-color{border-color: var(--wp--preset--color--old-lavender) !important;}.has-steel-teal-border-color{border-color: var(--wp--preset--color--steel-teal) !important;}.has-raspberry-pink-border-color{border-color: var(--wp--preset--color--raspberry-pink) !important;}.has-medium-turquoise-border-color{border-color: var(--wp--preset--color--medium-turquoise) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} :where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;} :where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;} :root :where(.wp-block-pullquote){font-size: 1.5em;line-height: 1.6;}</style><link data-optimized="1" rel='stylesheet' id='ez-toc-css' href='https://www.physicsforums.com/insights/wp-content/litespeed/css/008d509d4fec340652d0312244582360.css?ver=d7f24' type='text/css' media='all' /><style id='ez-toc-inline-css' type='text/css'>div#ez-toc-container .ez-toc-title {font-size: 120%;}div#ez-toc-container .ez-toc-title {font-weight: 500;}div#ez-toc-container ul li {font-size: 95%;}div#ez-toc-container ul li {font-weight: 500;}div#ez-toc-container nav ul ul li {font-size: 90%;}div#ez-toc-container {background: #fff;border: 1px solid #ddd;}div#ez-toc-container p.ez-toc-title , #ez-toc-container .ez_toc_custom_title_icon , #ez-toc-container .ez_toc_custom_toc_icon {color: #4c4c4c;}div#ez-toc-container ul.ez-toc-list a {color: #066fac;}div#ez-toc-container ul.ez-toc-list a:hover {color: #235887;}div#ez-toc-container ul.ez-toc-list a:visited {color: #4594d1;} .ez-toc-container-direction {direction: ltr;}.ez-toc-counter ul{counter-reset: item ;}.ez-toc-counter nav ul li a::before {content: counters(item, '.', decimal) '. ';display: inline-block;counter-increment: item;flex-grow: 0;flex-shrink: 0;margin-right: .2em; float: left; }.ez-toc-widget-direction {direction: ltr;}.ez-toc-widget-container ul{counter-reset: item ;}.ez-toc-widget-container nav ul li a::before {content: counters(item, '.', decimal) '. ';display: inline-block;counter-increment: item;flex-grow: 0;flex-shrink: 0;margin-right: .2em; float: left; }</style><link data-optimized="1" rel='stylesheet' id='wordpress-popular-posts-css-css' href='https://www.physicsforums.com/insights/wp-content/litespeed/css/f37de7c74c7905b881abee3714c59450.css?ver=b2ec6' type='text/css' media='all' /><link data-optimized="1" rel='stylesheet' id='avia-merged-styles-css' href='https://www.physicsforums.com/insights/wp-content/litespeed/css/26482a11dcb0aabea248feffff00cc05.css?ver=0cc05' type='text/css' media='all' /> <script data-optimized="1" type="text/javascript" async='async' src="https://www.physicsforums.com/insights/wp-content/litespeed/js/dddbaf834171fed716d265a90aea73b5.js?ver=a73b5" id="avia-head-scripts-js"></script> <style id="wpp-loading-animation-styles">@-webkit-keyframes bgslide{from{background-position-x:0}to{background-position-x:-200%}}@keyframes bgslide{from{background-position-x:0}to{background-position-x:-200%}}.wpp-widget-block-placeholder,.wpp-shortcode-placeholder{margin:0 auto;width:60px;height:3px;background:#dd3737;background:linear-gradient(90deg,#dd3737 0%,#571313 10%,#dd3737 100%);background-size:200% auto;border-radius:3px;-webkit-animation:bgslide 1s infinite linear;animation:bgslide 1s infinite linear}</style><link rel="profile" href="https://gmpg.org/xfn/11" /><link rel="alternate" type="application/rss+xml" title="Physics Forums Insights RSS2 Feed" href="https://www.physicsforums.com/insights/feed/" /><link rel="pingback" href="https://www.physicsforums.com/insights/xmlrpc.php" /><style type='text/css' media='screen'>#top #header_main > .container, #top #header_main > .container .main_menu .av-main-nav > li > a, #top #header_main #menu-item-shop .cart_dropdown_link{ height:70px; line-height: 70px; } .html_top_nav_header .av-logo-container{ height:70px; } .html_header_top.html_header_sticky #top #wrap_all #main{ padding-top:70px; }</style><link rel="icon" href="https://www.physicsforums.com/insights/wp-content/uploads/2016/08/favicon.ico" type="image/x-icon"><style type="text/css">.saboxplugin-wrap{-webkit-box-sizing:border-box;-moz-box-sizing:border-box;-ms-box-sizing:border-box;box-sizing:border-box;border:1px solid #eee;width:100%;clear:both;display:block;overflow:hidden;word-wrap:break-word;position:relative}.saboxplugin-wrap .saboxplugin-gravatar{float:left;padding:0 20px 20px 20px}.saboxplugin-wrap .saboxplugin-gravatar img{max-width:100px;height:auto;border-radius:0;}.saboxplugin-wrap .saboxplugin-authorname{font-size:18px;line-height:1;margin:20px 0 0 20px;display:block}.saboxplugin-wrap .saboxplugin-authorname a{text-decoration:none}.saboxplugin-wrap .saboxplugin-authorname a:focus{outline:0}.saboxplugin-wrap .saboxplugin-desc{display:block;margin:5px 20px}.saboxplugin-wrap .saboxplugin-desc a{text-decoration:underline}.saboxplugin-wrap .saboxplugin-desc p{margin:5px 0 12px}.saboxplugin-wrap .saboxplugin-web{margin:0 20px 15px;text-align:left}.saboxplugin-wrap .sab-web-position{text-align:right}.saboxplugin-wrap .saboxplugin-web a{color:#ccc;text-decoration:none}.saboxplugin-wrap .saboxplugin-socials{position:relative;display:block;background:#fcfcfc;padding:5px;border-top:1px solid #eee}.saboxplugin-wrap .saboxplugin-socials a svg{width:20px;height:20px}.saboxplugin-wrap .saboxplugin-socials a svg .st2{fill:#fff; transform-origin:center center;}.saboxplugin-wrap .saboxplugin-socials a svg .st1{fill:rgba(0,0,0,.3)}.saboxplugin-wrap .saboxplugin-socials a:hover{opacity:.8;-webkit-transition:opacity .4s;-moz-transition:opacity .4s;-o-transition:opacity .4s;transition:opacity .4s;box-shadow:none!important;-webkit-box-shadow:none!important}.saboxplugin-wrap .saboxplugin-socials .saboxplugin-icon-color{box-shadow:none;padding:0;border:0;-webkit-transition:opacity .4s;-moz-transition:opacity .4s;-o-transition:opacity .4s;transition:opacity .4s;display:inline-block;color:#fff;font-size:0;text-decoration:inherit;margin:5px;-webkit-border-radius:0;-moz-border-radius:0;-ms-border-radius:0;-o-border-radius:0;border-radius:0;overflow:hidden}.saboxplugin-wrap .saboxplugin-socials .saboxplugin-icon-grey{text-decoration:inherit;box-shadow:none;position:relative;display:-moz-inline-stack;display:inline-block;vertical-align:middle;zoom:1;margin:10px 5px;color:#444;fill:#444}.clearfix:after,.clearfix:before{content:' ';display:table;line-height:0;clear:both}.ie7 .clearfix{zoom:1}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-twitch{border-color:#38245c}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-addthis{border-color:#e91c00}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-behance{border-color:#003eb0}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-delicious{border-color:#06c}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-deviantart{border-color:#036824}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-digg{border-color:#00327c}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-dribbble{border-color:#ba1655}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-facebook{border-color:#1e2e4f}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-flickr{border-color:#003576}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-github{border-color:#264874}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-google{border-color:#0b51c5}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-googleplus{border-color:#96271a}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-html5{border-color:#902e13}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-instagram{border-color:#1630aa}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-linkedin{border-color:#00344f}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-pinterest{border-color:#5b040e}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-reddit{border-color:#992900}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-rss{border-color:#a43b0a}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-sharethis{border-color:#5d8420}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-skype{border-color:#00658a}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-soundcloud{border-color:#995200}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-spotify{border-color:#0f612c}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-stackoverflow{border-color:#a95009}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-steam{border-color:#006388}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-user_email{border-color:#b84e05}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-stumbleUpon{border-color:#9b280e}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-tumblr{border-color:#10151b}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-twitter{border-color:#0967a0}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-vimeo{border-color:#0d7091}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-windows{border-color:#003f71}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-whatsapp{border-color:#003f71}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-wordpress{border-color:#0f3647}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-yahoo{border-color:#14002d}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-youtube{border-color:#900}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-xing{border-color:#000202}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-mixcloud{border-color:#2475a0}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-vk{border-color:#243549}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-medium{border-color:#00452c}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-quora{border-color:#420e00}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-meetup{border-color:#9b181c}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-goodreads{border-color:#000}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-snapchat{border-color:#999700}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-500px{border-color:#00557f}.saboxplugin-socials.sabox-colored .saboxplugin-icon-color .sab-mastodont{border-color:#185886}.sabox-plus-item{margin-bottom:20px}@media screen and (max-width:480px){.saboxplugin-wrap{text-align:center}.saboxplugin-wrap .saboxplugin-gravatar{float:none;padding:20px 0;text-align:center;margin:0 auto;display:block}.saboxplugin-wrap .saboxplugin-gravatar img{float:none;display:inline-block;display:-moz-inline-stack;vertical-align:middle;zoom:1}.saboxplugin-wrap .saboxplugin-desc{margin:0 10px 20px;text-align:center}.saboxplugin-wrap .saboxplugin-authorname{text-align:center;margin:10px 0 20px}}body .saboxplugin-authorname a,body .saboxplugin-authorname a:hover{box-shadow:none;-webkit-box-shadow:none}a.sab-profile-edit{font-size:16px!important;line-height:1!important}.sab-edit-settings a,a.sab-profile-edit{color:#0073aa!important;box-shadow:none!important;-webkit-box-shadow:none!important}.sab-edit-settings{margin-right:15px;position:absolute;right:0;z-index:2;bottom:10px;line-height:20px}.sab-edit-settings i{margin-left:5px}.saboxplugin-socials{line-height:1!important}.rtl .saboxplugin-wrap .saboxplugin-gravatar{float:right}.rtl .saboxplugin-wrap .saboxplugin-authorname{display:flex;align-items:center}.rtl .saboxplugin-wrap .saboxplugin-authorname .sab-profile-edit{margin-right:10px}.rtl .sab-edit-settings{right:auto;left:0}img.sab-custom-avatar{max-width:75px;}.saboxplugin-wrap .saboxplugin-gravatar img {-webkit-border-radius:50%;-moz-border-radius:50%;-ms-border-radius:50%;-o-border-radius:50%;border-radius:50%;}.saboxplugin-wrap .saboxplugin-gravatar img {-webkit-border-radius:50%;-moz-border-radius:50%;-ms-border-radius:50%;-o-border-radius:50%;border-radius:50%;}.saboxplugin-wrap .saboxplugin-gravatar img {-webkit-transition:all .5s ease;-moz-transition:all .5s ease;-o-transition:all .5s ease;transition:all .5s ease;}.saboxplugin-wrap .saboxplugin-gravatar img:hover {-webkit-transform:rotate(45deg);-moz-transform:rotate(45deg);-o-transform:rotate(45deg);-ms-transform:rotate(45deg);transform:rotate(45deg);}.saboxplugin-wrap {margin-top:0px; margin-bottom:0px; padding: 0px 0px }.saboxplugin-wrap .saboxplugin-authorname {font-size:18px; line-height:25px;}.saboxplugin-wrap .saboxplugin-desc p, .saboxplugin-wrap .saboxplugin-desc {font-size:14px !important; line-height:21px !important;}.saboxplugin-wrap .saboxplugin-web {font-size:14px;}.saboxplugin-wrap .saboxplugin-socials a svg {width:18px;height:18px;}</style> <script type="text/javascript">'use strict';var avia_is_mobile=!1;if(/Android|webOS|iPhone|iPad|iPod|BlackBerry|IEMobile|Opera Mini/i.test(navigator.userAgent)&&'ontouchstart' in document.documentElement){avia_is_mobile=!0;document.documentElement.className+=' avia_mobile '} else{document.documentElement.className+=' avia_desktop '};document.documentElement.className+=' js_active ';(function(){var e=['-webkit-','-moz-','-ms-',''],n='',o=!1,a=!1;for(var t in e){if(e[t]+'transform' in document.documentElement.style){o=!0;n=e[t]+'transform'};if(e[t]+'perspective' in document.documentElement.style){a=!0}};if(o){document.documentElement.className+=' avia_transform '};if(a){document.documentElement.className+=' avia_transform3d '};if(typeof document.getElementsByClassName=='function'&&typeof document.documentElement.getBoundingClientRect=='function'&&avia_is_mobile==!1){if(n&&window.innerHeight>0){setTimeout(function(){var e=0,o={},a=0,t=document.getElementsByClassName('av-parallax'),i=window.pageYOffset||document.documentElement.scrollTop;for(e=0;e<t.length;e++){t[e].style.top='0px';o=t[e].getBoundingClientRect();a=Math.ceil((window.innerHeight+i-o.top)*0.3);t[e].style[n]='translate(0px, '+a+'px)';t[e].style.top='auto';t[e].className+=' enabled-parallax '}},50)}}})();</script><style type="text/css">@font-face {font-family: 'entypo-fontello'; font-weight: normal; font-style: normal; font-display: swap; src: url('https://www.physicsforums.com/insights/wp-content/themes/enfold/config-templatebuilder/avia-template-builder/assets/fonts/entypo-fontello.woff2') format('woff2'), url('https://www.physicsforums.com/insights/wp-content/themes/enfold/config-templatebuilder/avia-template-builder/assets/fonts/entypo-fontello.woff') format('woff'), url('https://www.physicsforums.com/insights/wp-content/themes/enfold/config-templatebuilder/avia-template-builder/assets/fonts/entypo-fontello.ttf') format('truetype'), url('https://www.physicsforums.com/insights/wp-content/themes/enfold/config-templatebuilder/avia-template-builder/assets/fonts/entypo-fontello.svg#entypo-fontello') format('svg'), url('https://www.physicsforums.com/insights/wp-content/themes/enfold/config-templatebuilder/avia-template-builder/assets/fonts/entypo-fontello.eot'), url('https://www.physicsforums.com/insights/wp-content/themes/enfold/config-templatebuilder/avia-template-builder/assets/fonts/entypo-fontello.eot?#iefix') format('embedded-opentype'); } #top .avia-font-entypo-fontello, body .avia-font-entypo-fontello, html body [data-av_iconfont='entypo-fontello']:before{ font-family: 'entypo-fontello'; }</style></head><body id="top" class="post-template-default single single-post postid-48834 single-format-standard stretched avia-mobile-no-animations rtl_columns av-curtain-numeric arial-websave arial avia-responsive-images-support" itemscope="itemscope" itemtype="https://schema.org/WebPage" ><div id='wrap_all'><header id='header' class='all_colors header_color light_bg_color av_header_top av_logo_left av_main_nav_header av_menu_right av_custom av_header_sticky av_header_shrinking_disabled av_header_stretch_disabled av_mobile_menu_phone av_header_searchicon av_header_unstick_top_disabled av_bottom_nav_disabled av_header_border_disabled' aria-label="Header" data-av_shrink_factor='50' role="banner" itemscope="itemscope" itemtype="https://schema.org/WPHeader" ><div id='header_main' class='container_wrap container_wrap_logo'><div class='container av-logo-container'><div class='inner-container'><span class='logo avia-standard-logo'><a href='https://www.physicsforums.com/insights/' class='' aria-label='Physics_Forums_Insights_logo' title='Physics_Forums_Insights_logo'><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMDAiIGhlaWdodD0iMTAwIiB2aWV3Qm94PSIwIDAgMzAwIDEwMCI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2019/02/Physics_Forums_Insights_logo.png" height="100" width="300" alt='Physics Forums Insights' title='Physics_Forums_Insights_logo' /><noscript><img src="https://www.physicsforums.com/insights/wp-content/uploads/2019/02/Physics_Forums_Insights_logo.png" height="100" width="300" alt='Physics Forums Insights' title='Physics_Forums_Insights_logo' /></noscript></a></span><nav class='main_menu' data-selectname='Select a page' role="navigation" itemscope="itemscope" itemtype="https://schema.org/SiteNavigationElement" ><div class="avia-menu av-main-nav-wrap"><ul role="menu" class="menu av-main-nav" id="avia-menu"><li role="menuitem" id="menu-item-27276" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-top-level menu-item-top-level-1"><a href="https://www.physicsforums.com/insights/trending-physics-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Physics</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a><ul class="sub-menu"><li role="menuitem" id="menu-item-26559" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-articles/physics-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Physics Articles</span></a></li><li role="menuitem" id="menu-item-26568" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-tutorials/physics-tutorials/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Physics Tutorials</span></a></li><li role="menuitem" id="menu-item-26564" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-guides/physics-guides/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Physics Guides</span></a></li><li role="menuitem" id="menu-item-26561" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-faqs/physics-faqs/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Physics FAQs</span></a></li></ul></li><li role="menuitem" id="menu-item-27288" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-top-level menu-item-top-level-2"><a href="https://www.physicsforums.com/insights/trending-math-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Math</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a><ul class="sub-menu"><li role="menuitem" id="menu-item-26558" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-articles/math-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Math Articles</span></a></li><li role="menuitem" id="menu-item-26567" class="menu-item menu-item-type-taxonomy menu-item-object-category current-post-ancestor current-menu-parent current-post-parent"><a href="https://www.physicsforums.com/insights/science-math-tutorials/math-tutorials/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Math Tutorials</span></a></li><li role="menuitem" id="menu-item-26563" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-guides/math-guides/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Math Guides</span></a></li><li role="menuitem" id="menu-item-26560" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-faqs/math-faqs/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Math FAQs</span></a></li></ul></li><li role="menuitem" id="menu-item-27287" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-top-level menu-item-top-level-3"><a href="https://www.physicsforums.com/insights/trending-bio-chem-tech-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Bio/Chem/Tech</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a><ul class="sub-menu"><li role="menuitem" id="menu-item-26556" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-articles/biology-chemistry-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Bio/Chem Articles</span></a></li><li role="menuitem" id="menu-item-26566" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-tutorials/computer-science-tutorials/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Computer Science Tutorials</span></a></li><li role="menuitem" id="menu-item-26565" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-guides/technology-guides/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Technology Guides</span></a></li></ul></li><li role="menuitem" id="menu-item-27286" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-top-level menu-item-top-level-4"><a href="https://www.physicsforums.com/insights/trending-education-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Education</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a><ul class="sub-menu"><li role="menuitem" id="menu-item-26557" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-articles/education-articles/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Education Articles</span></a></li><li role="menuitem" id="menu-item-26562" class="menu-item menu-item-type-taxonomy menu-item-object-category"><a href="https://www.physicsforums.com/insights/science-math-guides/education-guides/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Education Guides</span></a></li></ul></li><li role="menuitem" id="menu-item-26569" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-top-level menu-item-top-level-5"><a href="https://www.physicsforums.com/insights/scientist-interviews/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Interviews</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a></li><li role="menuitem" id="menu-item-26570" class="menu-item menu-item-type-taxonomy menu-item-object-category menu-item-top-level menu-item-top-level-6"><a href="https://www.physicsforums.com/insights/science-math-quizzes/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Quizzes</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a></li><li role="menuitem" id="menu-item-26571" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-top-level menu-item-top-level-7"><a href="https://www.physicsforums.com/" itemprop="url" tabindex="0"><span class="avia-bullet"></span><span class="avia-menu-text">Forums</span><span class="avia-menu-fx"><span class="avia-arrow-wrap"><span class="avia-arrow"></span></span></span></a></li><li id="menu-item-search" class="noMobile menu-item menu-item-search-dropdown menu-item-avia-special" role="menuitem"><a aria-label="Search" href="?s=" rel="nofollow" data-avia-search-tooltip=" <search> <form role="search" action="https://www.physicsforums.com/insights/" id="searchform" method="get" class=""> <div> <input type="submit" value="" id="searchsubmit" class="button avia-font-entypo-fontello" title="Enter at least 3 characters to show search results in a dropdown or click to route to search result page to show all results" /> <input type="search" id="s" name="s" value="" aria-label='Search' placeholder='Search' required /> </div> </form> </search> " aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello'><span class="avia_hidden_link_text">Search</span></a></li><li class="av-burger-menu-main menu-item-avia-special " role="menuitem"> <a href="#" aria-label="Menu" aria-hidden="false"> <span class="av-hamburger av-hamburger--spin av-js-hamburger"> <span class="av-hamburger-box"> <span class="av-hamburger-inner"></span> <strong>Menu</strong> </span> </span> <span class="avia_hidden_link_text">Menu</span> </a></li></ul></div></nav></div></div></div><div class="header_bg"></div></header><div id='main' class='all_colors' data-scroll-offset='70'><div class='container_wrap container_wrap_first main_color sidebar_right'><div class='container template-blog template-single-blog '><main class='content units av-content-small alpha av-blog-meta-html-info-disabled av-main-single' role="main" itemscope="itemscope" itemtype="https://schema.org/Blog" ><article class="post-entry post-entry-type-standard post-entry-48834 post-loop-1 post-parity-odd post-entry-last single-big with-slider post-48834 post type-post status-publish format-standard has-post-thumbnail hentry category-math-tutorials tag-mathematics-self-study" itemscope="itemscope" itemtype="https://schema.org/BlogPosting" itemprop="blogPost" ><div class="big-preview single-big" itemprop="image" itemscope="itemscope" itemtype="https://schema.org/ImageObject" ><a href="https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png" title="math groups" ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIyNDAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMjQwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="240" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png" class="wp-image-48978 avia-img-lazy-loading-48978 attachment-entry_with_sidebar size-entry_with_sidebar wp-post-image" alt="" decoding="async" /><noscript><img loading="lazy" width="240" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png" class="wp-image-48978 avia-img-lazy-loading-48978 attachment-entry_with_sidebar size-entry_with_sidebar wp-post-image" alt="" decoding="async" /></noscript></a></div><div class="blog-meta"></div><div class='entry-content-wrapper clearfix standard-content'><header class="entry-content-header" aria-label="Post: Groups, The Path from a Simple Concept to Mysterious Results"><h1 class='post-title entry-title ' itemprop="headline" >Groups, The Path from a Simple Concept to Mysterious Results<span class="post-format-icon minor-meta"></span></h1><span class="post-meta-infos"><time class="date-container minor-meta updated" itemprop="datePublished" datetime="2025-02-02T19:47:02-06:00" >February 2, 2025</time><span class="text-sep">/</span><span class="comment-container minor-meta"><a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comments" class="comments-link" >9 Comments</a></span><span class="text-sep">/</span><span class="blog-categories minor-meta">in <a href="https://www.physicsforums.com/insights/science-math-tutorials/math-tutorials/" rel="tag">Mathematics Tutorials</a></span><span class="text-sep">/</span><span class="blog-author minor-meta">by <span class="entry-author-link" itemprop="author" ><span class="author"><span class="fn"><a href="https://www.physicsforums.com/insights/author/fresh_42/" title="Posts by fresh_42" rel="author">fresh_42</a></span></span></span></span></span></header><div class="entry-content" itemprop="text" ><div><strong>Estimated Read Time:</strong> 25 minute(s)</div><div><strong>Common Topics:</strong> group, groups, elements, called, theory</div><div><div id="ez-toc-container" class="ez-toc-v2_0_72 counter-hierarchy ez-toc-counter ez-toc-custom ez-toc-container-direction"><p class="ez-toc-title" style="cursor:inherit">Table of Contents</p> <label for="ez-toc-cssicon-toggle-item-67b53c366e4c8" class="ez-toc-cssicon-toggle-label"><span class="ez-toc-cssicon"><span class="eztoc-hide" style="display:none;">Toggle</span><span class="ez-toc-icon-toggle-span"><svg style="fill: #4c4c4c;color:#4c4c4c" xmlns="http://www.w3.org/2000/svg" class="list-377408" width="20px" height="20px" viewBox="0 0 24 24" fill="none"><path d="M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z" fill="currentColor"></path></svg><svg style="fill: #4c4c4c;color:#4c4c4c" class="arrow-unsorted-368013" xmlns="http://www.w3.org/2000/svg" width="10px" height="10px" viewBox="0 0 24 24" version="1.2" baseProfile="tiny"><path d="M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z"/></svg></span></span></label><input type="checkbox" id="ez-toc-cssicon-toggle-item-67b53c366e4c8" aria-label="Toggle" /><nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-1" href="#Introduction" title="Introduction">Introduction</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-2" href="#Definitions" title="Definitions">Definitions</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-3" href="#Examples-Card-Decks-and-Caesar-Ciphers" title="Examples, Card Decks, and Caesar Ciphers">Examples, Card Decks, and Caesar Ciphers</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-4" href="#Presentations-of-Groups" title="Presentations of Groups">Presentations of Groups</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-5" href="#Structures-and-Monster-Groups" title="Structures and Monster Groups">Structures and Monster Groups</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-6" href="#Representations-and-the-Extended-Riemann-Hypothesis" title="Representations and the Extended Riemann Hypothesis">Representations and the Extended Riemann Hypothesis</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-7" href="#Lie-Groups-and-the-Real-World" title="Lie Groups and the Real World">Lie Groups and the Real World</a></li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class="ez-toc-link ez-toc-heading-8" href="#References" title="References">References</a></li></ul></nav></div><h3><span class="ez-toc-section" id="Introduction"></span>Introduction<span class="ez-toc-section-end"></span></h3><p>The concept of a group is as simple as it gets: a set with a binary operation like addition and a couple of natural laws like the requirement that the order of two consecutive operations does not matter: ##(1+2)+3=1+(2+3).## That’s it. The concept of a group is so simple that I still wonder why it wasn’t part of my syllabus at school. And, yet, it covers such different sets like the integers, the hours that the big hand counts, the symmetries in a crystal, the Caesar cipher, or a light switch which is the basis of our electronic world. However, few requirements allow many additional, more specific refinements. In the case of groups, we arrive at strange-sounding results like the fact that the largest finite, and <em>simple, sporadic</em> group has<br /> $$<br /> 808017424794512875886459904961710757005754368000000000<br /> $$<br /> many elements. This article is meant to shed some light on the betweens of a light switch and a group with more than ##8\cdot 10^{53}## elements that mathematicians dare to call simple. At least, they also call it the monster group, and the second largest finite, simple, sporadic group with its<br /> $$<br /> 4154781481226426191177580544000000<br /> $$<br /> many elements baby monster group. And to be honest, even the simple fact that they found them is still a mystery to me.</p><p>This article explains fundamental concepts and only lists the mysterious results. It is meant as an introduction to group theory rather than a treatment of the many special areas into which group theory has branched out. Many statements especially in the sections about examples and structures can be verified by the readers if they wish to practice typical conclusions in group theory.</p><h3><span class="ez-toc-section" id="Definitions"></span>Definitions<span class="ez-toc-section-end"></span></h3><p>A group has only one binary operation, regardless of whether there can be defined more than one binary operation on the underlying set. This unique operation can be written by a plus sign, a dot, or a small circle. The plus sign is usually reserved for groups with a symmetric operation, in which case we call the group commutative or abelian. Groups are not necessarily commutative. The preferred sign for the operation of arbitrary groups is the dot, which is also left out as usual: ##(a,b)\mapsto ab.## If we look up the definition of a group then we will probably find three requirements. The order of two consecutive operations must be irrelevant, called associativity, i.e. ##a(bc)=(ab)c,## there has to be a neutral element ##e## such that ##ae=ea=a,## and inverse elements ##a^{-1}## such that ##a^{-1}a=aa^{-1}=e.## This sounds more artificial than it is. An alternative and equivalent definition mimics the transition from non-zero integers to non-zero rational numbers. A group is a set with a binary, associative operation such that the equations ##ax=b## and ##xa=b## can always be solved. That’s what we did in the transition from integers to rationals: we made ##3x=2## solvable. The transition from natural numbers to integers for addition was accordingly: we made ##3+x=2## solvable. These solvability conditions guarantee a neutral element as the solution to ##ax=a,## and inverse elements as solutions to ##ax=e.## A group is therefore not only a very basic concept, groups also occur naturally as the fundamental structure of our number systems. The number of elements in a group ##G## is called the <em>order</em> of ##G## noted as ##|G|.## The notation is particularly important for finite groups, i.e. when ##|G|## is a positive integer. A notation ##|\mathbb{Z}|=\aleph_0## is rarely used.</p><h3><span class="ez-toc-section" id="Examples-Card-Decks-and-Caesar-Ciphers"></span>Examples, Card Decks, and Caesar Ciphers<span class="ez-toc-section-end"></span></h3><p>The additive group ##\left(\mathbb{Z},0,+\right)## of integers and the multiplicative group ##\left(\mathbb{Q},1,\cdot\right)## of non-zero rational numbers are both infinite. The trivial group ##\left(\{e\},e,\cdot\right)## is the smallest possible group. It consists only of the neutral element. We can create a finite group of any order if we take the set ##\{e,a,a^2,\ldots,a^{n-1}\}## and define ##a^n=e.## These groups are called cyclic. And we use them every day! A light switch with ##0=\text{OFF}## and ##1=\text{ON}## is such a group of order two, and our electronic devices are based on that principle. A bit is either ##0## or ##1## and using a light switch twice results in a neutral state as if we didn’t switch it. The hours of a day build a cyclic group of order twelve or twenty-four depending on what you call a day. These examples are usually written as additive groups since we add hours to circle a watch. However,<br /> $$<br /> \{e,a,a^2,\ldots,a^{n-1}\}\text{ and }\{0,1,\ldots ,n-1\}<br /> $$<br /> are the same group; written multiplicatively on the left and additively on the right. If we divide integers with remainder, i.e. we write ##N:n## as ##N= q\cdot n + r ,## then the set of possible remainders ##r## of a division by ##n## is the cyclic (additive) group with ##n## elements. These groups play a central role in number theory and cryptology. We write<br /> $$<br /> N\equiv r\pmod{n}<br /> $$<br /> and identify all numbers with their remainder. The group elements are thus equivalence classes represented by their remainder. The groups are finite, abelian, and cyclic, noted as ##\mathbb{Z}_n.## For instance ##n=5## results in the five elements of possible remainders<br /> \begin{align*}<br /> [0]&=\overline{0}=\{\ldots,-10,-5,0,5,10,\ldots\}\\<br /> [1]&=\overline{1}=\{\ldots,-9,-4,1,6,11,\ldots\}\\<br /> [2]&=\overline{2}=\{\ldots,-8,-3,2,7,12,\ldots\}\\<br /> [3]&=\overline{3}=\{\ldots,-7,-2,3,8,13,\ldots\}\\<br /> [4]&=\overline{4}=\{\ldots,-6,-1,4,9,14,\ldots\}<br /> \end{align*}<br /> The usual notation is to omit overlining or brackets and to simplify it by ##[a]=\overline{a}=a## since we usually only consider the representatives ##0,1,\ldots,n-1## of each equivalence class. However, we have to keep in mind that even if we write them as numbers, they are just representatives of entire sets.</p><p>We can also multiply remainders, so the set ##\mathbb{Z}_n## carries an additional commutative ring structure. This means, we have additionally to addition a commutative multiplication on ##\mathbb{Z}_n## that obeys the distributive law<br /> $$<br /> a\cdot (b+c)=a\cdot b+ a\cdot c<br /> $$<br /> Of course, we need to distinguish both operations in the case we speak about the ring structure. The multiplicative structure without the additive neutral element ##0## is again a group if and only if ##n## is prime. Generally, elements with a multiplicative inverse element are called <em>units</em>. Bézout’s identity provides an equation<br /> $$<br /> \operatorname{gcd}(a,n)=(a,n)=r\cdot a + s\cdot n<br /> $$<br /> so that ##r\cdot a\equiv 1\pmod{n}## in the case of coprime numbers ##a,n.## Hence, the units of the ring structure on ##\mathbb{Z}_n## are precisely the coprime elements. They build the multiplicative group ##\left(\mathbb{Z}_n^\times,\cdot\right)## of units of the ring ##\mathbb{Z}_n.##</p><p>The famous Caesar cipher is based on the cyclic group with twenty-three elements, an encryption the Romans used. All letters are numbered and shifted by a secret number ##k,## i.e.<br /> \begin{align*}<br /> \text{encrypt}_k(C)&=C+k\pmod{23}\longrightarrow S\\<br /> \text{decrypt}_k(S)&=S-k\pmod{23}\longrightarrow C<br /> \end{align*}<br /> where ##C## is a letter of the clear text message and ##S## is the decoded secret letter. Both sides are supposed to know the value ##k.##</p><p>Finite cyclic groups do not only occur in the relatively simple, and not very secure Caesar cipher but also in many other often error-correcting codes, and the RSA encryption scheme.</p><p>The smallest non-cyclic group has four elements ##\{e,a,b,ab\}## and is the symmetry group of a proper (non-square) rectangle.</p><p><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODkiIGhlaWdodD0iOTUiIHZpZXdCb3g9IjAgMCAxODkgOTUiPjxyZWN0IHdpZHRoPSIxMDAlIiBoZWlnaHQ9IjEwMCUiIGZpbGw9IiNjZmQ0ZGIiLz48L3N2Zz4=" decoding="async" class="aligncenter size-full wp-image-48961" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2025/02/Rectangle.png" alt="" width="189" height="95" /><noscript><img decoding="async" class="aligncenter size-full wp-image-48961" src="https://www.physicsforums.com/insights/wp-content/uploads/2025/02/Rectangle.png" alt="" width="189" height="95" /></noscript>\begin{align*}<br /> \left(A,B,C,D\right)&\stackrel{e}{\longrightarrow } \left(A,B,C,D\right)\\<br /> \left(A,B,C,D\right)&\stackrel{a}{\longrightarrow } \left(B,A,D,C\right)\\<br /> \left(A,B,C,D\right)&\stackrel{b}{\longrightarrow } \left(D,C,B,A\right)\\<br /> \left(A,B,C,D\right)&\stackrel{ab}{\longrightarrow } \left(C,D,A,B\right)\\<br /> \end{align*}<br /> This group is called Klein Four Group ##V_4##. Instead of describing it by its Cayley table of all group multiplications between its abstract elements,<br /> $$<br /> \begin{array}{ccc}<br /> \begin{array}{c||c|c|c|c|}<br /> \cdot &e & a & b & ab\\<br /> \hline<br /> \hline e&e & a & b & ab\\<br /> \hline a&a & e & ab & b\\<br /> \hline b&b & ab & e & a\\<br /> \hline ab&ab & b & a & e\\<br /> \hline<br /> \end{array} &<br /> \text{ or shorter }&<br /> \begin{array}{|c|c|c|c|}<br /> \hline e & a & b & ab\\<br /> \hline a & e & ab & b\\<br /> \hline b & ab & e & a\\<br /> \hline ab & b & a & e\\<br /> \hline<br /> \end{array}<br /> \end{array}<br /> $$<br /> we described the group elements as functions and what they did to a rectangle. Group elements are no longer numbers but symmetries, i.e. functions of the vertices. This point of view opens the door to an entirely new world of groups and the class of symmetry groups. Let us consider a deck of poker cards. It comes in a certain order if it is new and every shuffle creates a new order.<br /> $$<br /> 80658175170943878571660636856403766975289505440883277824000000000000<br /> $$<br /> possible results of a shuffle and naming the shuffled elements by their card values is quite inconvenient. Mathematicians shuffle the numbers ##\{1,2,\ldots,n\}## instead and write the group of all possible shuffling processes as ##\operatorname{Sym}(n)## with ##1\cdot 2\cdots n=n!## elements. A group element is thus a <em>permutation</em> of the ordered sequence ##(1,2,\ldots,n)## into another ordering ##(a_1,a_2,\ldots,a_n)## written as<br /> $$<br /> \begin{pmatrix}1&2&\ldots&n\\a_1&a_2&\ldots&a_n\end{pmatrix}.<br /> $$<br /> The group operation is shuffling them again, i.e. the consecutive application of two permutations. This leads us to ##\operatorname{Sym}(3),## the smallest example of a non-abelian group, i.e. a group where ##ab\neq ba## for some of its elements:<br /> $$<br /> \begin{pmatrix}1&2&3\\2&1&3\end{pmatrix}\circ \begin{pmatrix}1&2&3\\3&1&2\end{pmatrix}=<br /> \begin{pmatrix}1&2&3\\3&2&1\end{pmatrix}<br /> $$<br /> whereas<br /> $$<br /> \begin{pmatrix}1&2&3\\3&1&2\end{pmatrix}\circ<br /> \begin{pmatrix}1&2&3\\2&1&3\end{pmatrix}=<br /> \begin{pmatrix}1&2&3\\1&3&2\end{pmatrix}<br /> $$<br /> reading it from right to left as in ##(f\circ g)(x)=f(g(x)).## We can distinguish between odd and even permutations, depending on whether we need an odd or an even number of single exchanges of two cards to restore the original ordering from the factory. All even permutations together with the neutral element of doing nothing build again a group, the alternating group ##A_{52}## or ##A_n## in general.</p><h3><span class="ez-toc-section" id="Presentations-of-Groups"></span>Presentations of Groups<span class="ez-toc-section-end"></span></h3><p>We have seen groups presented by numbers, equivalence classes, symmetries, or functions, and their Cayley tables. If we reconsider the Klein Four Group ##V_4## then we see it can also be written as<br /> $$<br /> V_4=\bigl\langle a,b\,|\,a^2,b^2,(ab)^2 \bigr\rangle.<br /> $$<br /> This presentation reads: ##V_4## is generated (as a group) by words over the alphabet ##\{a,b\}## which are called <em>generators</em>, and the <em>relations</em> ##a^2=b^2=(ab)^2=e.## <em>As a group</em> is a shorthand for the law of associativity, the existence of a neutral element ##e## and inverse elements. The relations are words, i.e. group elements that multiply to ##e## and thus reflect the specific properties of a group, the relations among group elements. Groups without relations, e.g. ##\mathbb{Z}=\bigl\langle 1 \bigr\rangle ## are called free groups or free abelian groups in the case they are commutative. Such a group presentation is compact and suitable if we want to deal with abstract group elements. E.g., the linear symmetries of a sphere are generated by matrices ##A## together with the relations ##AA^\dagger =A^\dagger A=e## and called the <em>orthogonal groups</em> because they conserve lengths and angles. Hence, we may write<br /> $$<br /> \operatorname{O}(n)=\bigl\langle A\in \mathbb{M}(n,\mathbb{R})\,|\, AA^\dagger ,A^\dagger A\bigr\rangle .<br /> $$<br /> Some authors write out the relations into equations<br /> $$<br /> G=\bigl\langle a_\iota \,|\,r_\kappa(a_\iota)=e\bigr\rangle<br /> $$<br /> making it more convenient to read, e.g.<br /> $$<br /> V_4=\bigl\langle a,b\,|\,a^2=b^2=(ab)^2=e \bigr\rangle<br /> $$<br /> and<br /> $$<br /> \operatorname{O}(n)=\bigl\langle A\in \mathbb{M}(n,\mathbb{R})\,|\, AA^\dagger =A^\dagger A=I\bigr\rangle<br /> $$<br /> or<br /> $$<br /> \operatorname{SO}(n)=\bigl\langle A\in \mathbb{M}(n,\mathbb{R})\,|\, AA^\dagger =A^\dagger A=I\text{ and }\det A=1\bigr\rangle<br /> $$<br /> for the so-called <em>special orthogonal group</em>. Group presentations, not to be confused with group representations, have some disadvantages like lacking uniqueness. Imagine that we are given two words over the alphabet of generators. Then it is in general very difficult to decide whether they represent the same group element or whether they are different. This is called <em>word problem for groups</em>. For groups because the same problem occurs for arbitrary algebraic identities or generally in formal languages. We have for example<br /> $$<br /> \bigl\langle a,b\,|\,aba=bab \bigr\rangle = \bigl\langle a,b\,|\,a^2=b^3 \bigr\rangle<br /> $$<br /> or<br /> $$<br /> \bigl\langle a,b\,|\,a^{-1}b^2a=b^3\,,\, b^{-1}a^2b = a^3 \bigr\rangle = \{e\}.<br /> $$<br /> Group presentations on the other hand come up naturally if we look at the symmetries that defined ##V_4,## or more generally the symmetries that occur in chemical molecules, the basis of crystallography. A rotation about ##180° ## means ##a^2=e,## a reflection ##b^2=e## but ##a\neq b## since a rotation preserves the orientation and a reflection changes it.</p><h3><span class="ez-toc-section" id="Structures-and-Monster-Groups"></span>Structures and Monster Groups<span class="ez-toc-section-end"></span></h3><p>We start with a subgroup ##U## of a given group ##G## noted as ##U\leq G.## A subgroup is a subset of the group that is again a group. E.g.<br /> $$<br /> \left\{\begin{pmatrix}1&2&3&\ldots&n\\1&2&3&\ldots&n\end{pmatrix}\, , \, \begin{pmatrix}1&2&3&\ldots&n\\2&1&3&\ldots&n\end{pmatrix}\right\}<br /> $$<br /> is a subgroup of order two of any symmetric group ##\operatorname{Sym}(n)## with ##n>1,## all multiples of an integer ##k## build a subgroup of the integers, or ##\mathbb{Z}_n\leq \mathbb{Z}_{mn}.## We have<br /> $$<br /> g\in gU=\{gu\,|\,u\in U\}<br /> $$<br /> for an arbitrary element ##g\in G## because a subgroup has to contain the neutral element. This allows us to write<br /> $$<br /> G=\displaystyle{\bigcup_{g\in G}gU}<br /> $$<br /> as a union of sets of equal size, the size of ##U## because ##U \stackrel{1:1}{\longleftrightarrow }gU## is a bijection. Two of these sets ##gU,hU## are equal if ##g^{-1}h\in U## and ##gU\cap gH=\emptyset## if ##g^{-1}h\not\in U.## This allows us to eliminate double counting and make the union a union of pairwise disjoint sets. Hence ##|G|=k\cdot |U|## for some ##k.## This is Lagrange’s theorem as it states that the order of a subgroup always divides the order of the group. The number ##k## is called the <em>index</em> of ##U## noted as ##k=|G:U|##<br /> $$<br /> |G|=|G:U|\cdot|U|.<br /> $$<br /> This formula is particularly important for finite groups. We have split ##G## into disjoint equivalence classes by the equivalence relation<br /> $$<br /> g\sim h \Longleftrightarrow g^{-1}h\in U.<br /> $$<br /> We can choose one representative in each of these classes which gives us a set to operate with, noted by ##G/U.## Lagrange’s theorem is thus ##|G|=|G/U|\cdot|U|## where the index ##[G:U]## is the number of elements in ##G/U.## The reverse statement of Lagrange’s theorem is false. ##|A_4|=4!/2=12## and ##A_4## has no subgroup of order six.</p><p>The next question is whether those representatives in ##G/U## can be given a group structure. This requires that the set of representatives is closed under the group operation, i.e. that we can find a ##k\in G## such that ##gU\cdot hU=kU.## This is no problem if the group is abelian since we can choose ##k=gh.## If not, however, how should we move ##h## to the left? We need ##gU=Ug## for all ##g\in G## since then<br /> $$<br /> gU\cdot hU=Ug\cdot hU=U\cdot (gh)U=U\cdot U(gh)=U(gh)=ghU.<br /> $$<br /> This condition can be written as ##U=g^{-1}Ug## for all ##g\in G## and is therefore a property of ##U.## Subgroups that fulfill this condition are called <em>normal subgroups</em>. They allow us to write<br /> $$<br /> gN\cdot hN=g(g^{-1}Ng)\cdot h ((gh)^{-1}N(gh))=N(gh)=ghN<br /> $$<br /> where we used ##U=N\leq G## to emphasize normality.</p><p>##\operatorname{Sym}(3)## is the smallest non-abelian group. Its subgroup of order three generated by ##\begin{pmatrix}1&2&3\\2&3&1\end{pmatrix}## is a normal subgroup whereas its subgroup of order two generated by ##\begin{pmatrix}1&2&3\\2&1&3\end{pmatrix}## is not normal. Normal subgroups ##N\subseteq G## are noted as ##N\trianglelefteq G.## They play a central role in group theory as ##G/N## becomes a group and ##G## can be split into two groups<br /> $$<br /> G=G/N \cdot N =G/N \ltimes N.<br /> $$<br /> The symbol reflects that ##G\triangleright N## is normal and ##G/N < G## is not. The product is called a semi-direct product in comparison to a direct product ##G=G/N \times N## where both factors are normal subgroups as, e.g. ##V_4=\mathbb{Z}_2\times \mathbb{Z}_2.## The groups ##G/N## are called quotient groups or factor groups. It’s factoring ##N## versus dividing ##N##. I know, it’s a bit strange.</p><p>The attentive reader might have noticed that we didn’t solve the problem of how our arbitrary choice of representatives from the classes ##gN## would allow us to speak about ##G/N## as a subgroup. It does not. All we know so far is that ##G/N## is a group. And as a group of equivalence classes ##gN## it cannot be a group of single elements of ##G## since both kinds of elements are of different nature. What we have is a function ##G\to G/N## defined as ##\pi(g)= gN## with<br /> $$<br /> \pi(g)\cdot \pi(h)=\pi(g\cdot h).<br /> $$<br /> Functions with this property are called <em>homomorphisms</em>, literally <em>of the same structure</em>. ##\pi## is an <em>epimorphism </em>which means it is surjective. Injective homomorphisms are called <em>monomorphisms</em>, bijective homomorphisms are called <em>isomorphisms</em>, and isomorphisms between the same group <em>automorphisms</em>. E.g.<br /> $$<br /> h\longmapsto g^{-1}hg<br /> $$<br /> is an automorphism. This <em>conjugation</em> by an element ##g## is called an <em>inner automorphism</em>. Homomorphisms are the natural functions between groups, mathematically: the morphisms in the category of groups. Every homomorphism ##\varphi\, : \,G\longrightarrow H## creates an important normal subgroup, its <em>kernel</em><br /> $$<br /> \operatorname{ker}\varphi =\{g\in G\,|\,\varphi(g)=e\}\trianglelefteq G.<br /> $$<br /> For example,<br /> $$<br /> \operatorname{ker}\pi=\{g\in G\,|\,\pi(g)=e\}=\{g\in G\,|\,gN=N\}=N.<br /> $$<br /> A homomorphism is a monomorphism if and only if its kernel equals ##\{e\}.## The situation of ##N,G,G/N## leads to a <em>short exact sequence</em> of groups<br /> $$<br /> \{e\}\rightarrow N \stackrel{\subseteq }{\hookrightarrow}\underbrace{G \stackrel{\pi}{\twoheadrightarrow}G/N}_{\iota\;\longleftarrow}\rightarrow \{e\}<br /> $$<br /> where exactness simply means that the image of each homomorphism equals the kernel of the next one, and short because its length is only five. Longer sequences with this property are called <em>long exact sequences</em>. Our task is thus to find an embedding, a monomorphism ##\iota## of ##G/N## into ##G## in which case we say that <em>the short exact sequence splits</em>, i.e. that<br /> $$<br /> \pi \circ \iota = \operatorname{id}_{G/N}.<br /> $$<br /> The obvious choice is to define ##\iota(gN)=g## and ##\iota(N)=e## because ##N## is the neutral element in the set of equivalence classes ##G/N## and homomorphisms always map the neutral element of one group to the neutral element of the other. This definition fulfills<br /> $$<br /> \pi(\iota(gN))=\pi(g)=gN=\operatorname{id}_{G/N}(gN),<br /> $$<br /> injectivity since<br /> $$<br /> \operatorname{ker}\iota=\{gN\,|\,e=\iota(gN)=g\}=eN=N,<br /> $$<br /> and is a homomorphism by<br /> $$<br /> \iota(gN)\cdot \iota(hN)=gh=\iota(ghN)=\iota (gN\cdot hN)<br /> $$<br /> since ##N## is normal. But is it well-defined? This means we have to make sure that no element maps on two different images. Say we have ##\iota(gN)=g’.## Then ##\pi(\iota(gN))=gN=\pi(g’)=g’N## and ##n=g^{-1}g\in N.## Hence, ##\iota(g^{-1}g’N)=g^{-1}g’=\iota(nN)=\iota(N)=e## and ##g=g’.## We have thus achieved well-definition by the single requirement of mapping ##N## to ##e## which we needed anyway to ensure that ##\iota## is a homomorphism for which we used normality.</p><p>The subgroups ##\{e\}## and ##G## are automatically normal. Groups that do not have any other normal subgroups are called <em>simple</em>. The alternating group ##A_5## of even permutations of five elements is the smallest non-abelian simple group. It is the symmetry group of an icosahedron. The alternating groups ##A_n## for ##n\geq 5## are all simple. The other infinite series of finite, simple groups are cyclic groups of prime order and groups of Lie type e.g. the special orthogonal group. These and twenty-six so-called <em>sporadic simple groups</em> like the monster and baby monster group are all the finite simple groups that exist. The proof that the monster group is simple took more than ten thousand pages, and the entire classification about forty years.</p><p>The simplicity of ##A_n## for ##n\geq 5## is the reason why we cannot generally solve polynomial equations ##p(x)=0## for any polynomial of degree five or higher. All because the alternating groups have no non-trivial normal subgroups! That was quite a bit of a shortcut to the real reason. In fact, we consider certain normal subgroups beginning with the group ##G,## the so-called <em>commutator subgroups</em>. They are defined by<br /> \begin{align*}<br /> G^{(0)}&=G\\<br /> G^{(1)}&=[G,G]=\{ghg^{-1}h^{-1}\,|\,g,h \in G^{(0)}\}\\<br /> G^{(k+1)}&=[G^{(k)},G^{(k)}]=\{ghg^{-1}h^{-1}\,|\,g,h \in G^{(k)}\}<br /> \end{align*}<br /> and build a chain of normal subgroups with abelian factor groups ##G^{(k)}/G^{(k+1)}## in each step,<br /> $$<br /> G \trianglerighteq G^{(1)}\trianglerighteq G^{(2)}\trianglerighteq\ldots\trianglerighteq G^{(k)}\trianglerighteq \ldots<br /> $$<br /> Groups for which this chain ends up with ##G^{(k)}=\{e\}## for some ##k## are called <em>solvable groups</em>. Galois theory establishes a connection between solvable groups and the solvability of algebraic expressions, hence the name. If we could find all solutions of any polynomial equation ##p(x)=0## of degree ##n\geq 5## by root expressions then we could create such a chain of normal subgroups for ##\operatorname{Sym}(n).## The chain of commutator subgroups of ##\operatorname{Sym}(n)## with ##n\geq 5,## however, is<br /> $$<br /> \operatorname{Sym}(n) \trianglerighteq \left[\operatorname{Sym}(n),\operatorname{Sym}(n)\right] = A_n\trianglerighteq \left[A_n,A_n\right]=A_n=A_n=\ldots<br /> $$<br /> because ##A_n## is simple, and thus cannot end up in ##\{e\}.## Galois theory also connects group theory with the constructibility of geometric objects with straightedge and compass. It teaches us that a circle cannot be squared, an arbitrary angle cannot be cut into three equal parts, and a cube cannot be doubled by straightedge and compass.</p><h3><span class="ez-toc-section" id="Representations-and-the-Extended-Riemann-Hypothesis"></span>Representations and the Extended Riemann Hypothesis<span class="ez-toc-section-end"></span></h3><p><em>A group ##G## operates on a set ##X##, ##G## is acting on a set ##X##, ##G## is represented by (bijections of) ##X##, and ##X## is a ##G##-module</em> mean all the same thing: there is a group homomorphism ##\varphi\, : \,G\rightarrow \operatorname{Sym}(X),## i.e.<br /> $$<br /> \varphi(gh)(x)=(\varphi(g)\circ \varphi(h))(x)=\varphi(g)(\varphi(h)(x)),<br /> $$<br /> where ##\operatorname{Sym}(X)## notes the group of bijections of ##X.## In the case that ##X## is a finite set of ##n## elements, ##\operatorname{Sym}(X)=\operatorname{Sym}(n),## and in the case that ##X## is a vector space ##V,## ##\operatorname{Sym}(X)=\operatorname{GL}(V),## the <em>general linear group</em> of regular linear transformations on ##V,## and we speak of linear representations or linear operations. Of course, ##\varphi## itself is not linear since neither ##G## nor ##\operatorname{GL}(V)## are closed under linear operations, they aren’t even defined. Only the cards we shuffle are each a linear transformation.</p><p>The equation, i.e. the homomorphism property of ##\varphi## is all there is if we say the word representation. We have seen those representations before, as symmetries of the vertices of geometric objects like a rectangle or an icosahedron, as shuffling a deck of cards, or as linear rotations and reflections. The idea is to learn more about the properties of the group ##G## by investigating what it does on a representation space ##X.## This thought leads us directly to the set of elements that can be reached by the operation of ##G## starting at a certain point ##x\in X,##<br /> $$<br /> G.x=\{y\in X\,|\,y=\varphi(g)(x)\text{ for some }g\in G\}\subseteq X,<br /> $$<br /> the <em>orbit</em> of ##x##, and the subgroup of ##G## that leaves a certain point ##x\in X## unmoved,<br /> $$<br /> G_x=\operatorname{stab}_G(x)=\{g\in G\,|\,\varphi(g)(x)=x\}\leq G,<br /> $$<br /> the <em>stabilizer subgroup</em> of ##x.## Both sets are connected by the orbit-stabilizer-theorem which states that for any given ##x\in X## there is a well-defined bijection<br /> \begin{align*}<br /> \beta\, : \,G/G_x&\longrightarrow G.x\\<br /> gG_x&\longmapsto \varphi(g)(x) \;.<br /> \end{align*}<br /> The equivalence classes of the stabilizer subgroup are in a one-to-one correspondence with the orbit. ##G/G_x## isn’t generally a group since the stabilizers are usually not normal, but that doesn’t matter since the set on the right isn’t a group either, only orbits in the representation space. This bijection is particularly important if group and representation space are finite, as it says<br /> $$<br /> |G:G_x|=|G/G_x|=|G.x|\text{ and } |G|=|G_x|\cdot |G.x|.<br /> $$<br /> The number of group elements equals the product of the size of the orbit with the number of stabilizer elements for any given point of the representation space.</p><p>Let us have a brief look at the important case of linear representations on a vector space ##V## as representation space. Of course, instead of considering the general linear group ##\operatorname{GL}(V),## we can also replace it with any of its subgroups, especially if ##G## itself is such a subgroup and ##\varphi## the natural embedding. They are called <em>linear algebraic groups</em>. Group theory and linear algebra are largely overlapping at this point, and entire textbooks are dealing with this specific constellation where group elements are directly or via their operation ##\varphi## linear transformations of ##V,## i.e. in the case ##V## is finite-dimensional, matrices. We are immediately confronted with questions about specific bases of ##V,## eigen spaces, determinants, characteristic polynomials, and so on. The key here is simultaneousness because we want to find a basis of ##V## in which all group elements are represented equally nicely, e.g. by Jordan matrices, by diagonal matrices, or at least by other shapes like upper triangular matrices. In the case ##V## is infinite-dimensional, we enter the field of functional analysis and linear operators, the world of Hilbert and Banach spaces.</p><p>However, from the perspective of group theory, there is a catch. If we want to investigate the properties of ##G## by investigating its action on a vector space, how does it help if ##G## or ##\varphi(G)## are already subgroups of ##\operatorname{GL}(V)##? The necessity to have a linear representation space breaks away and we could directly investigate linear algebraic groups by studying linear algebra and functional analysis. The other two answers to that question are to restrict ##G## to finite groups or to consider other representation spaces for linear algebraic groups.</p><p>Other representation spaces for linear algebraic groups are usually spaces that cover an additional structure, a topology like the Zariski topology, an affine or projective variety, coordinate rings, buildings, or Hopf algebras. Representations on Hilbert spaces open the door to calculus, differential and integral operators, Laplace, Fourier, and Z-transforms. If the group we want to consider already has the properties the representation space has, then the representation space has to get more properties.</p><p>Linear representations of finite groups mainly deal with characters and linear combinations of them like in Brauer’s theorem on induced characters. A <em>character</em> of a group ##G## is a group homomorphism into the multiplicative group of complex numbers<br /> $$<br /> G\longrightarrow \left(\mathbb{C}\setminus\{0\},\cdot\right).<br /> $$<br /> <em>Dirichlet characters</em>, i.e. characters of the units of ##\mathbb{Z}_n## which is ##G=\left(\mathbb{Z}_n^\times,\cdot\right)## are substantial for the formulation of the extended Riemann hypothesis, the version that is really believed that has to be proven.</p><h3><span class="ez-toc-section" id="Lie-Groups-and-the-Real-World"></span>Lie Groups and the Real World<span class="ez-toc-section-end"></span></h3><p>Finite groups are used for codes in cryptography, to describe symmetries in crystallography, or in Galois theory to find solutions for geometric or algebraic problems. The Standard Model of particle physics on the other hand is associated with the infinite group<br /> $$<br /> \operatorname{U}(1)\times \operatorname{SU}(2)\times \operatorname{SU}(3).<br /> $$<br /> These are Lie groups, groups of complex matrices that carry an analytical, hence topological structure. ##\operatorname{U}(n)## stands for the <em>unitary group</em> of complex ##n\times n##-matrices<br /> $$<br /> \operatorname{U}(n)=\bigl\langle A\in \mathbb{M}(n,\mathbb{C})\,|\, AA^\dagger =A^\dagger A=I\bigr\rangle<br /> $$<br /> analog to the real orthogonal groups ##\operatorname{O}(n)## and ##\operatorname{SU}(n)## for <em>special unitary group</em>, which means we also require the matrices to have determinant one,<br /> $$<br /> \operatorname{SU}(n)=\bigl\langle A\in \mathbb{M}(n,\mathbb{C})\,|\, AA^\dagger =A^\dagger A=I\text{ and }\det A=1\bigr\rangle ,<br /> $$</p><p>and the product sign indicates a direct product. All factors are normal subgroups sharing only the neutral element, the identity matrix. Before we talk about infinite Lie groups, let us take a look at some milestones and how it all began.</p><p><strong>1684, Gottfried Wilhelm Leibniz, Differential Calculus.</strong></p><p>Leibniz’s theory, which he published in ##1684## under the title <em>Nova Methodus Pro Maximis Et Minimis</em>, would later prove to be much more influential than Newton’s. The approach to differentiation and integration essentially corresponds to that introduced by Leibniz and his successors.</p><p><strong>1687, Isaac Newton, Principia.</strong></p><p><em>De Analysi per Aequationes Numero Terminorum Infinitas</em> and <em>De Methodis Serierum et Fluxionum</em>, which were written in ##1669## and ##1671## respectively, but were not printed until ##1711## and ##1736## respectively. However, the basic principles of this had already been published in Newton’s <em>Philosophiae Naturalis Principia Mathematica</em> in ##1687##.</p><p><strong>1788, Giuseppe Lodovico Lagrangia, Joseph-Louis Lagrange, Lagrange formalism.</strong></p><p><em>Mécanique analytique.</em> The Lagrange formalism in physics is a formulation of classical mechanics introduced by Lagrange in ##1788,## in which the dynamics of a system is described by a single scalar function, the Lagrange function. The formalism is also applicable to accelerated reference systems (in contrast to Newtonian mechanics, which is limited to inertial systems). The Lagrange formalism is invariant against coordinate transformations.</p><p><strong>1888, Marius Sophus Lie, Continuous Groups in Differential Calculus.</strong></p><p><em>Classification und Integration von gewöhnlichen Differentialgleichungen zwischen ##xy,## die eine Gruppe von Transformationen gestatten.</em> Lie wrote: “In a short note to the Society of Sciences in Göttingen (##1874##) I gave, among other things, a list of all continuous groups of transformations between two variables ##x## and ##y.## I expressly and strongly drew attention to the fact that this can be used to establish a classification and a rational integration theory of all differential equations ##f(x,y,y’,\ldots,y^{(m)})=0## that allow a continuous transformation group.”</p><p><strong>1918, Amalie Emmy Noether, Lie Groups in Physics.</strong></p><p><em>Invariante Variationsprobleme.</em> Noether proved: “If the integral is invariant with respect to a Lie group then linearly independent connections of the Lagrangian expressions become divergences. Conversely, it follows that the integral is invariant with respect to a Lie group. The theorem also holds in the limit of infinitely many parameters. If the integral is invariant with respect to a Lie group in which the arbitrary functions appear up to the ##n##-th derivative then there are identical relations between the Lagrangian expressions and their derivatives up to the ##n##-th order; the converse also applies here.”</p><p><strong>1901, Max Karl Ernst Ludwig Planck, The Beginning of Quantum Physics.</strong></p><p><em>Gesetz der Energieverteilung im Normalspectrum.</em> Planck received the Nobel Prize in Physics ##1918## for the discovery of a constant in a fundamental physical equation that was later named after him, Planck’s constant.</p><p><strong>1927, Paul Adrien Maurice Dirac, Quantum Electrodynamics and the Group ##\operatorname{\mathbf{U}\mathbf{(1)}}##.</strong></p><p><em>The Quantum Theory of Emission and Absorption of Radiation.</em> Dirac was a co-founder of quantum mechanics. He was awarded the Nobel Prize for Physics ##1933.## One of his most important discoveries is described in the Dirac equation in which Einstein’s special theory of relativity and quantum mechanics were brought together for the first time. In doing so, he also laid the foundations for the later detection of antimatter.</p><p><strong>1937, Wigner Jenö Pál, Eugene Paul Wigner, Isospin and the Group ##\operatorname{\mathbf{SU}\mathbf{(2)}}##.</strong></p><p><em>On the Consequences of the Symmetry of the Nuclear Hamiltonian on the Spectroscopy of Nuclei.</em> Wikipedia says: In ##1932,## Werner Karl Heisenberg introduced a new (unnamed) concept to explain the binding of the proton and the then newly discovered neutron (symbol ##n##). His model resembled the bonding model for the molecule Hydrogen ion, ##\operatorname{H}_2^+\,:## a single electron was shared by two protons. Heisenberg’s theory had several problems, most notably it incorrectly predicted the exceptionally strong binding energy of ##\operatorname{He}^{+2}##, alpha particles. However, its equal treatment of the proton and neutron gained significance when several experimental studies showed these particles must bind almost equally. In response, Eugene Wigner used Heisenberg’s concept in his ##1937## paper where he introduced the term “isotopic spin” to indicate how the concept is similar to spin in behavior.</p><p><strong>1954, Chen Ning Yang and Robert Laurence Mills, Non-abelian Gauge Theory.</strong></p><p><em>Conservation of Isotopic Spin and Isotopic Gauge Invariance.</em> The Yang-Mills theory is a non-abelian gauge theory used to describe strong and weak interactions. It was introduced in ##1954## by Yang and Mills and independently around the same time in the dissertation of Ronald Shaw under the physicist Abdus Salam and in Japan by Ryoyu Utiyama.</p><p><strong>1973, Harald Fritzsch, Murray Gell-Mann, Heinrich Leutwyler, Quantum Chromodynamics and the Group ##\operatorname{\mathbf{SU}\mathbf{(3)}}##.</strong></p><p><em>Advantages of the Color Octet Gluon Picture.</em> One of the founders of quantum chromodynamics (and before that of the quark model), Murray Gell-Mann received the Nobel Prize in Physics in ##1969## for his numerous contributions to the theory of strong interactions, even before the introduction of QCD. In his pioneering work on QCD (around ##1973##) he worked with Harald Fritzsch and Heinrich Leutwyler.</p><p>It took more than ##200## years for Lie groups to become physical entities and another ##100## years for the standard model of particle physics and its gauge group. Lie called them continuous groups, Noether groups in Lie’s sense, we call them Lie groups. They are symmetry groups of differential equations and have therefore been included in differential geometry, for example as transformation groups of smooth principal fiber bundles: a Lie group operating on e.g. a tangent bundle. Varadarajan gives the following formal definition.</p><p>Let ##G## be a topological group, i.e. a group with a topology such that group multiplication with the product topology and inversion are continuous functions. Suppose there is an analytic structure on the set ##G,## compatible with its topology, which converts it into an analytic manifold and for which group multiplication and inversion are both analytic. Then ##G,## together with this analytic structure, is called a <em>Lie group</em>.</p><p>Things become complicated quickly in Lie theory compared to finite groups. And the journey here just begins. Lie groups are analytic manifolds so they have tangent spaces, their Lie algebras. Lie algebras have automorphisms that build multiplicative groups. Those are called groups of Lie type and lead back to abstract algebra. So Lie theory has a topological dimension where connected components, closeness, coverings, or compactness are analyzed, a differential geometry dimension where we perform calculus on their analytic manifolds, and an algebraic dimension that deals with homotopy and homology groups, and cohomology theory. Knot groups are another kind of group which are settled in these algebraic realms.</p><p> </p><p>This article has only scratched the surface of the world of groups, a concept with only four axioms – binary operation, associativity, existence of a neutral element, and existence of inverse elements – yet led us to ancient and modern encryptions, molecules, and the standard model of particle physics.</p><h3><span class="ez-toc-section" id="References"></span>References<span class="ez-toc-section-end"></span></h3><div class='togglecontainer av-z56gl9-f28a73313137d960a6cd8285a4a349e7 avia-builder-el-0 avia-builder-el-no-sibling toggle_close_all' ><section class='av_toggle_section av-kw33gd-63d9d1a35fe2b4ea36e83c024439b948' itemscope="itemscope" itemtype="https://schema.org/BlogPosting" itemprop="blogPost" ><div role="tablist" class="single_toggle" data-tags="{All} " ><p id='toggle-toggle-id-1' data-fake-id='#toggle-id-1' class='toggler av-title-above ' itemprop="headline" role='tab' tabindex='0' aria-controls='toggle-id-1' data-slide-speed="200" data-title="References" data-title-open="" data-aria_collapsed="Click to expand: References" data-aria_expanded="Click to collapse: References">References<span class="toggle_icon"><span class="vert_icon"></span><span class="hor_icon"></span></span></p><div id='toggle-id-1' aria-labelledby='toggle-toggle-id-1' role='region' class='toggle_wrap av-title-above' ><div class='toggle_content invers-color ' itemprop="text" ><p>[1] Évariste Galois and His Theory</p><p><a href="https://www.physicsforums.com/insights/intro-to-evariste-galois-and-galois-theory/" target="_blank" rel="noopener">https://www.physicsforums.com/insights/intro-to-evariste-galois-and-galois-theory/</a></p><p>[2] The Extended Riemann Hypothesis and Ramanujan’s Sum</p><p><a href="https://www.physicsforums.com/insights/the-extended-riemann-hypothesis-and-ramanujans-sum/" target="_blank" rel="noopener">https://www.physicsforums.com/insights/the-extended-riemann-hypothesis-and-ramanujans-sum/</a></p><p>[3] A Journey to The Manifold ##SU(2)##: Differentiation, Spheres, and Fiber Bundles</p><p><a href="https://www.physicsforums.com/insights/journey-manifold-su2mathbbc-part/" target="_blank" rel="noopener">https://www.physicsforums.com/insights/journey-manifold-su2mathbbc-part/</a></p><p>[4] When Lie Groups Became Physics</p><p><a href="https://www.physicsforums.com/insights/when-lie-groups-became-physics/" target="_blank" rel="noopener">https://www.physicsforums.com/insights/when-lie-groups-became-physics/</a></p></div></div></div></section></div></div></div><footer class="entry-footer"><span class="blog-tags minor-meta"><strong>Tags:</strong><span> <a href="https://www.physicsforums.com/insights/tag/mathematics-self-study/" rel="tag">mathematics self-study</a></span></span><div class='av-social-sharing-box av-social-sharing-box-default av-social-sharing-box-fullwidth'><div class="av-share-box"><h5 class='av-share-link-description av-no-toc '>Share this entry</h5><ul class="av-share-box-list noLightbox"><li class='av-share-link av-social-link-facebook' ><a target="_blank" aria-label="Share on Facebook" href='https://www.facebook.com/sharer.php?u=https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/&t=Groups%2C%20The%20Path%20from%20a%20Simple%20Concept%20to%20Mysterious%20Results' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='' data-avia-related-tooltip='Share on Facebook' rel="noopener"><span class='avia_hidden_link_text'>Share on Facebook</span></a></li><li class='av-share-link av-social-link-twitter' ><a target="_blank" aria-label="Share on X" href='https://twitter.com/share?text=Groups%2C%20The%20Path%20from%20a%20Simple%20Concept%20to%20Mysterious%20Results&url=https://www.physicsforums.com/insights/?p=48834' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='' data-avia-related-tooltip='Share on X' rel="noopener"><span class='avia_hidden_link_text'>Share on X</span></a></li><li class='av-share-link av-social-link-whatsapp' ><a target="_blank" aria-label="Share on WhatsApp" href='https://api.whatsapp.com/send?text=https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='' data-avia-related-tooltip='Share on WhatsApp' rel="noopener"><span class='avia_hidden_link_text'>Share on WhatsApp</span></a></li><li class='av-share-link av-social-link-linkedin' ><a target="_blank" aria-label="Share on LinkedIn" href='https://linkedin.com/shareArticle?mini=true&title=Groups%2C%20The%20Path%20from%20a%20Simple%20Concept%20to%20Mysterious%20Results&url=https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='' data-avia-related-tooltip='Share on LinkedIn' rel="noopener"><span class='avia_hidden_link_text'>Share on LinkedIn</span></a></li><li class='av-share-link av-social-link-reddit' ><a target="_blank" aria-label="Share on Reddit" href='https://reddit.com/submit?url=https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/&title=Groups%2C%20The%20Path%20from%20a%20Simple%20Concept%20to%20Mysterious%20Results' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='' data-avia-related-tooltip='Share on Reddit' rel="noopener"><span class='avia_hidden_link_text'>Share on Reddit</span></a></li><li class='av-share-link av-social-link-mail' ><a aria-label="Share by Mail" href='mailto:?subject=Groups%2C%20The%20Path%20from%20a%20Simple%20Concept%20to%20Mysterious%20Results&body=https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='' data-avia-related-tooltip='Share by Mail'><span class='avia_hidden_link_text'>Share by Mail</span></a></li></ul></div></div></footer><div class='post_delimiter'></div></div><div class="post_author_timeline"></div><span class='hidden'> <span class='av-structured-data' itemprop="image" itemscope="itemscope" itemtype="https://schema.org/ImageObject" > <span itemprop='url'>https://www.physicsforums.com/insights/wp-content/uploads/2025/02/math-Groups.png</span> <span itemprop='height'>135</span> <span itemprop='width'>240</span> </span> <span class='av-structured-data' itemprop="publisher" itemtype="https://schema.org/Organization" itemscope="itemscope" > <span itemprop='name'>fresh_42</span> <span itemprop='logo' itemscope itemtype='https://schema.org/ImageObject'> <span itemprop='url'>https://www.physicsforums.com/insights/wp-content/uploads/2019/02/Physics_Forums_Insights_logo.png</span> </span> </span><span class='av-structured-data' itemprop="author" itemscope="itemscope" itemtype="https://schema.org/Person" ><span itemprop='name'>fresh_42</span></span><span class='av-structured-data' itemprop="datePublished" datetime="2025-02-02T19:47:02-06:00" >2025-02-02 19:47:02</span><span class='av-structured-data' itemprop="dateModified" itemtype="https://schema.org/dateModified" >2025-02-12 08:56:11</span><span class='av-structured-data' itemprop="mainEntityOfPage" itemtype="https://schema.org/mainEntityOfPage" ><span itemprop='name'>Groups, The Path from a Simple Concept to Mysterious Results</span></span></span></article><div class='single-big'></div><div class='related_posts clearfix av-related-style-full'><h5 class="related_title">You might also like</h5><div class="related_entries_container"><div class='av_one_half no_margin alpha relThumb relThumb1 relThumbOdd post-format-standard related_column'><a href='https://www.physicsforums.com/insights/self-study-calculus/' class='relThumWrap noLightbox' title='A Guide to Self Study Calculus'><span class='related_image_wrap' ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMTgwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="180" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2015/11/studymath2-180x135.png" class="wp-image-6505 avia-img-lazy-loading-6505 attachment-square size-square wp-post-image" alt="studymath2" title="studymath2" decoding="async" /><noscript><img loading="lazy" width="180" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2015/11/studymath2-180x135.png" class="wp-image-6505 avia-img-lazy-loading-6505 attachment-square size-square wp-post-image" alt="studymath2" title="studymath2" decoding="async" /></noscript><span class='related-format-icon '><span class='related-format-icon-inner' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span></span></span><strong class="av-related-title">A Guide to Self Study Calculus</strong></a></div><div class='av_one_half no_margin relThumb relThumb2 relThumbEven post-format-standard related_column'><a href='https://www.physicsforums.com/insights/the-10-commandments-of-index-expressions-and-tensor-calculus/' class='relThumWrap noLightbox' title='The 10 Commandments of Index Expressions and Tensor Calculus'><span class='related_image_wrap' ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMTgwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="180" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2018/07/tensorcalculus-180x135.png" class="wp-image-21224 avia-img-lazy-loading-21224 attachment-square size-square wp-post-image" alt="tensor calculus" title="tensorcalculus" decoding="async" /><noscript><img loading="lazy" width="180" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2018/07/tensorcalculus-180x135.png" class="wp-image-21224 avia-img-lazy-loading-21224 attachment-square size-square wp-post-image" alt="tensor calculus" title="tensorcalculus" decoding="async" /></noscript><span class='related-format-icon '><span class='related-format-icon-inner' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span></span></span><strong class="av-related-title">The 10 Commandments of Index Expressions and Tensor Calculus</strong></a></div><div class='av_one_half no_margin relThumb relThumb3 relThumbOdd post-format-standard related_column'><a href='https://www.physicsforums.com/insights/yardsticks-to-metric-tensor-fields/' class='relThumWrap noLightbox' title='Yardsticks to Metric Tensor Fields'><span class='related_image_wrap' ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMTgwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="180" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2022/08/definition-differences-180x135.png" class="wp-image-41991 avia-img-lazy-loading-41991 attachment-square size-square wp-post-image" alt="definition differences" title="definition-differences" decoding="async" /><noscript><img loading="lazy" width="180" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2022/08/definition-differences-180x135.png" class="wp-image-41991 avia-img-lazy-loading-41991 attachment-square size-square wp-post-image" alt="definition differences" title="definition-differences" decoding="async" /></noscript><span class='related-format-icon '><span class='related-format-icon-inner' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span></span></span><strong class="av-related-title">Yardsticks to Metric Tensor Fields</strong></a></div><div class='av_one_half no_margin relThumb relThumb4 relThumbEven post-format-standard related_column'><a href='https://www.physicsforums.com/insights/self-study-basic-high-school-mathematics/' class='relThumWrap noLightbox' title='How to Self-Study Basic High School Mathematics'><span class='related_image_wrap' ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMTgwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="180" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2015/11/studymath-2-180x135.png" class="wp-image-6508 avia-img-lazy-loading-6508 attachment-square size-square wp-post-image" alt="studymath" title="studymath-2" decoding="async" /><noscript><img loading="lazy" width="180" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2015/11/studymath-2-180x135.png" class="wp-image-6508 avia-img-lazy-loading-6508 attachment-square size-square wp-post-image" alt="studymath" title="studymath-2" decoding="async" /></noscript><span class='related-format-icon '><span class='related-format-icon-inner' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span></span></span><strong class="av-related-title">How to Self-Study Basic High School Mathematics</strong></a></div><div class='av_one_half no_margin relThumb relThumb5 relThumbOdd post-format-standard related_column'><a href='https://www.physicsforums.com/insights/what-is-a-tensor/' class='relThumWrap noLightbox' title='What Is a Tensor? The mathematical point of view.'><span class='related_image_wrap' ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMTgwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="180" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2017/06/whatisatensor-180x135.png" class="wp-image-14688 avia-img-lazy-loading-14688 attachment-square size-square wp-post-image" alt="whatisatensor" title="whatisatensor" decoding="async" /><noscript><img loading="lazy" width="180" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2017/06/whatisatensor-180x135.png" class="wp-image-14688 avia-img-lazy-loading-14688 attachment-square size-square wp-post-image" alt="whatisatensor" title="whatisatensor" decoding="async" /></noscript><span class='related-format-icon '><span class='related-format-icon-inner' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span></span></span><strong class="av-related-title">What Is a Tensor? The mathematical point of view.</strong></a></div><div class='av_one_half no_margin omega relThumb relThumb6 relThumbEven post-format-standard related_column'><a href='https://www.physicsforums.com/insights/a-numerical-insight-for-the-fundamental-theorem-of-calculus/' class='relThumWrap noLightbox' title='A Numerical Insight for the Fundamental Theorem of Calculus'><span class='related_image_wrap' ><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxODAiIGhlaWdodD0iMTM1IiB2aWV3Qm94PSIwIDAgMTgwIDEzNSI+PHJlY3Qgd2lkdGg9IjEwMCUiIGhlaWdodD0iMTAwJSIgZmlsbD0iI2NmZDRkYiIvPjwvc3ZnPg==" loading="lazy" width="180" height="135" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2018/11/calc_therom-180x135.png" class="wp-image-22664 avia-img-lazy-loading-22664 attachment-square size-square wp-post-image" alt="Calculus Therom" title="calc_therom" decoding="async" /><noscript><img loading="lazy" width="180" height="135" src="https://www.physicsforums.com/insights/wp-content/uploads/2018/11/calc_therom-180x135.png" class="wp-image-22664 avia-img-lazy-loading-22664 attachment-square size-square wp-post-image" alt="Calculus Therom" title="calc_therom" decoding="async" /></noscript><span class='related-format-icon '><span class='related-format-icon-inner' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span></span></span><strong class="av-related-title">A Numerical Insight for the Fundamental Theorem of Calculus</strong></a></div></div></div><div class='comment-entry post-entry'><div class='comment_meta_container'><div class='side-container-comment'><div class='side-container-comment-inner'> <span class='comment-count'>9</span> <span class='comment-text'>replies</span> <span class='center-border center-border-left'></span> <span class='center-border center-border-right'></span></div></div></div><div class='comment_container'><ol class="commentlist" id="comments"><li class="comment byuser comment-author-wwgd even thread-even depth-1" id="li-comment-13423"><div id="comment-13423"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">WWGD</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13423"> <time > February 13, 2025 at 2:18 pm </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 744598" data-quote="pines-demon" data-source="post: 7242428"><div class="bbCodeBlock-title"><p> pines-demon said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> Only that. People are already <s>thinking in </s> implementing post-quantum cryptography.</div></p></div></blockquote><p>I hear hackers have downloaded (standardly-) encrypted comment to be decrypted when Quantum computers become available. Hopefully much of that will be outdated, useless by then.</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-wwgd odd alt thread-odd thread-alt depth-1" id="li-comment-13422"><div id="comment-13422"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">WWGD</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13422"> <time > February 13, 2025 at 10:54 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 744598" data-quote="pines-demon" data-source="post: 7242399"><div class="bbCodeBlock-title"><p> pines-demon said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> Standard cryptography only.</div></p></div></blockquote><p>RSA?</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-fresh_42 bypostauthor even thread-even depth-1" id="li-comment-13421"><div id="comment-13421"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">fresh_42</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13421"> <time > February 13, 2025 at 10:45 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 69719" data-quote="WWGD" data-source="post: 7242397"><div class="bbCodeBlock-title"><p> WWGD said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> Criptography in its present form will be useless when Quantum Computers become common.</div></p></div></blockquote><p>I'm not so sure. If factorization becomes faster, keys become larger, too. Error-correcting codes are also part of cryptology. Its principles based on the theory of cyclic groups won't change.</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-wwgd odd alt thread-odd thread-alt depth-1" id="li-comment-13420"><div id="comment-13420"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">WWGD</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13420"> <time > February 13, 2025 at 10:37 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 572553" data-quote="fresh_42" data-source="post: 7241069"><div class="bbCodeBlock-title"><p> fresh_42 said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> I meant that ERH is the interesting conjecture for cryptography and number theory, RH without ERH not so much.</div></p></div></blockquote><p>Criptography in its present form will be useless when Quantum Computers become common.</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-fresh_42 bypostauthor even thread-even depth-1" id="li-comment-13419"><div id="comment-13419"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">fresh_42</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13419"> <time > February 12, 2025 at 10:05 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 744598" data-quote="pines-demon" data-source="post: 7242124"><div class="bbCodeBlock-title"><p> pines-demon said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> Most people consider group theory obscure but it is not group theory that they are referring when saying that. Group theory is easy to approach (it can be a good introduction on how to build mathematical proofs in general), the whole machinery that takes time and sweat is representation theory.</div></p></div></blockquote><p>I think this view is too simplistic. Sure, groups are often defined via some representation, be it linear or not, so it is difficult in many cases to separate both. However, we have e.g. the theorem of Novikov-Boone-Britton: <a href="https://math.uchicago.edu/~shmuel/lg-readings/Joseph%20J.%20Rotman,%20The%20Word%20Problem%20.pdf" target="_blank" class="link link--external" rel="nofollow ugc noopener"><i>There exists a finitely presented group with an unsolvable word problem</i></a>. Then we have the discrete Fourier transformation in cryptography, groups in the theory of elliptic curves, in number theory, or in topology, for instance, in knot theory. Group theory does not end with Sylow's theorems.</div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-fresh_42 bypostauthor odd alt thread-odd thread-alt depth-1" id="li-comment-13418"><div id="comment-13418"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">fresh_42</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13418"> <time > February 12, 2025 at 9:02 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 252793" data-quote="martinbn" data-source="post: 7242115"><div class="bbCodeBlock-title"><p> martinbn said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> Ok, but you wrote that it is believed to be proven. Is that what you meant? Where can we see the prove?</div></p></div></blockquote><p>Thanks. I have changed it to "… the extended Riemann hypothesis, the version that is really believed that has to be proven." I hope it is clearer now, although I'm not 100% sure whether it shouldn't have been "… the extended Riemann hypothesis, the version that is really believed that will have to be proven."</p><p>I stumbled upon the property of English that leaves out "that" in subclauses.</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-martinbn even thread-even depth-1" id="li-comment-13417"><div id="comment-13417"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">martinbn</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13417"> <time > February 12, 2025 at 4:23 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 572553" data-quote="fresh_42" data-source="post: 7241069"><div class="bbCodeBlock-title"><p> fresh_42 said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> I meant that ERH is the interesting conjecture for cryptography and number theory, RH without ERH not so much.</div></p></div></blockquote><p>Ok, but you wrote that it is believed to be proven. Is that what you meant? Where can we see the prove?</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-fresh_42 bypostauthor odd alt thread-odd thread-alt depth-1" id="li-comment-13416"><div id="comment-13416"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">fresh_42</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13416"> <time > February 6, 2025 at 4:11 pm </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper"><blockquote data-attributes="member: 252793" data-quote="martinbn" data-source="post: 7240196"><div class="bbCodeBlock-title"><p> martinbn said</p></div><div class="bbCodeBlock-content"><div class="bbCodeBlock-expandContent js-expandContent "> What do you mean when you say that the extended Riemann hypothesis is believed to be proven?</div></p></div></blockquote><p>I meant that ERH is the interesting conjecture for cryptography and number theory, RH without ERH not so much.</p></div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li><li class="comment byuser comment-author-martinbn even thread-even depth-1" id="li-comment-13415"><div id="comment-13415"><article><div class="gravatar"></div><div class='comment_content'><header class="comment-header" aria-label="Comment Info" > <cite class="author_name heading"><cite class="comment_author_name">martinbn</cite></cite> <span class="says">says:</span><div class="comment-meta commentmetadata"> <a href="https://www.physicsforums.com/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#comment-13415"> <time > February 3, 2025 at 2:27 am </time> </a></div></header><div class='comment_text entry-content-wrapper clearfix' ><div class="bbWrapper">What do you mean when you say that the extended Riemann hypothesis is believed to be proven?</div> <a rel="nofollow" class="comment-reply-login" href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">Log in to Reply</a></div></div></article></div></li></ol></div><div class="comment_container"><h3 class='miniheading '>Leave a Reply</h3><span class="minitext">Want to join the discussion?<br />Feel free to contribute!</span><div id="respond" class="comment-respond"><h3 id="reply-title" class="comment-reply-title">Leave a Reply <small><a rel="nofollow" id="cancel-comment-reply-link" href="/insights/groups-the-path-from-a-simple-concept-to-mysterious-results/#respond" style="display:none;">Cancel reply</a></small></h3><p class="must-log-in">You must be <a href="https://www.physicsforums.com/insights/wp-login.php?redirect_to=https%3A%2F%2Fwww.physicsforums.com%2Finsights%2Fgroups-the-path-from-a-simple-concept-to-mysterious-results%2F">logged in</a> to post a comment.</p></div></div></div></main><aside class='sidebar sidebar_right smartphones_sidebar_active alpha units' aria-label="Sidebar" role="complementary" itemscope="itemscope" itemtype="https://schema.org/WPSideBar" ><div class="inner_sidebar extralight-border"><section id="custom_html-2" class="widget_text widget clearfix widget_custom_html"><div class="textwidget custom-html-widget"><h2 class="widgettitle">Trending Articles</h2><ul class="wpp-list wpp-sunset"><li class="" style="--item-position: 1;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/an-accurate-hookes-law-laboratory/" class="wpp-post-title" target="_self">An Example of An Accurate Hooke’s Law Laboratory</a></div></li><li class="" style="--item-position: 2;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/valentines-reflections-mathematical-matters-of-the-heart/" class="wpp-post-title" target="_self">Valentine’s Reflections: Mathematical Matters of the Heart</a></div></li><li class="" style="--item-position: 3;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/can-see-atom/" class="wpp-post-title" target="_self">Can We See an Atom?</a></div></li><li class="" style="--item-position: 4;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/what-is-a-tensor/" class="wpp-post-title" target="_self">What Is a Tensor? The mathematical point of view.</a></div></li><li class="" style="--item-position: 5;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/demystifying-chain-rule-calculus/" class="wpp-post-title" target="_self">Demystifying the Chain Rule in Calculus</a></div></li><li class="" style="--item-position: 6;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/misconceptions-virtual-particles/" class="wpp-post-title" target="_self">Top Misconceptions about Virtual Particles</a></div></li><li class="" style="--item-position: 7;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/quantum-mechanics-and-the-famous-double-slit-experiment/" class="wpp-post-title" target="_self">Quantum Mechanics and the Famous Double-slit Experiment</a></div></li><li class="" style="--item-position: 8;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/learn-basic-wood-anatomy/" class="wpp-post-title" target="_self">Tell One Wood from Another: Basic Wood Anatomy</a></div></li><li class="" style="--item-position: 9;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/ac-power-analysis-part-1-basics/" class="wpp-post-title" target="_self">Intro to AC Power Analysis: Learn System Basics</a></div></li><li class="" style="--item-position: 10;--total-items: 10"><div class="item-position"></div><div class="item-data"><a href="https://www.physicsforums.com/insights/hand-wavy-discussion-planck-length/" class="wpp-post-title" target="_self">What Planck Length Is and It’s Common Misconceptions</a></div></li></ul></div><span class="seperator extralight-border"></span></section><section id="nav_menu-3" class="widget clearfix widget_nav_menu"><h3 class="widgettitle">Physics Forums</h3><div class="menu-sidebar-forums-container"><ul id="menu-sidebar-forums" class="menu"><li id="menu-item-26724" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26724"><a href="https://www.physicsforums.com/forums/classical-physics.61/">Classical Physics</a></li><li id="menu-item-26725" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26725"><a href="https://www.physicsforums.com/forums/atomic-and-condensed-matter.64/">Atomic and Condensed Matter</a></li><li id="menu-item-26726" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26726"><a href="https://www.physicsforums.com/forums/quantum-physics.62/">Quantum Physics</a></li><li id="menu-item-26727" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26727"><a href="https://www.physicsforums.com/forums/special-and-general-relativity.70/">Special and General Relativity</a></li><li id="menu-item-26728" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26728"><a href="https://www.physicsforums.com/forums/beyond-the-standard-model.66/">Beyond the Standard Model</a></li><li id="menu-item-26729" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26729"><a href="https://www.physicsforums.com/forums/high-energy-nuclear-particle-physics.65/">High Energy, Nuclear, Particle Physics</a></li><li id="menu-item-26731" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26731"><a href="https://www.physicsforums.com/forums/astronomy-and-astrophysics.71/">Astronomy and Astrophysics</a></li><li id="menu-item-26732" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26732"><a href="https://www.physicsforums.com/forums/cosmology.69/">Cosmology</a></li><li id="menu-item-26730" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-26730"><a href="https://www.physicsforums.com/forums/other-physics-topics.111/">Other Physics Topics</a></li></ul></div><span class="seperator extralight-border"></span></section><section id="text-4" class="widget clearfix widget_text"><h3 class="widgettitle">Receive Insights Articles to Your Inbox</h3><div class="textwidget"><form style="border:0px solid #ccc;text-align:left;" action="https://feedburner.google.com/fb/a/mailverify" method="post" target="popupwindow" onsubmit="window.open('https://feedburner.google.com/fb/a/mailverify?uri=PhysicsForumsInsights', 'popupwindow', 'scrollbars=yes,width=550,height=520');return true"><p>Enter your email address:</p><p><input type="text" style="width:200px;border:2px solid #ccc;" name="email"/></p><input type="hidden" value="PhysicsForumsInsights" name="uri"/><input type="hidden" name="loc" value="en_US"/><input type="submit" value="Subscribe" /></p></form></div> <span class="seperator extralight-border"></span></section><section id="nav_menu-2" class="widget clearfix widget_nav_menu"><h3 class="widgettitle">Blog Information</h3><div class="menu-sidebar-container"><ul id="menu-sidebar" class="menu"><li id="menu-item-14015" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-14015"><a href="https://www.physicsforums.com/register">Become a Member!</a></li><li id="menu-item-14012" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-14012"><a href="https://www.physicsforums.com/insights/application/">Write for Us!</a></li><li id="menu-item-18348" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-18348"><a href="https://www.physicsforums.com/insights/postindex/">Table of Contents</a></li><li id="menu-item-18353" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-18353"><a href="https://www.physicsforums.com/insights/authors/">Blog Author List</a></li></ul></div><span class="seperator extralight-border"></span></section><section id="tag_cloud-3" class="widget clearfix widget_tag_cloud"><h3 class="widgettitle">Popular Topics</h3><div class="tagcloud"><a href="https://www.physicsforums.com/insights/tag/astronomy/" class="tag-cloud-link tag-link-307 tag-link-position-1" style="font-size: 9.1666666666667pt;" aria-label="astronomy (17 items)">astronomy<span class="tag-link-count"> (17)</span></a> <a href="https://www.physicsforums.com/insights/tag/black-holes/" class="tag-cloud-link tag-link-28 tag-link-position-2" style="font-size: 9.1666666666667pt;" aria-label="black holes (17 items)">black holes<span class="tag-link-count"> (17)</span></a> <a href="https://www.physicsforums.com/insights/tag/classical-physics/" class="tag-cloud-link tag-link-852 tag-link-position-3" style="font-size: 20.833333333333pt;" aria-label="classical physics (35 items)">classical physics<span class="tag-link-count"> (35)</span></a> <a href="https://www.physicsforums.com/insights/tag/cosmology/" class="tag-cloud-link tag-link-224 tag-link-position-4" style="font-size: 8pt;" aria-label="cosmology (16 items)">cosmology<span class="tag-link-count"> (16)</span></a> <a href="https://www.physicsforums.com/insights/tag/education/" class="tag-cloud-link tag-link-104 tag-link-position-5" style="font-size: 13.833333333333pt;" aria-label="education (23 items)">education<span class="tag-link-count"> (23)</span></a> <a href="https://www.physicsforums.com/insights/tag/electromagnetism/" class="tag-cloud-link tag-link-21 tag-link-position-6" style="font-size: 10.722222222222pt;" aria-label="electromagnetism (19 items)">electromagnetism<span class="tag-link-count"> (19)</span></a> <a href="https://www.physicsforums.com/insights/tag/general-relativity/" class="tag-cloud-link tag-link-333 tag-link-position-7" style="font-size: 10.722222222222pt;" aria-label="general relativity (19 items)">general relativity<span class="tag-link-count"> (19)</span></a> <a href="https://www.physicsforums.com/insights/tag/gravity/" class="tag-cloud-link tag-link-40 tag-link-position-8" style="font-size: 14.611111111111pt;" aria-label="gravity (24 items)">gravity<span class="tag-link-count"> (24)</span></a> <a href="https://www.physicsforums.com/insights/tag/interview/" class="tag-cloud-link tag-link-858 tag-link-position-9" style="font-size: 13.055555555556pt;" aria-label="interview (22 items)">interview<span class="tag-link-count"> (22)</span></a> <a href="https://www.physicsforums.com/insights/tag/mathematics/" class="tag-cloud-link tag-link-69 tag-link-position-10" style="font-size: 22pt;" aria-label="mathematics (38 items)">mathematics<span class="tag-link-count"> (38)</span></a> <a href="https://www.physicsforums.com/insights/tag/mathematics-self-study/" class="tag-cloud-link tag-link-484 tag-link-position-11" style="font-size: 11.5pt;" aria-label="mathematics self-study (20 items)">mathematics self-study<span class="tag-link-count"> (20)</span></a> <a href="https://www.physicsforums.com/insights/tag/physicist/" class="tag-cloud-link tag-link-11 tag-link-position-12" style="font-size: 15.777777777778pt;" aria-label="Physicist (26 items)">Physicist<span class="tag-link-count"> (26)</span></a> <a href="https://www.physicsforums.com/insights/tag/programming/" class="tag-cloud-link tag-link-42 tag-link-position-13" style="font-size: 9.9444444444444pt;" aria-label="programming (18 items)">programming<span class="tag-link-count"> (18)</span></a> <a href="https://www.physicsforums.com/insights/tag/quantum-field-theory/" class="tag-cloud-link tag-link-87 tag-link-position-14" style="font-size: 18.888888888889pt;" aria-label="Quantum Field Theory (31 items)">Quantum Field Theory<span class="tag-link-count"> (31)</span></a> <a href="https://www.physicsforums.com/insights/tag/quantum-mechanics/" class="tag-cloud-link tag-link-62 tag-link-position-15" style="font-size: 21.222222222222pt;" aria-label="quantum mechanics (36 items)">quantum mechanics<span class="tag-link-count"> (36)</span></a> <a href="https://www.physicsforums.com/insights/tag/quantum-physics/" class="tag-cloud-link tag-link-314 tag-link-position-16" style="font-size: 13.055555555556pt;" aria-label="quantum physics (22 items)">quantum physics<span class="tag-link-count"> (22)</span></a> <a href="https://www.physicsforums.com/insights/tag/relativity/" class="tag-cloud-link tag-link-114 tag-link-position-17" style="font-size: 22pt;" aria-label="relativity (38 items)">relativity<span class="tag-link-count"> (38)</span></a> <a href="https://www.physicsforums.com/insights/tag/special-relativity/" class="tag-cloud-link tag-link-89 tag-link-position-18" style="font-size: 8pt;" aria-label="Special Relativity (16 items)">Special Relativity<span class="tag-link-count"> (16)</span></a> <a href="https://www.physicsforums.com/insights/tag/technology/" class="tag-cloud-link tag-link-861 tag-link-position-19" style="font-size: 10.722222222222pt;" aria-label="technology (19 items)">technology<span class="tag-link-count"> (19)</span></a> <a href="https://www.physicsforums.com/insights/tag/universe/" class="tag-cloud-link tag-link-265 tag-link-position-20" style="font-size: 12.277777777778pt;" aria-label="universe (21 items)">universe<span class="tag-link-count"> (21)</span></a></div> <span class="seperator extralight-border"></span></section></div></aside></div></div><footer class='container_wrap socket_color' id='socket' role="contentinfo" itemscope="itemscope" itemtype="https://schema.org/WPFooter" aria-label="Copyright and company info" ><div class='container'><span class='copyright'> 2024 © Physics Forums, ALL RIGHTS RESERVED - <a href="https://www.physicsforums.com/misc/contact">Contact Us</a> - <a href="https://www.physicsforums.com/threads/physics-forums-privacy-policy.797829/">Privacy Policy</a> - <a href="https://www.physicsforums.com/insights/about-pf-insights/">About PF Insights</a></span><ul class='noLightbox social_bookmarks icon_count_4'><li class='social_bookmarks_twitter av-social-link-twitter social_icon_1'><a target="_blank" aria-label="Link to X" href="https://twitter.com/physicsforums" aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='X' rel="noopener"><span class='avia_hidden_link_text'>X</span></a></li><li class='social_bookmarks_facebook av-social-link-facebook social_icon_2'><a target="_blank" aria-label="Link to Facebook" href='https://www.facebook.com/physicsforums' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='Facebook' rel="noopener"><span class='avia_hidden_link_text'>Facebook</span></a></li><li class='social_bookmarks_linkedin av-social-link-linkedin social_icon_3'><a target="_blank" aria-label="Link to LinkedIn" href='https://www.linkedin.com/company/physics-forums/' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='LinkedIn' rel="noopener"><span class='avia_hidden_link_text'>LinkedIn</span></a></li><li class='social_bookmarks_youtube av-social-link-youtube social_icon_4'><a target="_blank" aria-label="Link to Youtube" href='https://www.youtube.com/@physicsforum' aria-hidden='false' data-av_icon='' data-av_iconfont='entypo-fontello' title='Youtube' rel="noopener"><span class='avia_hidden_link_text'>Youtube</span></a></li></ul></div></footer></div><a class='avia-post-nav avia-post-prev with-image' href='https://www.physicsforums.com/insights/modern-video-codecs/' ><span class="label iconfont" aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello'></span><span class="entry-info-wrap"><span class="entry-info"><span class='entry-title'>A Possible AI Modern Video Codec</span><span class='entry-image'><img data-lazyloaded="1" src="data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSI4MCIgaGVpZ2h0PSI4MCIgdmlld0JveD0iMCAwIDgwIDgwIj48cmVjdCB3aWR0aD0iMTAwJSIgaGVpZ2h0PSIxMDAlIiBmaWxsPSIjY2ZkNGRiIi8+PC9zdmc+" loading="lazy" width="80" height="80" data-src="https://www.physicsforums.com/insights/wp-content/uploads/2023/12/digital-audio-1-80x80.png" class="wp-image-44679 avia-img-lazy-loading-44679 attachment-thumbnail size-thumbnail wp-post-image" alt="digital audio guide" decoding="async" data-srcset="https://www.physicsforums.com/insights/wp-content/uploads/2023/12/digital-audio-1-80x80.png 80w, https://www.physicsforums.com/insights/wp-content/uploads/2023/12/digital-audio-1-36x36.png 36w" data-sizes="(max-width: 80px) 100vw, 80px" /><noscript><img loading="lazy" width="80" height="80" src="https://www.physicsforums.com/insights/wp-content/uploads/2023/12/digital-audio-1-80x80.png" class="wp-image-44679 avia-img-lazy-loading-44679 attachment-thumbnail size-thumbnail wp-post-image" alt="digital audio guide" decoding="async" srcset="https://www.physicsforums.com/insights/wp-content/uploads/2023/12/digital-audio-1-80x80.png 80w, https://www.physicsforums.com/insights/wp-content/uploads/2023/12/digital-audio-1-36x36.png 36w" sizes="(max-width: 80px) 100vw, 80px" /></noscript></span></span></span></a></div><a href='#top' title='Scroll to top' id='scroll-top-link' aria-hidden='true' data-av_icon='' data-av_iconfont='entypo-fontello' tabindex='-1'><span class="avia_hidden_link_text">Scroll to top</span></a><div id="fb-root"></div> <script data-optimized="1" type="text/javascript" src="https://www.physicsforums.com/insights/wp-content/litespeed/js/ffe2445567cebbe851874e864ab606aa.js?ver=606aa" defer></script> <script type='text/javascript'>/* */ var avia_framework_globals = avia_framework_globals || {}; avia_framework_globals.frameworkUrl = 'https://www.physicsforums.com/insights/wp-content/themes/enfold/framework/'; avia_framework_globals.installedAt = 'https://www.physicsforums.com/insights/wp-content/themes/enfold/'; avia_framework_globals.ajaxurl = 'https://www.physicsforums.com/insights/wp-admin/admin-ajax.php'; /* */</script> <script type="text/javascript" async='async' src="https://www.physicsforums.com/insights/wp-includes/js/jquery/jquery.min.js?ver=3.7.1" id="jquery-core-js"></script> <script type="text/javascript" id="wpil-frontend-script-js-extra">/* */ var wpilFrontend = {"ajaxUrl":"\/insights\/wp-admin\/admin-ajax.php","postId":"48834","postType":"post","openInternalInNewTab":"0","openExternalInNewTab":"1","disableClicks":"0","openLinksWithJS":"0","trackAllElementClicks":"0","clicksI18n":{"imageNoText":"Image in link: No Text","imageText":"Image Title: ","noText":"No Anchor Text Found"}}; /* */</script> <script data-optimized="1" type="text/javascript" async='async' src="https://www.physicsforums.com/insights/wp-content/litespeed/js/32fbbb44e22394d8c0f1ada21cfadab5.js?ver=ef02b" id="wpil-frontend-script-js"></script> <script data-optimized="1" type="text/javascript" async='async' src="https://www.physicsforums.com/insights/wp-content/litespeed/js/28eaaf920db7121b0c5763a98afd6217.js?ver=f2d22" id="comment-reply-js" async="async" data-wp-strategy="async"></script> <script data-optimized="1" type="text/javascript" async='async' src="https://www.physicsforums.com/insights/wp-content/litespeed/js/966b486962f7a18865706d52697208b2.js?ver=208b2" id="avia-footer-scripts-js"></script> <script data-no-optimize="1">!function(t,e){"object"==typeof exports&&"undefined"!=typeof module?module.exports=e():"function"==typeof define&&define.amd?define(e):(t="undefined"!=typeof globalThis?globalThis:t||self).LazyLoad=e()}(this,function(){"use strict";function e(){return(e=Object.assign||function(t){for(var e=1;e<arguments.length;e++){var n,a=arguments[e];for(n in a)Object.prototype.hasOwnProperty.call(a,n)&&(t[n]=a[n])}return t}).apply(this,arguments)}function i(t){return e({},it,t)}function o(t,e){var n,a="LazyLoad::Initialized",i=new t(e);try{n=new CustomEvent(a,{detail:{instance:i}})}catch(t){(n=document.createEvent("CustomEvent")).initCustomEvent(a,!1,!1,{instance:i})}window.dispatchEvent(n)}function l(t,e){return t.getAttribute(gt+e)}function c(t){return l(t,bt)}function s(t,e){return function(t,e,n){e=gt+e;null!==n?t.setAttribute(e,n):t.removeAttribute(e)}(t,bt,e)}function r(t){return s(t,null),0}function u(t){return null===c(t)}function d(t){return c(t)===vt}function f(t,e,n,a){t&&(void 0===a?void 0===n?t(e):t(e,n):t(e,n,a))}function _(t,e){nt?t.classList.add(e):t.className+=(t.className?" ":"")+e}function v(t,e){nt?t.classList.remove(e):t.className=t.className.replace(new RegExp("(^|\\s+)"+e+"(\\s+|$)")," ").replace(/^\s+/,"").replace(/\s+$/,"")}function g(t){return t.llTempImage}function b(t,e){!e||(e=e._observer)&&e.unobserve(t)}function p(t,e){t&&(t.loadingCount+=e)}function h(t,e){t&&(t.toLoadCount=e)}function n(t){for(var e,n=[],a=0;e=t.children[a];a+=1)"SOURCE"===e.tagName&&n.push(e);return n}function m(t,e){(t=t.parentNode)&&"PICTURE"===t.tagName&&n(t).forEach(e)}function a(t,e){n(t).forEach(e)}function E(t){return!!t[st]}function I(t){return t[st]}function y(t){return delete t[st]}function A(e,t){var n;E(e)||(n={},t.forEach(function(t){n[t]=e.getAttribute(t)}),e[st]=n)}function k(a,t){var i;E(a)&&(i=I(a),t.forEach(function(t){var e,n;e=a,(t=i[n=t])?e.setAttribute(n,t):e.removeAttribute(n)}))}function L(t,e,n){_(t,e.class_loading),s(t,ut),n&&(p(n,1),f(e.callback_loading,t,n))}function w(t,e,n){n&&t.setAttribute(e,n)}function x(t,e){w(t,ct,l(t,e.data_sizes)),w(t,rt,l(t,e.data_srcset)),w(t,ot,l(t,e.data_src))}function O(t,e,n){var a=l(t,e.data_bg_multi),i=l(t,e.data_bg_multi_hidpi);(a=at&&i?i:a)&&(t.style.backgroundImage=a,n=n,_(t=t,(e=e).class_applied),s(t,ft),n&&(e.unobserve_completed&&b(t,e),f(e.callback_applied,t,n)))}function N(t,e){!e||0<e.loadingCount||0<e.toLoadCount||f(t.callback_finish,e)}function C(t,e,n){t.addEventListener(e,n),t.llEvLisnrs[e]=n}function M(t){return!!t.llEvLisnrs}function z(t){if(M(t)){var e,n,a=t.llEvLisnrs;for(e in a){var i=a[e];n=e,i=i,t.removeEventListener(n,i)}delete t.llEvLisnrs}}function R(t,e,n){var a;delete t.llTempImage,p(n,-1),(a=n)&&--a.toLoadCount,v(t,e.class_loading),e.unobserve_completed&&b(t,n)}function T(o,r,c){var l=g(o)||o;M(l)||function(t,e,n){M(t)||(t.llEvLisnrs={});var a="VIDEO"===t.tagName?"loadeddata":"load";C(t,a,e),C(t,"error",n)}(l,function(t){var e,n,a,i;n=r,a=c,i=d(e=o),R(e,n,a),_(e,n.class_loaded),s(e,dt),f(n.callback_loaded,e,a),i||N(n,a),z(l)},function(t){var e,n,a,i;n=r,a=c,i=d(e=o),R(e,n,a),_(e,n.class_error),s(e,_t),f(n.callback_error,e,a),i||N(n,a),z(l)})}function G(t,e,n){var a,i,o,r,c;t.llTempImage=document.createElement("IMG"),T(t,e,n),E(c=t)||(c[st]={backgroundImage:c.style.backgroundImage}),o=n,r=l(a=t,(i=e).data_bg),c=l(a,i.data_bg_hidpi),(r=at&&c?c:r)&&(a.style.backgroundImage='url("'.concat(r,'")'),g(a).setAttribute(ot,r),L(a,i,o)),O(t,e,n)}function D(t,e,n){var a;T(t,e,n),a=e,e=n,(t=It[(n=t).tagName])&&(t(n,a),L(n,a,e))}function V(t,e,n){var a;a=t,(-1<yt.indexOf(a.tagName)?D:G)(t,e,n)}function F(t,e,n){var a;t.setAttribute("loading","lazy"),T(t,e,n),a=e,(e=It[(n=t).tagName])&&e(n,a),s(t,vt)}function j(t){t.removeAttribute(ot),t.removeAttribute(rt),t.removeAttribute(ct)}function P(t){m(t,function(t){k(t,Et)}),k(t,Et)}function S(t){var e;(e=At[t.tagName])?e(t):E(e=t)&&(t=I(e),e.style.backgroundImage=t.backgroundImage)}function U(t,e){var n;S(t),n=e,u(e=t)||d(e)||(v(e,n.class_entered),v(e,n.class_exited),v(e,n.class_applied),v(e,n.class_loading),v(e,n.class_loaded),v(e,n.class_error)),r(t),y(t)}function $(t,e,n,a){var i;n.cancel_on_exit&&(c(t)!==ut||"IMG"===t.tagName&&(z(t),m(i=t,function(t){j(t)}),j(i),P(t),v(t,n.class_loading),p(a,-1),r(t),f(n.callback_cancel,t,e,a)))}function q(t,e,n,a){var i,o,r=(o=t,0<=pt.indexOf(c(o)));s(t,"entered"),_(t,n.class_entered),v(t,n.class_exited),i=t,o=a,n.unobserve_entered&&b(i,o),f(n.callback_enter,t,e,a),r||V(t,n,a)}function H(t){return t.use_native&&"loading"in HTMLImageElement.prototype}function B(t,i,o){t.forEach(function(t){return(a=t).isIntersecting||0<a.intersectionRatio?q(t.target,t,i,o):(e=t.target,n=t,a=i,t=o,void(u(e)||(_(e,a.class_exited),$(e,n,a,t),f(a.callback_exit,e,n,t))));var e,n,a})}function J(e,n){var t;et&&!H(e)&&(n._observer=new IntersectionObserver(function(t){B(t,e,n)},{root:(t=e).container===document?null:t.container,rootMargin:t.thresholds||t.threshold+"px"}))}function K(t){return Array.prototype.slice.call(t)}function Q(t){return t.container.querySelectorAll(t.elements_selector)}function W(t){return c(t)===_t}function X(t,e){return e=t||Q(e),K(e).filter(u)}function Y(e,t){var n;(n=Q(e),K(n).filter(W)).forEach(function(t){v(t,e.class_error),r(t)}),t.update()}function t(t,e){var n,a,t=i(t);this._settings=t,this.loadingCount=0,J(t,this),n=t,a=this,Z&&window.addEventListener("online",function(){Y(n,a)}),this.update(e)}var Z="undefined"!=typeof window,tt=Z&&!("onscroll"in window)||"undefined"!=typeof navigator&&/(gle|ing|ro)bot|crawl|spider/i.test(navigator.userAgent),et=Z&&"IntersectionObserver"in window,nt=Z&&"classList"in document.createElement("p"),at=Z&&1<window.devicePixelRatio,it={elements_selector:".lazy",container:tt||Z?document:null,threshold:300,thresholds:null,data_src:"src",data_srcset:"srcset",data_sizes:"sizes",data_bg:"bg",data_bg_hidpi:"bg-hidpi",data_bg_multi:"bg-multi",data_bg_multi_hidpi:"bg-multi-hidpi",data_poster:"poster",class_applied:"applied",class_loading:"litespeed-loading",class_loaded:"litespeed-loaded",class_error:"error",class_entered:"entered",class_exited:"exited",unobserve_completed:!0,unobserve_entered:!1,cancel_on_exit:!0,callback_enter:null,callback_exit:null,callback_applied:null,callback_loading:null,callback_loaded:null,callback_error:null,callback_finish:null,callback_cancel:null,use_native:!1},ot="src",rt="srcset",ct="sizes",lt="poster",st="llOriginalAttrs",ut="loading",dt="loaded",ft="applied",_t="error",vt="native",gt="data-",bt="ll-status",pt=[ut,dt,ft,_t],ht=[ot],mt=[ot,lt],Et=[ot,rt,ct],It={IMG:function(t,e){m(t,function(t){A(t,Et),x(t,e)}),A(t,Et),x(t,e)},IFRAME:function(t,e){A(t,ht),w(t,ot,l(t,e.data_src))},VIDEO:function(t,e){a(t,function(t){A(t,ht),w(t,ot,l(t,e.data_src))}),A(t,mt),w(t,lt,l(t,e.data_poster)),w(t,ot,l(t,e.data_src)),t.load()}},yt=["IMG","IFRAME","VIDEO"],At={IMG:P,IFRAME:function(t){k(t,ht)},VIDEO:function(t){a(t,function(t){k(t,ht)}),k(t,mt),t.load()}},kt=["IMG","IFRAME","VIDEO"];return t.prototype={update:function(t){var e,n,a,i=this._settings,o=X(t,i);{if(h(this,o.length),!tt&&et)return H(i)?(e=i,n=this,o.forEach(function(t){-1!==kt.indexOf(t.tagName)&&F(t,e,n)}),void h(n,0)):(t=this._observer,i=o,t.disconnect(),a=t,void i.forEach(function(t){a.observe(t)}));this.loadAll(o)}},destroy:function(){this._observer&&this._observer.disconnect(),Q(this._settings).forEach(function(t){y(t)}),delete this._observer,delete this._settings,delete this.loadingCount,delete this.toLoadCount},loadAll:function(t){var e=this,n=this._settings;X(t,n).forEach(function(t){b(t,e),V(t,n,e)})},restoreAll:function(){var e=this._settings;Q(e).forEach(function(t){U(t,e)})}},t.load=function(t,e){e=i(e);V(t,e)},t.resetStatus=function(t){r(t)},Z&&function(t,e){if(e)if(e.length)for(var n,a=0;n=e[a];a+=1)o(t,n);else o(t,e)}(t,window.lazyLoadOptions),t});!function(e,t){"use strict";function a(){t.body.classList.add("litespeed_lazyloaded")}function n(){console.log("[LiteSpeed] Start Lazy Load Images"),d=new LazyLoad({elements_selector:"[data-lazyloaded]",callback_finish:a}),o=function(){d.update()},e.MutationObserver&&new MutationObserver(o).observe(t.documentElement,{childList:!0,subtree:!0,attributes:!0})}var d,o;e.addEventListener?e.addEventListener("load",n,!1):e.attachEvent("onload",n)}(window,document);</script></body></html>