Search results

In [[Abstract algebra|algebra]], the '''coimage''' of a [[homomorphism]] of the [[domain of a function|domain]] by the [[kernel (algebra)|kernel]]. ...

...usually denoted by <math>\neg</math> satisfying the following [[Universal algebra#Equations|axioms]]: ...n 1996, so the term "Robbins algebra" is now simply a synonym for "Boolean algebra". ...

* [[Cartan's theorems A and B]], c.1931 results by Henri Cartan concerning a coherent sheaf on a [[Category:Theorems in abstract algebra]] ...

This is a list of topics around '''Boolean algebra''' and '''propositional logic'''. * [[Algebra of sets]] [[Talk:Algebra of sets| ]] ...

{{short description|Theorem in abstract algebra}} The '''Latimer–MacDuffee theorem''' is a [[theorem]] in [[abstract algebra]], a branch of [[mathematics]]. ...

{{Short description|Law in algebra}} In [[algebra]], the '''absorption law''' or '''absorption identity''' is an [[Identity ( ...

There are several mathematical theorems named after [[Ferdinand Georg Frobenius]]. They include: * [[Frobenius theorem (differential topology)]] in differential geometry and topology for integrable subbundles ...

...y abstract structure with certain properties is [[isomorphic]] to another (abstract or concrete) structure. === Algebra === ...

...l different theorems proved by [[Richard Brauer]] and [[Cecil J. Nesbitt]] in the [[representation theory]] of [[finite group]]s. In [[modular representation theory]], ...

'''Whitehead's lemma''' is a technical result in [[abstract algebra]] used in [[algebraic K-theory]]. It states that a [[matrix (mathematics)|matrix]] o ...url=https://archive.org/details/explicitbrauerin0000snai/page/164 }}</ref> In symbols, ...

{{wiktionary|Appendix:Glossary of abstract algebra}} ...ften now called ''[[elementary algebra]]''. The distinction is rarely made in more recent writings. ...

{{Short description|Theorem in group theory}} In [[group theory]], the '''correspondence theorem'''<ref name="Robinson2003"> ...

{{distinguish|Jónsson–Tarski algebra}} ...[quotient (universal algebra)|quotient algebra]] obtained by factoring the algebra of formulas by this [[congruence relation]]. ...

...'', named after [[Gottfried Wilhelm Leibniz]], sometimes called a '''Loday algebra''', after [[Jean-Louis Loday]], is a module ''L'' over a commutative ring ...;''a'']]&nbsp;=&nbsp;0). Conversely any Lie algebra is obviously a Leibniz algebra. ...

..., Felipe (2006), and Kinyon (2007), inspired by a question about [[Leibniz algebra]]s. ...th>. A digroup replaces the one operation by two operations that interact in a complicated way, as stated below. A digroup may also have more than one ...

..., '''Ado's theorem''' is a theorem characterizing finite-dimensional [[Lie algebra]]s. ...thematics)|field]] ''K'' of [[characteristic zero]] can be viewed as a Lie algebra of [[square matrices]] under the [[commutator bracket]]. More precisely, th ...

...wo objects between which a [[homomorphism]] is given, and of the [[Kernel (algebra)|kernel]] and [[image (mathematics)|image]] of the homomorphism. ...used to [[mathematical proof|prove]] the [[isomorphism theorems]]. Similar theorems are valid for [[vector space]]s, [[module (mathematics)|modules]], and [[ri ...

...equally many elements. This number of elements may be finite or infinite (in the latter case, it is a [[cardinal number]]), and defines the [[Dimension {{block indent | em = 1.5 | text = In a vector space {{math|''V''}}, if {{mvar|G}} is a generating set, and {{mva ...

{{short description|Theorem in abstract algebra}} {{For|other theorems named after Frobenius|Frobenius theorem (disambiguation){{!}}Frobenius theo ...

{{Short description|Mathematics theorem in functional analysis}} ...braic entity without reference to particular realizations as an [[operator algebra]]. ...