$ \newcommand{\braket}[1]{\langle #1 \rangle} \newcommand{\abs}[2][]{\left\lvert#2\right\rvert_{\text{#1}}} \newcommand{\ket}[1]{\left\lvert#1 \right.\rangle} \newcommand{\bra}[1]{\langle\left. #1\right\rvert} \newcommand{\braket}[1]{\langle #1 \rangle} \newcommand{\dd}{\text{d}} \newcommand{\dv}[2]{\frac{\dd #1}{\dd #2}} \newcommand{\pdv}[2]{\frac{\partial}{\partial #1}} $
FullPage
result
concepts
hypothesis
implications
proof
For $A\subseteq M_n(\mathbb{F})$, $E\in M_n(\mathbb{F})$, where $E$ is an elementary matrix, then $$\begin{align*} \text{det}(AE)=\text{det}(A)\text{det}(E)=\text{det}(EA) \end{align*}$$

Concepts

This follows for what each elementary row operation does to the determinant. It suffices to check for each elementary row operation that $E$ can correspond to.

Hypothesis

Coming soon

Results

Coming soon

Proof

Coming soon
For $A\subseteq M_n(\mathbb{F})$, $E\in M_n(\mathbb{F})$, where $E$ is an elementary matrix, then $$\begin{align*} \text{det}(AE)=\text{det}(A)\text{det}(E)=\text{det}(EA) \end{align*}$$

Concepts

This follows for what each elementary row operation does to the determinant. It suffices to check for each elementary row operation that $E$ can correspond to.

Hypothesis

Coming soon

Results

Coming soon

Proof

Coming soon
FullPage
result
concepts
hypothesis
implications
proof
FullPage
result
concepts
hypothesis
implications
proof
For $A\subseteq M_n(\mathbb{F})$, $E\in M_n(\mathbb{F})$, where $E$ is an elementary matrix, then $$\begin{align*} \text{det}(AE)=\text{det}(A)\text{det}(E)=\text{det}(EA) \end{align*}$$

Concepts

This follows for what each elementary row operation does to the determinant. It suffices to check for each elementary row operation that $E$ can correspond to.

Hypothesis

Coming soon

Results

Coming soon

Proof

Coming soon
For $A\subseteq M_n(\mathbb{F})$, $E\in M_n(\mathbb{F})$, where $E$ is an elementary matrix, then $$\begin{align*} \text{det}(AE)=\text{det}(A)\text{det}(E)=\text{det}(EA) \end{align*}$$

Concepts

This follows for what each elementary row operation does to the determinant. It suffices to check for each elementary row operation that $E$ can correspond to.

Hypothesis

Coming soon

Results

Coming soon

Proof

Coming soon
FullPage
result
concepts
hypothesis
implications
proof