Colva Roney-Dougal | |
---|---|
Scientific career | |
Fields | Mathematics |
Institutions | University of St. Andrews |
Colva Mary Roney-Dougal OBE is a British mathematician specializing in group theory and computational algebra. She is Professor of Pure Mathematics at the University of St Andrews, and the Director of the Centre for Interdisciplinary Research in Computational Algebra at St Andrews. [1] She is also known for her popularization of mathematics on BBC radio shows, [2] including appearances on In Our Time about the mathematics of Emmy Noether [3] and Pierre-Simon Laplace [4] and on The Infinite Monkey Cage about the nature of infinity and numbers in the real world. [5]
Roney-Dougal completed her PhD at the University of London in 2001. Her dissertation, Permutation Groups with a Unique Non-diagonal Self-paired Orbital, was supervised by Peter Cameron. [6]
With John Bray and Derek Holt, Roney-Dougal is the co-author of the book The Maximal Subgroups of the Low-Dimensional Finite Classical Groups (London Mathematical Society and Cambridge University Press, 2013). [7]
In 2015 she was given the inaugural Cheryl E. Praeger Visiting Research Fellowship, funding her to visit the University of Western Australia. [2]
Roney-Dougal was appointed Officer of the Order of the British Empire (OBE) in the 2024 New Year Honours for services to education and mathematics. [8]
In the area of abstract algebra known as group theory, the monster group M (also known as the Fischer–Griess monster, or the friendly giant) is the largest sporadic simple group, having order
Amalie Emmy Noether was a German mathematician who made many important contributions to abstract algebra. She proved Noether's first and second theorems, which are fundamental in mathematical physics. She was described by Pavel Alexandrov, Albert Einstein, Jean Dieudonné, Hermann Weyl and Norbert Wiener as the most important woman in the history of mathematics. As one of the leading mathematicians of her time, she developed theories of rings, fields, and algebras. In physics, Noether's theorem explains the connection between symmetry and conservation laws.
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers ; and p-adic integers.
In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.
Richard Dagobert Brauer was a leading German and American mathematician. He worked mainly in abstract algebra, but made important contributions to number theory. He was the founder of modular representation theory.
In mathematics, E7 is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e7, all of which have dimension 133; the same notation E7 is used for the corresponding root lattice, which has rank 7. The designation E7 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled E6, E7, E8, F4, and G2. The E7 algebra is thus one of the five exceptional cases.
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra of a Lie algebra that is self-normalising. They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra over a field of characteristic .
Max Noether was a German mathematician who worked on algebraic geometry and the theory of algebraic functions. He has been called "one of the finest mathematicians of the nineteenth century". He was the father of Emmy Noether.
In mathematics, a permutation group G acting on a non-empty finite set X is called primitive if G acts transitively on X and the only partitions the G-action preserves are the trivial partitions into either a single set or into |X| singleton sets. Otherwise, if G is transitive and G does preserve a nontrivial partition, G is called imprimitive.
In mathematics, and more specifically in abstract algebra, a rng is an algebraic structure satisfying the same properties as a ring, but without assuming the existence of a multiplicative identity. The term rng is meant to suggest that it is a ring without i, that is, without the requirement for an identity element.
In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group.
Robert Arnott Wilson is a retired mathematician in London, England, who is best known for his work on classifying the maximal subgroups of finite simple groups and for the work in the Monster group. He is also an accomplished violin, viola and piano player, having played as the principal viola in the Sinfonia of Birmingham. Due to a damaged finger, he now principally plays the kora.
In the area of modern algebra known as group theory, the Janko groupJ4 is a sporadic simple group of order
John Robert Stallings Jr. was a mathematician known for his seminal contributions to geometric group theory and 3-manifold topology. Stallings was a Professor Emeritus in the Department of Mathematics at the University of California at Berkeley where he had been a faculty member since 1967. He published over 50 papers, predominantly in the areas of geometric group theory and the topology of 3-manifolds. Stallings' most important contributions include a proof, in a 1960 paper, of the Poincaré Conjecture in dimensions greater than six and a proof, in a 1971 paper, of the Stallings theorem about ends of groups.
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures, which are sets with specific operations acting on their elements. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning. The abstract perspective on algebra has become so fundamental to advanced mathematics that it is simply called "algebra", while the term "abstract algebra" is seldom used except in pedagogy.
In algebraic number theory, the Albert–Brauer–Hasse–Noether theorem states that a central simple algebra over an algebraic number field K which splits over every completion Kv is a matrix algebra over K. The theorem is an example of a local-global principle in algebraic number theory and leads to a complete description of finite-dimensional division algebras over algebraic number fields in terms of their local invariants. It was proved independently by Richard Brauer, Helmut Hasse, and Emmy Noether and by Abraham Adrian Albert.
Gary Michael Seitz was an American mathematician, a Fellow of the American Mathematical Society and a College of Arts and Sciences Distinguished Professor Emeritus in Mathematics at the University of Oregon. He received his Ph.D. from the University of Oregon in 1968, where his adviser was Charles W. Curtis. Seitz specialized in the study of algebraic and finite groups. Seitz was active in the effort to exploit the relationship between algebraic groups and the finite groups of Lie type, in order to study the structure and representations of groups in the latter class. Such information is important in its own right, but was also critical in the classification of the finite simple groups, a major achievement of 20th century mathematics. Seitz made contributions to the classification of finite simple groups, such as those containing standard subgroups of Lie type. Following the classification, he pioneered the study of the subgroup structure of simple algebraic groups, and as an application went a long way towards solving the maximal subgroup problem for finite groups. For this work he received the Creativity Award from the National Science Foundation in 1991.
Sergei Nikolaevich Chernikov was a Russian mathematician who contributed significantly to the development of infinite group theory and linear inequalities.
Martin Liebeck is a professor of Pure Mathematics at Imperial College London whose research interests include group theory and algebraic combinatorics.