John Rhodes | |
|---|---|
 John Rhodes at Berkeley in 1981 | |
| Born | July 16, 1937 Columbus, Ohio, U.S. |
| Alma mater | Massachusetts Institute of Technology) |
| Known for | Krohn–Rhodes theory |
| Scientific career | |
| Doctoral advisor | Warren Ambrose |
John Lewis Rhodes (born July 16, 1937) is an American mathematician known for work in the theory of semigroups, finite state automata, and algebraic approaches to differential equations. [1] [2]
Rhodes was born in Columbus, Ohio, on July 16, 1937, and grew up in Wooster, Ohio, where he founded the Wooster Rocket Society as a teenager. In the fall of 1955, Rhodes entered the Massachusetts Institute of Technology intending to major in physics, but he soon switched to mathematics, earning his B.S. in 1960 and his Ph.D. in 1962. His Ph.D. thesis, co-written with a graduate student from Harvard, Kenneth Krohn, became known as the Prime Decomposition Theorem, or more simply the Krohn–Rhodes Theorem. [3] After a year on an NSF fellowship in Paris, he became a member of the Department of Mathematics at the University of California, Berkeley, where he spent his entire teaching career.
In the late 1960s, Rhodes wrote Applications of Automata Theory and Algebra: Via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games, informally known as The Wild Book, [4] which quickly became an underground classic, but remained in typescript until its revision and editing by Chrystopher L. Nehaniv in 2009. [5] The following year Springer published his and Benjamin Steinberg's book, The q-Theory of Finite Semigroups, both a history of the field and the fruit of eight years' development of finite semigroup theory. [6]
In recent years Rhodes brought semigroups into matroid theory. In 2015, he published, with Pedro V. Silva, the results of his current work in another monograph with Springer, Boolean Representations of Simplicial Complexes and Matroids. [7]
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and as an end to obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many applications ranging from logic to statistical physics and from evolutionary biology to computer science.
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
In mathematics, one can define a product of group subsets in a natural way. If S and T are subsets of a group G, then their product is the subset of G defined by
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to mathematical logic. The word automata comes from the Greek word αὐτόματος, which means "self-acting, self-willed, self-moving". An automaton is an abstract self-propelled computing device which follows a predetermined sequence of operations automatically. An automaton with a finite number of states is called a finite automaton (FA) or finite-state machine (FSM). The figure on the right illustrates a finite-state machine, which is a well-known type of automaton. This automaton consists of states and transitions. As the automaton sees a symbol of input, it makes a transition to another state, according to its transition function, which takes the previous state and current input symbol as its arguments.
In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with the identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.
Discrete geometry and combinatorial geometry are branches of geometry that study combinatorial properties and constructive methods of discrete geometric objects. Most questions in discrete geometry involve finite or discrete sets of basic geometric objects, such as points, lines, planes, circles, spheres, polygons, and so forth. The subject focuses on the combinatorial properties of these objects, such as how they intersect one another, or how they may be arranged to cover a larger object.
In mathematics and computer science, the Krohn–Rhodes theory is an approach to the study of finite semigroups and automata that seeks to decompose them in terms of elementary components. These components correspond to finite aperiodic semigroups and finite simple groups that are combined in a feedback-free manner.
In mathematics, a semigroupoid is a partial algebra that satisfies the axioms for a small category, except possibly for the requirement that there be an identity at each object. Semigroupoids generalise semigroups in the same way that small categories generalise monoids and groupoids generalise groups. Semigroupoids have applications in the structural theory of semigroups.
William B. Arveson was a mathematician specializing in operator algebras who worked as a professor of Mathematics at the University of California, Berkeley.
In mathematics, an aperiodic semigroup is a semigroup S such that every element is aperiodic, that is, for each x in S there exists a positive integer n such that xn = xn+1. An aperiodic monoid is an aperiodic semigroup which is a monoid.
In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the rings, the monoids etc. According to Birkhoff's theorem, a class of algebraic structures of the same signature is a variety if and only if it is closed under the taking of homomorphic images, subalgebras, and (direct) products. In the context of category theory, a variety of algebras, together with its homomorphisms, forms a category; these are usually called finitary algebraic categories.
Robert Steinberg was a mathematician at the University of California, Los Angeles.
Combinatorial commutative algebra is a relatively new, rapidly developing mathematical discipline. As the name implies, it lies at the intersection of two more established fields, commutative algebra and combinatorics, and frequently uses methods of one to address problems arising in the other. Less obviously, polyhedral geometry plays a significant role.
Algebraic combinatorics is an area of mathematics that employs methods of abstract algebra, notably group theory and representation theory, in various combinatorial contexts and, conversely, applies combinatorial techniques to problems in algebra.
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 algebra, a transformation semigroup is a collection of transformations that is closed under function composition. If it includes the identity function, it is a monoid, called a transformationmonoid. This is the semigroup analogue of a permutation group.
In mathematics, the Lie product formula, named for Sophus Lie (1875), but also widely called the Trotter product formula, named after Hale Trotter, states that for arbitrary m × m real or complex matrices A and B, where eA denotes the matrix exponential of A. The Lie–Trotter product formula and the Trotter–Kato theorem extend this to certain unbounded linear operators A and B.
The descending wedge symbol ∨ may represent:
In mathematics, a rational monoid is a monoid, an algebraic structure, for which each element can be represented in a "normal form" that can be computed by a finite transducer: multiplication in such a monoid is "easy", in the sense that it can be described by a rational function.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
